Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer |
Autore | Amer Mohamed A. |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (100 pages) |
Disciplina |
185
166 |
Collana | SpringerBriefs in Philosophy |
Soggetto topico |
Logic
Formal Logic Philosophical Logic Sil·logisme |
Soggetto genere / forma | Llibres electrònics |
ISBN |
9783030873417
9783030873400 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix. |
Record Nr. | UNINA-9910552733603321 |
Amer Mohamed A. | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aristotle's syllogistic from the standpoint of modern formal logic / Jan Łukasiewicz |
Autore | Łukasiewicz, Jan |
Edizione | [2nd enlarged ed.] |
Pubbl/distr/stampa | Oxford : Clarendon Press, 1957 |
Descrizione fisica | XIII, 222 p. ; 23 cm |
Disciplina | 166 |
Soggetto (Persona) | Aristotele . Organon |
Soggetto topico | Sillogismo |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991004313637807536 |
Łukasiewicz, Jan | ||
Oxford : Clarendon Press, 1957 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Aristotle's theory of the syllogism : a logico-philological tjdy of book a of the prior analytics / Günther Patzig ; translated from the German by Jonathan Barnes |
Autore | PATZIG, Günther |
Pubbl/distr/stampa | Dordrecht : Reidel, copyr. 1968 |
Descrizione fisica | XVII, 215 p. ; 23 cm |
Disciplina | 166 |
Collana | Synthese library |
Soggetto (Persona) |
Aristotele Analitici primi
Sillogismo |
Soggetto topico | Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001266040203316 |
PATZIG, Günther | ||
Dordrecht : Reidel, copyr. 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Da Ramus a Kant : il dibattito sulla sillogistica / Lorenzo Pozzi ; con apppendice di Lewis Carroll |
Autore | POZZI, Lorenzo |
Pubbl/distr/stampa | Milano, : F.Angeli, copyr. 1981 |
Descrizione fisica | 118 p. : ill. ; 22 cm. |
Disciplina | 166 |
Collana | Pubblicazioni dell'Istituto di filosofia Dell'Università di Parma |
Soggetto topico | Sillogismo - Sec.16.-17 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001327430203316 |
POZZI, Lorenzo | ||
Milano, : F.Angeli, copyr. 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
De hypotheticis syllogismis / testo, traduzione, introduzione e commento di Luca Orbetello |
Autore | Boethius, Anicius Manlius Torquatus Severinus |
Pubbl/distr/stampa | Brescia : Paideia, 1969 |
Descrizione fisica | 478 p. ; 21 cm |
Disciplina | 166 |
Altri autori (Persone) | Orbetello, Luca |
Collana | Logicalia. Testi classici di logica ; 1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002535759707536 |
Boethius, Anicius Manlius Torquatus Severinus | ||
Brescia : Paideia, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
De syllogismis hypotheticis / Abbo von Fleury ; textkritisch herausgegeben, übersetzt, eingeleitet und kommentiert von Franz Schupp |
Autore | Abbo : Floriacensis <abate> |
Pubbl/distr/stampa | Leiden ; New York : Brill, 1997 |
Descrizione fisica | lvi, 171 p. ; 25 cm. |
Disciplina | 166 |
Altri autori (Persone) | Schupp, Franz |
Collana | Studien und texte zur Geistesgeschichte des Mittelalters ; Bd. 56 |
Soggetto topico |
Filosofia medievale - Logica
Logica |
ISBN | 9004107487 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISALENTO-991002548519707536 |
Abbo : Floriacensis <abate> | ||
Leiden ; New York : Brill, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
In difesa del sillogismo pratico ovvero alcuni argomenti kelaseniani alla prova / letizia Gianformaggio |
Autore | GIANFORMAGGIO, Letizia |
Pubbl/distr/stampa | Milano : A. Giuffré, 1987 |
Descrizione fisica | 109 p. ; 25 cm |
Disciplina | 166 |
Collana | Quaderni di filosofia analitica del diritto |
Soggetto topico |
Sillogismo - Studi
Filosofia del diritto - Studi |
ISBN | 88-14-01071-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990000664830203316 |
GIANFORMAGGIO, Letizia | ||
Milano : A. Giuffré, 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
L'identità del medio nel primo modo della prima figura sillogistica secondo Aristotele / Paolo Cosenza |
Autore | COSENZA, Paolo |
Pubbl/distr/stampa | Soveria Mannelli : Rubbettino, stampa 2007 |
Descrizione fisica | 144 p. ; 21 cm ; 21 cm |
Disciplina | 166 |
Collana | Riscontri |
Soggetto topico | Sillogismo |
ISBN | 978-88-498-1970-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990003230340203316 |
COSENZA, Paolo | ||
Soveria Mannelli : Rubbettino, stampa 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
L'identità del medio nel primo modo della prima figura sillogistica secondo Aristotele / Paolo Cosenza |
Autore | Cosenza, Paolo |
Pubbl/distr/stampa | Soveria Mannelli : Rubbettino, 2006 |
Descrizione fisica | 144 p. ; 21 cm |
Disciplina | 166 |
Collana | Riscontri |
Soggetto topico | Sillogismo |
ISBN | 978-88-498-1970-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNIBAS-000034748 |
Cosenza, Paolo | ||
Soveria Mannelli : Rubbettino, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Modal syllogistics in the Middle Ages / Henrik Lagerlund |
Autore | Lagerlund, Henrik |
Pubbl/distr/stampa | Leiden ; Boston ; Koln : Brill, 2000 |
Descrizione fisica | xvi, 261 p. ; 24 cm |
Disciplina | 166 |
Collana | Studien und texte zur Geistesgeschichte des Mittelalters ; 70 |
Soggetto topico |
Sillogismo
Filosofia medievale - studi |
ISBN | 9004116265 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003742599707536 |
Lagerlund, Henrik | ||
Leiden ; Boston ; Koln : Brill, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|