Logic and Logical Philosophy 21 (4):363-389 (2012)

Abstract
We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof for them. To illustrate the idea of form logic, and the possibilities it facilitates, we discuss three particular systems, one of which is the form-logical reconstruction of standard first-order predicate logic
Keywords form logic  Wittgenstein  three-valued logic  particular-universal distinction  logical form
Categories (categorize this paper)
DOI 10.12775/LLP.2012.017
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

A Combinatorial Theory of Possibility.David Malet Armstrong - 1989 - Cambridge and New York: Cambridge University Press.
Function and Concept.Gottlob Frege - 1997 - In D. H. Mellor & Alex Oliver (eds.), Properties. Oxford University Press. pp. 130-149.

View all 17 references / Add more references

Citations of this work BETA

On Exhibiting Representational Validity.Alexandra Zinke - 2015 - Synthese 192 (4):1157-1171.

Add more citations

Similar books and articles

Analytics

Added to PP index
2013-07-29

Total views
33 ( #349,938 of 2,533,572 )

Recent downloads (6 months)
4 ( #164,143 of 2,533,572 )

How can I increase my downloads?

Downloads

My notes