Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation (...) of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then (...) argue that we should accept these startling conclusions, since CEM is valid. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, (...) both of these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

There is a standard quantificational view of generic sentences according to which they have a tripartite logical form involving a phonologically null generic operator called 'Gen'. Recently, a number of theorists have questioned the standard view and revived a competing proposal according to which generics involve the predication of properties to kinds. This paper offers a novel argument against the kind-predication approach on the basis of the invalidity of Generic Excluded Middle, a principle according to which any sentence (...) of the form ⌜Either Fs are G or Fs are not G⌝ is true. I argue that the kind-predication approach erroneously predicts that GEM is valid, and that it can only avoid this conclusion by either collapsing into a form of the quantificational analysis or otherwise garnering unpalatable metaphysical commitments. I also show that, while the quantificational approach does not validate GEM as a matter of logical form, the principle may be validated on certain semantic analyses of the generic operator, and so, such theories should be rejected. (shrink)

Nicomachean Ethics/NE, Book III, Chapters 1-5, provides Aristotle’s account of “Voluntary Movement.” It, thus, draws the Passion-Action distinction, only posited earlier in Categories, while also serving as the linchpin of NE’ discussion of Virtue, in explicitly connecting it to Right Reason. My explication of this text renders its terminology consistent with the Law of Excluded Middle and rebuts two criticisms of the Eudaimonistic Axiology on which it is based. These results are shown to be entailments of Aristotle’s doctrine (...) that Voluntary is (a) Relative. This principle is then used to help treat a problematic case of Deliberation beyond his purview. (shrink)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because (...) “m”, “r”, “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (shrink)

