Massimiliano Carrara

We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions [10] to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses.

In questo articolo l’autore intende fornire una risposta a questo quesito: è possibile identificare una specificazione di proprietà tale da evitare alcune obiezioni standard al Principio d’identità degli indiscernibili ? dove con l’espressione "obiezioni standard" ci si riferisce a quell’insieme di argomenti proposti da M. Black e P.F. Strawson contro . Si argomenta che, se si segue Leibniz, ci si trova di fronte ad una empasse. Infatti, se si vuole evitare l’accusa di circolarità nei confronti di si deve negare l’esistenza di un certo tipo d’entità dette “questità”. Ma se si negano le questità si incorre nel contro-esempio di Black-Strawson. Modi leibniziani per uscirne? Sembra che si possano immaginare due strategie che Leibniz potrebbe utilizzare per uscire da questa difficoltà: ammettere che nella sua metafisica non si nega, in un qualche modo, l’esistenza di proprietà quali le questità, oppure negare la validità di un argomento alla Black-Strawson, caratterizzando in un modo differente le talità. Le due alternative vengono analizzate

In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property and conservativeness. In the second part of the paper, we introduce normality operators and explore their formal behaviour. In the third and final part of the paper, we establish a number of classical recapture results for systems of formal inconsistency and formal undeterminedness that satisfy some or all the properties above. These are the main formal results of the paper. Also, we illustrate concrete cases of recapture by discussing the logics $\mathsf{K}^{\circledast }_{3}$, $\mathsf{LP}^{\circledast }$, $\mathsf{K}^{w\circledast }_{3}$, $\mathsf{PWK}^{\circledast }$ and $\mathsf{E_{fde}}^{\circledast }$, that are in turn extensions of $\mathsf{{K}_{3}}$, $\mathsf{LP}$, $\mathsf{K}^{w}_{3}$, $\mathsf{PWK}$ and $\mathsf{E_{fde}}$, respectively.

In Parts of Classes David Lewis attempts to draw a sharp contrast between mereology and set theory and he tries to assimilate mereology to logic. For him, like logic but unlike set theory, mereology is “ontologically innocent”. In mereology, given certain objects, no further ontological commitment is required for the existence of their sum. On the contrary, by accepting set theory, given certain objects, a further commitment is required for the existence of the set of them. The latter – unlike the sum of the given objects – seems to be an abstract entity whose existence is not directly entailed by the existence of the objects themselves. The argument for the innocence of mereology is grounded on the thesis of composition as identity. In our paper we argue that: arguments for the ontological innocence of mereology are not conclusive. Some arguments against the ontological innocence of mereology show a certain ambiguity in the innocence thesis itself. The innocence thesis seems to depend on a general conception of the nature of objects and on how the notion of ontological commitment is understood. Specifically, we think that the thesis is the manifesto of a realistic conception of parts and sums. Quine‟s notorious criticism of the set-theoretical interpretation of second order logic seems to be reproducible against Lewis‟defence of mereology. To the purpose we construct a mereological model of a substantive fragment of set theory, adequate to ground the set-theoretical semantics of second order logic.

Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper makes a structuralist counterproposal. We present a semantics based on a procedural interpretation of the typed λ-calculus. The fundamental idea is that talk about impossibilities should be construed in terms of procedures: some yield as their product a condition that could not possibly have a satisfier, while the rest fail to yield a product altogether. Dispensing with a ‘bottom’ of impossibilia requires instead a ‘top’ consisting of structured hyperintensions, intensions, intensions defining other intensions, a typed universe, and dual (de dicto and de re) predication. We explain how the theory works by going through several examples.

This paper offers a logico-algebraic investigation of AGM belief revision based on the logic of paradox ( \(\mathrm {LP}\) ). First, we define a concrete belief revision operator for \(\mathrm {LP}\), proving that it satisfies a generalised version of the traditional AGM postulates. Moreover, we investigate to what extent the Levi and Harper identities, in their classical formulation, can be applied to a paraconsistent account of revision. We show that a generalised Levi-type identity still yields paraconsistent-based revisions that are fully compatible with the AGM postulates. The main outcome is that, once the classical AGM framework is lifted up to an appropriate level of generality, it still appears as a regulative ideal for treating of paraconsistent-based epistemic operators.

