The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

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 paper challenges defenders/advocates of the semantic-completeness route towards gluts to explain, in simple and plausible terms, why the ‘trivializer paradox’, framed in terms of closure relatives on theories, fails to undermine their argument.

In some texts concerning logic the reader faces unexpected problems, namely: 1) incongruities between the commentary and logical solutions offered and 2) mistakes concerning external facts.

Positivismo jurídico normativo: de la metafísica a la política El presente trabajo toma como punto de partida el libro Positivismo jurídico “interno”, de María Cristina Redondo, y propone una concepción alternativa de positivismo jurídico normativista. Se sostiene que la teoría del derecho puede ser neutral en la medida en que sea intersubjetiva y transparente en cuanto a sus propias premisas metafísicas. Los objetivos del trabajo son el de echar luz acerca del papel de la metafísica y del sentido común en (...) la construcción del concepto de derecho, y el de hacer más abiertamente transparentes las elecciones ético-políticas que constituyen a los discursos jurídicos, incluidos los teóricos. El trabajo analiza las tesis de Redondo acerca de la distinción entre ontología y epistemología y la posibilidad de conocimiento objetivo: la idea central defendida es que la inter-subjetividad, y no la objetividad, debería ser el criterio apropiado para el positivismo jurídico normativista. Luego se examina el rol de la normatividad en el positivismo jurídico normativista, enfocándose en la naturaleza metafísica de la tesis de que el derecho pertenece a los campos de la normatividad y la razón práctica. Las secciones siguientes examinan las concepciones reduccionistas y anti-reduccionistas sobre las “entidades” jurídicas y la teoría de las fuentes del derecho. La sección final aborda la cuestión de la neutralidad valorativa de la teoría jurídica y analiza la posibilidad de describir el punto de vista interno de los participantes sin asumir compromiso alguno con la práctica jurídica existente. (shrink)

Richard Sylvan (né Routley) was one of Australasia's most prolific and systematic philosophers. Though known for his innovative work in logic and metaphysics, the astonishing breadth of his philosophical endeavours included almost all reaches of philosophy. Taking the view that very basic assumptions of mainstream philosophy were fundamentally mistaken, he sought radical change across a wide range of theories. However, his view of the centrality of logic and recognition of the possibilities opened up by logical innovation in the fundamental areas (...) of metaphysics resulted in his working primarily in these two, closely connected fields. It is this work in logic and metaphysics that is the main focus of what follows. (shrink)

This paper is about the concept of semantically closed languages. Roughly speaking, those are languages which can name their own sentences and apply to them semantic predicates, such as the truth or satisfaction predicates. Hence, they are “self-referential languages,” in the sense that they are capable of producing sentences about themselves or other sentences in the same language. In section one, we introduce the concept informally; in section two, we provide the formal definition of first-order semantically closed languages, which is (...) the Tarskian definition with some technical modifications. Then, we construct a semantic for this kind of language, and prove that the language is indeed semantically closed (according to Definition 1). Finally, we discuss whether the logic underlying the construction is classical, and future goals of this research. (shrink)

Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expressive powers of their formal languages. On condition that the quantum mechanical description is universal and so can be applied to macroscopic systems, quantum theory is required to be more powerful than classical mechanics. This implies that the formal language of Hilbert space (...) theory must be more expressive than that of Zermelo-Fraenkel set theory. However, as shown in the paper, such a requirement cannot be met. As a result, classical and quantum formalisms cannot be in a hierarchical relation, that is, include one another. This fact puts in doubt the quantum-classical correspondence and undermines the reductionist approach to the physical world. (shrink)

There has been much debate recently as to whether the notion of truth, as applied to one's home language, is metaphysically neutral, the interesting metaphysical questions arising elsewhere (in relation to such notions as mind-independence or objectivity or existence). ' On one side, the minimalists, as they have come to be known, favour deflationary accounts of truth such as the redundancy or disquotational theories and conclude that the notion of truth is applicable to declarative sentences in general - at least (...) where there are fairly definite standards of appropriateness for the assertion or denial of such sentences - irrespective of the metaphysical commitments of the propositions the sentences express. Opponents have criticized the minimalist account of truth or denied that it follows from this account that truth is metaphysically neutral. My sympathies in this debate lie with the minimalist but I wish to focus on a serious problem for the minimalist - that posed by the Liar paradox. This problem has featured very little in the recent debate but seems to me to yield the strongest objection to minimalism. I develop the objection in the next section, in §2 sketching what I feel to be the minimalist's best response, namely developing the position not in terms of Tarskian classical biconditionals but rather in terms of the naive rules for truth. It emerges, then, that the minimalist will be forced to repudiate classical logic. The last section, §3, deals with objections to the strategy of §2. (shrink)

We have seen that proofs of soundness of (Boolean) DS, EFQ and of ABS — and hence the legitimation of these inferences — can be achieved only be appealing to the very form of reasoning in question. But this by no means implies that we have to fall back on classical reasoning willy-nilly. Many logical theories can provide the relevant boot-strapping. Decision between them has, therefore, to be made on other grounds. The grounds include the many criteria familiar from the (...) philosophy of science: theoretical integrity (e.g., paucity of ad hoc hypotheses), adequacy to the data (explaining the data of inference —all inferences, not just those chosen from consistent domains!) and so on. This paper has not attempted to address these issues in general. All it demonstrates is that the charge that a dialetheist solution to the semantic paradoxes can be maintained only by making some intelligible notion ineffable cannot be made to stick. The dialetheist has a coherent position, endorsing the T-scheme, but rejecting DS, EFQ (even Boolean DS and EFQ) and ABS. And any argument to the effect that the relevant notions are both ineffable and intelligible begs the question. The case against consistent “solutions” to the semantic paradoxes therefore remains intact. (shrink)