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)

The meaning of an experimental result depends on the experiment's conceptual backdrop, particularly its null hypothesis. This observation provides the basis for a functional interpretation of belief in the base rate fallacy. On this interpretation, if the base rate fallacy is to be labelled a “myth,” then it should be recognized that this label is not necessarily a disparaging one.

: According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. By formalising the (...) paralogistic inference, I will pinpoint the error as an illegitimate existential presupposition. Since - unlike transcendental logic - general logic abstracts from all objects, this error can only be detected in transcendental logic. (shrink)

ABSTRACT: This paper discusses the Stoic treatment of fallacies that are based on lexical ambiguities. It provides a detailed analysis of the relevant passages, lays bare textual and interpretative difficulties, explores what the Stoic view on the matter implies for their theory of language, and compares their view with Aristotle’s. In the paper I aim to show that, for the Stoics, fallacies of ambiguity are complexes of propositions and sentences and thus straddle the realms of meaning (which is the domain (...) of logic) and of linguistic expressions (which is the domain of linguistics), but also involve a pragmatic element; that the Stoics believe that the premises of the fallacies, when uttered, have only one meaning and are true, and thus should be conceded; that hence there is no need for a mental process of disambiguation in the listeners; that Aristotle, by contrast, appears to assume that the premises always have all their meanings, and accordingly recommends that the listeners explicitly disambiguate them, which presupposes a process of mental disambiguation. I proffer two readings of the Stoic advice that we ‘be silent’ when confronted with a fallacy of ambiguity in dialectical discourse, and explicate how each leads to an overall consistent interpretation of the textual evidence. Finally, I demonstrate that the method advocated by the Stoics works in all cases of fallacies of lexical ambiguity. (shrink)

Aristotle determines eristic argument as argument which either operates upon the basis of acceptable premisses (endoxa) and merely give the impression of being deductive, or argument which truly is deductive but operates upon the basis of premisses which seem to be acceptable, but are not (or, again, argument which uses both of these mechanisms). I attempt to understand what Aristotle has in mind when he says that someone is deceived into accepting premisses which seem to be acceptable but which are (...) really not, and how this disqualifies such arguments from being dialectical. In the first section of the paper I interpret Aristotle’s notion of endoxa in terms of a relational concept of acceptability. Real Índoxa are propositions which are accepted by a qualified group or individual. False endoxa may also be accepted by someone or some group, and may even be true, but they are used to serve the purposes of eristical argumentation, which departs from certain standards of dialectical argumentation articulated in the notion of endoxa as a norm for premiss-acceptance. In particular, eristic arguments may even be valid in the sense of a syllogismos while still failing to be proper dialectical arguments. In the second part of the paper I consider how this can be, in examining certain types of fallacies in the Sophistical Refutations and the relationship between fallacious argumentation and false endoxa. (shrink)

The fallacy of ignoring qualifications, or secundum quid et simpliciter, is a deceptive strategy that is pervasive in argumentative dialogues, discourses, and discussions. It consists in misrepresenting an utterance so that its meaning is broadened, narrowed, or simply modified to pursue different goals, such as drawing a specific conclusion, attacking the interlocutor, or generating humorous reactions. The “secundum quid” was described by Aristotle as an interpretative manipulative strategy, based on the contrast between the “proper” sense of a statement and (...) its meaning taken absolutely or in a certain respect. However, how can an “unqualified” statement have a proper meaning different from the qualified one, and vice versa? This “linguistic” fallacy brings to light a complex relationship between pragmatics, argumentation, and interpretation. The secundum quid is described in this paper as a manipulative argument, whose deceptive effect lies in its pragmatic dimension. This fallacy is analyzed as a strategy of decontextualization lying at the interface between pragmatics and argumentation and consisting of the unwarranted passage from an ut-terance to its semantic representation. By ignoring the available evidence and the presumptive interpretation of a statement, the speaker places it in a different context or suppresses textual and contextual evidence to infer a specific meaning different from the presumable one. (shrink)