In Thin objects: an abstractionist account (Oxford University Press, 2018), Øystein Linnebo claims that ‘mathematical objects are thin in the sense that very little is required for their existence’. Linnebo articulates his view in an abstractionist manner: according to Linnebo, the truth of the right‐hand side of a Fregean abstraction principle, which states that two items stand in a given equivalence relation, is sufficient for the truth of its left‐hand side, which states that the same abstract object is associated to both items. This special issue contains nine articles discussing different aspects of Linnebo's book. In this introduction, we provide an opinionated introduction to the Special Issue and an overview of the contributions.

This special issue of GPS collects 11 papers (and a long introduction), by leading philosophers and young researchers, which tackle more or less from close the topic of propositions by trying to provide the reader with a cross-section of the ongoing debate in this area. The raised issues range over the semantics, the ontology, the epistemology, and the philosophy of mathematics and stimulate the reader to reflect on crucial problems such as the following: are propositions objects? In the positive case, what kind of objects are they? Can they be grasped by cognitive creatures such as we are? When can we say that two people entertain the same proposition? Have propositions any role to play in speech act theory? Even though the notion of proposition has received considerable attention in the past philosophical debate, it is still of great interest, in particular in connection with the attacks which have recently been launched against it in the theory of language. The volume, which is equipped with a long and detailed introduction that supplies the young reader with useful background information on the different stances in the debate, could prove useful also for didactic purposes.

The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples to Absorption and Assertion use in the metalanguage a dialetheically unacceptable principle. Furthermore, we show that the rejection of Assertion undermines Priest’s claim that the entailment connective expresses the notion of logical consequence

Classical mereology seems unable to characterise the identity conditions of word types. For example, the same letter types ordered differently result in different word types; but mereological fusions of the same letters are identical, regardless of the order of the letters. We show, however, that by combining classical mereology with plural logic one can give a definition of word types that satisfies the identity criteria of word types. This means that it is not necessary to abandon classical mereology in order to give an analysis of the mereological structure of word types.

The book's aim is to give a working representation of what metaphysics is today. The historical contributions reveal the roots of metaphysical themes and how today's methods are linked to their Aristotelian and Leibnizian past. The volume also touches on the relationships between ontological and linguistic analysis, the questions of realism and ontological commitment, the nature of abstract objects, the existential meaning of particular quantification, the primitiveness of identity, the question of epistemic versus ontological vagueness, the necessity of origin, the nature of natural necessity, the possibility of intermittent existence, the notion of a temporal part and its place in an account of persistence, the question of identity and change across time and possible worlds, and many more. Readership: A toolbox for any researcher in metaphysics and an essential source for any PhD student with ontological interests.

Aim of the paper is to make some steps towards a formal characterization of identity criteria. First of all, we analyse some logical requirements identity criteria are supposed to satisfy and observe that some commonly used identity criteria fail to meet some of them. We focus in particular on the equivalence requirement. We consider then the proposals which have been given so far and aimed at providing logical adequacy to non-equivalent identity conditions. To this purpose, we analyse Williamson’s and De Clerq and Horsten’s treatment of identity criteria. We expand their formal framework, characterizing identity conditions in terms of contexts and levels of granularity too.

According to N. Goodman, the Carnapian notion of similarity is useless in science and without interest for philosophy. In our paper we suggest that, given the current role that the notion of similarity has in managing biomedical big data, this drastic position should be revised, and similarity should be provided a scientifically useful philosophical interpretation. With the advent of the new sequencing technologies, imaging technologies and with the improvements of health records, the number of genomics, post-genomics and clinical data has exponentially increased. The deluge of data has urged, among others, to devise a new way of stratifying patients. A solution has been found and it is based exactly on the notion of similarity. By discussing two examples focusing on similarity among breast cancer patients, in the paper we illustrate such a use, and analyze it from a philosophical standpoint by resorting to A. Tversky’s features matching approach. We believe that the latter can foster some better understanding of the meaning and current use of similarity in the context of biomedical big data, and that, therefore, be the focus of further reflections in the philosophy of science, in particular in the philosophy of biomedicine.