Philosophical Problems of Foundations of Logic

• Autorzy: Alexander S. Karpenko
• Języki publikacji: EN

Abstrakty

EN

In the paper the following questions are discussed: (i) What is logical consequence? (ii) What are logical constants (operations)? (iii) What is a logical system? (iv) What is logical pluralism? (v) What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out. (original abstract)

Słowa kluczowe

EN

Logic; Scientific research

PL

Logika; Badania naukowe

• Czasopismo: Studia Humana
• Rocznik: 2014
• Tom: 3(1)
• Strony: 13--26

Twórcy

autor

Alexander S. Karpenko

• Russian Academy of Sciences; Moscow State University

Bibliografia

• 1. Antonelli A.G., "Non-monotonic Logic", [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2010. <http://plato.stanford.edu/entries/logic-nonmonotonic/>.
• 2. Barwise, J. and S. Feferman (eds.), Model-theoretic Logics. New York: Springer-Verlag, 1987.
• 3. Barwise, J., "Model-theoretic Logics: Background and Aims", [in:] Jon Barwise and Solomon Feferman (eds.), Model-theoretic Logics, New York: Springer-Verlag, 1987, 4-23.
• 4. Bates, J., "Etchemendy, Tarski, and Logical Consequence", Southwest Philosophy Review 15.1 (1999): 47-54.
• 5. Beall, J.C. and G. Restall, "Logical Consequence", [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2005. <http://plato.stanford.edu/entries/logical-consequence/>.
• 6. Beall, J.C. and G. Restall, Logical Pluralism. Oxford: Oxford University Press. 2006.
• 7. Bellotti, L., "Tarski on Logical Notions", Synthese 135 (2003): 401-13.
• 8. Benthem, Van J., "Logical Constants Across Varying Types", Notre Dame Journal of Formal Logic 30 (1989): 315-342.
• 9. Benthem, Van J., "Where is Logic Going, and Should It?" Topoi 25 (2006): 117-22.
• 10. Benthem, Van J., "Logic and the New Psychologims" Studia Logica 88 (2008): 67-84.
• 11. Benthem, Van J. and K. Doets, "Higher-order Logic", [in:] Dov. M. Gabbay and F. Guenthner. (eds.), Handbook of Philosophical Logic. 2nd ed. Vol. 1. Dordrecht: Reidel, 2001, 189-243.
• 12. Beziau, J.-Y. "Universal Logic", [in:] T. Childers and O. Majer (eds.), Logica'94: Proceedings of the 8th International Symposium. Prague: Filosofia, 1994, 73-93.
• 13. Beziau, J.-Y. (ed). Logica Universalis: Towards a General Theory of Logic. Basel: Birkhauser Verlag, 2005. (2nd ed. 2007).
• 14. Blanchette, P. A. "Logical Consequence", [in:] Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford: Blackwell Publishers, 2001, 115-35.
• 15. Bonnay, D., "Logicality and Invariance", Bulletin of Symbolic Logic 14.1 (2008): 29-68.
• 16. Bonnay, D. and D. Westerstahl, "Consequence mining: constants versus consequence relations", Journal of Philosophical Logic 41.4 (2012): 671-709.
• 17. Boolos, G., "On Second-order Logic", Journal of Philosophy 72 (1975): 509-27.
• 18. Brown D.J. and R. Suszko, "Abstract Logics", Dissertationes Mathematicae 102 (1973): 7-41.
• 19. Carnielli, W. A., M. E. Coniglio, D. M. Gabbay, P. Gouveia and C. Sernadas, Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Dordrecht: Springer, 2008.
• 20. Carnielli, W.A. and M.E. Coniglio, "Combining Logics", [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2010. <http://plato.stanford.edu/entries/logic-combining/>.
• 21. Casanovas, E., "Logical Operations and Invariance", Journal of Philosophical Logic 36 (2007): 33-60.
• 22. Chagrov, A. and M. Zakharyaschev, Modal Logic. Oxford: Clarendon Press, 1997.
• 23. Chang, C. and H.J. Keisler,Model Theory. 3rd ed. Amsterdam: Elsevier, 1990.
• 24. Corcoran, J., "Conceptual Structure of Classical Logic", Philosophy and Phenomenological Research 33 (1972): 25-47.
• 25. Corcoran, J., and J.M. Saguillo, "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic 32.4 (2011): 359-74.
• 26. Da Costa, N.C.A. and D. Krause, "Schrodinger logics", Studia Logica 53.4 (1994): 533-50.
• 27. Ebbinghaus, H.-D., "Extended Logics: The General Framework", [in:] Jon Barwise and Solomon Feferman (eds.), Model-theoretic Logics, New York: Springer-Verlag, 1987, 25-76.
• 28. Edwards, J., "Reduction and Tarski's Definition of Logical Consequence", Notre Dame Journal of Formal Logic 44 (2003): 49-62.
• 29. Engel, P., "Logic, Reasoning and the Logical Constants", Croatian Journal of Philosophy VI.17 (2006): 219-35.
• 30. Etchemendy, J., The Concept of Logical Consequence. Cambridge, MA: Harvard University Press, 1990 (2nd ed. in 1999).
• 31. Etchemendy, J., "Reflections on Consequence", [in:] D. Patterson (ed.), New Essays on Tarski and Philosophy. Oxford: Oxford University Press, 2008, 263-99.
• 32. Feferman, S., "Logic, Logics, and Logicism." Notre Dame Journal of Formal Logic 40 (1999): 31-54.
• 33. Feferman, S., "What kind of logic is "Independence Friendly" logic?" [in:] Randall E. Auxier and Lewis E. Hahn (eds.), The Philosophy of Jaakko Hintikka. Library of Living Philosophers. Open Court, 2006, 453-69.
• 34. Feferman, S., "Set-theoretical Invariance Criteria for Logicality", Notre Dame Journal of Formal Logic 51.1 (2010): 3-20.
• 35. Field, H., "Pluralism in Logic", The Review of Symbolic Logic 2.2 (2009): 343-59.
• 36. Field, H., "What is the Normative Role of Logic?" The Proceedings of the Aristotelean Society 83.1 (2009): 251-268.
• 37. Frege, G., Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Trans. as "Concept Script, a formal language of pure thought modelled upon that of arithmetic", by S. Bauer-Mengelberg in Jean van Heijenoort (ed.), From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, Cambridge, MA: Harvard University Press, 1967, 183.
• 38. Frege, G., Basic Laws of Arithmetic. Berkeley: University of California Press, 1967.
• 39. Gabbay, D.M. (ed.), What is a Logical System? Oxford: Clarendon Press, 1994 (and New York, 1995).
• 40. Gabbay, D.M. and F. Guenthner (eds.), Handbook of Philosophical Logic. 1st ed. 4 vols. Dordrecht: Reidel, 1983-1987.
• 41. Gabbay, D.M. and F. Guenthner (eds.), Handbook of Philosophical Logic. 2nd ed. 17 vols. Dordrecht: Kluwer, 2001-2013.
• 42. Gainfs, B. R., "Foundations of fuzzy reasoning", Int. J. Man-Machine Studies 8 (1976): 623-68.
• 43. Gamut, L. T. F., Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar, Chicago, IL: University of Chicago Press, 1991.
• 44. Gorbunov, I.A. and M.N. Rybakov, "Continuum Classes of Logic", Logical Investigations [Logicheskie issledovania] 14 (2007): 131-151 (in Russian).
• 45. Gómez-Torrente, M., "Tarski on Logical Consequence", Notre Dame Journal of Formal Logic 37 (1996): 125-51.
• 46. Gómez-Torrente, M., "The Problem of Logical Constants", Bulletin of Symbolic Logic 8 (2002): 1-37.
• 47. Gómez-Torrente, M., "Rereading Tarski on Logical Consequence", Review of Symbolic Logic 2 (2009): 249-97.
• 48. Groarke, L., "Informal Logic" [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2011. <http://plato.stanford.edu/entries/logic-informal/>.
• 49. Haack, S., Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: University of Chicago Press, 1996.
• 50. Hacking, I., "What is logic?" The Journal of Philosophy 76.6 (1979): 285-319. (Reprinted in Dov M. Gabbay (ed.), What is a Logical System? Oxford: Clarendon Press, 1994, 1-33).
• 51. Hanson, W.H., "Ray on Tarski on Logical Consequence", Journal of Philosophical Logic 28.6 (1999): 605-16.
• 52. Harman, G., Change in View. Cambridge, Mass.: MIT Press, 1986.
• 53. Harman, G., "Internal Critique: A Logic is not a Theory of Reasoning and a Theory of Reasoning is not a Logic" [in:] D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods (eds.), Handbook of the Logic of Argument and Inference: The Turn Towards the Practical. Amsterdam: Elsevier, 2002, 17186.
• 54. Hintikka, J., "What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic" [in:] K. Gavroglu, J.J. Stachel, and M.W. Wartofsky (eds.), Physics, Philosophy and the Scientific Community. Dordrecht: Kluwer, 1995, 301-26.
• 55. Hintikka, J., "A Revolution in the Foundations of Mathematics?" Synthese 111 (1997): 155-70.
• 56. Hintikka, J., "Rationality, Logic and Their Limits" [in:] Vladislav Lektorsky and Abdusalam Guseynov (eds.), Rationality and its Limits. Moscow: Institute of Philosophy, RAS, 2012, 21-31.
• 57. Hintikka, J. and G. Sandu, "A Revolution in Logic?" Nordic Journal of Philosophical Logic" 1.2 (1996): 169-83.
• 58. Hintikka, J. and G. Sandu, "What is Logic?" [in:] Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: Elsevier, 2007. 13-40.
• 59. Hodes, H.T., "On the sense and Reference of a Logical Constant", Philosophical Quarterly 54 (2004): 134-65.
• 60. Hodges, W., "Elementary Predicate Logic" [in:] Dov. M. Gabbay and Franz Guenthner (eds.), Handbook of Philosophical Logic. 2nd ed. Vol. 1. Dordrecht: Reidel, 2001, 1-129.
• 61. Hodges, W., "What is Logic?" [in:] Rusudan Asatiani et al. (eds.), Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation. ILLC, University of Amsterdam, 2004, 3-10.
• 62. Hodges, W., "The Scope and Limits of Logic" [in:] Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: Elsevier, 2007. 41-64.
• 63. Jané, I., "What Is Tarski's Common Concept of Consequence?" Bulletin of Symbolic Logic 12 (2006): 1-42.
• 64. Jankov, V.A., "Construction of the sequence strongly independent superintuitionistic propositional calculus", Reports of the Academy of Sciences of the USSR 181.1 (1968): 33-34 (in Russian).
• 65. Jeffery, R., Formal Logic: its Scope and its Limits. 3rd ed. McGraw Hill, 1990.
• 66. Karpenko, A.S., Logic on the Boundary of Millenia", Logical Investigations [Logicheskie issledovania] 7 (2000): 7-60 (in Russian).
• 67. Karpenko, A.S., "Subject of Logic in the Light of the Main Trends of its Development", Logical Investigations [Logicheskie issledovania] 11 (2004): 149-171 (in Russian).
• 68. Karpenko, A.S., "Modern Study in Philosophical Logic: Worldwide Level and Russian Science", Studies in Logic, Grammar and Rhetoric 14.27 (2008): 35-71.
• 69. Keenan, E.L. and J. Stavi, "A semantic Characterization of Natural Language Determiners", Linguistic and Philosophy 9 (1986): 253-326.
• 70. Koons, R., "Defeasible Reasoning" [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2013. <http://plato.stanford.edu/entries/reasoning-defeasible/>.
• 71. Lambek, J., "What is a Deductive System?" [in:] Dov M. Gabbay (ed.), What is a Logical System? Oxford: Clarendon Press, 1994, 141-59.
• 72. Leitgeb, H. (ed.), Special Issue: Psychologism in Logic? Studia Logica 88.1 (2008).
• 73. Lindenbaum, A. and A. Tarski, "On the Limitations of the Means of Expression of Deductive Theories". Trans. of Lindenbaum and Tarski 1935 by J.H. Woodger in Tarski, A., Logic, Semantics, Metamatematics. 2nd ed. Indianapolis: Hacket Publishing, 1983, 384-92.
• 74. Lindström, P., "On extensions of Elementary Logic", Theoria 35 (1969): 1-11.
• 75. Lönning, J.T., "Plurals and Collectivity" [in:] Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language. Amsterdam: Elsevier, 1997, 1009-1053.
• 76. MacFarlane, J., "Logical Constants" [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2009. <http://plato.stanford.edu/entries/logical-constants/>.
• 77. Mancosu, P., "Tarski on Models and Logical Consequence" [in:] J. Ferreirós and J.J. Gray (eds.), The Architecture of Modern Mathematics. Oxford: Oxford University Press, 2006, 209-37.
• 78. Mancosu, P., "Fixed-versus Variable-domain Interpretations of Tarski's Account of Logical Consequence", Philosophy Compas 5.9 (2010): 745-759.
• 79. Manktelow, K.I. and D.E. Over, Inference and Uderstanding: A Philosophical and Psychological Perspective. London: Routledge, 1990. 80. Mann, A.L., G. Sandu, and M. Sevenster, Independence-Friendly Logic: A Game-Theoretic Approach. Cambridge University Press, 2011.
• 81. Manzano, M., Extensions of First Order Logic. New York: Cambridge University Press, 1996.
• 82. Markov, A.A., Elements of Mathematical Logic. Moscow: Moscow State University, 1984 (in Russian).
• 83. Mautner, F. I., "An Extension of Klein's Erlanger Program: Logic as Invariant-Theory", American Journal of Mathematics 68 (1946): 345-84.
• 84. McCarthy, T., "The Idea of a Logical Constant", Journal of Philosophy 78 (1981): 499-523.
• 85. McCarthy, T., "Modality, Invariance, and Logical Truth", Journal of Philosophical Logic 16 (1987): 423-43.
• 86. McGee, Van, "Two Problems with Tarski's Theory of Consequence", Proceedings of the Aristotelian Society 92 (1992): 273-92.
• 87. McGee, Van, "Logical Operations." Journal of Philosophical Logic 25 (1996): 567-80.
• 88. McGee, Van, "Tarski's Staggering Existential Assumptions", Synthese 142 (2004): 371-87.
• 89. Mckeon, M.W., The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Publishing, 2010.
• 90. Mendelson, E., Introduction to Mathematical Logic. 4th ed. Chapman & Hall/CRC, 1997.
• 91. Mostowski, A., "On a Generalization of Quantifiers." Fundamenta Mathematicae 44 (1957): 12-36.
• 92. Peacocke, C., "What is a Logical Constant?" Journal of Philosophy 73 (1976): 221-241.
• 93. Peacocke, C., "Understanding Logical Constants: A Realist's Account." Proceedings of the British Academy 73 (1987): 153-200.
• 94. Priest, G., An Introduction to Non-Classical Logic: From If to Is. 2nd rev. ed. Cambrigde University Press, 2008.
• 95. Prior, A.N., Time and Modality. Oxford: Oxford University Press, 1957.
• 96. Quine, W.V., Philosophy of Logic. 2nd ed. Harvard University Press, 1986.
• 97. Rasiowa, H., "O pewnym fragmencie implikacyjnego rachunku zdań", Studia Logica 3 (1955): 208226.
• 98. Ray, G., "Logical Consequence: a Defense of Tarski", Journal of Philosophical Logic 25 (1996): 61777.
• 99. Rossberg, M., "First-Order Logic, Second-Order Logic, and Completeness" [in:] V. Hendricks et al. (eds.), First-Order Logic Revisited. Berlin: Logos-Verlag, 2004, 303-21.
• 100. Russell, G., "Logical Pluralism" [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2013.
• <http://plato.stanford.edu/entries/logical-pluralism/>.
• 101. Rusnock P., and M. Burke, "Etchemendy and Bolzano on Logical Consequence", History and Philosophy of Logic 31.1 (2011): 3-29. 102. Sagüillo, J.M., "Logical Consequence Revisited", Bulletin of Symbolic Logic 3 (1997): 216-41.
• 103. Seay, G. and S. Nuccetelli, How to Think Logically. 2nd ed. Boston: Pearson, 2012.
• 104. Shalack, V.I., "Semiotic Foundations of Logic", Logical Investigations 19 (2013): 226-37.
• 105. Shapiro, S. (ed.), The Limits of Logic. Aldershot: Dartmouth, 1996.
• 106. Shapiro, S., "Logical Consequence: Models and Modality" [in:] Matthias Schirn (ed.), The Philosophy of Mathematics Today. Oxford: Clarendon Press, 1998, 131-56 (2nd ed. in 2003).
• 107. Shapiro, S., Foundations without Foundationalism: A Case for Second-order Logic. 2nd ed. Oxford University Press, 2000.
• 108. Shapiro, S., "Logical Consequence, Proof Theory, and Model Theory" [in:] Stewart Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press, USA, 2005, 651-70.
• 109. Sher, G., The Bounds of Logic. Cambridge, MA: MIT Press, 1991.
• 110. Sher, G., "Did Tarski Commit 'Tarski's Fallacy'?" Journal of Symbolic Logic 61 (1996): 653-86.
• 111. Sher, G., "The Formal-Structural View of Logical Consequence", The Philosophical Review 110.2 (2001): 241-61.
• 112. Sher, G., "Tarski's Thesis" [in:] Ed. Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford: Oxford University Press, 2008, 300-39.
• 113. Schumann A., "A Novel Tendency in Philosophical Logic", Studies in Logic, Grammar and Rhetoric 14.27 (2008): 73-100.
• 114. Simons, P. M., "Bolzano, Tarski, and the Limits of Logic", PhilosophiaNaturalis 24 (1988): 378-405.
• 115. Stenning, K. and M. van Lambalgen, Human Reasoning and Cognitive Science. Cambridge: MIT Press, 2012.
• 116. Straßburger, L., "What is a Logic, and What is a Proof [in:] Jean-Yves Beziau (ed.) Logica Universalis: Towards a General Theory of Logic. Basel: Birkhäuser Verlag, 2005, 135-45.
• 117. Suber, P., A Bibliography of Non-Standard Logics, 2002.
• <http://legacy.earlham.edu/~peters/courses/logsys/nonstbib.htm>.
• 118. Tarski, A., "Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften" I, Monatshefte für Mathenatik und Physik 37.1 (1930): 361-404. Trans: "Fundamental concepts of the methodology of the deductive sciences" [in:] Logic, Semantics, Metamatematics. 2nd ed. Indianapolis: Hacket Publishing, 1983, 60-109.
• 119. Tarski, A., "On ntdhe Concept of Logical Consequence" [in:] A. Tarski, Logic, Semantics, Metamatematics. 2nd ed. Indianapolis: Hacket Publishing, 1983. 409-20.
• 120. Tarski, A., "What are Logical Notions?" History and Philosophy of Logic 7 (1986): 143-54.
• 121. Tarski, A., "On the Concept of Following Logically", History and Philosophy of Logic 23 (2002): 155-96.
• 122. Tharp, L., 'Which logic is the right logic?" Synthese 31 (1975): 1-21.
• 123. Tulenheimo, T., "Independence Friendly Logic" [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy, 2009. <http://plato.stanford.edu/entries/logic-if/>.
• 124. Wang, H., "What is logic?" The Monist 77.3 (1994): 261-77.
• 125. Warmbröd, K., "Logical Constants", Mind 108.431 (1999): 503-38.
• 126. Wason, P.C., "Reasoning" [in:] B.M. Foss (ed.), New Horizons in Psychology. Harmondsworth: Penguin, 1966. 135-51.
• 127. Wolehski, J., "Logical Consequence and the Limits of First-Order Logic", Studies in Logic, Grammar and Rhetoric 4.17 (2001): 21-40.

Identyfikatory

DOI

10.2478/sh-2014-0002