Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s early (...) suggestion that the principles governing human natural language may well be inconsistent. There will be a significant deviation from Priest’s work, namely, the assumption of a broadly Chomskyan picture of semantics. This allows us to explain natural language inconsistency tolerance without commitment to contentious views in formal logic. (shrink)

According to Fogelin’s account of deep disagreements, disputes caused by a clash in framework propositions are necessarily rationally irresolvable. Fogelin’s thesis is a claim about real-life, and not purely hypothetical, arguments: there are such disagreements, and they are incapable of rational resolution. Surprisingly then, few attempts have been made to find such disputes in order to test Fogelin’s thesis. This paper aims to rectify that failure. Firstly, it clarifies Fogelin’s concept of deep disagreement and shows there are several different breeds (...) of such disagreements. Thus, to fully assess Fogelin’s thesis, it will be necessary to seek out cases of each breed to evaluate their rational irresolvability. Secondly, it begins this task by looking at a significant debate within the logical literature over the truth of contradictions. We demonstrate that, while the debate exemplifies a breed of deep disagreement, the parties involved can supply one another with rationally compelling reasons. (shrink)

(No abstract is available for this citation).

There is a strong intuition that for a change to occur, there must be a moment at which the change is taking place. It will be demonstrated that there are no such moments of change, since no state the changing thing could be in at any moment would suffice to make that moment a moment of change. A moment in which the changing thing is simply in the state changed from or the state changed to cannot be the moment of (...) change, since these states are respectively before and after the change; moreover, to select one of these moments over the other as the moment of change would be arbitrary. A moment in which the changing thing is neither in the state changed from nor in the state changed to cannot be the moment of change, since there are changes for which it is impossible for something to be in neither state. Finally, the moment of change cannot be a moment in which the changing thing is in both the state changed from and the state changed to, as suggested by Graham Priest and others. Even if, like proponents of this view, we are willing to accept the contradictions that the account entails, it is demonstrated that on such a model, every change would require an infinite number of other changes, every change would take an infinite amount of time, and some changes would occur without occurring at any time. Further, the model is grossly counterintuitive, with the exact nature of the counterintuitive element depending on what model of time and space one endorses. Finally, it is demonstrated that this model is incompatible with the Leibniz Continuity Condition. (shrink)

A Liar sentence is a sentence that, paradoxically, we cannot evaluate for truth in accordance with classical logic and semantics without arriving at a contradiction. For example, consider L If we assume that L is true, then given that what L says is ‘L is false,’ it follows that L is false. On the other hand, if we assume that L is false, then given that what L says is ‘L is false,’ it follows that L is true. Thus, L (...) is an example of a Liar sentence. Several philosophers have proposed that the Liar paradox, and related paradoxes, can be solved by accepting the contradictions that these paradoxes seem to imply (including Priest 2006, Rescher and Brandom 1980). The theory that there are true .. (shrink)

Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.

Perhaps the real paradox of Zeno's Arrow is that, although entirely stationary, it has, against all odds, successfully traversed over two millennia of human thought to trouble successive generations of philosophers. The prospects were not good: few original Zenonian fragments survive, and our access to the paradoxes has been for the most part through unsympathetic commentaries. Moreover, like its sister paradoxes of motion, the Arrow has repeatedly been dismissed as specious and easily dissolved. Even those commentators who have taken it (...) seriously have propounded solutions with which they profess themselves to be perfectly satisfied. So my question is: will Zeno's Arrow survive into the millennium just begun? (shrink)

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

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 Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

One longstanding problem for glut theorists is the problem of ‘just true.’ On Beall's conservative version of glut theory advanced in Spandrels of Truth , he addresses the problem in two steps. The first is a rejection of the problem: he claims that the only general notion of ‘just true’ is just truth itself. On that view, the alleged problem of ‘just true’ is reduced to the problem of truth itself, which has a solution—glut theory. The second step is to (...) acknowledge that there is a notion of ‘just true’ which is more limited but nonetheless meets all reasonable criteria demanded by those who advance the longstanding just-true objection. Marcus Rossberg disagrees. According to Rossberg, a just-true operator ought to iterate and be non-arbitrary in ways that Beall's proposed just-true operator is not. My aim in this paper is to construct a new conditional in terms of which a new just-true operator may be defined, a necessity operator, and to show that it meets all of the target desiderata of the debate. I then use that new operator to address the arbitrariness worries raised by Rossberg. (shrink)

Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles. In this paper, which is a followup to, we will start with a particularly well-motivated four-valued logic that has been studied mainly in its propositional and first-order versions. And we will then investigate its second-order version. This four-valued logic has two natural three-valued extensions: what is called a “gap logic”, and what is called a (...) “glut logic”. We mention various results about the second-order version of these logics as well. And we then follow our earlier papers, where we had added a specific conditional connective to the three valued logics, and now add that connective to the four-valued logic under consideration. We then show that, although this addition is “conservative” in the sense that no new theorems are generated in the four-valued logic unless they employ this new conditional in their statement, nevertheless the resulting second-order versions of these logics with and without the conditional are quite different in important ways. We close with a moral for logical investigations in this realm. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

On the face of it, normative conflicts are commonplace. Yet standard deontic logic declares them to be logically impossible. That prompts the question, What are the proper principles of normative reasoning if such conflicts are possible? This paper examines several alternatives that have been proposed for a logic of 'ought' that can accommodate normative conflicts, and finds all of them unsatisfactory as measured against three criteria of adequacy. It then introduces a new logic that does meet all three criteria, and (...) so allows for the possibility of genuine normative conflicts. (shrink)

Does the A-theory have an intuitive advantage over the B-theory? Many A-theorists have claimed so, arguing that their theory has a much better explanation for the fact that we all experience the passage of time: we experience time as passing because time really does pass. In this paper I expose and reject the argument behind the A-theorist’s claim. I argue that all parties have conceded far too easily that there is an experience that needs explaining in the first place. For (...) what exactly is an experience of temporal passage? One natural thought is that we experience passage in virtue of experiencing change, or in virtue of experiencing change as ‘dynamic’. Another is that we experience passage in virtue of experiencing events as (successively) present. None of these experiences, I argue, amounts to an experience of passage. Although there might still be other ways to experience passage, A-theorists would have to provide us with a plausible candidate experience. If there is such an experience at all, it won’t be one that qualifies as what we intuitively take to be an experience of passage. The ‘intuitive advantage’, it seems, has dissolved in any case. (shrink)

It is valuable for inquiry to have researchers who are committed advocates of their own theories. However, in light of pervasive disagreement, such a commitment is not well explained by the idea that researchers believe their theories. Instead, this commitment, the rational attitude to take toward one’s favored theory during the course of inquiry, is what I call endorsement. Endorsement is a doxastic attitude, but one which is governed by a different type of epistemic rationality. This inclusive epistemic rationality is (...) sensitive to reasons beyond those to think the particular proposition in question is true. Instead, it includes extrinsic epistemic reasons, which concern the health of inquiry more generally. Such extrinsic reasons include the distribution of cognitive labor that a researcher will contribute to by endorsing a particular theory. Recognizing endorsement and inclusive epistemic rationality thus allows us to smooth a tension between individual rationality and collective rationality. It does so by showing how it can be epistemically rational to endorse a theory on the basis of the way this endorsement will benefit collective inquiry. I provide a decision theoretic treatment for inclusive epistemic rationality and endorsement which illustrates how this can be accomplished. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...) views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of the propositions (...) which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

The philosophical difficulties presented by self-deception are vexed and multifaceted. One such difficulty is what I call the ‘doxastic problem’ of self-deception. Solving the doxastic problem involves determining whether someone in a state of self-deception that ∼p both believes that p and believes that ∼p, simply holds one or the other belief, or, as I will argue, holds neither. This final option, which has been almost entirely overlooked to-date, is what I call ‘ nondoxasticism ’ about self-deception. In this article, (...) I present a negative case for nondoxasticism according to which, in the paradigm case of self-deception, there is no explanatory need to attribute the self-deceived person either their undesired belief that p, or their desired belief that ∼p. Folk psychology is replete with concepts other than belief, and if we bear this in mind, it becomes clear that the explanatory roles for which the self-deceived person's purported beliefs have traditionally been enlisted can be comfortably filled without recourse to belief. (shrink)

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form (...) of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert's Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program. (shrink)

Two epistemic principles are Knowledge Exclusion and Belief Exclusion. Knowledge Exclusion says that it is necessarily the case that if an agent knows that p, then she does not believe that ∼p, and Belief Exclusion says that it is necessarily the case that if an agent believes that q, then she does not believe that ∼q. Many epistemologists find it reasonable to reject the latter principle and accept the former. I argue that this is in fact not reasonable by proposing (...) a case in which an agent can use that she has contradictory beliefs towards a proposition as decisive evidence for that proposition. A natural response is that this case conflicts with common assumptions about the relation between knowledge, contradictory beliefs and rationality. I reply by drawing ideas from Lasonen-Aarnio’s remarks on unreasonable knowledge to explain why these common assumptions do not threaten my argument. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (shrink)

One might ask of two or more texts—what can be inferred from them, taken together? If the texts happen to contradict each other in some respect, then the unadorned answer of standard logic is EVERYTHING. But it seems to be a given that we often successfully reason with inconsistent information from multiple sources. The purpose of this paper is to attempt to develop an adequate approach to accounting for this given.

In this paper we discuss Priest’s account of change and motion, contrasting it with its more orthodox rival, the Russellian account. The paper is divided in two parts. In first one we take a stance that is more sympathetic to the Russellian view, arguing that Priest’s arguments against it are inconclusive. In the second part, instead, we take a more sympathetic attitude towards Priest’s objections. We argue, however, that if these objections pose insurmountable difficulties to the Russellian account, then they (...) pose the same difficulties also to Priest’s favoured Hegelian account, and for the same reasons. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...) however, that the alternative argument raises a circularity problem. In sum, Gödel’s and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of Gödel sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of Gödel sentence. Hence, Gödel’s and its related theorem never can be a ground for Dialetheism. (shrink)

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...) problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥. (shrink)

Graham Priest has brilliantly analyzed Hegel's dialectics, as far as its logical and abstract ontological (metaphysical) structure goes, and has successfully related it to his own logically sophisticated dialethism. After briefly reminding the reader of his account, the paper turns to the other, not purely logical side of Hegel's dialectics, and points to his strategy of bringing together ontological, anthropological and historical matters together with the logical structure, in a manner quite foreign to analytic tradition. It concludes with the proposal (...) that Hegel's way of directly connecting logical ontological, anthropological and historical matters has played the crucial role in the birth of what later became known as specifically ``continental'' philosophy. The paper concludes by raising the question of the relation between the two, the abstract logico-ontological approach, favored by Priest, and the rich, anthropologically and historically informed one found in all major works of Hegel. (shrink)