Formalization and the objects of logic

Erkenntnis 69 (1):1 - 30 (2008)
There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context.
Keywords Philosophy of logic  Formalization  Proposition  Natural Language  Logical Form
Categories (categorize this paper)
DOI 10.1007/s10670-008-9112-3
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,700
Through your library
References found in this work BETA
Themes From Kaplan.Joseph Almog, John Perry & Howard K. Wettstein (eds.) - 1989 - Oxford University Press, Usa.

View all 41 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
What Are Physical Objects?Ned Markosian - 2000 - Philosophy and Phenomenological Research 61 (2):375-395.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
The Paradox of the First Person Singular Pronoun.Avrum Stroll - 1963 - Inquiry : An Interdisciplinary Journal of Philosophy 6 (1-4):217 – 233.
Objects of Thought.A. N. Prior - 1971 - Clarendon Press.
Formalizing Context (Expanded Notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.

Monthly downloads

Added to index


Total downloads

71 ( #73,936 of 2,170,276 )

Recent downloads (6 months)

3 ( #126,628 of 2,170,276 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums