Yes fellows, most human reasoning is complex
Synthese 166 (1):113 - 131 (2009)
| Abstract | This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDiderik Batens (2000). Minimally Abnormal Models in Some Adaptive Logics. Synthese 125 (1-2):5-18.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Rafal Urbaniak (2010). Capturing Dynamic Conceptual Frames. Logic Journal of the IGPL 18 (3):430-455.
Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven (2003). Some Adaptive Logics for Diagnosis. Logic and Logical Philosophy 11:39-65.
Liza Verhoeven & Leon Horsten (2005). On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries. Studia Logica 81 (1):19-24.
Jan Komorowski, Lech T. Polkowski & Andrzej Skowron (1997). Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part. Studia Logica 58 (1):143-184.
Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1):221-242.
Diderik Batens & Joke Meheus (2001). Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. Studia Logica 69 (2):221-248.
Peter Verdée (2009). Adaptive Logics Using the Minimal Abnormality Strategy Are P 1 1 \Pi^1_1 -Complex. Synthese 167 (1):93 - 104.
Peter Verdée (2009). Adaptive Logics Using the Minimal Abnormality Strategy Are 1 \Pi^11 -Complex. Synthese 167 (1):93 - 104.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads21 ( #58,806 of 549,682 )Recent downloads (6 months)1 ( #63,425 of 549,682 )How can I increase my downloads? |
My notes
Discussion
