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)
  Copy   BIBTEX


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 mathematics



    Upload a copy of this work     Papers currently archived: 79,857

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

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.
Talking about trees and truth-conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
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 - 2018 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
Foundations of intensional semantics.Chris Fox - 2005 - Malden MA: Blackwell. Edited by Shalom Lappin.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Logic as language habits versus logic as formal truth.Marie Swabey - 1933 - Journal of Philosophy 30 (5):119-128.


Added to PP

57 (#218,572)

6 months
1 (#479,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Wolenski
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

The concept of truth in formalized languages.Alfred Tarski - 1931 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Formal semantics: an introduction.Ronnie Cann - 1993 - New York, NY, USA: Cambridge University Press.

View all 10 references / Add more references