Aristotle's Syllogistic as a Deductive System

dc.contributor.author	Kulicki, Piotr
dc.date.accessioned	2020-05-22T09:51:14Z
dc.date.available	2020-05-22T09:51:14Z
dc.date.issued	2020-05-19
dc.description.abstract	Aristotle's syllogistic is the first ever deductive system. After centuries, Aristotle's ideas are still interesting for logicians who develop Aristotle's work and draw inspiration from his results and even more from his methods. In the paper we discuss the essential elements of the Aristotelian system of syllogistic and Łukasiewicz's reconstruction of it based on the tools of modern formal logic. We pay special attention to the notion of completeness of a deductive system as discussed by both authors. We describe in detail how completeness can be defined and proved with the use of an axiomatic refutation system. Finally, we apply this methodology to different axiomatizations of syllogistic presented by Łukasiewicz, Lemmon and Shepherdson.	pl
dc.identifier.citation	"Axioms" 2020, 9(2), 56;	pl
dc.identifier.doi	10.3390/axioms9020056
dc.identifier.uri	http://hdl.handle.net/20.500.12153/1138
dc.language.iso	en	pl
dc.publisher	MDPI	pl
dc.relation	028/RID/2018/19	pl
dc.rights	Attribution 4.0 International (CC-BY 4.0)	*
dc.rights.uri	https://creativecommons.org/licenses/by/4.0/	*
dc.subject	Aristotle's logic	pl
dc.subject	syllogistic	pl
dc.subject	completeness	pl
dc.subject	Jan Łukasiewicz	pl
dc.subject	axiomatic refutation	pl
dc.title	Aristotle's Syllogistic as a Deductive System	pl
dc.type	info:eu-repo/semantics/article	pl