Traits essentiels d'une formalisation adéquate

Download Edit this record How to cite View on PhilPapers
Abstract
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.
PhilPapers/Archive ID
FARTED
Upload history
Archival date: 2020-02-05
View other versions
Added to PP index
2020-02-05

Total views
36 ( #47,977 of 52,923 )

Recent downloads (6 months)
11 ( #41,294 of 52,923 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.