The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and to not (...) exist at the same time. However, contrary to these claims, there is no inadequacy in the two-valued system of classical logic in explanation the intermediate situations in existence. The law of exclusion and the intermediate situations in the external world are separate things. The law of excluded middle has been inevitably accepted by other logic systems which are considered to reject this principle. The many-valued and the fuzzy logic systems do not transcend the classical logic. Misconceptions from incomplete information and incomplete research are effective in these criticisms. In addition, it is also effective to move the discussion about the intellectual conception (tasawwur) into the field of judgmental assent (tasdiq) and confusion of the mawhum (imaginable) with the ma‘kûl (intellegible). (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so (...) we should resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

In this chapter we consider three philosophical perspectives (including those of Stalnaker and Lewis) on the question of whether and how the principle of conditional excluded middle should figure in the logic and semantics of counterfactuals. We articulate and defend a third view that is patterned after belief revision theories offered in other areas of logic and philosophy. Unlike Lewis’ view, the belief revision perspective does not reject conditional excluded middle, and unlike Stalnaker’s, it does not (...) embrace supervaluationism. We adduce both theoretical and empirical considerations to argue that the belief revision perspective should be preferred to its alternatives. The empirical considerations are drawn from the results of four empirical studies (which we report below) of non-experts’ judgments about counterfactuals and conditional excluded middle. (shrink)

This paper explores what the epistemic account of vagueness means for theories of legal interpretation. The thesis of epistemicism is that vague statements are true or false even though it is impossible to know which. I argue that if epistemicism is accepted within the domain of the law, then the following three conditions must be satisfied: Interpretative reasoning within the law must adhere to the principle of bivalence and the law of excluded middle, interpretative reasoning within the law (...) must construe vague statements as an epistemic phenomenon, and epistemicism must be expanded to include normative considerations in order to account for legal theories that are consistent with the first two conditions. The first two conditions are internal to a particular theory of legal interpretation, while the third condition is external to a particular theory of legal interpretation. My conclusion shows that there are legal theories that are internally consistent with the fundamental features of epistemicism. However, within the domain of law—and specifically in the case of legal theories that are internally consistent with epistemicism—I show that vagueness cannot be explained simply by our ignorance of the meaning and use of vague expressions. Rather, epistemicism must also account for ignorance of the requisite normative considerations in legal theories with which it is otherwise consistent. (shrink)

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and Klein (...) bottle logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic systems, aiming to redefine approaches to understanding truth and reasoning. The paper investigates how these alternative logics open avenues for philosophical inquiry, redefining entropy, and potentially influencing innovative perspectives in free energy systems. Through this exploration, it seeks to expand the discourse on logic, welcoming a broader spectrum of thought beyond established frameworks; and we also discuss shortly a number of possible implementations including in risk management and also Klein bottle entropy redefinition (Tang et al, 2018). (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where (...) one can get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems (...) to neglect. To come to a better understanding of Frege’s response, I proceed to investigate his conception of the nature of the logical categories, and how it differs from Russell’s. I argue that, for Frege, our grasp of the logical categories cannot be severed from our grasp of the Begriffsschrift notation itself. Russell, on the other hand, attaches no such importance to notation. From Frege’s point of view, Russell has not succeeded in presenting an alternative conception of the logical hierarchy, since such a conception must go in tandem with the development of a notation. Moreover, Frege has good reasons to think that Russell’s proposal does not admit of a suitable notation. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In this paper I outline a comprehensive theory of legal interpretation based on an assumption that legal text, understood as the aggregate of texts of all legal acts in force at a particular time and place, describes one rational and coherent possible world. The picture of this possible world is decoded from the text by interpreters and serves as a holistic model to which the real world is adjusted when the law is applied. From the above premise I will limit (...) myself to drawing two conclusions for how legal interpretation should be carried out. First, I argue that the possible world described by the legal text has to be ‘accessible’ from the real world, i.e. it has to be feasible to transform the actual world into the described one. Were it otherwise, the possible world could not serve as a model for adjustment. The accessibility requirement imposes obligations on the interpreters to secure the rationality of the possible world decoded from the text, amongst other to secure that the description of this world is not contradictory and – as a consequence – the law of excluded middle is obeyed in the possible world described by the legal text. Secondly, I argue for the inevitability of interpretative discretion arising from the requirement to decode a sufficiently ‘saturated’ picture of the possible world., i.e. possessing enough properties to resemble the actual world. As texts have a limited number of sentences and worlds have an unlimited number of properties, interpreters have to supplement the picture of a possible world to achieve its coherence. This involves the inclusion of some additional, non-predetermined features that integrate with the properties of the world predefined by the legal text. This process of saturation consists of filling in so-called ‘places of indeterminacy’ (Roman Ingarden) with content implicated by other features of the possible world. I also argue that the discretion resulting from the necessity of filling in the places of indeterminacy is justified by the requirement of fulfilling the intention of the lawmaker to make the possible world described by the legal text real. The theory presented here is based on contemporary theories of discourse representation and so-called ‘text-world theory’ by J. Gavins. Phenomenalism and causal (historical) theories of reference provide its philosophical background. (shrink)

Chrysippus often talks as if there is a third option when we might expect that two options in response to a question are exhaustive. Things are true, false or neither; equal, unequal, or neither; the same, different, or neither.. and so on. There seems to be a general pattern here that calls for a general explanation. This paper offers a general explanation of this pattern, preserving Stoic commitments to excluded middle and bivalence, arguing that Chrysippus employs this trichotomy (...) move when he wishes to argue that apparent contradictories are only contraries, and wishes to endorse a third option. This general explanation of the pattern of trichotomies sheds light on a number of interpretive puzzles, including on Chrysippus's response to the paradox of the cone. The purpose of these trichotomies is also discussed, and it is suggested that they originate from the dialectical context in which philosophical problems were posed. (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)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. One rather conspicuous example is that the process of refining logical terminology has been productive. Future logic students will no longer be burdened by obscure terminology and they will be able to read, think, talk, and write about logic in a more careful and more rewarding manner. Closely related is increased use and study of variable-enhanced natural language as in “Every proposition x that implies some proposition y that is false also implies some proposition z that is true”. Another welcome development is the culmination of the slow demise of logicism. No longer is the teacher blocked from using examples from arithmetic and algebra fearing that the students had been indoctrinated into thinking that every mathematical truth was a tautology and that every mathematical falsehood was a contradiction. A fifth welcome development is the separation of laws of logic from so-called logical truths, i.e., tautologies. Now we can teach the logical independence of the laws of excluded middle and non-contradiction without fear that students had been indoctrinated into thinking that every logical law was a tautology and that every falsehood of logic was a contradiction. This separation permits the logic teacher to apply logic in the clarification of laws of logic. This lecture expands the above points, which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or (...) any further controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary (...) can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the (...) three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

The Laws of Thought is an exploration of the deductive and inductive foundations of rational thought. The author here clarifies and defends Aristotle’s Three Laws of Thought, called the Laws of Identity, Non-contradiction and Exclusion of the Middle – and introduces two more, which are implicit in and crucial to them: the Fourth Law of Thought, called the Principle of Induction, and the Fifth Law of Thought, called the Principle of Deduction. This book is a thematic compilation drawn from (...) past works by the author over a period of twenty-three years (1990-2013). (shrink)

In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law of (...) excluded middle. This paper offers a new interpretation of Aristotle’s refutation of fatalism. According to this interpretation, each member of a pair of contradictory future contingent statements, in virtue of expressing modal necessity, is simply false. (shrink)

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter (...) whether the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind. (shrink)

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in particular the (...) unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show that Searle (...) has not identified a sustainable position somewhere between the Humean and the Reinachian extremes. This is because Searle’s position is threatened by circularity, and to steer clear of that danger it must incorporate at least some elements of Reinach’s essentialism. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)

The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his concept of truth (...) against these antinomies. It is demonstrated that Tarskian theory of truth is resistant to the paradoxes and it is still the best solution to avoid the antinomies and remain within a classical logic, that is, accepting the laws of noncontradiction, excluded middle, and the principle of bivalence. Thus, the goal of the paper is double—firstly, to show that none of the versions of the Liar Paradox’s is a serious threat to Tarski’s concept of truth, and secondly, that Semantic Theory of Truth allows to remain within classical logic, and at the same time, avoid antinomies—which makes it the most attractive among classical theories of truth. (shrink)

Buddhist Illogic. The 2nd Century CE Indian philosopher Nagarjuna founded the Madhyamika (Middle Way) school of Mahayana Buddhism, which strongly influenced Chinese, Korean and Japanese (Ch’an or Zen) Buddhism, as well as Tibetan Buddhism. Nagarjuna is regarded by many Buddhist writers to this day as a very important philosopher, who they claim definitively proved the futility of ordinary human cognitive means. His writings include a series of arguments purporting to show the illogic of logic, the absurdity of reason. He (...) considers this the way to verbalize and justify the Buddhist doctrine of “emptiness” (Shunyata). These arguments attack some of the basic tenets and techniques of reasoning, such as the laws of thought (identity, non-contradiction and the excluded middle), conceptualization and predication, our common assumptions of self, entities and essences, as well as our beliefs in motion and causation. The present essay demonstrates the many sophistries involved in Nagarjuna’s arguments. He uses double standards, applying or ignoring the laws of thought and other norms as convenient to his goals; he manipulates his readers, by giving seemingly logical form (like the dilemma) to his discourse, while in fact engaged in non-sequiturs or appealing to doubtful premises; he plays with words, relying on unclear terminology, misleading equivocations and unfair fixations of meaning; and he ‘steals concepts’, using them to deny the very percepts on which they are based. Although a critique of the Madhyamika philosophical interpretation and defense of “emptiness”, Buddhist Illogic is not intended to dissuade readers from Buddhism. On the contrary, its aim to enhance personal awareness of actual cognitive processes, and so improve meditation. It is also an excellent primer on phenomenological epistemology. (shrink)

The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. Secondary (...) field induction laws are derived; a secondary curl free electric field E_l is induced by a time varying scalar magnetic field B_l, which isn’t described by Maxwell’s electrodynamics. The Helmholtz’ decomposition is applied to exclude E_l from the total electric field E, resulting into a more simple Maxwell theory. Decoupled inhomogeneous potential equations and its solutions follow directly from this theory, without having to apply a gauge condition. Field expressions are derived from the potential functions that are simpler and far field consistent with respect to the Jefimenko fields. However, our simple version of Maxwell’s theory does not satisfy N3LM. Therefore we combine the generalized magnetostatics with the simple version of Maxwell’s electrodynamics, via the generalization of Maxwell’s speculative displacement current. The resulting electrodynamics describes three types of vacuum waves: the Φ wave, the longitudinal electromagnetic (LEM) wave and the transverse electromagnetic (TEM) wave, with phase velocities respectively a, b and c. Power- and force theorems are derived, and the force law agrees with Newton’s third law only if the phase velocities satisfy the following condition: a >> b and b = c. The retarded potential functions can be found without gauge conditions, and four retarded field expressions are derived that have three near field terms and six far field terms. All six far field terms are explained as the mutual induction of two free fields. Our theory supports Rutherford’s solution of the 4/3 problem of electromagnetic mass, which requires an extra longitudinal electromagnetic momentum. Our generalized classical electrodynamics might spawn new physics experiments and electrical engineering, such as new photoelectric effects based on Φ- or LEM radiation, and the conversion of natural Φ- or LEM radiation into useful electricity, in the footsteps of dr. N. Tesla and dr. T.H. Moray. (shrink)

هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...) مشروع إقامة لغة مثالية أو اصطناعية أو كاملة منطقيًا تتجاوز عيوب ونقائص اللغة العادية التي نفكر ونتعامل بها. وينتهي الكتاب إلى نتيجة مؤداها أن ما واجهه المنطق الكلاسيكي – ثنائي القيم – من مشكلات أدت إلى تطويره، لاسيما مشكلة الغموض، لابد وأن يواجهه بالمثل المنطق متعدد القيم، ذلك أن الغموض ظاهرة إبستمولوجية في المحل الأول، مردودها إلى الذات العارفة وقصور إمكاناتها الإدراكية والقياسية، لا إلى الوجود ذاته. وأننا حتى لو سمحنا لأية قضية منطقية بقيمة صدق ثالثة، أو بأكثر من قيمة تتوسط بين الصدق التام والكذب التام، فسوف تظل القضية – كتمثيل لغوي لإحدى وقائع العالم – صادقة أو كاذبة، سواء أدركنا ذلك أو لم ندركه، وذلك تأكيد لنزعة أفلاطون الواقعية القائلة بوجود أزلي وثابت للحقائق في عالم المثل، تحول دون معرفتنا الظنية بظلالها في عالم الحس المتغير. ويعني ذلك بعبارة أخرى أن الشك في قانون الثالث المرفوع هو إسقاط من الذات على الموضوع، مبعثه عدم اكتمال العملية المعرفية ومحدوديتها، وأن ظهور الأنساق المنطقية ذات القيم المتعددة ما هو إلا حلقة من حلقات العلاقة الجدلية اللامنتهية بين الإنسان والطبيعة، أو بيم ما هو مُدرك وما هو موجود بالفعل. والكتاب بصفة عامة هو أول كتاب باللغة العربية يعرض لأنساق المنطق متعدد القيم بعد مرحلة البرينكيبيا ماثيماتيكا. (shrink)

