- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics
Logica Universalis 6 (3-4):587-596 (2012)
Abstract
This paper discusses the distinctions indicated in its title. It is argued that the distinction between syntax and semantics is much more important for the present situation in logic than other distinctions. In particular, doing formal syntax and formal semantics requires the use of an informal melanguage based on ordinary mathematicsAuthor Profiles
My notes
Similar books and articles
A systems theoretical formal logic for category theory.Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira - unknown
Talking about Trees and Truth-Conditions.Reinhard Muskens - 1991 - Journal of Logic, Language and Information 10 (4):417-455.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Predication versus membership in the distinction between logic as language and logic as calculus.Nino Cocchiarella - 1988 - Synthese 77 (1):37 - 72.
Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
Logic as a Universal Medium or Logic as a Calculus? Husserl and the Presuppositions of “the Ultimate Presupposition of Twentieth Century Philosophy”.Mirja Hartimo - 2006 - Southern Journal of Philosophy 44 (4):569-580.
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
Classical Logic.Stewart Shapiro & Teresa Kouri Kissel - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Foundations of intensional semantics.Chris Fox - 2005 - Malden MA: Blackwell. Edited by Shalom Lappin.
The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
Logic as language habits versus logic as formal truth.Marie Swabey - 1933 - Journal of Philosophy 30 (5):119-128.
Analytics
Added to PP
2013-03-10
Downloads
72 (#224,393)
6 months
9 (#295,075)
2013-03-10
Downloads
72 (#224,393)
6 months
9 (#295,075)
Historical graph of downloads
Author Profiles
References found in this work
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.
Formal semantics: an introduction.Ronnie Cann - 1993 - New York, NY, USA: Cambridge University Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo