Aristotle's modal proofs : Prior analytics A8-22 in predicate logic /
Saved in:
| Author / Creator: | Rini, Adriane. |
|---|---|
| Imprint: | Dordrecht ; New York : Springer, c2011. |
| Description: | 1 online resource (vi, 246 p.) |
| Language: | English |
| Series: | The new synthese historical library ; v. 68 New synthese historical library ; v. 68. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8896953 |
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | 8896953 | ||
| 003 | ICU | ||
| 005 | 20120829145400.0 | ||
| 006 | m d | ||
| 007 | cr cn| | ||
| 008 | 110203s2011 ne ob 001 0 eng d | ||
| 019 | |a 695849415 |a 696157929 |a 753704993 | ||
| 020 | |a 9789400700505 (electronic bk.) | ||
| 020 | |a 9400700504 (electronic bk.) | ||
| 020 | |z 9789400700499 | ||
| 020 | |z 9400700490 | ||
| 035 | |a (OCoLC)700200168 |z (OCoLC)695849415 |z (OCoLC)696157929 |z (OCoLC)753704993 | ||
| 037 | |a 978-94-007-0049-9 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |c GW5XE |d EBLCP |d YDXCP |d OCLCQ |d MHW |d OCLCQ |d QE2 |d UX0 |d MYPMP |d OUN |d N$T |d OCLCQ |d SNK | ||
| 049 | |a CGUA | ||
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 090 | |a BC199.M6 |b R56 2011 | ||
| 100 | 1 | |a Rini, Adriane. |0 http://id.loc.gov/authorities/names/nb2011003132 |1 http://viaf.org/viaf/167840953 | |
| 245 | 1 | 0 | |a Aristotle's modal proofs : |b Prior analytics A8-22 in predicate logic / |c Adriane Rini. |
| 260 | |a Dordrecht ; |a New York : |b Springer, |c c2011. | ||
| 300 | |a 1 online resource (vi, 246 p.) | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a The new synthese historical library ; |v v. 68 | |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a Aristotle's modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a 'realm of darkness'. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle's results. This volume provides a simple interpretation of Aristotle's modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as 'horse', 'plant' or 'man', which name things in virtue of features those things must have, and green terms, such as 'moving', which name things in virtue of their. | ||
| 588 | |a Description based on print version record. | ||
| 505 | 0 | 0 | |a Machine generated contents note: |g pt. I |t Modern Methods for Ancient Logic -- |g ch. 1 |t Non-Modal Syllogistic: An. Pr. A1-7 -- |g ch. 2 |t Assertoric Syllogistic in LPC -- |g ch. 3 |t Realm of Darkness -- |g ch. 4 |t Technicolour Terms -- |g ch. 5 |t Representing the Modals -- |g pt. II |t Necessity in the Syllogistic: An. Pr. A8-12 -- |g ch. 6 |t Syllogizing in Red: Trivializing the Modals -- |g ch. 7 |t First Figure Mixed Apodeictic Syllogisms -- |g ch. 8 |t Modal Conversion in the Apodeictic Syllogistic -- |g ch. 9 |t Against the Canonical Listings -- |g ch. 10 |t Apodeictic Possibility -- |g pt. III |t Contingency in the Syllogistic: An. Pr. A13-22 -- |g ch. 11 |t Contingency (A13, A14) -- |g ch. 12 |t Realizing Possibilities -- |g ch. 13 |t Barbara XQM -- |g ch. 14 |t First Figure X+Q (A15) -- |g ch. 15 |t First Figure L+Q, Q+L (A16) -- |g ch. 16 |t Contingency in the 2nd Figure (A17-19) -- |g ch. 17 |t Contingency in the 3rd Figure (A20-22) -- |g ch. 18 |t Summary and Conclusion. |
| 600 | 0 | 0 | |a Aristotle. |0 http://id.loc.gov/authorities/names/n79004182 |1 http://viaf.org/viaf/268271999 |
| 650 | 0 | |a Modality (Logic) |0 http://id.loc.gov/authorities/subjects/sh85086410 | |
| 650 | 0 | |a Predicate (Logic) |0 http://id.loc.gov/authorities/subjects/sh85106250 | |
| 650 | 4 | |a Philosophy. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 655 | 4 | |a Electronic books. | |
| 600 | 0 | 7 | |a Aristotle. |2 fast |0 http://id.worldcat.org/fast/fst00029885 |0 http://id.worldcat.org/fast/29885 |1 http://viaf.org/viaf/268271999 |
| 650 | 7 | |a Modality (Logic) |2 fast |0 http://id.worldcat.org/fast/fst01024350 | |
| 650 | 7 | |a Predicate (Logic) |2 fast |0 http://id.worldcat.org/fast/fst01075020 | |
| 776 | 0 | 8 | |i Print version: |a Rini, Adriane. |t Aristotle's modal proofs. |d Dordrecht ; New York : Springer, c2011 |z 9789400700499 |w (OCoLC)663950222 |
| 830 | 0 | |a New synthese historical library ; |v v. 68. | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-94-007-0050-5 |y SpringerLink |
| 903 | |a HeVa | ||
| 035 | |a (ICU)8896953 | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 9fbaddfc-b1d8-591e-81bf-cb6cfab906fa |s 7280ec6c-8df4-5f54-a6c6-7feb2ba0cfd6 |
| 928 | |t Library of Congress classification |a BC199.M6 R56 2011 |l Online |c UC-FullText |u http://dx.doi.org/10.1007/978-94-007-0050-5 |z SpringerLink |g ebooks |i 11481602 | ||