This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.

Š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.

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

The main issue of the present Article is a discussion about the conditional proposition in Stoic- Megarian Logic. There were, in Stoic-Megarian school, many theories of meaning to interpret these propositions. Since conditional propositions made the structure’s core of their Logic, so for the understanding of the key concept of their thought, we need searching, prior to anything, in the semantics of these propositions. We will, in the first place and much survey, compare between Stoic-Megarian Logic and Aristotelian Logic and (...) present where is the state of conditional propositions in the Stoic-Megarian Logic; then, in the second place, we explore all kinds of conditional proposition and their conditions of truth values in Stoic-Megarian Logic and compare them with the concept of implication in modern logic and reinterpret them with new instruments in modern logic. Most logicians, in this field, evaluate and compare Stoic-Megarian conditional propositions with definitions of Material implication, strict implication, and Natural laws and we, in this Article, evaluate and analyze these propositions with this perspective and ideas. (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.