Aristotle’s Deductive Logic: a Proof-Theoretical Study

In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 323-346 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-018

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Concepts of Proof in Mathematics, Philosophy, and Computer Science.Peter Schuster & Dieter Probst (eds.) - 2016 - Boston: De Gruyter.
Logic for Gray-code Computation.Hideki Tsuiki, Helmut Schwichtenberg, Kenji Miyamoto & Ulrich Berger - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 69-110.
Cyclic Proofs for Linear Temporal Logic.Thomas Studer & Ioannis Kokkinis - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 171-192.
Relating Quotient Completions via Categorical Logic.Giuseppe Rosolini & Maria Emilia Maietti - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 229-250.
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
Proof-Oriented Categorical Semantics.Marco Benini - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 41-68.
A General View on Normal Form Theorems for Łukasiewicz Logic with Product.Ioana Leuştean & Serafina Lapenta - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 215-228.
Theories of Proof-Theoretic Strength Ψ.Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 115-140.
Introduction.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 1-4.
Frontmatter.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.

Analytics

Added to PP
2016-07-30

Downloads
33 (#500,331)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Indirect Proof and Inversions of Syllogisms.Roy Dyckhoff - 2019 - Bulletin of Symbolic Logic 25 (2):196-207.
Aristotle's Proofs Through the Impossible in Prior Analytics 1.15.Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):395-421.
The Place of Reduction in Aristotle's Prior Analytics.George Boger - forthcoming - History and Philosophy of Logic:1-34.
The Arithmetical dictum.Paolo Maffezioli & Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):373-394.

Add more citations

References found in this work

No references found.

Add more references