The work is the presentation of a logical theory - Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including ...

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (shrink)

It is often claimed that anti-realists are compelled to reject the inference of the knowability paradox, that there are no unknown truths. I call those anti-realists who feel so compelled ‘faint-hearted’, and argue in turn that anti-realists should affirm this inference, if it is to be consistent. A major part of my strategy in defending anti-realism is to formulate an anti-realist definition of truth according to which a statement is true only if it is verified by someone, at some time. (...) I also liberalize what is meant by a verification to allow for indirect forms of verification. From this vantage point, I examine a key objection to anti-realism, that it is committed to the necessary existence of minds, and reject a response to this problem set forth by Michael Hand. In turn I provide a more successful anti-realist response to the necessary minds problem that incorporates what I call an ‘agential’ view of verification. I conclude by considering what intellectual cost there is to being an anti-realist in the sense I am advocating. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

The thesis includes six essays, each corresponding to a chapter, which have the target of widening the discussion on the limits of knowability through the consideration of some general problematics and the discussion of specific topics. The work is composed of two parts, each of three chapters. In the first part, the discussion is focused on a perspective proper of the philosophy of language. In particular, I consider the discussion on the limits of knowability from the point of view of (...) the debate between semantic realism and antirealism. The second part of the thesis is focused on the discussion on the limits of knowability from a perspective more strictly epistemological and proper of the philosophy of science. (shrink)

Knowing that some state of affairs—expressed by a proposition, p—is possible, and the possibility that one knows that p have, quite obviously, different meanings. This paper focuses only on their logical relationship—whether they entail one another. I will argue for the following three claims: the basic verificationist principles of anti-realism, at least in their simplest forms, and in conjunction with some other, intuitively reasonable principles, do entail that these two concepts are substitutionally equivalent. Our pre-theoretical expectations question this outcome, as (...) counterexamples can be manufactured. I will also argue that this substitutional equivalence has further, highly counter-intuitive implications. Finally, I will argue that some of the standard strategies to avoid the well-known paradoxes of anti-realism fail to solve this new paradox, while others may be able to do that, but only at a considerable price. However, the introduction of a moderate anti-realist truth operator, the actual objective of this paper, does dissolve the paradox, and arguably at an affordable price. (shrink)

A Moderate Anti-realist approach to truth and meaning, built around the concept of knowability, will be introduced and argued for in this essay. Our starting point will be the two fundamental anti-realists principles that claim that neither truth nor meaning can outstrip knowability and our focus will be on the challenge of adequately formalizing these principles and incorporating them into a formal theory. Accordingly, the author will introduce a MAR truth operator that is built on a distinction between being true (...) and being factual. He will show then that this approach partitions propositions into eight classes, on the basis of their knowability. We will then ask the following question: Given the anti-realist principles, what kind of theory of propositional meaning can properly explain the meaninglessness of fully unknowable propositions? This question will lead us to the claim that the meaning/content of propositions should be identified not with the set of possible worlds in which the propositions are true/factual, but rather in which they are known. This modified approach will then be used to analyze both the Liar Paradox and the Strengthened Liar. To anticipate the conclusion of this essay, it will be shown that a MAR framework can render definite truth and factuality values to the Liar sentence and it will also confirm our intuition that such paradoxical sentences are devoid of proper meaning. (shrink)