The logic of paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic. The different ways give rise to different logical advantages and disadvantages, and we canvass several of these, (...) concluding that it will be extremely difficult to appeal to second-order LP for the purposes that its proponents advocate, until some deep, intricate, and hitherto unarticulated metaphysical advances are made. (shrink)

The present paper concerns a technical study of PRIEST'S logic of paradox [Pri 79], We prove that this logic has no proper paraconsistent strengthening. It is also proved that the mentioned logic is the largest paraconsistent one satisfaying TARSKI'S conditions for the classical conjunction and disjunction together with DE MORGAN'S laws for negation. Finally, we obtain for the logic of paradox an algebraic completeness result related to Kleene lattices.

In this paper, we aim to devise a logic that can deal with both the paradoxes that motivate dialetheism and the paradoxes related to the irrelevance of material implication. We propose the semantics and the sequent calculus of a relevant logic inspired by difference-making accounts of causation and arguably true to Graham Priest’s Logic of Paradox \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document}: a relevant logic that validates those and only those (...) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document}-consequences that are not irrelevant. The new logic’s relevant implication is then added to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document} to obtain a logic with the logical vocabulary required to cope with the mentioned paradoxes. (shrink)

In this article I should like briefly to ground two mutually determining propositions:1. The philosophical logic that has emerged in the twentieth century and that corresponds to contemporary culture is a logic of paradox.

B. Kooi and A. Tamminga present a correspondence analysis for extensions of G. Priest’s logic of paradox. Each unary or binary extension is characterizable by a special operator and analyzable via a sound and complete natural deduction system. The present paper develops a sound and complete proof searching technique for the binary extensions of the logic of paradox.

Counterexamples to reassurance relative to a relation between models of the logic of paradox are provided. Another relation, designed to fix the problem in logic without equality, is introduced and discussed in connection with the issue of classical recapture.

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)

In the first half of the fifteenth century, the Italian logician, natural philosopher, and doctor of medicine Cajetan of Thiene wrote a commentary on William Heytesbury’s Regulae solvendi sophismata, which later became a part of the printed edition of Heytesbury’s treatises. Several late fifteenth century reprints sustained its circulation and further influence. Following Heytesbury, Cajetan listed four alternative treatments of paradoxes, where the first three were formulated in general logico-semantic terms and the last one in terms of obligationes. The present (...) analysis reconstructs the first three positions in terms of the theories of logical operators endorsed as part of the solution to paradoxes. This reconstruction uncovers different underlying views of operators, namely context-sensitive, value-functional, and supervaluationist.Priore dimidia parte saeculi 15 Caietanus de Thiena, logicus, physicus et medicus, commentarium super G. Hentisberi Regulis solvendi sophismata conscripsit, quod posterius una cum Hentisberi tractatibus typis impressum est. Cuius commentarii notitiam auctoritatemque continuam iteratae nonnullae eius editiones in fi ne 15 saeculi factae sustinebant. Caietanus quattuor vias tractandi insolubilia distinxit, quarum tres primae conceptibus generalibus logico-semanticis, quarta doctrina de obligationibus innixae sunt. In analysi hic proposita auctor primas tres vias reconstruit, doctrinas varias de logicis coniunctionibus vel notis reserans, super quibus illae viae solvendi paradoxa fundantur. Quarum prima vim notarum a contextu sermonis dependentem facit. Altera notas pure “compositionaliter” tractat. Tertia iuxta modum doctrinae de “supervaluatione” omnes formales tautologias servat, aliis considerationibus neglectis. (shrink)

The author once again offers a definition of paradox that fundamentally differs from a Hegelian notion of contradiction. In a paradox, thought should logically identify and comprehend the mental re...

The main aim of this paper is to elucidate, from a logical point of view, the phenomenon of Simpson reversal — the paradox of a statistical reasoning. We define a binary relation of supporting in the following way: a sentence A supports a sentence B if and only if the probability of B is higher when A is true, than when A is false. It appears that a statistical argument occurring in Simpson paradox cannot be formalized by means (...) of a binary relation. We generalize the relation of support introducing the third parameter. Then we argue that it properly mirrors main features of the statistical argument occurring in Simpson paradox. (shrink)

We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.

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)

In this paper we explain that the paraconsistent logic LP promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.

