According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

Alexius Meinong developed a notion of defective objects in order to account for various logical and psychological paradoxes. The notion is of historical interest, since it presages recent work on the logical paradoxes by Herzberger and Kripke. But it fails to do the job it was designed for. However, a technique implicit in Meinong's investigation is more successful and can be adapted to resolve a similar paradox discovered by Romane Clark in a revised version of Meinong's Theory (...) of Objects due to Rapaport. One family of paradoxes remains, but it is argued that they are unavoidable and relatively harmless. (shrink)

This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem via Paradoxes (Presentation (...) 6/20/2022 In Persian, Online seminar of The Iranian Association for Logic (IAL) . (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s (...) proposal saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling (...) epistemic problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to (...) higher-order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in particular (...) is the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

Many have claimed that legitimate constitutional democracy is either conceptually or practically impossible, given infinite regress paradoxes deriving from the requirement of simultaneously democratic and constitutional origins for legitimate government. This paper first critically investigates prominent conceptual and practical bootstrapping objections advanced by Barnett and Michelman. It then argues that the real conceptual root of such bootstrapping objections is not any specific substantive account of legitimacy makers, such as consent or democratic endorsement, but a particular conception of the logic of (...) normative standards—the determinate threshold conception—that the critic attributes to the putatively undermined account of legitimacy. The paper further claims that when we abandon threshold conceptions of the logic of legitimacy in favor of regulative-ideal conceptions, then the objections, from bootstrapping paradoxes to the very idea of constitutional democracy, disappear. It concludes with considerations in favor of adopting a more demanding conception of the regulative ideal of constitutional democracy, advanced by Habermas, focusing on potentials for developmental learning. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes (...) do exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a (...) more accurate way our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to (...) give the latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...) solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit (...) approach’ which employs ideas made explicit by the former one. (shrink)

We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire for (...) rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the (...) restrictions Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.

[[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...) actual reason for antinomic structures. It turns out to be a form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not (...) be thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent (...) Set Theories〖NF〗n^C. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...) to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on (...) why this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere illusion of (...) the senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

This paper explores the liar paradox and its implications for logic and philosophical reasoning. It analyzes the paradox using classical logic principles and paraphrases it as "affirmation of the falsity of the very affirmation." The study draws connections between the liar paradox and Hegel's speculative sentence and suggests it functions as a "quasi-speculative sentence." Additionally, it examines parallels with the logocentric predicament and the determinist's assertion, highlighting their paradoxical nature. Through these analyses, the paper aims to illuminate (...) the fundamental paradoxes in our reasoning and logic. (shrink)

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable (...) way of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions (...) a modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified (...) theory of types is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of (...) which hinge on intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they (...) recommend a radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

The famous dispute between Protagoras and Euathlus concerning Protagoras’s tuition fee reportedly owed to him by Euathlus is solved on the basis of practical argumentation concerning actions. The dispute is widely viewed as a kind of a logical paradox, and I show that such treating arises due to the double confusion in the dispute narrative. The linguistic expressions used to refer to Protagoras’s, Euathlus’s and the jurors’ actions are confused with these actions themselves. The other confusion is the (...) collision between the pairs of incompatible actions ambiguously expressed by two different pairs of sentences, one of which is a propositionally consistent pair whereas the other is an inconsistent one. The actional paradox solution aims to clear up these confusions by means of two core borderlines, propositional and expressive, drawn between the actions and the propositions. The propositional distinction says that actions are empirical facts and they lack truth values unlike propositions, which are mental entities and are often employed for referring to the actions. This distinction helps to avoid the confusion between the empirical incompatibility of actions and the truth-functional inconsistency of propositions. The expressive distinction claims that although the same linguistic sentences can be used to refer both to actions and propositions, two empirically incompatible actions can be expressed both by a pair of inconsistent propositions as well as by a pair of consistent ones. Therefore, the action of Protagoras’s being paid may be linguistically symbolized in four different ways: Protagoras gets paid due to the verdict, Protagoras gets paid due to the contract that amount to Protagoras does not get paid by the contract and Protagoras does not get paid by the verdict respectively, and likewise for Euathlus’s actions. The two distinctions are used for classifying the two groups of paradox solutions, legal and logical, proposed so far depending on which of the two confusions they purport to escape from. The actional reconstruction of the paradox suggests that there is only one single agent in the dispute, Protagoras, while the other named Euathlus is a ‘phantom,’ which most probably was invented by Protagoras himself for the sake of creating this challenging sophism. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding (...) is reflexive, contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, which he called ‘denoting phrase’. (...) Unfortunately, a new paradox emerged soon: that of classes. The main contention of this paper is that Russell’s new conception only transferred the paradox of infinity from the realm of infinite numbers to that of class-inclusion. Russell’s long-elaborated solution to his paradox developed between 1905 and 1908 was nothing but to set aside of some of the ideas he adopted with his turn of August 1900: (i) With the Theory of Descriptions, he reintroduced the complexes we are acquainted with in logic. In this way, he partly restored the pre-August 1900 mereology of complexes and simples. (ii) The elimination of classes, with the help of the ‘substitutional theory’, and of propositions, by means of the Multiple Relation Theory of Judgment, completed this process. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...) means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not (...) at all what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, (...) but not jointly, lack the problematic feature. (shrink)