Aristotle determines eristic argument as argument which either operates upon the basis of acceptable premisses and merely give the impression of being deductive, or argument which truly is deductive but operates upon the basis of premisses which seem to be acceptable, but are not. I attempt to understand what Aristotle has in mind when he says that someone is deceived into accepting premisses which seem to be acceptable but which are really not, and how this disqualifies such arguments from being (...) dialectical. In the first section of the paper I interpret Aristotle’s notion of ἔνδοξα in terms of a relational concept of acceptability. Real ἔνδοα are propositions which are accepted by a qualified group or individual. False ἔνδοα may also be accepted by someone or some group, and may even be true, but they are used to serve the purposes of eristical argumentation, which departs from certain standards of dialectical argumentation articulated in the notion of ἔνδοξα as a norm for premiss-acceptance. In particular, eristic arguments may even be valid in the sense of a συλλογισμός while still failing to be proper dialectical arguments. In the second part of the paper I consider how this can be, in examining certain types of fallacies in the Sophistical Refutations and the relationship between fallacious argumentation and false ἔνδοξα. (shrink)

Scholarly dissatisfaction with Aristotle’s fallacy of accident has traditionally focused on his examples, whose compatibility with the fallacy’s definition has been doubted time and again. Besides a unified account of the fallacy of accident itself, the paper provides a formalized analysis of its several examples in Aristotle’s Sophistici elenchi. The most problematic instances are dealt with by means of an internal reconstruction of their features as conveyed by Aristotle’s text and an extensive survey of their interpretation (...) in the Byzantine and Latin exegetical tradition. Carefully handled a doxographical approach, as opposed to rapid results oriented practices, proves to be most effective in that it supplies both useful albeit ordinarily overlooked insights and a comprehensive framework of reference for further investigations. (shrink)

Many philosophers have tried to defend physicalism concerning phenomenal consciousness, by explaining dualist intuitions within a purely physicalist framework. One of the most common strategies to do so consists in interpreting the alleged “explanatory gap” between phenomenal states and physical states as resulting from a fallacy, or a cognitive illusion. In this paper, I argue that the explanatory gap does not rest on a fallacy or a cognitive illusion. This does not imply the falsity of physicalism, but it (...) has consequences on the kind of physicalism we should embrace. (shrink)

I argue that biographical information is akin to other non-aesthetic, social, historical, or political information. As such, artist’s biographies are always relevant and important when interpreting art. While the meaning and value of a piece of art is not determined by any single piece of contextual information, neither is its meaning and value ever entirely separated from context. In some cases, however, a piece of art that is technically magnificent may be experienced as repugnant when the artist has committed egregious (...) acts. (shrink)

A moderately risk averse person may turn down a 50/50 gamble that either results in her winning $200 or losing $100. Such behaviour seems rational if, for instance, the pain of losing $100 is felt more strongly than the joy of winning $200. The aim of this paper is to examine an influential argument that some have interpreted as showing that such moderate risk aversion is irrational. After presenting an axiomatic argument that I take to be the strongest case for (...) the claim that moderate risk aversion is irrational, I show that it essentially depends on an assumption that those who think that risk aversion can be rational should be skeptical of. Hence, I conclude that risk aversion need not be irrational. (shrink)

The first sentence of NE I.2 has roughly the form: "If A [there is a universal end] and B, then D [this end will be the best good]". According to some commentators, Aristotle uses B to infer A; but then the sentence is fallacious. According to other commentators, Aristotle does not use B ; but then the sentence is bizarre. Contrary to both sets of commentators, I suggest that Aristotle uses B together with A to infer validly that there is (...) a non-instrumental – and thus unique – universal end. On this interpretation the above two problems disappear, but a subtler problem emerges: not-B does not entail C. (shrink)

My article concerns constitutional interpretation and substantive due process, issues that played a central role in Obergefell v. Hodges (2015), one of the two same-sex marriage cases. (The other same-sex marriage case was United States v. Windsor (2013).) -/- The late Justice Scalia consistently maintained that the Court “invented” substantive due process and continues to apply this legal “fiction” not because the Constitution supports it but simply because the justices like it. Two theories underlay his cynical conclusion. First is (...) the theory of “Constitutional Textualism”—or just plain “Textualism”—which says that the meaning of the Constitution lies entirely within the “four corners” of the document. Second is the theory of “Originalism,” which says that this meaning was fixed at the time of ratification. (Likewise, the meanings of the amendments were fixed at the time of their ratification.) -/- While Justice Scalia helped to inspire a Textualist/Originalist (and anti-substantive-due-process) movement, his Originalism has received far more attention than his Textualism. Since Judge Robert Bork first introduced Originalism to the general public during his Supreme Court nomination hearings in 1987, this theory has ignited passions on all sides and effectively re-framed the entire debate about how to interpret the Constitution. Constitutional scholars, left and right, now define themselves as either for or against Originalism. Meanwhile, Textualism has merely retreated into the background. -/- Part of the reason for this disparate treatment is that many who reject Originalism still consider themselves to be Textualists. They agree with Justice Scalia (and Judge Bork) that the text is all-important. They disagree, however, that its meaning was fixed for eternity at ratification. Instead, they maintain that either the meaning of the text or applications of this meaning to new cases can change as society changes. -/- In this Article, I bring Textualism out of Originalism’s shadow and into broad daylight. I argue that once we dig just a little deeper into the proposition that all of the meaning in the Constitution inheres in its words, we find that this theory simply cannot work. In order to interpret the nation’s foundational document, we must resort to assumptions that it does not explicitly state. (Indeed, even Textualism itself is a theory that the Constitution does not explicitly endorse.) And the notion that “extra-textual” assumptions necessarily inform our interpretations of the Constitution poses a direct and insurmountable threat to Textualism. -/- The Constitution actually requires each judge, when faced with a case concerning the right to privacy, not merely to consider the text but also to anticipate and evaluate the moral, social, and political consequences of both possible decisions before choosing between them. While this position may initially sound counterintuitive, it turns out to be a much more realistic theory of constitutional interpretation than Textualism (and Originalism). -/- I ultimately conclude that, contrary to Justice Scalia, the Constitution most certainly does protect a right to privacy. For what it’s worth, the Obergefell majority agree with me (and oppose Justice Scalia). I aim to show exactly why they are correct. (shrink)

Ignited by Einstein and Bohr a century ago, the philosophical struggle about Reality is yet unfinished, with no signs of a swift resolution. Despite vast technological progress fueled by the iconic Einstein/Podolsky/Rosen paper (EPR) [1] [2] [3], the intricate link between ontic and epistemic aspects of Quantum Theory (QT) has greatly hindered our grip on Reality and further progress in physical theory. Fallacies concealed by tortuous logical negations made EPR comprehension much harder than it could have been had Einstein written (...) it himself in German. EPR is plagued with preconceptions about what a physical property is, the 'Uncertainty Principle', and the Principle of Locality. Numerous interpretations of QT vis à vis Reality exist and are keenly disputed [4] [5] [6] [7] [8] [9] [10] [11]. This is the first of a series of articles arguing for a novel physical interpretation I call ‘The Ontic Probability Interpretation’ (TOPI). A gradual explanation of TOPI is given intertwined with a meticulous logico-philosophical scrutiny of EPR, with Part I focusing on the meaning of Einstein’s ‘incompleteness’ claim for QT: a conceptual confusion, a preconception about Reality, and a flawed dichotomy are shown to be severe obstacles for the EPR argument to succeed. Part II completes the analysis, proving EPR claim of ‘incompleteness’ for QT is fallacious [12]. Part III further develops TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [13]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [14]. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in (...) ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

After identifying in Part I [1] a conceptual confusion (TCC), a Reality preconception (TRP1), and a fallacious dichotomy (TFD), the famous EPR/EPRB [2] [3] [4] [5] [6] argument for correlated ‘particles’ is now studied in the light of the Ontic Probability Interpretation of Quantum Theory (QT/TOPI). Another Reality preconception (TRP2) is found, showing that EPR used and ignored QT predictions in a single paralogism. Employing TFD and TRP2, EPR unveiled a contradiction veiled in its premises. By removing nonlocality from (...) QT’s Ontology [1] by fiat, EPR preordained its incompleteness. The Petitio Principii fallacy was at work from the outset. Einstein surmised the proper solution to his incompleteness/nonlocality dilemma in 1949 [7], but never abandoned his philosophical stance [8]. It is concluded that there are no definitions of Reality: we have to accept that Reality may not conform to our prejudices and, if an otherwise successful theory predicts what we do not believe in, no gedankenexperiment will help because our biases may slither through. Only actual experiments could assist in solving Einstein’s dilemma, as has been proven in the last 50 years. Notwithstanding, EPR is one of the most influential papers in history and has immensely sparked both conceptual and technological progress. Part III of this series further develops QT/TOPI, while scrutinizing the mythical ‘Schrödinger’s Cat’, as well as the ‘Basis’ and ‘Measurement’ pseudo-problems [9]. Part IV introduces QR/TOPI: a new theory that solves the century-old problem of integrating Special Relativity with Quantum Theory [10]. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, (...) putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

I sketch an interpretation of Tolstoy’s implicit moral theory on the basis of his masterpieces War and Peace and Anna Karenina. I suggest that Tolstoy is a theistic moral realist who believes that God’s will identifies the mind-independent truths of morality. He also thinks that, roughly, it suffices to heed natural moral emotions (like love and compassion) to know the right thing to do, that is, God’s will. In appraisal of Tolstoy’s interesting and original theory that I dub ‘theistic (...) populist sentimentalism’, I argue that it prima facie runs into a string of fallacies and undertakes dubious assumptions that render it open to question. (shrink)

The paper investigates the understanding of quantum indistinguishability after quantum information in comparison with the “classical” quantum mechanics based on the separable complex Hilbert space. The two oppositions, correspondingly “distinguishability / indistinguishability” and “classical / quantum”, available implicitly in the concept of quantum indistinguishability can be interpreted as two “missing” bits of classical information, which are to be added after teleportation of quantum information to be restored the initial state unambiguously. That new understanding of quantum indistinguishability is linked to the (...) distinction of classical (Maxwell-Boltzmann) versus quantum (either Fermi-Dirac or Bose-Einstein) statistics. The latter can be generalized to classes of wave functions (“empty” qubits) and represented exhaustively in Hilbert arithmetic therefore connectible to the foundations of mathematics, more precisely, to the interrelations of propositional logic and set theory sharing the structure of Boolean algebra and two anti-isometric copies of Peano arithmetic. (shrink)

This article considers the novel approach for epistemological interpretation of biomimetics or bionics and biosimilarity in different abiogenetic works with the terminological correction for elimination of the reifications (concretisms, hypostatizations), simplified metaphors and the results of metonymy. In the last part of this article one can see the analysis of the mistakes and problems of complex abiogenetic or supramolecular evolution projects within the aspects of the Conway law and the social organization of science and publishing sphere in subjective postmodern (...) capitalistic conditions. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

A difficult problem for contractualists is how to provide an interpretation of the contractual situation that is both subject to appropriately stringent constraints and yet also appropriately sensitive to certain features of us as we actually are. My suggestion is that we should embrace a model of contractualism that is structurally analogous to the “advice model” of the ideal observer theory famously proposed by Michael Smith (1994; 1995). An advice model of contractualism is appealing since it promises to deliver (...) a straightforward solution to the so-called “conditional fallacy.” But it faces some formidable challenges. On the face of it, it seems to be straightforwardly conceptually incoherent. And it seems to deliver a solution to the conditional fallacy at the cost of being vulnerable to what I shall call “the concessional fallacy.” I shall consider how, if at all, these challenges are to be met. I shall then conclude by considering what this might mean for the so-called “ideal/non-ideal theory” issue. (shrink)

Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...) commits the criterion content fallacy: the fallacy of interpreting evidence that observers were conscious of something as evidence that they were conscious of the task-relevant features of the stimuli. In the second part, I contend that the criterion content fallacy is prevalent in consciousness research. For this reason, I hold that if unconscious perception exists, scientists studying consciousness could routinely underestimate it. I conclude with methodological recommendations for moving the debate forward. (shrink)

Philosophers are now wary of conflating the “fittingness” or accuracy of an emotion with any form of moral assessment of that emotion. Justin D’Arms and Daniel Jacobson, who originally cautioned against this “conflation”, also warned philosophers not to infer that an emotion is inaccurate from the fact that feeling it would be morally inappropriate, or that it is accurate from the fact that feeling it would be morally appropriate. Such inferences, they argue, risk committing “the moralistic fallacy”, a mistake (...) they claim is widespread throughout the work of contemporary and historical moral philosophers. I argue that many basic and familiar forms of moral assessment of the emotions are not subject to these arguments. I illustrate this by reconsidering the idea that to assess an emotion as “fitting” is to assess it as what a virtuous person would feel. After showing how assessments akin to this “virtue-theoretical” notion of fit may be prevalent even outside of the Aristotelian tradition, I suggest some more charitable and philosophically productive interpretations of the philosophical views of the emotions that D’Arms and Jacobson criticize, and argue that we cannot coherently theorize about the fittingness conditions of the emotions in a morally neutral way. (shrink)

A key and continuing concern within the pragma-dialectical theory of argumentation is how to account for effective persuasion disciplined by dialectical rationality. Currently, van Eemeren and Houtlosser offer one response to this concern in the form of strategic manoeuvring. This paper offers a prior/passing theory of communicative interaction as a supplement to the strategic manoeuvring approach. Our use of a prior/passing model investigates how a difference of opinion can be resolved while both dialectic obligations of reasonableness and rhetorical ambitions of (...) argumentative success are simultaneously accommodated. The paper explores the model with particular reference to the pragma-dialectical rules of critical discussion, strategic manoeuvring and fallacious reasoning. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact (...) class='Hi'>fallacy if they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

This paper builds a nine-step method for determining whether a straw man fallacy has been committed in a given case or not, by starting with some relatively easy textbook cases and moving to more realistic and harder cases. The paper shows how the type of argument associated with the fallacy can be proved to be a fallacy in a normative argumentation model, and then moves on to the practical task of building a hands-on method for applying the (...) model to real examples of argumentation. Insights from linguistic pragmatics are used to distinguish the different pragmatic processes involved in reconstructing what is said and what is meant by an utterance, and to differentiate strong and weak commitments. In particular, the process of interpretation is analyzed in terms of an abductive pattern of reasoning, based on co-textual and contextual information, and assessable through the instruments of argumentation theory. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

