As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using my (...) 1972 proof of the completeness of Aristotle’s syllogistic. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental (...) rules which establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...) premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

In “Can it be rational to have faith?”, it was argued that to have faith in some proposition consists, roughly speaking, in stopping one’s search for evidence and committing to act on that proposition without further evidence. That paper also outlined when and why stopping the search for evidence and acting is rationally required. Because the framework of that paper was that of formal decision theory, it primarily considered the relationship between faith and degrees of belief, rather than between faith (...) and belief full stop. This paper explores the relationship between rational faith and justified belief, by considering four prominent proposals about the relationship between belief and degrees of belief, and by examining what follows about faith and belief according to each of these proposals. It is argued that we cannot reach consensus concerning the relationship between faith and belief at present because of the more general epistemological lack of consensus over how belief relates to rationality: in particular, over how belief relates to the degrees of belief it is rational to have given one’s evidence. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material (...) cause that can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the (...) syllogistic is a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...) the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very detailed procedures (...) for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...) model. There is a weak link in this procedure, which we call the faithfulness problem: how do we decide that the logical model is faithful to the reasoning that it is supposed to model? That is an issue external to logic, and we do not have rigorous formal methods to make the decision. The purpose of this paper is to expose the faithfulness problem (not to solve it). For that purpose, we will consider two examples, one from the geometrical reasoning in Euclid’s Elements and the other from a study on deductive reasoning in the psychology of reasoning. (shrink)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

A close interrelationship between logic and religious faith is confirmed in many places of the Bible. In the paper, special attention is paid to the dialogue of Jesus and a Samaritan woman (John 4). In a proposed outline of a logical formalization, religious faith is described as a pragmatic function through which the linguistic and logical content is contextually realized. In the continuation of the paper, Gödel's ontological proof is commented, which in a logically rigorous way describes the ontology where (...) we can detect the systematic place of religious faith as an ontological force. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the Bible, and (...) analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. (...) Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations. (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter (...) or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3). (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links (...) it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in (...) the interpretation of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical model is also defined. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...) Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is (...) shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can (...) be found in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...) a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...) this view, this dissertation, in a strict sense, investigates evidences that leads to the distinction of the inferentially expressivist tradition of syllogistic. In this semantic inferentialism, logic is the “organ of semantic self-consciousness”. In this sense, logic does not define the rational, in the most basic sense, but allows us to be aware, through inferential articulation, of the conceptual contents, which govern all our thoughts. Evidences presented in the work of this dissertation seek to show that the syllogism is marked by the logical-elucidative character of this semantic self-consciousness, because of its expressive role as inseparable from the notion of inference. In the first part of this dissertation, then, the tradition of syllogistics is examined, in which the expression is the main notion. This study is based on the tradition of syllogistics, composed of the Aristotelian school of Campinas, organized by Angioni (2014a), the logical economist Keynes (1906), and the “formalist” schools, represented mainly by the logician Łukasiewicz (1957, 1929/1963) and by Corcoran (1972, 1974, 2009, 2015). The main claims of the Campinas school are analyzed: the non-epistemological, but explanatory, exposition of (scientific) knowledge, in the syllogism, the secondary role of the notion of truth, the priority of the predicative structure, and the suggestion of approaching of the syllogistic to the relevant system of logic. In this analysis, we add the discussion about the reasoning of the epagogic type, important to the practical understanding of the “first principles”. The key points of Keynes are also discussed: the semantic priority of propositional judgment and the explanatory role of deductive inference. The second part of this dissertation discusses the relation between expression, inference and the expressive role of logic, based on the semantic inferentialism of Brandom. In order to discuss this relationship, propaedeutic questions are raised, related to the semantic role of sentences and subsentences (terms and predicates) in language, to different conceptions of logical validity, beyond the truth-functional aspect, to the logical demarcation of symbolic rules, to demarcation of logic, the idea of “formal logic”, and the removal of formal semantics from natural language concern. Next, the theoretical framework of Brandom's semantic inferentialism is presented. In this framework, the idea of philosophical semantics, pragmatisms of the semantic and conceptual type, expressivisms of the rationalist, logical and propositional conceptual type, and the semantically primitive notion of incompatibility come into play. Thus, to those who are interested in the correspondence between ancient logic and modern logic, the work of this dissertation offers a useful contribution, especially to projects of formalization of the syllogistics, which need not appeal against or in favor of a strictly formal approach to logic. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; 4. (...) Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

