On formal aspects of the epistemic approach to paraconsistency

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed

Invariance: A Tale of Intellectual Migration

The plotline of the standard story told about the development of intellectual history at the end of the 19th/turn of the 20th century follows the move from absolutism to perspectivalism. The narrative takes us, on the one hand, from the scientism of late Enlightenment writers like Voltaire, Mill, D’Alebert, and Comte and the historical determinism of Hegel, all of which were based upon a universal picture of rationality, to, on the other hand, the relativistic physics of Einstein, the perspectival art of Picasso, and the individualism of Nietzsche and Kierkegaard leading to the phenomenology of Husserl and Heidegger to and on through the deconstructivist work of Derrida in which universal proclamations were deemed meaningless. In their place, was relative dependent upon subjective, political, and social factors, influences, and interpretations. Like all sketches, of course, the story is more complicated than that. There is another trend in the intellectual air of the early 20th century that gets left out of this oversimplified picture, one that threads a middle path between absolutism and perspectivalism, a path that considers both frame-dependent or covariant truths and frame-independent or invariant truths and examines the relations between them. Indeed, the notions of covariance and invariance play important roles in the development of the fields of mathematics, physics, philosophy, and psychology in the decades after the turn of the 20th century. The migration of the concepts of invariance and covariance illustrates not only the interconnectedness of the working communities of intellectuals, but also displays ways in which the personal, social, and political overlaps between groups of disciplinary thinkers are essential conduits for the conceptual cross-fertilization that aids in the health of our modern fields of study. [excerpt

The Case of Dialetheism

The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheism is the claim that there exists at least one dialetheia. It has been observed that dialetheism is equivalent to the negation of the traditional principle of contradiction. Hence, dialetheism itself is no new idea in whatsoever. The novelty of dialetheism consists in the arguments delivered for its case. Key justification the partisans deliver for dialetheism has been examined and evaluated: antinomies, an alleged Gödel’s paradox, and existence of limits of thought. The structure of those arguments has been analyzed. It has been claimed that they share one and the same simple structure which may be called reverse paradox. The vital content dialetheists add to the traditional paradoxes is only the thesis of reliability of the vernacular prima facie knowledge. Three objections have been raised against the justification of dialetheism: firstly, it has been claimed that exactly the same argument supports principle of contradiction, secondly, it has been questioned whether the arguments preserve their value when logic is subject to revision, and thirdly, it has been claimed that the underlying logic of dialetheism is classical

Empiricism: An Environment for Humanist Mathematics

Humanists have extended some links between mathematics and the physical world, but most mathematicians still believe they operate in an immaterial realm of the mind, with unquestionable logic and abstract thought. By rehabilitating the empiricism of John Stuart Mill and combining it with growing knowledge of the character of the human mind, we can escape from the indefinable Platonic universe of immaterial consciousness and abandon the futile quest for certainty that has plagued philosophy since the time of the Greeks

Limits of Abductivism About Logic

I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to solve by abduction

Gaussian process methods for one-dimensional diffusions: optimal rates and adaptation

We study the performance of nonparametric Bayes procedures for one-dimensional diffusions with periodic drift. We improve existing convergence rate results for Gaussian process (GP) priors with fixed hyper parameters. Moreover, we exhibit several possibilities to achieve adaptation to smoothness. We achieve this by considering hierarchical procedures that involve either a prior on a multiplicative scaling parameter, or a prior on the regularity parameter of the GP

On the philosophical motivations for the logics of formal consistency and inconsistency

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency

The Liberation Argument for Inconsistent Mathematics

Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization