![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | BC71.J53 (Browse Shelf) | 1 | Available |
![]() |
![]() |
||||||
BC71.B38A manual of intensional logic / | BC71.BC76Exploring logical dynamics / | BC71.G75LIntensional and higher-order modal logic : with applications to Montague Semantics / | BC71.J53Deduction / | BD161.B91LEpistemologia informatica / | BD161.G69Structures and procedures of implicit knowledge / |
Contents. 1. The logic of deduction. 2. The cognitive science of deduction. 3. Reasoning with propositions. 4. Conditionals. 5. Reasoning about relations. 6. One quantifier at a time: the psychilogy of syllogisms. 7. Many quantifiers: reasoning with multiple quantification. 8. Meta-deduction. 9. Deduction, non-monotonic reasoning, and parsimoniious conclusions: how to write a reasoning. 10. Beyond deduction: thinking, rationality, and models.
There are no comments for this item.