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.)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Allen and P. Hayes. A common-sense theory of time. Proceedings IJCAI 1985, pp. 528–531, 1985.
J. Barwise and J. Perry. Situations and Attitudes, The MIT Press, Cambridge, MA, 1983.
J. van Benthem. The logical study of science. Synthese, 51, 431–472, 1982.
J. van Benthem. The Logic of Time, Reidel, Dordrecht, 1983.
J. van Benthem. Foundations of conditional logic. Journal of Philosophical Logic, 13, 303–349, 1984.
J. van Benthem. The variety of consequence, according to Bolzano. Studia Logica, 44, 389–403, 1985.
J. van Benthem. Essays in Logical Semantics, Reidel, Dordrecht, 1986.
J. van Benthem. Verisimilitude and conditionals. In What is Closer-to-theTruth, Th. Kuipers, ed, pp, 103–128, Rodophi, Amsterdam, 1987.
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.
J. van Benthem. Polyadic quantifiers. Linguistics and Philosophy, 12, 437464, 1989.
J. van Benthem. Semantic parallels. In Logic Colloquium, Granada 1987,pp. 331–375, H.-D. Ebbinghaus et al,eds, North Holland, Amsterdam, 1989.
J. Doyle. Some theories of reasoned assumptions: an essay in rational psychology. Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, 1983.
D. Gabbay and E Guenthner, eds. Handbook of Philosophical Logic, Vol. IV (Topics in the Philosophy of Language), Reidel, Dordrecht, 1989.
P. Gärdenfors. Knowledge in Flux. Modelling the Dynamics of Epistemic States, Bradford Books/MIT Press, Cambridge, MA, 1988.
C. Glymour. Theory and Evidence. Princeton University Press, Princeton, 1980.
C. Hempel. Aspects of Scientific Explanation, The Free Press, Glencoe, IL, 1965.
C. Hooker, ed. Physical Theory as Logico-Operational Structure, Reidel, Dordrecht, 1979.
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.
D. Krantz, D. Luce, P. Suppes and A. Tversky. Foundations of Measurement, Academic Press, New York, 1985.
M. van Lambalgen. The axiomatization of randomness. Journal of Symbolic Logic, 55, 1143–1167, 1990.
L. Lamport. Inter-processor communication. Final report. SRI International, Menlo Park, 1985.
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.
Y. Medvedev. Finitnie zadachi. Dokladi Akademia Nauk USSR, 142, 1015— 1018, 1962.
B. Mundy. Elementary categorial logic, predicates of variable degree and theory of quantity. Journal of Philosophical Logic, 18, 115–140, 1989.
D. Osherson, M. Stob and S. Weinstein. Systems that Learn, The MIT Press, Cambridge, MA, 1986.
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.
Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, The MIT Press, Cambridge, MA, 1988.
V. Smirnov. Logicheskije Metodi Analiza Nauchnowo Zanija, Publishing House `Nauka’, Moscow, 1987.
E. Sosa, ed. Causation and Conditionals,Oxford University Press, Oxford, 1975. 82 J. van Benthem
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.
F. Suppe, ed. The Structure of Scientific Theories, The University of Illinois Press, Urbana, IL, 1977.
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.
S. Toulmin. The Uses of Argument, Cambridge University Press, Cambridge, 1958.
F. Veltman. Update semantics for defaults. Institute for Language, Logic and Information, University of Amsterdam, 1989.
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.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
van Benthem, J. (1996). Inference, Methodology and Semantics. In: Bystrov, P.I., Sadovsky, V.N. (eds) Philosophical Logic and Logical Philosophy. Synthese Library, vol 257. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8678-8_5
Download citation
DOI: https://doi.org/10.1007/978-94-015-8678-8_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4762-5
Online ISBN: 978-94-015-8678-8
eBook Packages: Springer Book Archive