Negation, expressivism, and intentionality

Many think that expressivists have a special problem with negation. I disagree. For if there is a problem with negation, I argue, it is a problem shared by those who accept some plausible claims about the nature of intentionality. Whether there is any special problem for expressivists turns, I will argue, on whether facts about what truth-conditions beliefs have can explain facts about basic inferential relations among those beliefs. And I will suggest that the answer to this last question is, on most plausible attempts at solving the problem of intentionality, ‘no’

A one-valued logic for non-one-sidedness

Does it make sense to employ modern logical tools for ancient philosophy? This well-known debate2 has been re-launched by the indologist Piotr Balcerowicz, questioning those who want to look at the Eastern school of Jainism with Western glasses. While plainly acknowledging the legitimacy of Balcerowicz's mistrust, the present paper wants to propose a formal reconstruction of one of the well-known parts of the Jaina philosophy, namely: the saptabhangi, i.e. the theory of sevenfold predication. Before arguing for this formalist approach to philosophy, let us return to the reasons to be reluctant at it

Inconsistency, paraconsistency and ω-inconsistency

In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth: LP and STTT. Both have the interesting feature of being able to handle semantic and arithmetic concepts, maintaining the standard model. However, it can be easily shown that both theories are ω-inconsistent. Although usually a theory of truth is generally expected to be ω-consistent, all conceptual concerns don't apply to inconsistent theories. Finally, I'll explore if it's possible to have an inconsistent, but ω-consistent theory of truth, restricting my analysis to substructural theories.Fil: Da Re, Bruno. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto de Investigaciones Filosóficas - Sadaf; Argentin

Modal logic S4 as a paraconsistent logic with a topological semantics

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency

Two Indian dialectical logics: saptabhangi and catuskoti

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing theory of judgment within a common conceptual framewor

Ruminations: Sundry Notes and Essays on Logic

Ruminations is a collection of sundry notes and essays on Logic. These complement and enrich the author’s past writings, further analyzing or reviewing certain issues. Among the many topics covered are: the importance of the laws of thought, and how they are applied using the logic of paradox; details of formal logic, including some important new insights on the nesting, merger and splitting up of hypothetical propositions; details of causal logic, including analogical reasoning from cause to cause; a cutting-edge phenomenological analysis of negation. Additionally, this volume is used to publish a number of notes and essays previously only posted in his Internet site, including a history of Jewish logic and an analysis of Islamic logic