Three logical theories
Philosophy of Science 36 (2):153-177 (1969)
| Abstract | This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWilliam H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.
Kensaku Gomi (2009). Theory of Completeness for Logical Spaces. Logica Universalis 3 (2).
Ignacio Jane (1997). Theoremhood and Logical Consequence. Theoria 12 (1):139-160.
Miguel Hoeltje (2007). Theories of Meaning and Logical Truth: Edwards Versus Davidson. Mind 116 (461):121 - 129.
Kosta Došen (1992). Modal Logic as Metalogic. Journal of Logic, Language and Information 1 (3):173-201.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Eli Dresner (2010). Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. Notre Dame Journal of Formal Logic 52 (1):75-93.
Mario Gómez-Torrente (2003). Logical Consequence and Logical Expressions. Theoria 18 (2):131-144.
Mario Gómez-Torrente (2003). Logical Consequence and Logical Expressions. Theoria 18 (2):131-144.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads22 ( #56,170 of 549,068 )Recent downloads (6 months)1 ( #63,185 of 549,068 )How can I increase my downloads? |
My notes
Discussion