In hindsight, it is not surprising that the exegesis of Aristotle’s Sophistici elenchi developed into one of the most substantial parts of the Latin commentary tradition. To make a long story short, in its customary capacity as the art of arts and the science of sciences, medieval logic was primarily concerned with discerning the true from the false in arguments as they occur in natural, ordinary speech as opposed to the more formalised parlance later logicians will resort to. It makes (...) perfect sense, then, that medieval logicians paid special attention to everything that threatens sound reasoning and that prevents us from speaking the truth. Indeed, they were second to none and better than most at exposing and elucidating arguments’ flaws and shortcomings. After all, as John Buridan – faithful to a long and illustrious tradition – aptly put it, «rooting out errors» is logic’s first order of business. As early as the 1140s, Aristotle’s Sophistici elenchi provided the most fertile ground for such keen interest in fallacies; which, in turn, explains etc. This much is uncontroversial or, at any rate, can withstand any amount of scrutiny we care to throw at it. Courtesy – first and foremost – of Sten Ebbesen, whose long-standing interest in medieval writings on bad arguments has turned the Byzantine and Latin aftermath of Aristotle’s Sophistici elenchi into well-charted territory, by all standards. The Anonymus Cantabrigiensis has played no small part in shaping this picture. As a matter of fact, time and again over the last forty years or so, quotes and insights from the anonymous work have kept showing up in Ebbesen’s editions and studies: since he first discovered the commentary in the late 1970s and brought it to the general attention, Ebbesen has routinely drawn on the Anonymus as an early witness of the circulation of Aristotelian logical works and related texts, as a convenient illustration of major trends and distinctive features of the Latin literature on fallacies, and as a sensible interpreter in his own right. (shrink)

What I have to say has no exclusive reference to biblical scholars or theologians. Even most of the mistakes and fallacies I want to point to and investigate are shared by others who also operate in a theological frame of mind. Otherwise the problems I want to raise are familiar problems of philosophy. They are problems we encounter in the philosophy of history when we distinguish between the actual occurrence and documentation of a happening, and the significance, meaning and (...) class='Hi'>interpretation of that happening. (shrink)

Is there a right or wrong way to play a game? Many think not. Some have argued that, when we insist that players obey the rules of a game, we give too much weight to the author’s intent. Others have argued that such obedience to the rules violates the true purpose of games, which is fostering free and creative play. Both of these responses, I argue, misunderstand the nature of games and their rules. The rules do not tell us how (...) to interpret a game; they merely tell us what the game is. And the point of the rules is not always to foster free and creative play. The point can be, instead, to communicate a sculpted form of activity. And in games, as with any form of communication, we need some shared norms to ground communicative stability. Games have what has been called a “prescriptive ontology.” A game is something more than simply a piece of material. It is some material as approached in a certain specified way. These prescriptions help to fix a common object of attention. Games share this prescriptive ontology with more traditional kinds of works. Novels are more than just a set of words on a page; they are those words read in a certain order. Games are more than just some software or cardboard bits; they are those bits interacted with according to certain rules. Part of a game’s essential nature is the prescriptions for how we are to play it. What’s more, we investigate the prescriptive ontology of games, we will uncover at least distinct prescriptive categories of games. Party games prescribe that we encounter the game once; heavy strategy games prescribe we encounter the game many times; and community evolution games prescribe that we encounter the game while embedded in an ongoing community of play. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development (...) of logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the (...) premise and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

Analogical reasoning is often employed in problem-solving and metaphor interpretation. This paper submits that, as a default, analogical reasoning addressing these different tasks employs different mapping strategies: In problem-solving, it employs analogy-maximising strategies (like structure mapping, Gentner & Markman 1997); in metaphor interpretation, analogy-minimising strategies (like ATT-Meta, Barnden 2015). The two strategies interact in analogical reasoning with conceptual metaphors. This interaction leads to predictable fallacies. The paper supports these hypotheses through case-studies on ‘mind’-metaphors from ordinary discourse, and abstract (...) problem-solving in the philosophy of mind, respectively: It shows that (1) default metaphorical interpretations for vision- and space-cognition metaphors can be derived with a variant of the analogy-minimising ATT-Meta approach, (2) philosophically influential introspective conceptions of the mind can be derived with conceptual metaphors only through an analogy-maximising strategy, and (3) the interaction of these strategies leads to hitherto unrecognised fallacies in analogical reasoning with metaphors. This yields a debunking explanation of introspective conceptions. (shrink)

