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

Logical Forms: Validity and Variety of Formalizations
  • Home
  • /
  • Logical Forms: Validity and Variety of Formalizations
  1. Home /
  2. Archives /
  3. Vol. 32 No. 3 (2023): September /
  4. Articles

Logical Forms: Validity and Variety of Formalizations

Authors

  • Georg Brun Institute of Philosophy, University of Bern https://orcid.org/0000-0001-9884-0566

DOI:

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

Keywords

logical form, formalization, validity, invalidity, substitution

Abstract

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared with stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form

References

Baker-Plummer, D., J. Barwise, and J. Etchemendy, 2011, Language, Proof and Logic, 2nd ed., Stanford: CSLI publications.

Baumgartner, M., and T. Lampert, 2008, “Adequate formalization”, Synthese 164: 93–115. DOI: ="http://dx.doi.org/10.1007/s11229-007-9218-1

Brun, G., 2004, Die richtige Formel. Philosophische Probleme der logischen Formalisierung, 2nd ed., Frankfurt a. M.: ontos. DOI: http://dx.doi.org/10.1515/9783110323528

Brun, G., 2014, “Reconstructing arguments. Formalization and reflective equilibrium”, Logical Analysis and History of Philosophy 17: 94–129. DOI: http://dx.doi.org/10.30965/26664275-01701006

Castañeda, H. N., 1975, Thinking and Doing. The Philosophical Foundations of Institutions, Dordrecht: Reidel. DOI: http://dx.doi.org/10.1007/978-94-010-9888-5

Cheyne, C., 2012, “The asymmetry of formal kogic”, pages 49–62 in M. Peliš and V. Punčochář (eds.), The Logica Yearbook 2011, London: College Publications.

Curtis, G. N., 1993, The Concept of Logical Form, PhD thesis, Bloomington: Indiana University.

Davidson, D., 1980, “The logical form of action sentences”, pages 105–122 in Essays on Actions and Events, Oxford: Oxford University Press. DOI: http://dx.doi.org/10.1093/0199246270.003.0006

Epstein, R. L., 1994, The Semantic Foundations of Logic. Predicate Logic, New York: Oxford University Press.

Halbach, V., 2013, The Logic Manual, Oxford: Oxford University Press.

Kleene, S. C., 1974, Introduction to Metamathematics, 7th reprint, Groningen/Amsterdam: Wolters-Nordhoff/North-Holland.

Montague, R., 1970, “Universal grammar”, Theoria 36: 373–398. DOI: http://dx.doi.org/10.1111/j.1755-2567.1970.tb00434.x

Peregrin, J., and V. M. Svoboda, 2017, Reflective Equilibrium and the Principles of Logical Analysis. Understanding the Laws of Logic, New York: Routledge.

Punčochář, V., 2023, “Logical forms, substitutions and information types”, Logic and Logical Philosophy. DOI: http://dx.doi.org/10.12775/LLP.2023.017

Quine, W. V. O., 1996, Word and Object, Cambridge, MA: MIT Press.

Sagi, G., 2020, “Logic in natural language. Commitments and constraints”, Disputatio XII/58: 277–308. DOI: http://dx.doi.org/10.2478/disp-2020-0014

Sainsbury, M., 2001, Logical Forms. An Introduction to Philosophical Logic, 2nd ed., Oxford: Blackwell.

Schurz, G., 1995, “Most general first order theorems are not recursively enumerable”, Theoretical Computer Science 147: 149–63. DOI: http://dx.doi.org/10.1016/0304-3975(94)00229-C

Schurz, G., 2001, “Rudolf Carnap’s modal logic”, pages 365–80 in W. Stelzner and M. Stöckler, Zwischen traditioneller und moderner Logik. Nichtklassische Ansätze, Paderborn: mentis. DOI: http://dx.doi.org/10.30965/9783969756966

von Savigny, E., 1976, Grundkurs im logischen Schließen., München: Deutscher Taschenbuch Verlag.

Wittgenstein, L., 1989, Logisch-philosophische Abhandlung. Tractatus logico-philosophicus. Kritische Edition, Frankfurt a. M.: Suhrkamp.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2023-07-20

How to Cite

1.
BRUN, Georg. Logical Forms: Validity and Variety of Formalizations. Logic and Logical Philosophy. Online. 20 July 2023. Vol. 32, no. 3, pp. 341-361. [Accessed 21 June 2025]. DOI 10.12775/LLP.2023.016.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 32 No. 3 (2023): September

Section

Articles

License

Copyright (c) 2023 Georg Brun

Creative Commons License

This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.

Stats

Number of views and downloads: 885
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:

logical form, formalization, validity, invalidity, substitution
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