http://dx.doi.org/10.5007/1808-1711.2008v12n2p203 The preface paradox is the apparent pragmatic inconsistency that occurs when the author of a book declares in its preface that despite believing that it is highly probable that everything the book maintains is true it is also highly probable that the book contains at least some errors. The preface paradox has often been presented as an example of a logically inconsistent belief that it is nevertheless rational to accept, supporting the suggestion that rationality has nothing immediately (...) to do with avoiding formal logical inconsistency in one’s beliefs. In contrast with complicated received solutions, I explain a simple method of avoiding inconsistency in preface paradox assertions by indexing the two claims to distinct probability or justification sources, referencing in the first case the conscientious efforts to eliminate errors and in the second case the chagrin of past experience in discovering previously unsuspected errors in published writings. The solution thereby helps preserve the concept of rationality as logical consistency of belief, and avoids the conclusion that the preface paradox proves that it is sometimes rational to accept logically inconsistent beliefs. (shrink)

In the present paper we prove that the poset of all extensions of the logic defined by a class of matrices whose sets of distinguished values are equationally definable by their algebra reducts is the retract, under a Galois connection, of the poset of all subprevarieties of the prevariety generated by the class of the algebra reducts of the matrices involved. We apply this general result to the problem of finding and studying all extensions of the logic of (...) paradox. In order to solve this problem, we first study the structure of prevarieties of Kleene lattices. Then, we show that the poset of extensions of the logic of paradox forms a four-element chain, all the extensions being finitely many-valued and finitely-axiomatizable logics. There are just two proper consistent extensions of the logic of paradox. The first is the classical logic that is relatively axiomatized by the Modus ponens rule for the material implication. The second extension, being intermediate between the logic of paradox and the classical logic, is the one relatively axiomatized by the Ex Contradictione Quodlibet rule. (shrink)

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for (...) LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. (shrink)

Classical logic, of first or higher order, is extended with sentential operators and quantifiers, interpreted substitutionally over unrestricted substitution class. Operators mark a single layered, consistent metalanguage. Self-reference, arising from substitutional quantification over sentences, allows to express paradoxes which, unlike contradictions, do not lead to explosion. Semantics of the resulting language, using semi-kernels of digraphs, is non-explosive yet two-valued and has classical semantics as a special case for clasically consistent theories. A complete reasoning is obtained by extending LK with (...) two rules for sentential quantifiers. Adding (cut) yields a complete system for the explosive semantics. (shrink)

This paper presents a model for the structure of universal frameworks in logic, mathematics, and physics that are closed to logical conclusion by the mechanism of paradox across a dualism of elements. The prohibition takes different forms defined by the framework of observation inherent to the structure. Forms include either prohibition to conclusion on the logical relationship of internal elements or prohibition to conclusion based on the existence of an element not included in the framework of a first (...) element. The model is applied to logical arguments in philosophy, mathematics, and physics and is initially a geometrical analysis of quantum theory and its application in experiment. Conclusion from the analysis is extended to give insight into the complexity of infinities above the two-dimensional boundary of the model. (shrink)

Any language $$\mathcal {L}$$ L of classical logic, of first- or higher-order, is expanded with sentential quantifiers and operators. The resulting language $$\mathcal {L}^+\!$$ L +, capable of self-reference without arithmetic or syntax encoding, can serve as its own metalanguage. The syntax of $$\mathcal {L}^+$$ L + is represented by directed graphs, and its semantics, which coincides with the classical one on $$\mathcal {L}$$ L, uses the graph-theoretic concepts of kernels and semikernels. Kernels provide an explosive semantics, while semikernels (...) generalize this to situations where paradoxes do not lead to explosion, thus distinguishing them from contradictions. Paradoxes arise only at the metalevel due to specific interpretations of the operators, but they can be avoided: $$\mathcal {L}^+$$ L + can express paradoxes but remains free from them. For an expansion $$\mathcal {L}^+$$ L + of any FOL language $$\mathcal {L}$$ L, with the non-explosive semantics, a complete reasoning system is obtained by extending Gentzen’s classical sequent calculus with two rules for the sentential quantifiers. Adding (cut) yields a complete system for the explosive semantics. The novel semantics and self-referential capabilities seem promising for a further extension of classical logic towards one capable also of consistently expressing its own syntax and truth theory. (shrink)

There are three distinct questions associated with Simpson’s paradox. Why or in what sense is Simpson’s paradox a paradox? What is the proper analysis of the paradox? How one should proceed when confronted with a typical case of the paradox? We propose a “formal” answer to the first two questions which, among other things, includes deductive proofs for important theorems regarding Simpson’s paradox. Our account contrasts sharply with Pearl’s causal account of the first two (...) questions. We argue that the “how to proceed question?” does not have a unique response, and that it depends on the context of the problem. We evaluate an objection to our account by comparing ours with Blyth’s account of the paradox. Our research on the paradox suggests that the “how to proceed question” needs to be divorced from what makes Simpson’s paradox “paradoxical.”. (shrink)