In the present article, I attempt to relate Saul Kripke's “sceptical paradox” to some issues about the self; specifically, the relation between the self and its mental states and episodes. I start with a brief reconstruction of the paradox, and venture to argue that it relies crucially on a Cartesian model of the self: the sceptic regards the Wittgensteinian “infinite regress of interpretation” as the foundation of his challenge, and this is where he commits the crucial mistake. After the (...) diagnosis, I attempt to sketch my own model of the self and its mental states and episodes. This tentative picture binds meaning and the self together, stressing the subjective aspect of meaning without committing the same fallacy. The solution ventured here is relatively independent of the secondary literatures on the sceptical paradox of following rules, for it aims to provide a new angle to understand and meet the challenge presented by the sceptic. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets (...) of a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the (...) philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

There is a fallacy that is often involved in the interpretation of quantum experiments involving a certain type of separation such as the: double-slit experiments, which-way interferometer experiments, polarization analyzer experiments, Stern-Gerlach experiments, and quantum eraser experiments. The fallacy leads not only to flawed textbook accounts of these experiments but to flawed inferences about retrocausality in the context of delayed choice versions of separation experiments.

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

The speech-act approach to rules is commonplace in both Anglo-American and continental traditions of legal philosophy. Despite its pervasiveness, I argue in this paper that the approach is misguided and therefore intrinsically flawed. My critique identifies how speech-act theory provides an inadequate theoretical framework for the analysis of written discourse, a case in point being legal text. Two main misconceptions resulting from this misguided approach are the fallacy of synchronicity and the fallacy of a-discursivity. The former consists of (...) treating legal rules as if they were uttered and received in the same context, the latter consists of treating legal rules as relatively short, isolated sentences. Among the consequences of these fallacies are an excessive focus on the lawmakers’ semantic intentions and the neglect of the semantic and pragmatic complexity of rules as sets of utterances (discourses) -/- To redress these flaws, I propose analysing legal rules through the prism of complex text-acts. My paper presents the consequences of this revised approach for legal interpretation, supporting Joseph Raz's idea of minimal legislative intent. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is (...) genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

David Furley's work on the cosmologies of classical antiquity is structured around what he calls "two pictures of the world." The first picture, defended by both Plato and Aristotle, portrays the universe, or all that there is (to pan), as identical with our particular ordered world-system. Thus, the adherents of this view claim that the universe is finite and unique. The second system, defended by Leucippus and Democritus, portrays an infinite universe within which our particular kosmos is only one of (...) countless kosmoi. Aristotle's argument in De caelo I.9 that the world is necessarily unique is an important contribution to this debate. This argument holds interest because it shows Aristotle wrestling with an apparent inconsistency in his own philosophy, as deeply-held convictions within his cosmology collide with an equally deeply-held conviction within his metaphysics. The following three principles, each of which Aristotle appears committed to, are inconsistent: -/- The cosmic uniqueness principle. The world is necessarily unique. The cosmic form principle. The world is an ordered, structured unity. As such, the world has a form. The possibility of multiple instantiation principle. For all F, if F is a form, it is possible that there exist multiple Fs. In De caelo I.9, Aristotle argues that we can establish the uniqueness of the universe, reject the multiple instantiation principle, yet still retain the distinction between 'this world' and 'world in general,' if the following is true (as it is): the world takes up all the matter that exists. Aristotle illustrates this argument with one of the stranger analogies in his corpus: imagine an aquiline nose that takes up all the flesh in the universe. If this were so, then there could not exist any other aquiline objects whatsoever. (For this reason, we dub the De caelo I.9 argument the 'Cosmic Nose argument.') This paper is an interpretation of how this argument is supposed to proceed and an assessment of its success. The first section states the problem Aristotle is confronted with, sorts through Aristotle's various statements of the Cosmic Nose argument, which exhibit some sloppiness, and reconstructs charitably a single argument. We also spend some time examining the significance of Aristotle's example of a gigantic aquiline nose. We argue that, even charitably reconstructed, the argument appears to commit a serious modal fallacy. The remainder of the paper explores whether this modal fallacy can be overcome. We conclude that, although not a cogent argument for the uniqueness of the world (as this would require a significant revision of our current astronomy), the Cosmic Nose argument does succeed on its own terms. However, it should not be regarded as a free-standing argument for the uniqueness of the world. Instead, it depends crucially on the earlier argument in De caelo I.8 for the universe's uniqueness; De caelo I.9 should be viewed as an attempt to extend the conclusion of De caelo I.8 and to show how this conclusion can be made consistent with Aristotle's metaphysical principles about the nature of form. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

