c ○ Peter King, in Medieval Formal Logic (Kluwer 2001), 117–145 CONSEQUENCE AS INFERENCE Mediæval Proof Theory 1300–1350

AMAD

"Archivum Medii Aevi Digitale - Specialized open access repository for research in the middle ages"
To submission

Full metadata record

DC Field	Value	Language
Contributor	The Pennsylvania State University CiteSeerX Archives	-
Other Identifier	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.5704	-
Other Identifier	http://individual.utoronto.ca/pking/articles/Consequence_as_Inference.pdf	-
URI	https://www.amad.org/jspui/handle/123456789/60866	-
Description	The first half of the fourteenth century saw a remarkable flowering in accounts of consequences (consequentiae). Logicians began to write independent treatises on consequences, the most well-known being those by Walter Burleigh (De consequentiis) and Jean Buridan (Tractatus de consequentiis). Consequences also came to be treated systematically in comprehensive works on logic, such as those of Walter Burleigh (both versions of the De puritate artis logicae), William of Ockham (Summa logicae), and, to a lesser extent, Jean Buridan (Summulae de dialectica)—as well as in works written in their wake. 1 The philosophical achievement realized in these various writings was no less than a formulation of a theory of inference: the rules for consequences given by these mediæval authors spell out a natural deduction system in the sense of Jaskowski and Gentzen. 2 1 All translations are mine. I what follows I cite the Latin text only when it is not readily available (e.g. for much of Buridan’s Summulae de dialectica), when there is a textual difficulty, or when a point depends on its original phrasing. The texts on	-
Format	application/pdf	-
Language	eng	-
Rights	Metadata may be used without restrictions as long as the oai identifier remains attached to it.	-
Dewey Decimal Classification	940	-
Title	c ○ Peter King, in Medieval Formal Logic (Kluwer 2001), 117–145 CONSEQUENCE AS INFERENCE Mediæval Proof Theory 1300–1350	-
Type	text	-
AMAD ID	568467	-
Open Access	1	-
Appears in Collections:	BASE (Bielefeld Academic Search Engine) General history of Europe

Files in This Item:

There are no files associated with this item.

Show simple item record