Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

The theory of form logic
  • Home
  • /
  • The theory of form logic
  1. Home /
  2. Archives /
  3. Vol. 21 No. 4 (2012): December /
  4. Articles

The theory of form logic

Authors

  • Wolfgang Freitag Heidelberg University
  • Alexandra Zinke University of Konstanz

DOI:

https://doi.org/10.12775/LLP.2012.017

Keywords

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

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.

References

Armstrong, David, 1989, A Combinatorial Theory of Possibility, Cambridge University Press, Cambridge.

Frege, Gottlob, 1960/1891, “Function and Concept”, pages 21–41 in: Translations of 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 and Representation, 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 Grundlagen der 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 Honour of G.H. von Wright, Acta Philosophical Fennica, vol. 28, Jaakko Hintikka (ed.), North-Holland, Amderstam.

Wehmeier, Kai F., 2004, “Wittgensteinian Predicate Logic”, Notre Dame Journal of Formal Logic 45/1: 1–11.

Wehmeier, Kai F., “How to Live Without Identity — and Why”, Australasian Journal of Philosophy (forthcoming).

Wittgenstein, Ludwig, 1922, Tractatus Logico-Philosophicus, Routledge, London and New York.

Wittgenstein, Ludwig, 1980/1964, Philosophical Remarks, University of Chicago Press, Chicago.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2012-12-20

How to Cite

1.
FREITAG, Wolfgang and ZINKE, Alexandra. The theory of form logic. Logic and Logical Philosophy. Online. 20 December 2012. Vol. 21, no. 4, p. 363–389. [Accessed 6 July 2025]. DOI 10.12775/LLP.2012.017.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 21 No. 4 (2012): December

Section

Articles

Stats

Number of views and downloads: 709
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

form logic, particular-universal distinction, three-valued logic, logical form, Wittgenstein
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop