In Metaphysics Γ, Aristotle argues against those who seem to accept contradictions. He distinguishes between the Sophists, who deny the principle of non-contradiction through arguments, and the Natural Philosophers, whose physical investigations lead to the acceptance of objective contradictions. Heraclitus’ name appears throughout the discussion. Usually, he is associated with the discussion against the Sophists. In this paper, I explore how the discussion with the Natural Philosophers may illuminate both the interpretation of Heraclitus by Aristotle and Heraclitus’ own worldview. To (...) refute the Natural Philosophers, Aristotle proposes a general reconstruction of their reasoning. Roughly, relying on sensory evidence (A1), they see that the same thing changes from one opposite to another (A2). Such a change appears to characterize a generation out of non-being, which a Natural Philosopher does not accept (A3). To solve the problem, despite their different worldviews, Natural Philosophers hint at a state in which opposites co-occur, characterizing an objective contradiction (C). Looking at the discussion in Metaphysics Γ and Heraclitus fragments, sections 1–3 show how assumptions A1, A2, and A3 easily apply to Heraclitus. The case of the conclusion is more challenging. In the case of the Pluralists, the co-existence of opposites characterizes a state in which there is no generation. Such a view does not fit Heraclitus’ mobilism. To argue that Aristotle’s argument is general enough to encompass dynamic views, I examine his problematization of accepting the change of change in Metaphysics K and Physics V. There, after re-stating several points that appear in Metaphysics Γ, Aristotle argues that accepting the becoming of another becoming leads to a state of contradiction in which the becoming is perishing. Heraclitus’ B8, cited in Nicomachean Ethics, gives evidence that, for Aristotle, Heraclitus puts a process at the origin of an opposite process. Moreover, after examining the expression ‘living the death/dying the life’ in B62, I argue that Heraclitus was aware that his worldview implied a dynamic objective contradiction. Finally, an analysis of elemental changes in B36 proves that accepting objective contradictions does not make Heraclitus’ worldview less attractive. (shrink)

This paper focuses on Aristotle’s discussion of PNC in Metaphysics Gamma and argues that the argument operates at three different levels: ontological, doxastic, and semantic through the invocation of three philosophical personae: the first one can only state what is otherwise unprovable, the second one can only confirm that we should trust PNC, the third one denies PNC and must be silenced. Aristotle cannot prove what is beyond proof. This situation results in a fundamental ambiguity in the figure of the (...) philosopher. The Metaphysics is written from the standpoint of an investigative thinker who admits her puzzlement before a question that will forever remain open and imagines another philosopher who has achieved a god-like insight into the first principles of all things. The path from the first figure to the second one, however, remains an enigmatic leap. (shrink)

Many parts of the contemporary philosophical debate have been built on the radicalization of conclusions derived from the acceptance of a certain set of classical dichotomies. It also discusses how pragmatism and abduction are currently presented to solve the problems arising from these dichotomies. For this reason, the efforts of this article have been directed to analyze the impact of this fact on the philosophy of science and logic. The starting point is that accepting abduction implies, in many ways, accepting (...) the foundations of pragmatism. Also, that the analysis of such problems from pragmatism and the particular use of abduction dissolve the dichotomies and, with it, also modify the philosophical problems related to them. Therefore, I propose to understand abduction as the right conceptual device to review the problems and debates of the twentieth century’s epistemology from a pragmatic perspective. In doing so, the aim is to propose that the current use of abduction in contemporary debates may imply a change of the philosophical perspective. (shrink)

The aim of this paper is to present and analyze arguments provided for the Psychological Principle of Non-Contradiction which states that one cannot have, or cannot be described as having, contradictory beliefs. By differentiating two possible interpretations of PNC, descriptive and normative, and examining arguments provided for each of them separately I point out the flaws in reasoning in these arguments and difficulties with aligning PNC with the empirical data provided by research done in cognitive and clinical psychology. I claim (...) that PNC cannot be derived from any metaphysical stance regarding the mental phenomena and that having contradictory beliefs should be regarded as possible. Furthermore, I argue that interpreting a subject as having contradictory beliefs, and therefore abandoning PNC, can be more effective in explaining the phenomena of contradictory beliefs and irrational behaviour than solutions consistent with the PNC. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

Our aim is to propose a non-referential semantics for the principle of logical charity: neither logical universalism (one logic, one way of thinking), nor logical relativism (several logics, several ways of thinking) afford an adequate conceptual framework to interpret the meaning of any speech act. But neither of them is totally wrong, either. The point is to know to which extent each of these views is partly right, thus leading to a more consensual but paradoxical-sounding "relative principle of charity". After (...) recalling the theoretical background of logical charity, we suggest a four-valued logic of acceptance and rejection (hereafter: AR4); then we explain how such a non-referential semantics does justice both to the champions of logical charity and its opponents. While endorsing coherence as a precondition for rationality, we argue that such a criterion does not entail that classical logic is a necessary conceptual scheme to interpret the others' beliefs. A better application of charity should take account of the questions implicitly asked by a statement, and we bring these questions out in replacing Quine's truth-functions by Quine’s verdict functions while emphasizing upon their varying degrees of strength. (shrink)

Redictio ad absurdum is an important part of Aristotle’s syllogistic. It is connected with direct proof and they are complementary methods. All moods of Aristotle are provable by direct methods and redictio ad absurdum. In this paper, I have studied on the bases and principles of redictio ad absurdum, I showed how to prove by redictio ad absurdum, and how to prove Aristotle by redictio ad absurdum. By redictio ad absurdum, all forms of Aristotle’s method proved in the first figure (...) can be reduced to the perfect forms. (shrink)

In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...) by the Stagerian in the Analytica Priora (B15). According to him, the following syllogisms are valid from opposite premises, in which small Latin letters stand for terms such as subject and predicate, and capital Latin letters stand for the categorical propositions such as in the traditional notation: (i) in the second figure, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), and Aba,Oba ` Oaa (Baroco); (ii) in the third one, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) and Eab, Iab ` Oaa (Ferison). Finally, we discuss the passage from the Analytica Posteriora (A11) in which Aristotle states that the Principle of Non-Contradiction is not generally presupposed in all demonstrations (scientific syllogisms), but only in those in which the conclusion must be proved from the Principle; the Stagerian states that if a syllogism of the first figure has the major term consistent, the other terms of the demonstration can be each one separately inconsistent. These results allow us to propose an interpretation of his deductive theory as a broad sense paraconsistent theory. Firstly, we proceed to a hermeneutical analysis, evaluating its logical significance and the interplay of the results with some other points of Aristotle’s philosophy. Secondly, we point to a logical interpretation of the Aristotelian syllogisms from opposite premises in the antilogisms method proposed by Christine Ladd-Franklin in 1883, and we also present a logical treatment of the Aristotelian demonstration with inconsistent material in the paraconsistent logics Cn, 1 _ n _!, introduced by da Costa in 1963. These two issues seem having not yet been analysed in detail in the literature. (shrink)

This presentation traces an historical root of the reductio ad absurdum mode of argumentation in Greek philosophy. I propose a new understanding of the liar paradox as an instance of this mode of argumentation. I show that the paradox was crea ted as part of a refutational argument in the controversy over the justification of realism and the realists concepts of truth and certainty. The paradox was part of the dialectical style of Greek scepticism, which was characterized, inter alia, by (...) the u se of the reductio ad absurdum. The paradox turns out to be a metaphysical and epistemological argument. (shrink)

