This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

Además de los indemostrables, la lógica estoica incluye varias reglas de reducción. En este trabajo, analizo la primera de ellas con el fin de comprobar si fue derivada formalmente a partir de los indemostrables o los estoicos pudieron plantearla a partir del uso de sus capacidades naturales de razonamiento. De esta manera, trato de mostrar que tenemos razones para apoyar ambas posibilidades y, basándome en un enfoque semántico como el de la teoría de los modelos mentales, de ofrecer argumentos al (...) respecto. (shrink)

What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

This paper seeks to elucidate the distinctive nature of the rational impression on its own terms, asking precisely what it means for the Stoics to define logikē phantasia as an impression whose content is expressible in language. I argue first that impression, generically, is direct and reflexive awareness of the world, the way animals get information about their surroundings. Then, that the rational impression, specifically, is inherently conceptual, inferential, and linguistic, i.e. thick with propositional content, the way humans receive incoming (...) information from the world. When we suspend certain contemporary assumptions about propositional content, the textual evidence can be taken at face value to reveal why, for the Stoics, rational impressions are called thoughts (noēseis) and how the Stoics’ novel semantic entities called lekta (roughly, the meanings of our words) depend on rational impressions for their subsistence. (shrink)

ArgumentThis paper argues that ancient Babylonian signs (omens) reflect a mode of inferential reasoning as a function of their syntactic and logical structure as conditionals. Taking into account the institutional context that produced a systematic written body of omens, the paper is principally interested in the cognitive disposition of such texts. Investigating what constitutes system in these works, formal aspects of the material are examined in terms of the nature of conditionals and the logic of conditional statements. It is argued (...) that conditional statements about ominous phenomena speak as much to a notion of conceivability and possibility as to empirical physical actuality. It is claimed that the epistemological character of the Babylonian compendia of signs cannot be understood without due attention to epistemic possibility and further, that the cuneiform omen texts comprise a different kind of scientific knowledge from that limited to a knowledge of physical phenomena and their laws. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

If one looks to the current textbook lore for reliable taxonomic and analytical information about the petitio principii, one is met with conceptual disarray and much too much nonsense. The present writers have recently attempted to furnish the beginnings of a theoretical reconstruction of this fallacy which is at once faithful to its formidable complexity yet useful as guide for its detection and avoidance. The fact is that the petitio has had a lengthy and interesting history, and in this paper (...) we shall want to explore certain features of its development, such as it may have been. The principal origins of the concept of circular argument are to be found in Aristotle. The Aristotelian doctrine recurs with variations in the sophismata literature of the middle ages and in logic texts and manuals right up to the present day. (shrink)

If one looks to the current textbook lore for reliable taxonomic and analytical information about the petitio principii, one is met with conceptual disarray and much too much nonsense. The present writers have recently attempted to furnish the beginnings of a theoretical reconstruction of this fallacy which is at once faithful to its formidable complexity yet useful as guide for its detection and avoidance. The fact is that the petitio has had a lengthy and interesting history, and in this paper (...) we shall want to explore certain features of its development, such as it may have been. The principal origins of the concept of circular argument are to be found in Aristotle. The Aristotelian doctrine recurs with variations in the sophismata literature of the middle ages and in logic texts and manuals right up to the present day. (shrink)

This paper argues that there were women involved with philosophy on a fairly constant basis throughout Greek antiquity. It does so by tracing the lives and where extant the writings of these women. However, since the sources, both ancient and modern, from which we derive our knowledge about these women are so sexist and easily distort our view of these women and their accomplishments, the paper also discusses the manner in which their histories come down to us as well as (...) the histories themselves. It discusses in detail the following women: the Pythagorean women philosophers of the 6th and 5th centuries B.C., Aspasia and Diotima of the 5th century B.C., Arete, Hipparchia, Pamphile and the women Epicureans-all from the 4th century B.C. the five logician daughters of a famous Stoic philosopher of the 3rd century B.C., and finally Hypatia who lived in the 4th century A.D. (shrink)