I argue here that Kierkegaardian faith is essentially, albeit paradoxically, worldly---that Kierkegaardian faith is a form of world-affirmation. A correlate of this claim is that faithlessness of any kind is ultimately a form of aesthetic resignation grounded in a deep seated world-alienation. The paradox of faith’s worldliness is found in the fact that, for Kierkegaard, faith both excludes and includes resignation in itself. I make sense of this paradox by appealing to Kierkegaard’s idea of “an annulled possibility,” and (...) conclude that faith’s love of the world is an affirmation via a double negation. (shrink)

This paper provides a defense of the full strength of classical logic, in a certain form, against those who would appeal to semantic paradox or vagueness in an argument for a weaker logic. I will not argue that these paradoxes are based on mistaken principles; the approach I recommend will extend a familiar formulation of classical logic by including a fully transparent truth predicate and fully tolerant vague predicates. It has been claimed that these principles are (...) not compatible with classical logic; I will argue, by both drawing on previous work and presenting new work in the same vein, that this is not so. We can combine classical logic with these intuitive principles, so long as we allow the result to be nontransitive. In the end, I hope the paper will help us to handle familiar paradoxes within classical logic; along the way, I hope to shed some light on what classical logic might be for. (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)

ENGLISH ABSTRACT: Basic statements play a central role in Popper's "The Logic of Scientific Discovery", since they permit a distinction between empirical and non-empirical theories. A theory is empirical iff it consists of falsifiable statements, and statements (of any kind) are falsifiable iff they are inconsistent with at least one basic statement. Popper obviously presupposes that basic statements are themselves empirical and hence falsifiable; at any rate, he claims several times that they are falsifiable. In this paper we prove (...) that no basic statement is falsifiable, if the term 'basic statement' is to be understood according to Popper's definitions of that term. More precisely, we prove not only that no Popperian basic statement in the narrow sense of the word is falsifiable, but also that no Popperian basic statement in the broader sense, and even in the broadest possible sense, is falsifiable. This leads to the paradoxical result that, according to Popper's definitions of 'basic statement', the basis of the empirical sciences is not itself empirical. Furthermore, we point out a similar paradox as regards Popper's falsifiability scheme for theories. We close with a look at possibilities for overcoming these paradoxes. DEUTSCHE ZUSAMMENFASSUNG: Basissätze spielen eine zentrale Rolle in Poppers Logik der Forschung, denn sie erlauben die Unterscheidung zwischen empirischen und nichtempirischen Theorien: Eine Theorie ist empirisch genau dann, wenn sie aus falsifizierbaren Aussagesätzen besteht, und Aussagesätze (beliebiger Art) sind falsifizierbar genau dann, wenn sie mindestens einem Basissatz widersprechen. Popper setzt offensichtlich voraus, dassŸ die Basissätze selbst empirisch und somit falsifizierbar sind. Jedenfalls behauptet er mehrmals ihre Falsifizierbarkeit. Wir beweisen in unserem Aufsatz, dassŸ die Basissätze nicht falsifizierbar sind, und wir beweisen dies nicht nur für Poppersche Basissätze im engeren Sinn, sondern auch für Poppersche Basissätze im weiteren Sinn und schlieߟlich für Poppersche Basissätze im weitesten, mit den Vorstellungen Poppers gerade noch verträglichen Sinn. Dies führt zu dem paradoxen Ergebnis, dass nach Poppers eigenen methodologischen Postulaten die Basis der empirischen Wissenschaften nicht selbst empirisch ist. Darüber hinaus entwickeln wir ein ähnliches Paradoxon bezüglich Poppers Falsifizierbarkeitsschema für Theorien. Zum AbschlussŸ unseres Aufsatzes betrachten wir einige Möglichkeiten, die von uns entdeckten Paradoxa zu überwinden. (shrink)

We extend the ordinary logic of knowledge based on the operator K and the system of axioms S₅ by adding a new operator Uφ, standing for "the agent utters φ", and certain axioms and a rule for U, forming thus a new system KU. The main advantage of KU is that we can express in it intentions of the speaker concerning the truth or falsehood of the claims he utters and analyze them logically. Specifically we can express in the (...) new language various notions of lying, as well as of telling the truth. Consequently, as long as lying or telling the truth about a fact is an intentional mode of the speaker, we can resolve the Liar paradox, or at least some of its variants, turning it into an ordinary (false or true) sentence. Also, using Kripke structures analogous to those employed by S. Kraus and D. Lehmann in [3] for modelling the logic of knowledge and belief, we offer a sound and complete semantics for KU. (shrink)

