Advertisement

Inference, Methodology and Semantics

  • Johan van Benthem
Part of the Synthese Library book series (SYLI, volume 257)

Abstract

Of old, there has been an alliance between modern Logic and the Methodology or Philosophy of Science. Famous philosophers—logicians like Carnap, Beth or Reichenbach bridged the gap between these two disciplines: whose concerns, indeed, formed a continuum in their work. Nowadays, however, it seems fair to say that this particular contact has receded into the limelight, whereas new interfaces between Logic and Linguistics or Computer Science are making the headlines. (Significantly, the well-known Handbook of Philosophical Logic devotes not a single paper in its applied final volume to the above connection.)

Keywords

Scientific Theory Predicate Logic Natural Deduction Horn Clause Philosophical Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. Allen and P. Hayes. A common-sense theory of time. Proceedings IJCAI 1985, pp. 528–531, 1985.Google Scholar
  2. [2]
    J. Barwise and J. Perry. Situations and Attitudes, The MIT Press, Cambridge, MA, 1983.Google Scholar
  3. [3]
    J. van Benthem. The logical study of science. Synthese, 51, 431–472, 1982.CrossRefGoogle Scholar
  4. [4]
    J. van Benthem. The Logic of Time, Reidel, Dordrecht, 1983.Google Scholar
  5. [5]
    J. van Benthem. Foundations of conditional logic. Journal of Philosophical Logic, 13, 303–349, 1984.CrossRefGoogle Scholar
  6. [6]
    J. van Benthem. The variety of consequence, according to Bolzano. Studia Logica, 44, 389–403, 1985.CrossRefGoogle Scholar
  7. [7]
    J. van Benthem. Essays in Logical Semantics, Reidel, Dordrecht, 1986.CrossRefGoogle Scholar
  8. [8]
    J. van Benthem. Verisimilitude and conditionals. In What is Closer-to-theTruth, Th. Kuipers, ed, pp, 103–128, Rodophi, Amsterdam, 1987.Google Scholar
  9. [9]
    J. van Benthem. Logic, time and computation. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pp. 1–49, J.-W. de Bakker et al. (eds), Springer, Berlin, 1989.Google Scholar
  10. [10]
    J. van Benthem. Polyadic quantifiers. Linguistics and Philosophy, 12, 437464, 1989.Google Scholar
  11. [11]
    J. van Benthem. Semantic parallels. In Logic Colloquium, Granada 1987,pp. 331–375, H.-D. Ebbinghaus et al,eds, North Holland, Amsterdam, 1989.Google Scholar
  12. [12]
    J. Doyle. Some theories of reasoned assumptions: an essay in rational psychology. Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, 1983.Google Scholar
  13. [13]
    D. Gabbay and E Guenthner, eds. Handbook of Philosophical Logic, Vol. IV (Topics in the Philosophy of Language), Reidel, Dordrecht, 1989.Google Scholar
  14. [14]
    P. Gärdenfors. Knowledge in Flux. Modelling the Dynamics of Epistemic States, Bradford Books/MIT Press, Cambridge, MA, 1988.Google Scholar
  15. [15]
    C. Glymour. Theory and Evidence. Princeton University Press, Princeton, 1980.Google Scholar
  16. [16]
    C. Hempel. Aspects of Scientific Explanation, The Free Press, Glencoe, IL, 1965.Google Scholar
  17. [17]
    C. Hooker, ed. Physical Theory as Logico-Operational Structure, Reidel, Dordrecht, 1979.Google Scholar
  18. H. Kamp. Intervals, events and temporal discourse. In Semantics from Different Points of View,R. Bäuerle et al,eds, pp. 376–417, Springer, Berlin, 1979.Google Scholar
  19. [19]
    D. Krantz, D. Luce, P. Suppes and A. Tversky. Foundations of Measurement, Academic Press, New York, 1985.Google Scholar
  20. [20]
    M. van Lambalgen. The axiomatization of randomness. Journal of Symbolic Logic, 55, 1143–1167, 1990.CrossRefGoogle Scholar
  21. [21]
    L. Lamport. Inter-processor communication. Final report. SRI International, Menlo Park, 1985.Google Scholar
  22. [22]
    D. Makinson. General non-monotonic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger and J. Robinson, eds, Oxford University Press, Oxford, 1989.Google Scholar
  23. [23]
    Y. Medvedev. Finitnie zadachi. Dokladi Akademia Nauk USSR, 142, 1015— 1018, 1962.Google Scholar
  24. [24]
    B. Mundy. Elementary categorial logic, predicates of variable degree and theory of quantity. Journal of Philosophical Logic, 18, 115–140, 1989.CrossRefGoogle Scholar
  25. [25]
    D. Osherson, M. Stob and S. Weinstein. Systems that Learn, The MIT Press, Cambridge, MA, 1986.Google Scholar
  26. [26]
    J. Pelletier and L. Schubert. Mass Terms. In Handbook of Philosophical Logic, vol. IV, D. M. Gabbay and F. Guenthner, eds. Kluwer Academic Publishers, Dordrecht, 1989.Google Scholar
  27. [27]
    Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, The MIT Press, Cambridge, MA, 1988.Google Scholar
  28. [28]
    V. Smirnov. Logicheskije Metodi Analiza Nauchnowo Zanija, Publishing House `Nauka’, Moscow, 1987.Google Scholar
  29. [29]
    E. Sosa, ed. Causation and Conditionals,Oxford University Press, Oxford, 1975. 82 J. van Benthem Google Scholar
  30. [30]
    W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change and Statistics, Vol III, W. Harper and B. Skyrms, eds. pp. 105–134, Reidel, Dordrecht, 1988.Google Scholar
  31. [31]
    F. Suppe, ed. The Structure of Scientific Theories, The University of Illinois Press, Urbana, IL, 1977.Google Scholar
  32. [32]
    P. Suppes. Some open problems in the philosophy of space and time. In Space, Time and Geometry, P. Suppes, ed, pp. 383–401, Reidel, Dordrecht, 1973.Google Scholar
  33. [33]
    S. Toulmin. The Uses of Argument, Cambridge University Press, Cambridge, 1958.Google Scholar
  34. [34]
    F. Veltman. Update semantics for defaults. Institute for Language, Logic and Information, University of Amsterdam, 1989.Google Scholar
  35. [35]
    R. Wojcicki. Aksiomaticheskaja traktowka nemonotonnich rassyzjdenij. In Neklassicheskije Logiki i ich Primenenija,V. Smirnov et al,eds, pp. 140144, Institute of Philosophy, Academy of Sciences of the USSR, Moscow, 1989.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

  • Johan van Benthem

There are no affiliations available

Personalised recommendations