Informal Reasoning and Logical Formalization
In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos (2010)
| Abstract | According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAllen MacNeill, TIDAC: Identity, Analogy, and Logical Argument in Science. The Evolution List.
Vladimír Svoboda & Jaroslav Peregrin (forthcoming). Logical Form and Reflective Equilibrium. Synthese.
Tomis Kapitan (1982). On the Concept of Material Consequence. History and Philosophy of Logic 3 (2):193-211.
Mario Gómez-torrente (1998). Logical Truth and Tarskian Logical Truth. Synthese 117 (3):375-408.
Christopher Gauker (1990). Semantics Without Reference. Notre Dame Journal of Formal Logic 31 (3):437-461.
Jean Paul van Bendegem & Bart van Kerkhove (2009). Mathematical Arguments in Context. Foundations of Science 14 (1-2):45-57.
Andrew Aberdein (2006). Managing Informal Mathematical Knowledge: Techniques From Informal Logic. Lecture Notes in Artificial Intelligence 4108:208--221.
Georg Spielthenner (2007). A Logic of Practical Reasoning. Acta Analytica 22 (2):139-153.
Michael Baumgartner & Timm Lampert (2008). Adequate Formalization. Synthese 164 (1):93-115.
Analytics
Monthly downloads |
Added to index2010-01-08Total downloads26 ( #48,417 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