This article tackles an epistemic puzzle formulated by R. Smullyan that we call the ‘Surprise Deception Paradox'. On the morning of April 1st 1925, his brother announced that he would deceive him during the day, but apparently nothing happened. Since R. Smullyan waited all day to be deceived by some action, he was actually deceived, but by the lack of an action, that is to say by omission. Afterwards, Smullyan felt immediately puzzled: because he expected to be deceived, he (...) was not deceived; but since he was not deceived the way he expected, he was actually deceived. We use dynamic belief revision logic to look more clearly into this puzzle. We argue that Smullyan's reasoning is not a self-referential paradox but shares common features with the more famous Surprise Examination Paradox. In Smullyan's riddle, we show that a misleading default mechanism makes R. Smullyan surprised by the deception he has been preyed to. We also use this solution to discuss whether such defaults, compared to other forms of truth-telling deception, may qualify as lies or not. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result (...) is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Neil Tennant was the first to propose a proof-theoretic criterion for paradoxicality, a framework in which a paradox, formalized through natural deduction, is derived from an unacceptable conclusion that employs a certain form of id est inferences and generates an infinite reduction sequence. Tennant hypothesized that any derivation in natural deduction that formalizes a genuine paradox would meet this criterion, and he argued that while the liar paradox is genuine, Russell's paradox is not. -/- The present (...) paper delves into Tennant's conjecture for genuine paradoxes and suggests that to validate the conjecture, one of two issues must be addressed. The first issue is the need for a philosophical consensus on the identification of a genuine paradox in an informal sense. The second issue is the requirement for a uniform approach to formalize paradoxes in natural deduction. If either of these issues is addressed, the conjecture could be validated, or at the very least, it could hold philosophical importance in delineating the proof-theoretic features of paradoxicality. (shrink)

Philosophers have long argued that duties to oneself are paradoxical, as they seem to entail an incoherent power to release oneself from obligations. I argue that self-release is possible, both as a matter of deontic logic and of metaethics.

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy (...) in the argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

Some philosophers argue that a theory of logical validity should not interpret its own language, because a Russellian argument shows that self-applicability is inconsistent with the ability to capture all the interpretations of its own language. First, I set up a formal system to examine the Russellian argument. I then defend the need for self-applicability. I argue that self-applicability seems to be implied by generality, and that the Russellian argument rests on a test for meaning that is biased against (...) self-applicability. I propose an alternative test which is unproblematic for self-applicability. I conclude that self-applicability can be vindicated and the Russellian argument can be resisted. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that (...) conservatively extends classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with (...) the so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without (...) exception. The present proposal is quite different. According to this, there is no such alternative logic. Rather, classical logic retains the status of the ‘one true logic’, but this status must be reconceived so as to be compatible with (almost) all of its rules admitting of exceptions. This would seem to have significant repercussions for a range of widely held views about logic: e.g. that it is a priori, or that it is necessary. Indeed, if the arguments of the paper succeed, then such views must be given up. (shrink)

Overview of fundamental work in deontic logic.