This book examines philosophical approaches to linguistic vagueness, a puzzling feature of natural language that gives rise to the ancient Sorites paradox and challenges classical logic and semantics. -/- The Sorites, or Paradox of the Heap, consists in three claims: (1) One grain of sand does not make a heap. (2) One billion grains of sand do make a heap. (3) For any two amounts of sand differing by at most one grain: either both are heaps of (...) sand, or neither one is. The third claim is rendered plausible by an initial conviction that vague predicates like ‘heap’ tolerate small changes. However, the repeated application of a tolerance principle to the second claim yields the further proposition that one grain of sand does make a heap – which contradicts claim number one. Consequently, many philosophers reject or modify tolerance principles for vague predicates. -/- Inga Bones reassesses prominent responses to the Sorites and defends a Wittgensteinian dissolution of the paradox. She argues that vague predicates are, indeed, tolerant and discusses how this finding relates to the paradox itself, to the notion of validity and to the concept of a borderline case . (shrink)

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.

Classical logic of formal provability includes Löb’s theorem, but not reflection. In contrast, intuitions about the inferential behavior of informal provability (in informal mathematics) seem to invalidate Löb’s theorem and validate reflection (after all, the intuition is, whatever mathematicians prove holds!). We employ a non-deterministic many-valued semantics and develop a modal logic T-BAT of an informal provability operator, which indeed does validate reflection and invalidates Löb’s theorem. We study its properties and its relation to known provability-related paradoxical arguments. (...) We also argue that T-BAT is a fairly sensible candidate for a formal logic of informal provability. (shrink)

We begin with a prepositional languageLpcontaining conjunction (Λ), a class of sentence names {Sα}αϵA, and a falsity predicateF. We (only) allow unrestricted infinite conjunctions, i.e., given any non-empty class of sentence names {Sβ}βϵB,is a well-formed formula (we will useWFFto denote the set of well-formed formulae).The language, as it stands, is unproblematic. Whether various paradoxes are produced depends on which names are assigned to which sentences. What is needed is a denotation function:For example, theLPsentence “F(S1)” (i.e.,Λ{F(S1)}), combined with a denotation functionδsuch (...) thatδ(S1)“F(S1)”, provides the (or, in this context, a)Liar Paradox.To give a more interesting example,Yablo's Paradox[4] can be reconstructed within this framework.Yablo's Paradoxconsists of an ω-sequence of sentences {Sk}kϵωwhere, for eachnϵω:WithinLPan equivalent construction can be obtained using infinite conjunction in place of universal quantification - the sentence names are {Si}iϵωand the denotation function is given by:We can express this in more familiar terms as:etc. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the (...) system of values under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

Twisted Logic: Navigating Life's Puzzles, Paradoxes, and Big Questions draws upon an array of popular and novel puzzles and paradoxes to help us understand and navigate our everyday world, as well as engaging with the big questions beyond. It will appeal to all those interested in learning about twisted logic and the ways in which intuition and common sense can sometimes lead us astray. The book is designed for everyone and is accessible to the layman and student alike. (...) No prior mathematical skill or technical knowledge is required. (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)

This review is mainly expository. At one place, Following a suggestion of carnap's, It is suggested that advances in brain physiology might enable us to revive the notion of conventional truth.

We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent’s knowledge and the latter gives reasons for why a proposition is obligatory. We present two kinds of semantics for (...) the logic: one based on Fitting models and the other based on neighborhood models. The use of neighborhood semantics enables us to define the dual of deontic justification assertions properly, which corresponds to a notion of permission in deontic logic. We then establish the soundness and completeness of an axiom system of the logic with respect to these semantics. Further, we formalize the Protagoras versus Euathlus paradox in this logic and present a precise analysis of the paradox, and also briefly discuss Leibniz’s solution. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated (...) by this logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

In this article, I conduct a selective reading of Difference and Repetition that intertwines with The Logic of Sense, specifically in relation to the concept of paradox, underscoring how Deleuze's work itself is a performance of the necessity of paradoxical thinking and the insistence on an image of thought which incorporates paradox as its central feature. I argue that para-sense anticipates the centrality of paradox in Logic of Sense, just as the obscure, unilluminated element of (...) Ideas anticipates the significance of non-sense for the proliferation of sense therein. Likewise, the dark precursor as that which enables communication between different kinds bears a resemblance to the idea of the quasi-cause that we find in The Logic of Sense. Paradox, the paradoxical instant and para-sense, as figures which help us to cultivate and maintain the discordant relations of passion to thought, the corporeal and incorporeal, and word and thing, unfix our thinking so that we can allow ourselves to be more thoroughly immersed in the multiplicities and intensities that surround us. This is the possibility of a kind of doubling that is not based on the sterility of representation, but rather the genitality of learning and proliferation of sense. (shrink)