The Megarians, as well as their Stoic heirs, are known to have been fatalists or logical determinists in the following, very broad sense of these terms: with respect to at least certain classes or kinds of nontautologous propositions, they held that the mere truth of a proposition entails its necessity. This paper explores, in a very tentative fashion, the relation between several versions of logical determinism and two passages in the Aristotelian corpus, one of which is specifically directed against Megarian (...) doctrine and the other of which is an argument purporting to establish a thesis concerning the necessity of future events which Aristotle wished to reject but which the Megarian logician Diodorus Cronus apparently accepted. (shrink)

In his Outlines of Pyrrhonism 2.110–113, Sextus Empiricus presents four different accounts of the conditional, presumably all from the Hellenistic period, in increasing logical strength. While the interpretation and provenance of the first three accounts is relatively secure, the fourth account has perplexed and frustrated interpreters for decades or longer. Most interpreters have ultimately taken a dismissive attitude towards the fourth account and discounted it as being of both little historical and logical interest. We argue that this attitude is unwarranted (...) and demonstrate that the conditional expressed in the fourth account can profitably be understood as a precursor of analytic entailment, familiar from containment logics such as those developed by Parry and Angell. Exploiting recent work by Fine, we present a formal truthmaker semantics for this conditional and show how it sheds light on a number of longstanding issues in the interpretation of this passage. (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into argument.

It has been noted before in the history of logic that some of Frege's logical and semantic views were anticipated in Stoicism. In particular, there seems to be a parallel between Frege's Gedanke (thought) and Stoic lekton; and the distinction between complete and incomplete lekta has an equivalent in Frege's logic. However, nobody has so far claimed that Frege was actually influenced by Stoic logic; and there has until now been no indication of such a causal connection. In this essay, (...) we attempt, for the first time, to provide detailed evidence for the existence of this connection. In the course of our argumentation, further analogies between the positions of Frege and the Stoics will be revealed. The classical philologist Rudolf Hirzel will be brought into play as the one who links Frege with Stoicism. The renowned expert on Stoic philosophy was Frege's tenant and lived in the same house as the logician for many years. In der Geschichte der Logik ist häufig bemerkt worden, dass einige der logischen und semantischen Auffassungen Freges in der Stoa antizipiert worden sind. Genannt wurden insbesondere die Parallelen zwischen dem Fregeschen Gedanken und dem stoischen Lekton sowie die Unterscheidung zwischen vollständigen und unvollständigen Lekta, die bei Frege ihre Entsprechung hat. Ein Wirkungszusammenhang ist allerdings nicht behauptet worden. Dazu gab es bislang auch keinen Anlass. Der vorliegende Beitrag versucht erstmalig, einen detaillierten Indizienbeweis für das Bestehen eines solchen Zusammenhangs vorzulegen. Dabei werden weitere charakteristische Übereinstimmungen zwischen Frege und der Stoa aufgewiesen. Als Mittelsmann wird der Altphilologe Rudolf Hirzel vorgestellt. Er wohnte lange Jahre als Mieter zusammen mit Frege im selben Haus und war ein anerkannter Experte der stoischen Philosophie. (shrink)

Contemporary interpretations of Zhuangzi’s 莊子 philosophy as adumbrating a relativist position are legion. However, what is the scope and nature of the relativism that can be gleaned from a comprehensive analysis of relevant passages in the Zhuangzi? In this essay, I shall explain Zhuangzi’s alleged relativist position as motivated from a primary concern about disagreement. He in effect claims that since any disputant can foresee her assertion to be refuted by an opponent, the recourse to a higher tribunal in adjudicating (...) the debate is futile. The consequence of an apparent lack of justification for assertion is, in my opinion, what needs elucidation. For example, is “truth relativism” an apt label for the nature of assertion in a debate without the verdict of a judge? Or, is it more appropriate to shun the concept of truth altogether in our explanation? I deem the contemporary explanation of Zhuangzi’s relativism either trivializes disputation or fails to account for the difference between a claim’s being right and being acceptable. Hence, I shall argue that without the intrusion of a judge as an arbiter of truth, the kind of disputation Zhuangzi practices promulgates faultless disagreement, which does not appeal to the correctness of any perspective in a comparative or absolute sense. In this understanding, Zhuangzi’s advice of harmonizing with both right and wrong is indeed a viable alternative to relativism and dogmatism, both of which do not properly take heed of the point of disagreeing in a disputation. (shrink)

En este artículo se analiza el debate sobre la forma adecuada de entender el condicional producido en el siglo IV a. C. El análisis se lleva a cabo mediante el método proporcionado por Rudolf Carnap para estudiar el significado de las expresiones, es decir, mediante el método de extensión e intensión. Los resultados de ese análisis parecen mostrar que, aunque, según Sexto Empirico, el debate fue sobre cuatro criterios diferentes para comprender el condicional, en realidad tres de esos criterios parecen (...) ser iguales y tienen una forma lógica común muy clara en el marco de Carnap. (shrink)

Resumen Atendiendo a la lógica estándar, solo uno de los cinco indemostrables propuestos por Crisipo de Solos es realmente indemostrable. Sus otros cuatro esquemas son demostrables en tal lógica. La pregunta, por tanto, es: si cuatro de ellos no son verdaderamente indemostrables, por qué Crisipo consideró que sí lo eran. López-Astorga mostró que si ignoramos el cálculo proposicional estándar y asumimos que una teoría cognitiva contemporánea, la teoría de la lógica mental, describe correctamente el razonamiento humano, se puede entender por (...) qué Crisipo pensó que todos sus indemostrables eran tan básicos. No obstante, en este trabajo trato de argumentar que la teoría de la lógica mental no es el único marco que puede explicar esto. En concreto, sostengo que otra importante teoría sobre el razonamiento en el presente, la teoría de los modelos mentales, también puede ofrecer una explicación al respecto.According to standard logic, only one of the five indemonstrables proposed by Chrysippus of Soli is actually indemonstrable. The other four schemata are demonstra-ble in that logic. The question hence is, if four of them are not really indemonstrable, why Chrysippus considered them to be so. López-Astorga showed that, if we ignore standard propositional calculus and assume that a current cognitive theory, the mental logic theory, truly describes human reasoning, it can be explained why Chrysippus thought that all of his indemonstrables were so basic. However, in this paper, I try to argue that the mental logic theory is not the only framework that can account for that. In particular, I hold that another important reasoning theory at present, the mental models theory, can offer an explanation in that regard as well. (shrink)

It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...) its consequent is incompatible with its antecedent’, a view which, in the opinion of S. McCall, entails the aforementioned theses of Aristotle and Boethius. Now a critical examination of the historical sources shows that the ancient logicians most likely meant their theses as applicable only to ‘normal’ conditionals with antecedents which are not self-contradictory. The corresponding restrictions of Aristotle’s and Boethius’ theses to such self-consistent antecedents, however, turn out to be theorems of ordinary modal logic and thus don’t give rise to any non-classical system of genuinely connexive logic,. (shrink)

