Extensional vs. Intensional Logic

Philosophy of Logic

Volumn , Issue , 2007, Pages 913-942

  Peregrin, Jaroslav ^a  

^a Filozofickáfakultanám ^*  (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79960637664     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044451541-4/50024-5     Document Type: Chapter

References (79)

1. Ajdukiewicz K. Die syntaktische Konexität. Studia Philosophica 1935, 1:1-27.
2. Andrews P.B. Introduction to Mathematical Logic and Type Theory 1986, Academic Press, San Diego.
3. Andrews P.B. Introduction to Mathematical Logic and Type Theory 2002, Kluwer, Dordrecht. second edition.
4. Bar-Hillel Y. On syntactical categories. Journal of Symbolic Logic 1950, 15:1-16.
5. Bar-Hillel Y. A quasi-arithmetical notation for syntactic description. Language 1953, 29:47-58.
6. Benthem van J., ter Meulen A. Handbook of Logic and Language 1997, Elsevier / MIT Press, Oxford / Cambridge (Mass.).
7. Blackburn P.M., de Rijke M., Venema Y. Modal Logic 2000, Cambridge University Press, Cambridge.
8. Boolos G. The Unprovability of Consistency 1979, Cambridge University Press, Cambridge.
9. Carnap R. Meaning and Necessity 1947, Chicago, University of Chicago Press.
10. Casadio C. Semantic categories and the development of categorial grammars. Categorial Grammars and Natural Language Structures 1988, 95-123. Reidel, Dordrecht. T. Oeherle (Ed.).
11. Chellas B.F. Modal Logic: An Introduction 1980, Cambridge University Press, Cambridge.
12. Church A. A formulation of the simple theory of types. Journal of Symbolic Logic 1940, 5:56-68.
13. Church A. Introduction to Mathematical Logic 1956, Princeton University Press, Princeton.
14. Copeland B.J. The genesis of possible worlds semantics. Journal of Philosophical logic 2002, 31:99-137.
15. Cresswell M.J. Hyperintensional logic. Studia Logica 1975, 34:25-38.
16. Cresswell M.J. Structured Meanings: The Semantics of Propositional Attitudes 1985, MIT Press, Cambridge (Mass.).
17. Divers J. Possible Worlds 2002, Routledge, London.
18. Dummett M. Frege, the Philosophy of Language 1973, Duckworth, London.
19. Dummett M. The Interpretation of Frege's Philosophy 1981, Duckworth, London.
20. Etchemendy J. The Concept of Logical Consequence 1990, Harvard University Press, Cambridge (Mass.).
21. Frege G. Function und Begri 1891, (Ein Vortrag, gehlaten inder Sitzung vom 9.1.1891 der Jenaischen Gesellschaft für Medizin und Naturwissenschaft), Jena.
22. Frege G. Uber Begri. und Gegenstand. Vierteljahrschrift für wissentschaftliche Philosophie 1892, 16:192-205.
23. Frege G. Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik 1892, 100:25-50.
24. Frege G. Grundgesetze der Arithmetik I-II 1893, Pohle, Jena.
25. Frege G. Grundgesetze der Arithmetik I-II 1903, Pohle, Jena.
26. Frege G. Nachgelassene Schriften 1983, Meiner, Hamburg. H. Hermes (Ed.).
27. Gallin D. Intensional and Higher-order Modal Logic 1975, North-Holland, Amsterdam.
28. Gamut L.T.F. Logic, Language and Meaning 1991, vol. 2. University of Chicago Press, Chicago.
29. Goldblatt R. First-order definability in modal logic. Journal of Symbolic Logic 1975, 40:35-40.
30. Goldfarb W.D. Logic in the twenties: the nature of the quantifier. Journal of Symbolic Logic 1979, 44:351-368.
31. Henkin L. Completeness in the theory of types. Journal of Symbolic Logic 1950, 15:81-91.
32. Hintikka J. Models for Modalities 1969, Reidel, Dordrecht.
33. Hintikka J. Impossible possible worlds vindicated. Game-Theoretical Semantics 1978, 367-379. Reidel, Dordrecht. E. Saarinen (Ed.).
34. Hughes G.E., Cresswell M.J. An Introduction to Modal Logic 1968, Methuen, London.
35. Hughes G.E., Cresswell M.J. A New Introduction to Modal Logic 1996, Routledge, London.
36. Janssen T.M.V. Compositionality 1997, V. Benthem, T. Meulen (Eds.).
37. Janssen T.M.V. Frege, contextuality and compositionality. Journal of Logic, Language and Information 2001, 10:115-136.
38. Kripke S. Semantical analysis of modal logic I (normal modal propositional calculi). Zeitschift für mathematische Logik und Grundlagen der Mathematik 1963, 9:67-96.
39. Kripke S. Semantical analysis of modal logic II (non-normal modal propositional calculi). The Theory of Models 1965, 206-220. North-Holland, Amsterdam. J.W. Addison (Ed.).
40. Lewis C.I., Langford C.H. Symbolic Logic 1932, Century, New York.
41. Lewis D.K. Counterpart theory and quantified modal logic. Journal of Philosophy 1968, 65:113-126.
42. Lewis D.K. General semantics. Semantics of Natural Language 1972, Reidel, Dordrecht. D. Davidson, G. Harman (Eds.).
43. Lewis D.K. Languages and language. Minnesota Studies in the Philosophy of Science VII 1975, University of Minnesota Press, Minneapolis. K. Gunderstone (Ed.).
44. Lewis D.K. On the Plurality of Worlds 1986, Blackwell, Oxford.
45. The Possible and the Actual: Readings in the Metaphysics of Modality 1979, Cornell University Press, Ithaca. M.J. Loux (Ed.).
46. Materna P. Concepts and Objects (Acta Philosophica Fennica 63) 1998, Societas Philosophica Fennica, Helsinky.
47. Mendelson E. Introduction to Mathematical Logic 1964, Wadsworth & Brooks, Pacific Grove.
48. Montague R. English as a formal language. Linguaggi nella Società et nella Tecnica 1970, 189-224. Milan. B. Visenti, (Ed.).
49. Montague R. English as a formal language. Linguaggi nella Società et nella Tecnica 1974, 189-224. B. Visenti, (Ed.).
50. Montague R. Universal grammar. Theoria 1970, 36:373-398.
51. Montague R. Universal grammar. Theoria 1974, 36:373-398.
52. Montague R. The proper treatment of quantification in ordinary English. Approaches to Natural Language 1973, 221-242. Reidel, Dordrecht. J. Hintikka (Ed.).
53. Montague R. The proper treatment of quantification in ordinary English. Approaches to Natural Language 1974, 221-242. Reidel, Dordrecht. J. Hintikka (Ed.).
54. Montague R. Formal Philosophy: Selected Papers of R. Montague 1974, Yale University Press, New Haven. R. Thomason (Ed.).
55. Neale S. Facing Facts 2001, Clarendon Press, Oxford.
56. Partee B., Hendricks H.L.W. Montague grammar 1997, 5-92. V. Benthem, T. Meulen (Eds.).
57. Partee B. Belief sentences and limits of semantics. Processes, Beliefs and Questions 1982, Reidel, Dordrecht. S. Peters, E. Saarinen (Eds.).
58. Montague Grammar 1976, Academic Press. B. Partee (Ed.).
59. Pelletier F.J. Did Frege believe Frege's principle?. Journal of Logic, Language and information 2001, 10:87-114.
60. Peregrin J. The "natural" and the "formal". Journal of Philosophical Logic 2000, 29:75-101.
61. J. Peregrin. Is compositionality an empirical concept?. The Compositionality of Concepts and Meanings 2005, 135-150. Ontos, Frankfurt. M. Werning, E. Machery, G. Schurz (Eds.).
62. J. Peregrin. Semantics as based on inference, in The Age of Alternative Logics (ed. J. van Benthem et al.), Kluwer, Dordrecht, to appear.
63. Quine W.V.O. Pursuit of Truth (revised edition) 1992, Harvard University Press, Cambridge (Mass.).
64. Quine W.V.O. Word and Object 1960, MIT Press, Cambridge (Mass.).
65. Shapiro S. Foundations without Foundationalism 1991, Clarendon Press, Oxford.
66. Tarski A. Über den Begri. der logischen Folgerung. Actes du Congrès International de Philosophique Scientifique 1936, 7:1-11.
67. Tarski A. On the Concept of Logical Consequence. Tarski: Logic, Semantics, Metamathematics 1956, 409-420. Clarendon Press, Oxford.
68. Tichý P. An approach to intensional analysis. Nôus 1971, 5:273-297.
69. Tichý P. An approach to intensional analysis. Nôus 2004, 5:273-297.
70. Tichý P. What do we talk about?. Philosophy of Science 1975, 42:80-93.
71. Tichý P. What do we talk about?. Philosophy of Science 2004, 42:80-93.
72. Tichý P. De Dicto and De Re. Philosophia 1978, 8.
73. Tichý P. De Dicto and De Re. Philosophia 2004, 8.
74. Tichý P. Two kinds of intensional logic. Epistemologia 1978, 1:143-164.
75. Tichý P. Two kinds of intensional logic. Epistemologia 2004, 1:143-164.
76. Tichý P. Constructions. Philosophy of Science 1986, 53:514-534.
77. Tichý P. Constructions. Philosophy of Science 2004, 53:514-534.
78. Tichý P. P. Tichý's Collected Papers in Logic and Philosophy 2004, Filosofia, Prague. V. Svoboda, B. Jespersen, C. Cheyne (Eds.).
79. Zimmermann T.E. Intensional logic and two-sorted type theory. The Journal of Symbolic Logic 1989, 54:65-77.