In this thesis I examine three models of justification for the epistemic authority of the principle of contradiction. Aristotle has deemed the principle "that the same attribute cannot at the same time belong and not belong to the same subject and in the same respect" the most certain and most prior of all principles, both in the order of nature and in the order of knowledge, and as such it is indemonstrable. The principle of contradiction is involved in any act (...) of rational discourse, and to deny it would be to reduce ourselves to a vegetative state, being incapable of uttering anything with meaning. The way we reach the principle of contradiction is by intuitive grasping from the experience of the particulars, by recognizing the universals in the particulars encountered, and it is different from simple induction, which, in Mill's view, is the process through which we construct a general statement on the basis of a limited sample of observed particulars. Hence, the principle of contradiction, being a mere generalization from experience, through induction, loses its certainty and necessity. Even though it has a high degree of confirmation from experience, it is in principle possible to come across a counter-example which would refute it. Mill's account opens the path to the modern view of the principle of contradiction. In Principia Mathematica, Russell and Whitehead contend that the principle of contradiction is still a tautology, always true, but it is derived from other propositions, set forth as axioms. Its formulation, "~ " is quite different from Aristotle's, and this is why we are faced with the bizarre situation of being able to derive the law of contradiction in a formal system which could not have been built without the very principle of which the law is an expression of. This is perhaps because the principle of contradiction, as a principle, has a much larger range of application and is consequently more fundamental than what we call today the law of contradiction, with its formal function. (shrink)

In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ ( Philosophical Remarks III–56) In the last decades, several authors (e.g. Arrington, Hintikka, Van Heijenoort, Wright, Wrigley) have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors (e.g. da Costa, Goldstein, Granger, Marconi) have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which (some) contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. DOI:10.5007/1808-1711.2010v14n1p135. (shrink)

Relevantism, as a matter of definition, rejects classical logic as incorrect and adopts instead a relevant logic as encapsulating correct inference. It rejects classical logic on the grounds that the rule of Material Detachment, from A and not A or B to infer B,, sometimes leads from truth to falsity. Relevantism — although promoted by some relevant logicians, and an integral part of ultralogic — has recently encountered heavy, but interesting, criticism from relevance logicians themselves.

Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.

