The Theory of Form Logic

• Authors: Wolfgang Freitag , Alexandra Zinke
• Languages of publication: EN

Abstracts

EN

We investigate a construction schema for first-order logical sys- tems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Du- alism is replaced by a pluralism of terms of different “logical forms”. Indi- vidual 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

EN

form logic; particular-universal distinction; three-valued logic; logical form; Wittgenstein

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2012
• Volume: 21
• Issue: 4
• Pages: 363-389

Dates

published

2012-12-01

online

2013-07-02

Contributors

author

Wolfgang Freitag

• Heidelberg University, Germany

author

Alexandra Zinke

• University of Konstanz, Germany

References

• Armstrong, David, 1989, A Combinatorial Theory of Possibility, Cambridge University Press, Cambridge.
• Frege, Gottlob, 1960/1891, “Function and Concept”, pages 21-41 in: Translationsof the Philosophical Writings of Gottlob Frege, 2nded, Peter Geach and Max Black (eds.), Basil Blackwell, Oxford.
• Freitag, Wolfgang, 2009, Form and Philosophy. A Topology of Possibility andRepresentation, Synchron, Heidelberg.
• Hintikka, Jaakko, 1956, “Identity, variables, and impredicative definitions”, The Journal of Symbolic Logic 21: 225-45.
• Kearns, John T., 1979, “The Strong Completeness of a System for Kleene’s Three-Valued Logic”, Zeitschrift für mathematische Logik und Grundlagender Mathematik 25: 61-68.
• Macbride, Fraser, 2005, “The Particular-Universal Distinction. A Dogma of Metaphysics?”, Mind 114: 565-614.
• Ramsey, Frank P., 1925, “Universals”, Mind 136: 401-17.
• Russell, Bertrand, 1903, Principles of Mathematics, Cambridge University Press, Cambridge.
• Skyrms, Brian, 1981, “Tractarian Nominalism”, Philosophical Studies 40: 199-206.
• Stenius, Eric, 1976, “The Sentence as a Function of its Constituents in Frege and in the Tractatus”, pages 71-84 in: Essays on Wittgenstein in Honourof G.H. von Wright, Acta Philosophical Fennica, vol. 28, Jaakko Hintikka (ed.), North-Holland, Amderstam.
• Wehmeier, Kai F., 2004, “Wittgensteinian Predicate Logic”, Notre Dame Journalof Formal Logic 45/1: 1-11.
• - (forthcoming), “How to Live Without Identity - and Why”, AustralasianJournal of Philosophy.
• Wittgenstein, Ludwig, 1922, Tractatus Logico-Philosophicus, Routledge, London and New York.
• - , 1980/1964, Philosophical Remarks, University of Chicago Press, Chicago.

Identifiers

DOI

10.12775/LLP.2012.017