Gheorghe-Ilie Farte
Alexandru Ioan Cuza University of Iasi
In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend on several essential features: parsimony, accuracy, transparency, fertility and reliability. Because there is a partial antinomy between these traits, it is impossible to find a perfectly adequate variant of formalization. However, it is possible and preferable to reach a reasonable compromise by choosing the variant of formalization which satisfies all of these fundamental characteristics.
Keywords logical order  logical form  formalization  adequacy  syntactic correctness  consistency  validity
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reconstructing Arguments: Formalization and Reflective Equilibrium.Georg Brun - 2014 - History of Philosophy & Logical Analysis 17 (1):94-129.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Reconstructing Arguments: Formalization and Reflective Equilibrium.Georg Brun - 2014 - History of Philosophy & Logical Analysis 17 (1):94-129.
Logische Gültigkeit umgangssprachlicher Argumente Zur Logik der Umgangssprache.Timm Lampert - 2017 - Zeitschrift für Philosophische Forschung 71 (1):117-122.
Adequate Formalization and de Morgan’s Argument.Georg Brun - 2012 - Grazer Philosophische Studien 85 (1):325-335.
On Exhibiting Representational Validity.Alexandra Zinke - 2015 - Synthese 192 (4):1157-1171.
The Problem of Validity Proofs.Michael Baumgartner & Timm Lampert - 2010 - Grazer Philosophische Studien 80 (1):79-109.
Adequate Formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
Hermeneutics, Logic and Reconstruction.Friedrich Reinmuth - 2014 - History of Philosophy & Logical Analysis 17 (1):152–190.
Limitations of Formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Formal, Dialectical and Speculative Logic.Richard Monnier - 1989 - Dissertation, Boston University
Logical Form: Between Logic and Natural Language.Andrea Iacona - 2018 - Cham, Switzerland: Springer Verlag.
Formalization in Philosophical Logic.Dale Jacquette - 1994 - The Monist 77 (3):358-375.


Added to PP index

Total views
90 ( #131,334 of 2,520,893 )

Recent downloads (6 months)
16 ( #50,596 of 2,520,893 )

How can I increase my downloads?


My notes