O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...) problemas losó cos, esse motivo não será diretamente abordado neste artigo. Pois, o foco está em compreender o mosaico neo-humea- no e como ele relaciona-se com a metafísica de mundos possíveis. Em outras palavras, o meu objetivo é entender as bases losó cas que sus- tentam o realismo modal genuíno. (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

This is a companion article to the translation of ‘Zasada sprzeczności a logika symboliczna’, the appendix on symbolic logic of Jan Łukasiewicz's 1910 book O zasadzie sprzeczności u Arytotelesa (On the Principle of Contradiction in Aristotle). While the appendix closely follows Couturat's 1905 book L'algebra de la logique (The Algebra of Logic), footnotes show that Łukasiewicz was aware of the work of Peirce, Huntington and Russell (before Principia Mathematica). This appendix was influential in the development of the Polish school of (...) logic, directly inspiring Stanisław Leśniewski and Leon Chwistek and more widely by serving as a text of the new symbolic logic. This appendix was an important source of the dominant algebraic logic in Poland, but also indicates that Łukasiewicz appreciated Russell's axiomatic approach to logic. (shrink)

The purpose of this paper is to show that in the Sophist Plato develops a dialectical strategy that appeals to necessary conditions of language as a fundamental step toward establishing some principles of his ontology. This strategy constitutes a clear antecedent of the elenctic refutation offered by Aristotle in Metaphysics Gamma 4 against the denier of the principle of non-contradiction and could be described as transcendental because it refers to conditions without which there wouldn’t be any speech. The paper aims (...) to show that such a strategy is used both by Plato and Aristotle to deal with radical adversaries whose refutation allows the establishment of basic theses of their own philosophies. (shrink)

The present article deals with the not very common opinion among medieval philosophers according to which the identity principle is the true first principle, undermining the primacy of the principle of non-contradiction. Following a refutation of this position in the logical work of the Franciscan Geraldus Odonis, we intend to investigate its target as well as other cases of the same dispute in 14th century authors: Antoine Andre, John of Buridan, John of Baconthorpe and Nicolas of Autrecourt. We defend that (...) Odonis presents a successful response to this position. (shrink)

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, (...) we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed. (shrink)

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive (...) discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for normgiving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jørgensen's dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein's therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms. (shrink)

Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy. He was a great thinker, a great teacher, a great organizer of philosophical and scientific life, and, last but not least, a great moral authority. He died at the age of 96 on October 3, 1981. Kotarbinski was active in almost all branches of philosophy. He made many significant contributions to logic, semantics, ontology, epistemology, history of philosophy, and ethics. He created a new field, namely praxiology. Thus, using an (...) ancient distinction, he contributed to theoretical as well as practical philoso~hy. Kotarbinski regarded praxiology as his major philosophical "child". Doubtless, praxiology belongs to practical philosophy. This collection, howewer, is mainly devoted to Kotarbinski' s theoretical philosophy. Reism - Kotarbinski' s fundamental idea of ontology and semantics - is the central topic of most papers included here; even Pszczolowski' s essay on praxiology considers its ontological basis.,Only two papers, namely that of Zarnecka-Bialy and that of Wolenski, are not linked with reism. However, both fall under the general label "Kotarbinski: logic, semantics and ontology". The collection partly consists of earlier published papers. (shrink)

Deleuze never explicitly formulates his philosophy of logical truth‐values. It thus remains an open question as to the number and types he held there to be. Despite his explicit comments on these matters, additional textual evidence suggests that in his thinking on the event, he favored a third truth‐value, holding either the analetheic view that some truth‐bearers can be truth‐valueless or the dialetheic view that some truth‐bearers can be both true and false. I first argue that taking a logical approach (...) to Deleuze's thinking is feasible, despite his and others' claims that might suggest otherwise. Next, I examine his explicit statements to show that they cannot be taken at face value and that, rather, we need to transpose his claims into contemporary terminology in order to accurately assess them. I lastly turn to his Leibniz‐inspired philosophy of time to argue that the affirmations involved in this conception strongly suggest a dialetheic tendency in his thinking. (shrink)

This volume examines the entire logical and philosophical production of Nikolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher, psychologist, and poet. The author frames Vasil’ev’s work within its historical and cultural context. He takes into consideration both the situation of logic in Russia and the state of logic in Western Europe, from the end of the 19th century to the beginning of (...) the 20th. Following this, the book considers the attempts to develop non-Aristotelian logics or ideas that present affinities with imaginary logic. It then looks at the contribution of traditional logic in elaborating non-classical ideas. This logic allows the author to deal with incomplete objects just as imaginary logic does with contradictory ones. Both logics are objects of interesting analysis by modern researchers. (shrink)

It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of (...) an affirmation and a denial. So how should we formalize a false denial? In the literature, we find that a false denial is formalized by means of two negation signs attached to a one-place predicate. However, it can be shown that this rendering leads to an incorrect picture of Aristotle’s principles. In this paper, I propose a solution to this technical problem by devising a formal notation especially for Aristotelian propositions in which internal negation is differentiated from external negation. I will also analyze both principles, each of which has two logically equivalent forms, a positive and a negative one. The fact that Aristotle’s principles are distinct and complementary is reflected in my new formalizations. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.

The purpose of this paper is to show that in theSophistPlato develops a dialectical strategy that appeals to necessary conditions of language as a fundamental step toward establishing some principles of his ontology. This strategy constitutes a clear antecedent of the elenctic refutation offered by Aristotle inMetaphysics Gamma4 against the denier of the principle of non-contradiction and could be described as transcendental because it refers to conditions without which there wouldn’t be any speech. The paper aims to show that such (...) a strategy is used both by Plato and Aristotle to deal with radical adversaries whose refutation allows the establishment of basic theses of their own philosophies. (shrink)

The paper attempts to pose a problem for theories claiming that intentional attributions are essentially normative. Firstly, I argue that the claim is ambiguous. Secondly, that three possible interpretations of the claim can be distinguished: one that appeals to normative impositions put on agents of intentional states, another that exploits the fact that one can normatively assess the states in question and a further one that locates normativity in the domain of special intentional explanations. Thirdly, it is argued that each (...) interpretation faces serious difficulties: they either fail to provide a justification for the claim they intend to make or they contradict certain justified observations about intentional attributions. (shrink)