Let (leeway) incompatibilism be the thesis that causal determinism is incompatible with the freedom to do otherwise. Several prominent authors have claimed that incompatibilism alone can capture, or at least best captures, the intuitive appeal behind Jorge Luis Borges's famous “Garden of Forking Paths” metaphor. The thought, briefly, is this: the “single path” leading up to one's present decision represents the past; the forking paths that one must decide between represent those possible futures consistent with the past and the laws (...) of nature. But if determinism is true, there is only one possible future consistent with the past and the laws and, hence, only one path to choose from. That is, if determinism is true, then we are not free to do otherwise. In this paper, I argue that this understanding of the Garden of Forking Paths faces a number of problems and ought to be rejected even by incompatibilists. I then present an alternative understanding that not only avoids these problems but still supports incompatibilism. Finally, I consider how various versions of (leeway) compatibilism fit with the Garden of Forking Paths as well as the broader question of whether metaphors, however intuitive, have any dialectical force in the debates over freedom. (shrink)

In this ground-breaking article submitted for publication in mid-1986, Lucinda Vandervort creates a radically new and comprehensive theory of sexual consent as the unequivocal affirmative communication of voluntary agreement. She argues that consent is a social act of communication with normative effects. To consent is to waive a personal legal right to bodily integrity and relieve another person of a correlative legal duty. If the criminal law is to protect the individual’s right of sexual self-determination and physical autonomy, rather than (...) simply to regulate the type and degree of force that may be used to obtain compliance from a victim, the point of reference must be the individual complainant, as a person who makes choices, not social norms or objective tests based on the ordinary person. To determine whether consent is voluntary, attention must be directed to the presence or absence of factors that had a coercive impact on the individual complainant, a specific person with a collection of social, cultural, and psychological experiences, needs, fears, values, and priorities. Individuals have the right to exercise self-determination in accordance with their own values and perceptions, not those of a mythical victim. Accordingly, Vandervort argues that the prosecution may show either refusal, the absence of affirmative voluntary agreement (including passivity or the absence of consent due to unconsciousness), or circumstances that invalidate any apparent consent. Any of these prove the absence of consent for the purposes of establishing the actus reus of sexual assault. -/- The definition of consent as the affirmative communication of voluntary agreement is also shown to have a variety of implications for the interpretation and application of the law of sexual assault and the handling of evidentiary issues at trial in sexual assault cases. Key among these is the pivotal significance of the legal definition of consent as a tool to bar availability of the defence of “mistaken belief in consent.” Vandervort argues that in many cases the defence of “mistaken belief in consent” is based on ignorance of the law of consent, mistake about the legal definition of consent, or a failure to appreciate the legal significance of facts that are well-known, and not on a mistaken belief in an erroneous set of facts. The broad proposition asserted here is that a statutory criminal law is enforceable only if all defences based directly or indirectly on belief in the validity of extra-legal norms that authorize infringement of rights protected by the criminal law are barred. This proposition and the characterization of some mistakes about consent as legal, not factual, are also shown to be useful to exclude rape-myths and stereotypical assumptions---the stuff of which “social” definitions of consent have long been constructed---from the decision-making process at trial. -/- . (shrink)