The main thesis of this paper is directed against the traditional (cognitivetheoretical) definition of the concept which claims that the concept is the '' thought about the essence of the object being thought'', i.e. that it is “a set of essential features or essential characteristics of an object''. But the '' set of essential features or essential characteristics of an object of thought'' is a '' content’’ of the thought. The thought about the essence of an object is definition and (...) the concept is not definition but the part of definition! Besides as the part of formal structure of thought, the concept possesses calculative logical properties that in formal logic (be it syllogistics, or the logic of propositions, or the logic of predicates) come to the front place of formal logical computation. Without the calculative properties of the concept, there would be no calculative properties of propositions which express the thought (thought structures). The calculative properties of a concept include the (1) degree of its logical generality (degree of variability), the (2) logical relations it can establish within the whole of the conceptual content, the (3) operability of the concept in structure of affirmation and negation, the (4) deducibility of either axiomatic or probabilistic systems. Therefore, I believe that, from the logical point of view, the definition of a concept should be applied in favor of its calculative properties that it possesses. (shrink)

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...) was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with (...) so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)

The paper aims to give an account of practical knowledge by outlining a hylomorphic and conceptualist account of intentional action in analogy to McDowell's conceptualist account of experience. On this view, practical concepts provide the ideal or formal structure that unifies a manifold of bodily movements into a single intentional action, and hence intentional actions are structured conceptually. -/- - §1 sets out the basic features of this view in contrast to a common dualistic or two-component view of practical knowledge, (...) as an "inner" mental state with propositional content that functions as the efficient cause of some bodily movement in the "external" world, and introduces the claim that practical knowledge is the constitutive form of intentional action. - §2 illustrates the hylomorphic unity of concept and movement in action, and thus (contra Dreyfus) the corporeality of practical reason, by means of an account of practical concept formation, on which both the formation and tradition of practical concepts take place in bodily movement iself. - §3 elucidates the concept of a self-conscious disposition or rational capacity for action, actualizations of which are characterized by a syllogistic structure that accounts for both the explanation and the justification of action and thereby renders intelligible in what sense practical judgment is internal to acting itself. - Skillful exercises of such capacities express a knowledge-how that manifests itself in practical representations. §4 characterizes representations of this kind as a perceptually situated recognition of a practical pattern that amounts to the imaginative anticipation of a movement form by which the agent determines their next steps; a practical perception of the agent's particular situation that is both normative and motivational for them. - §5 starts by developing an identity theory of practical truth, on which the conceptual content of a (true) practical judgment is numerically identical with the formal structure of a (good) action, and concludes with explaining the unity of four features commonly attributed to practical knowledge, viz. that it is at the same time descriptive, normative, causally productive, and non-observational (or self-conscious). (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

This paper argues against the common justification for the necessity of the state through the particular difficulty of private property right. Instead, I argue that the necessity of the state is internal to the concept of right in general. In order to show this, I point out how Kants adoption of hylomorphic language for the concept of right, where there is a formal and material aspect of right, allows us to understand the Rechtslehre as progressing through a syllogistic deduction (...) from innate right (major), private right (minor) to public right (conclusion). Material right is made necessary through its subsumption under formal right in the civil condition. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do recommend, however, ending the (...) discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

Some people believe that critical thinking is not a modern science, but its roots are old and deeply rooted in the history of philosophy. Its roots date back to Aristotle, the inventor of logic and who was called the first teacher by virtue of this invention. Aristotle was impressed by the language of mathematics and wanted to invent a language to logic similar to the language of Mathematics. What encouraged Aristotle to do so is that Math language is quite different (...) from daily life language. For example , when you say one in Mathematics language, what is this one you mean or intend? That is what is one? Is it a specific man or an animal or something abstract or any creature of the creatures of the natural world? The one we are talking about is neither this nor that and you can use it to talk about one human being or one animal or one creature. Therefore, the concept of the one is something abstract and it is so far from the creatures of the exterior world. Geometry has the same case. Triangle, quarter and rectangle as such are mere geometrical shapes and are far away from real life language. But when we use them in our daily life language we give them specific life meanings. -/- As I said, Aristotle was impressed by the language of Mathematics and wanted to build a similar language for logic .The rationale behind this is to get away from the language of ambiguity caused by the use of daily life language .One word or utterance in a language has many usages in one language or when translated into other languages , and therefore it causes many problems in usage instead of simplifying it and this is what Aristotle tried to avoid. Aristotle chose letters instead of words, the letter is part of the word, and the letter is meaningless unless it is a part of the word. The meaning of a letter depends on its occurrence in the word. If you compose a word from a group of letters and use it , it becomes ambiguous because it becomes part of the used language. -/- However, Aristotle did not combine letters in a word but he used them as abstract letters and gave them meanings in the language of logic where there is no divergence about its use. Aristotle used them in syllogism and they mean the limits of reason . Until recently critical thinking was part of formal logic and learning it means that you have logical background or at least you are familiar with the rules and fundamentals of logic. But critical thinking theorists soon took the initiative to separate it from logic because the latter started to suffer from its rules which are difficult to understand and which require some awareness and thoughts on the part of the scholar to understand. Hence , critical thinking is not supposed to possess a background of logic and it adopts a specific questioning approach where it suggests a number of questions the practitioner of critical thinking has to successively answer since he has to make sure that the opinion he reaches does not rely on any subjective considerations. This is how the skills that are acquired on a continuum of related critical questions are established ,this is not to mention that the concept of critical thinking itself is usually defined in this context as the awareness of such kinds of questions and the ability to arouse and answer them at appropriate times. My paper explains, How to be able to implement these skills in high education and what are the benefits of these skills? The paper includes; Critical Thinking and Logic Socrates `s Approach The impact of critical thinking on teaching methods Questioning How questions are organized in the light of critical thinking? Using Critical Thinking in Problem-Solving Use of Non-Oral language in Critical Thinking. (shrink)

Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can be (...) spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the many fallacious (...) ideas circulating regarding the nature of a fortiori reasoning. -/- The work is divided into three parts. The first part, Formalities, presents the author’s largely original theory of a fortiori argument, in all its forms and varieties. Its four (or eight) principal moods are analyzed in great detail and formally validated, and secondary moods are derived from them. A crescendo argument is distinguished from purely a fortiori argument, and similarly analyzed and validated. These argument forms are clearly distinguished from the pro rata and analogical forms of argument. Moreover, we examine the wide range of a fortiori argument; the possibilities of quantifying it; the formal interrelationships of its various moods; and their relationships to syllogistic and analogical reasoning. Although a fortiori argument is shown to be deductive, inductive forms of it are acknowledged and explained. Although a fortiori argument is essentially ontical in character, more specifically logical-epistemic and ethical-legal variants of it are acknowledged. -/- The second part of the work, Ancient and Medieval History, looks into use and discussion of a fortiori argument in Greece and Rome, in the Talmud, among post-Talmudic rabbis, and in Christian, Moslem, Chinese and Indian sources. Aristotle’s approach to a fortiori argument is described and evaluated. There is a thorough analysis of the Mishnaic qal vachomer argument, and a reassessment of the dayo principle relating to it, as well as of the Gemara’s later take on these topics. The valuable contribution, much later, by Moshe Chaim Luzzatto is duly acknowledged. Lists are drawn up of the use of a fortiori argument in the Jewish Bible, the Mishna, the works of Plato and Aristotle, the Christian Bible and the Koran; and the specific moods used are identified. Moreover, there is a pilot study of the use of a fortiori argument in the Gemara, with reference to Rodkinson’s partial edition of the Babylonian Talmud, setting detailed methodological guidelines for a fuller study. There is also a novel, detailed study of logic in general in the Torah. -/- The third part of the present work, Modern and Contemporary Authors, describes and evaluates the work of numerous (some thirty) recent contributors to a fortiori logic, as well as the articles on the subject in certain lexicons. Here, we discover that whereas a few authors in the last century or so made some significant contributions to the field, most of them shot woefully off-target in various ways. The work of each author, whether famous or unknown, is examined in detail in a dedicated chapter, or at least in a section; and his ideas on the subject are carefully weighed. The variety of theories that have been proposed is impressive, and stands witness to the complexity and elusiveness of the subject, and to the crying need for the present critical and integrative study. But whatever the intrinsic value of each work, it must be realized that even errors and lacunae are interesting because they teach us how not to proceed. -/- This book also contains, in a final appendix, some valuable contributions to general logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox. (shrink)

This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood with examples (...) bringing the subjects to life. Traditionally, Venn diagrams have been employed to test arguments. These are very useful but their application is limited and they are not open to quantification. The mid-section of this book introduces a methodology that makes the analysis of arguments accessible with the use of a new form of diagram, modified from those of the mathematician Leonhard Euler. These new diagrammatic methods will be employed to demonstrate an addition to the basic form of syllogism. This includes a refined definition of the terms ‘most’ and ‘some’ within propositions. This may seem a little obscure at the moment but one will readily apprehend these new methods and principles of a more modern logic. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

I defend an interpretation of Aristotle’s Posterior Analytics Book I which distinguishes between two projects in different passages of that work: (i) to explain what a given science is and (ii) to explain what properly scientific knowledge is. I present Aristotle’s theory in answer to ii, with special attention to his definition of scientific knowledge in 71b9-12 and showing how this is developed on chapters I.2-9 and I.13 into a solid Theory of Scientific Demonstration. The main point of this theory (...) is that demonstrations need to capture relevant explanations. Some formal requirements of the demonstration (as the syllogistic structure and coextension between terms) are unfoldings of the main project, i.e., to capture and present properly relevant causal-explanatory relations. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

This chapter sharpens the book’s criticism of exclusivist responsible to religious multiplicity, firstly through close critical attention to arguments which religious exclusivists provide, and secondly through the introduction of several new, formal arguments / dilemmas. Self-described ‘post-liberals’ like Paul Griffiths bid philosophers to accept exclusivist attitudes and beliefs as just one among other aspects of religious identity. They bid us to normalize the discourse Griffiths refers to as “polemical apologetics,” and to view its acceptance as the only viable form of (...) pluralism. This reasoning may seem initially plausible, but on closer examination his and other’s defence of the reasonableness of exclusivist responses to religious multiplicity fall apart. Informed by our study of luck-leaning theological explanations of religious difference and the counter-inductive thinking they exemplify, I argue that exclusivist responses to religious multiplicity are best explained by personal and group bias, and that a discourse between exclusivist authors or sects is beyond the pale of reasonable disagreement. Our study of descriptive (psychological) and prescriptive (religious) fideism in the first sections of Chapter Five suggests that we turn back to formal features of doxastic methods (i.e., of how people process), features that may be straightforwardly tested for in studies utilizing scales of religious orientation. These formal features allow us to better recognize not only the multiplicity of models of faith that religious adherents adhere to, but also that the relationship between forms of fideism is scalar: there is a spectrum of views running from rationalism to fideism, and at the fideistic end from moderate to strong forms of religious fideism. I further explain why developing tests and markers for a high degree of fideistic orientation is important to all those who study religion. The second half of the chapter turns to criticism or censure of exclusivist attitudes to religious multiplicity, in contrast to apologetic defenses of exclusivism. While we have examined the close connections between fideism and fundamentalism, and again between fundamentalism and exclusivism in earlier chapters, a sharper focus reveals an important but little-recognized distinction reflected in the literature: the distinction between religion-specific (or particularist) and mutualist exclusivism. The mutualist doesn’t talk just about the right of adherents of one specific religion to assert exclusivism, but the adherents of any and all “home” religions. I argue that some previously unrecognized problems for the reasonableness of exclusivist responses to religious multiplicity are brought to light when we make the distinction between the two basic ways to understand the claim that exclusivists are making. I put particularist (Barth, Lindbeck, Plantinga) and mutualist (Griffiths, Gellman, Margalit, D’Costa) defenses of exclusivism on the horns of a dilemma, and argue that despite the popularity it presently enjoys among post-liberal theologians, a close examination reveals that the very conceptual coherence of mutualist exclusivism is in serious doubt. (shrink)

Abu Nasr Muhammad Al-Farabi (870–950 AD), the second outstanding representative of the Muslim peripatetic after al Kindi (801–873 AD), was born in Turkestan about 870 AD. Al-Farabi’s studies commenced in Farab, then he travelled to Baghdad, where he studied logic with a Christian scholar named Yuhanna b. Hailan. Al-Farabi wrote numerous works dealing with almost every branch of science in the medieval world. In addition to a large number of books on logic and other sciences, he came to be known (...) as the “Second Teacher” (al-Mou’allim al-Thani), Aristotle being the first. One of Al-Farabi’s most important contributions was clarifying the func- tions of logic as follows: 1. He defined logic and compared it with grammar, and discussed the clas- sification and fundamental principles of science in a unique and useful manner. 2. He made the study of logic easier by dividing it into two categories: Takhayyul (idea) and Thubut (proof). 3. He believed that the objective of logic is to correct faults we may find in ourselves and in others, and faults that others find in us. 4. He said that if we do not comprehend logic, we must either have faith in all people, or mistrust all people, or differentiate between them. Such actions would be undertaken without a basis of evidence or experimen- tation. In this paper, I will analyse the functions of logic in Al-Farabi’s works, Enumeration of the Sciences, Book on the Syllogism, Book on Dialectic, Book on Demonstration and Ring Stones of Wisdom, in order to present his contributions in the field of logic. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...) Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are universally quantified (...) implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty. (shrink)

The paper takes a novel approach to a classic problem—Hempel’s Raven Paradox. A standard approach to it supposes the solution to consist in bringing our inductive logic into “reflective equilibrium” with our intuitive judgements about which inductive inferences we should license. This approach leaves the intuitions as a kind of black box and takes it on faith that, whatever the structure of the intuitions inside that box might be, it is one for which we can construct an isomorphic formal edifice, (...) a system of inductive logic. By popping open the box we can see whether that faith is misplaced. I aim, therefore, to characterize our pre-theoretical, intuitive understanding of generalizations like “ravens are black” and argue that, intuitively, we take them to mean, for instance: “ravens are black by some indeterminate yet characteristic means.” I motivate and explicate this formulation and bring it to bear on Hempel’s Problem. (shrink)

This article aims to show that it is impossible to put Cicero’s testimonies regarding The Fabius Argument in a consistent inferential order. Either we must suppose that additional premises are tacitly assumed in the text or we must com-pare it with other sources, which leads to inconsistencies in the proof’s reconstruction. Cicero’s reconstruction of the progression of the argument has formal shortcomings, and the paper draws attention to some of these deficiencies. He interpreted sources in a revised and intentionally simplified (...) way, with the aim of undermining the views of his opponents, casting them as inconsistent and similar to views held by Diodorus. Rather than being a consistently interpreted argument faithfully transcribed from the Stoic sources, Cicero’s Fabius Argument is ultimately anti-Stoic. (shrink)

This study critically explores, in the light of Christian theology, the singular inter- pretation that François Laruelle (1937) makes of the figure of Christ and his relation- ship with human being. First, we approach the way in which Laruelle’s Christology challenges the abidance between the apostolic narrative and the believing compre- hension about the unity between the Mystery of God and the Event of Jesus Christ. According to Laruelle, Christ has not only raised human freedom beyond the essence and existence (...) of an absolute (and, therefore, the founding axioms of Philosophy that require a prior foundation of the founded); but Christ exhibits the absolute in his finite existence as fully actual. Second, even briefly, we will trace the theological-anthro- pological physiognomy of the Mystery of the Incarnation by means of an inquiry in its soteriological sense. In that sense, the first formal Christian theology is precious: the theology of the Fathers of the Church. So, we intend to point to the way in which Christian faith contributes to the clarification of the singular super-natural quality that defines human nature in its divine connaturality: possibility of always being more and better in the world. (shrink)