RésuméHeinrich Scholz et J.M. Bocheski ont affirmé que les lois de la logique formelle étaient en fait les lois les plus générates qui caractérisent les choses, les propriétés, les relations, les états de choses etc. D'autres confondent la logique et la théorie des ensembles. Mais ľ interpretation des quantificateurs qu'on trouve chez Leśniewski montre que la logique ne fait partie ni de ľ ontologie, ni des mathématiques.

This article presents a detailed exploration of what Sextus and Pyrrhonists regarded as mnemonic signs, where one experience reminds us of another, such as seeing smoke reminds us of a fire that is not yet evident to our present observations. For the skeptic the use of mnemonic signs obviates the need for reasoned, theoretical interpretations or elaborated belief formation. It allows the skeptic or the theory-free physician, for that matter, to live a life or practice symptomatic medicine without the need (...) for philosophizing. (shrink)

Alberic of Paris put forward an argument, ‘the most embarrassing of all twelfth-century arguments’ according to Christopher Martin, which shows that the connexive principles contradict some other logical principles that have become deeply entrenched in our most widely accepted logical theories. Building upon some of Everett Nelson’s ideas, we will show that the steps in Alberic of Paris’ argument that should be rejected are precisely the ones that presuppose the validity of schemas that are nowadays taken as some of the (...) most trivial logical truths: (A∧B) → A and (A∧B) → B, i.e. Simplification. (shrink)

Two Experiments demonstrate the existence of a “collapse illusion”, in which reasoners evaluate Truthteller-type propositions (“I am telling the truth”) as if they were simply true, whereas Liar-type propositions (“I am lying”) tend to be evaluated as neither true nor false. The second Experiment also demonstrates an individual differences pattern, in which shallow reasoners are more susceptible to the illusion. The collapse illusion is congruent with philosophical semantic truth theories such as Kripke's (1975), and with hypothetical thinking theory's principle of (...) satisficing, but can only be partially accounted for by the model theory principle of truth. Pragmatic effects related to sentence cohesion further reinforce hypothetical thinking theory interpretation of the data, although the illusion and cohesion data could also be accounted for within a modified mental model theory. (shrink)

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, now focussing on (...) the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

Šiuo straipsniu mėginama parodyti, jog Indijos ir stoikų logika yra panašesnės viena į kitą nei į standartinę logiką. Šiuo tikslu analizuojama ištrauka iš Kathāvatthu, kurioje pateikiamas sąlyginio teiginio apibrėžimas dažnai interpretuojamas kaip atitinkantis modernioje teiginių logikoje vartojamą materialiosios implikacijos sampratą. Teigiama, jog tokia interpretacija nėra visiškai pagrįsta. Todėl daroma išvada, jog tai, kas iš tiesų sakoma aptariamoje ištraukoje, nuosekliai susiję su Chrisipo Soliečio pasiūlytu sąlyginio teiginio teisingumo kriterijumi.

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

In modal logic, propositions are evaluated relative to possible worlds. A proposition may be true relative to a world w, and false relative to another world w'. Relativism is the view that the relativization idea extends beyond possible worlds and modalities. Thus, in tense logic, propositions are evaluated relative to times. A proposition (e.g. the proposition that Socrates is sitting) may be true relative to a time t, and false relative to another time t'. In this paper I discuss, and (...) attempt to rebut, two classical objections to Relativism. The first objection, due to Frege, is the objection from incompleteness. I distinguish two possible relativist responses to that objection, one of which corresponds to the view I actually defend : Moderate Relativism. The second objection is due to Mark Richard, who argued that the objects of belief cannot be relativistic. I show that that objection can be met within the Moderate Relativist framework. In the last section, I deal with special forms of disagreement that have loomed large in recent discussions of Relativism. (shrink)

The author tends to emphasize that there are at least three reasons to analyze Callimachus\' epigram about Diodorus : First of all, the date of this epigram shows us that it represents the earliest information about Diodorus doctrine. Second, another support of its authenticity could be found in fact that this epigram expressing part of the atmosphere following, and also remaining after, discussing the Diodorian topics. Third, its philosophical relevance, usually minimized in classical literature, could be found in those facts (...) that it could show the way out in many today dilemmas about his philosophical claims and support some of our contemporary assumptions about its logical conception, as well as that of space, time, and meaning of statements. The author defends a position that it is necessary to develop well-grounded and methodologically relevant base covering the historical reconstruction and the interpretation of ancient logical theories. (shrink)

This paper discusses the reports in Diogenes Laertius and in Sextus Empiricus concerning the classification of propositions. It is argued that the material in Sextus uses a source going back to the Dialectical school whose most prominent members were Diodorus Cronus and Philo of Megara. The material preserved in Diogenes Laertius, on the other hand, goes back to Chrysippus.

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