There is an old and powerful argument for the claim that divine foreknowledge is incompatible with the freedom to do otherwise. A recent response to this argument, sometimes called the “dependence response,” centers around the claim that God’s relevant past beliefs depend on the relevant agent’s current or future behavior in a certain way. This paper offers a new argument for the dependence response, one that revolves around different cases of time travel. Somewhat serendipitously, the argument also paves the way (...) for a new reply to a compelling objection to the dependence response, the challenge from prepunishment. But perhaps not so serendipitously, the argument also renders the dependence response incompatible with certain views of providence. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann (...) constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...) conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

Suppose Molinism is true and God placed Adam in the garden because God knew Adam would freely eat of the fruit. Suppose further that, had it not been true that Adam would freely eat of the fruit, were he placed in the garden, God would have placed someone else there instead. When Adam freely eats of the fruit, is he free to do otherwise? This paper argues that there is a strong case for both a positive and a negative answer. (...) Assuming such cases are possible under Molinism, we are left with a puzzling question: if Molinism is true, what can you do? (shrink)

Is the virtue of the good citizen the same as the virtue of the good man? Aristotle addresses this in Politics 3.4. His answer is twofold. On the one hand, (the account for Difference) they are not the same both because what the citizen’s virtue is depends on the constitution, on what preserves it, and on the role the citizen plays in it, and because the good citizens in the best constitution cannot all be good men, whereas the good man’s (...) virtue is uniform. On the other hand, (the account for Identity) the two virtues are identical in the good men in the best constitution, in which all are good citizens, each possessing the ability for ruling and for being ruled. This nuanced answer can be seen as Aristotle’s synthesis of a Periclean view (contribution to state blots out personal wrongs) and a Socratic view (no good citizen is without justice). Its nuances reflect the extent to which Aristotle’s conceptions of good citizenship and the best constitution accommodate deviations of what is probable from the human ideal set out in his ethical writings. In the present chapter, I will first address three puzzles regarding the nuances of Aristotle’s answer. Second, I will consider one question about its implication: Does Aristotle’s account for Difference turn out to entail something ultra-Periclean: that no one can simultaneously be a good man and a good citizen in any constitution other than the best? I shall argue the negative. (shrink)

