The Syllogistic with Unity
نویسنده
چکیده
We extend the language of the classical syllogisms with the sentenceforms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.
منابع مشابه
An Interpretation of Aristotle’s Syllogistic and a Certain Fragment of Set Theory in Propositional Calculi
In [1] Chapter IV Lukasiewicz presents a system of syllogistic which is an extension of Aristotle’s ordinary syllogistic. In spite of this difference Lukasiewicz speaks about it, as do we, as the Aristotelian system. One of the well-known interpretation of syllogistic is Leibnitz’s interpretation described in [1] (pp. 126–129). Syllogistic formulas are interpreted there in an arithmetical manne...
متن کاملApproximate Reasoning with Fuzzy-Syllogistic Systems
The well known Aristotelian syllogistic system consists of 256 moods. We have found earlier that 136 moods are distinct in terms of equal truth ratios that range in τ=[0,1]. The truth ratio of a particular mood is calculated by relating the number of true and false syllogistic cases the mood matches. A mood with truth ratio is a fuzzy-syllogistic mood. The introduction of (n-1) fuzzy existentia...
متن کاملA Reconstruction of Aristotle’s Modal Syllogistic
Ever since Łukasiewicz, it has been opinio communis that Aristotle’s modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle’s syllogistic is a pure term logic that does no...
متن کاملNo Syllogisms for the Numerical Syllogistic
The numerical syllogistic is the extension of the traditional syllogistic with numerical quantifiers of the forms at least C and at most C. It is known that, for the traditional syllogistic, a finite collection of rules, similar in spirit to the classical syllogisms, constitutes a sound and complete proof-system. The question arises as to whether such a proof system exists for the numerical syl...
متن کاملPr ecis of Aristotle’s Modal Syllogistic
Aristotle was the founder of modal logic. In his Prior Analytics, he developed a complex system of modal syllogistic. While influential, this system has been disputed since antiquity and is today widely regarded as incoherent or inconsistent. In view of this, Aristotle’s Modal Syllogistic explores the prospects for understanding the modal syllogistic as a coherent and consistent system of modal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 42 شماره
صفحات -
تاریخ انتشار 2013