Since the earliest commentaries on Heidegger's Being & Time, its theory of judgment and of propositions has been widely misrepresented as relativistic, psychologistic, anthropologistic, pragmatic, etc. Even Edmund Husserl allowed himself to be persuaded to this point of view, to the great detriment of his phenomenological movement. And most of Heidegger's interpreters, whether friendly or hostile, have adopted this point of view, which normally includes the notion that there can be no fundamental difference between circumspective and apophantic forms of explication. (...) This misreading ignores important aspects of the theory of propositional explication in Being & Time, ignores the fact that forms of interpretation would not be genera or species of interpretation, and is a clear instance of genetic fallacy. Yet it pervades the literature on Heidegger still. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a (...) dual logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

Can genealogical explanations affect the space of reasons? Those who think so commonly face two objections. The first objection maintains that attempts to derive reasons from claims about the genesis of something commit the genetic fallacy—they conflate genesis and justification. One way for genealogies to side-step this objection is to focus on the functional origins of practices—to show that, given certain facts about us and our environment, certain conceptual practices are rational because apt responses. But this invites a second (...) objection, which maintains that attempts to derive current from original function suffer from continuity failure—the conditions in response to which something originated no longer obtain. This paper shows how normatively ambitious genealogies can steer clear of both problems. It first maps out various ways in which genealogies can involve non-fallacious genetic arguments before arguing that some genealogies do not invite the charge of the genetic fallacy if they are interpreted as revealing the original functions of conceptual practices. However, they then incur the burden of showing that the conditions relative to which practices function continuously obtain. Taking its cue from the genealogies of E. J. Craig, Bernard Williams, and Miranda Fricker, the paper shows how model-based genealogies can avoid continuity failures by identifying bases of continuity in the demands we face. (shrink)

The paper argues that digital ontology (the ultimate nature of reality is digital, and the universe is a computational system equivalent to a Turing Machine) should be carefully distinguished from informational ontology (the ultimate nature of reality is structural), in order to abandon the former and retain only the latter as a promising line of research. Digital vs. analogue is a Boolean dichotomy typical of our computational paradigm, but digital and analogue are only “modes of presentation” of Being (to (...) paraphrase Kant), that is, ways in which reality is experienced or conceptualised by an epistemic agent at a given level of abstraction. A preferable alternative is provided by an informational approach to structural realism, according to which knowledge of the world is knowledge of its structures. The most reasonable ontological commitment turns out to be in favour of an interpretation of reality as the totality of structures dynamically interacting with each other. The paper is the first part (the pars destruens) of a two-part piece of research. The pars construens, entitled “A Defence of Informational Structural Realism”, is developed in a separate article, also published in this journal. (shrink)

In this article, I argue that arguments from the history of science against scientific realism, like the arguments advanced by P. Kyle Stanford and Peter Vickers, are fallacious. The so-called Old Induction, like Vickers's, and New Induction, like Stanford's, are both guilty of confirmation bias—specifically, of cherry-picking evidence that allegedly challenges scientific realism while ignoring evidence to the contrary. I also show that the historical episodes that Stanford adduces in support of his New Induction are indeterminate between a pessimistic and (...) an optimistic interpretation. For these reasons, these arguments are fallacious, and thus do not pose a serious challenge to scientific realism. (shrink)