The goal of this project is to encourage biologists to exclude any mention of 'copying errors' from the latest definition of the theory of evolution. Instead, it should be accepted that evolutionary change is facilitated by an evolved system of variety-maintenance and variety-generation which in turn leads to novel structures and complexity.

Libertarian views of freedom claim that, although determinism would rule out our freedom, we are nevertheless free on some occasions. An odd implication of such views (to put it mildly) seems to be that indeterminism somehow enhances or contributes to our agency. But how could that be? What does indeterminism have to offer agency? This paper develops a novel answer, one that is centred around the notion of explanation. In short, it is argued that, if indeterminism holds in the right (...) places, then the best explanation of the history of the world necessarily cites facts about our agency. Along the way, alternative proposals regarding the significance of indeterminism are considered and, ultimately, rejected in favour of the one developed in this paper. (shrink)

Recently, several authors have utilized the notion of dependence to respond to the traditional argument for the incompatibility of freedom and divine foreknowledge. However, proponents of this response have not always been so clear in specifying where the incompatibility argument goes wrong, which has led to some unfounded objections to the response. We remedy this dialectical confusion by clarifying both the dependence response itself and its interaction with the standard incompatibility argument. Once these clarifications are made, it becomes clear both (...) (1.) that the dependence response does not beg the question against the proponent of the incompatibility argument and (2.) that the dependence response advances the dialectic whether it is developed as a version of Ockhamism or as a version of multiple-pasts compatibilism. (shrink)

Non-Humean accounts of the metaphysics of nature posit either laws or powers in order to account for natural necessity and world-order. We argue that such monistic views face fundamental problems. On the one hand, neo-Aristotelians cannot give unproblematic power-based accounts of the functional laws among quantities offered by physical theories, as well as of the place of conservation laws and symmetries in a lawless ontology; in order to capture these characteristics, commitment to governing laws is indispensable. On the other hand, (...) ontologies that entirely exclude some kind of power ascription to worldly entities face what we call the Governing Problem: such ontologies do not have the resources to give an adequate account of how laws play their governing role. We propose a novel dualist model, which, we argue, has the resources to solve the difficulties encountered by its two dominant competitors, without inheriting the problems of either view. According to the dualist model, both laws and powers are equally fundamental and irreducible to each other, and both are needed in order to give a satisfactory account of the nomological structure of the world. The dualist model constitutes thus a promising alternative to current monistic views in the metaphysics of science. (shrink)