129 found
Order:
  1. Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2. Identity criteria: an epistemic path to conceptual grounding.Massimiliano Carrara & Ciro De Florio - 2020 - Synthese 197 (7):3151-3169.
    Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3. Mereology and Identity.Massimiliano Carrara & Giorgio Lando - 2021 - Synthese:4205-4227.
  4. From thin objects to thin concepts?Massimiliano Carrara, Ciro De Florio & Francesca Poggiolesi - 2023 - Theoria 89 (3):256-265.
    In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Composition and Relative Counting.Massimiliano Carrara & Giorgio Lando - 2017 - Dialectica 71 (4):489-529.
    According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Assertion and hypothesis: a logical framework for their opposition relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logic Journal of the IGPL 25 (2):131-144.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8. On the semantics of artifactual kind terms.Irene Olivero & Massimiliano Carrara - 2021 - Philosophy Compass 16 (11):e12778.
    What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  85
    Denial and Disagreement.Julien Murzi & Massimiliano Carrara - 2015 - Topoi 34 (1):109-119.
    We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Composition, Indiscernibility, Coreferentiality.Massimiliano Carrara & Giorgio Lando - 2016 - Erkenntnis 81 (1):119-142.
    According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  77
    The Grounding of Identities.Lorenzo Azzano & Massimiliano Carrara - 2021 - Philosophia 49 (5):1943-1952.
    A popular stance amongst philosophers is one according to which, in Lewis’ words, “identity is utterly simple and unproblematic”. Building from Lewis’ famous passage on the matter, we reconstruct, and then criticize, an argument to the conclusion that identities cannot be grounded. With the help of relatively uncontroversial assumption concerning identity facts, we show that not all identities are equi-fundamental, and, on the contrary, some appear to be provided potential grounding bases using two-level identity criteria. Further potential grounding bases for (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  99
    The fine-grained metaphysics of artifactual and biological functional kinds.Massimiliano Carrara & Pieter Vermaas - 2009 - Synthese 169 (1):125-143.
    In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  13. If engineering function is a family resemblance concept: Assessing three formalization strategies.Massimiliano Carrara, Pawel Garbacz & Pieter E. Vermaas - 2011 - Applied ontology 6 (2):141-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  88
    The design stance and its artefacts.Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo & Pawel Garbacz - 2013 - Synthese 190 (6):1131-1152.
    In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design stance in (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  15.  22
    Patient Similarity in the Era of Precision Medicine: A Philosophical Analysis.Giovanni Boniolo, Raffaella Campaner & Massimiliano Carrara - 2023 - Erkenntnis 88 (7):2911-2932.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. A New Logic of Technical Malfunction.Bjørn Jespersen & Massimiliano Carrara - 2013 - Studia Logica 101 (3):547-581.
    Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17. (1 other version)To exist and to count: A note on the minimalist view.Francesco Berto & Massimiliano Carrara - 2009 - Dialectica 63 (3):343-356.
    Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  40
    Assertions and Hypotheses: A Logical Framework for their Opposition Relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2016 - Logic Journal of the IGPL:Doi 10.1093/jigpal/jzw036.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola (1995, Erkenntnis, 43, 81–109) by outlining a pragmatic logic for assertions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  19. We don’t know we don’t know: asserting ignorance.Massimiliano Carrara, Daniele Chiffi, Ciro De Florio & Ahti-Veikko Pietarinen - 2019 - Synthese 198 (4):3565-3580.
    The pragmatic logic of assertions shows a connection between ignorance and decidability. In it, we can express pragmatic factual ignorance and first-order ignorance as well as some of their variants. We also show how some pragmatic versions of second-order ignorance and of Rumsfeld-ignorance may be formulated. A specific variant of second-order ignorance is particularly relevant. This indicates a strong pragmatic version of ignorance of ignorance, irreducible to any previous form of ignorance, which defines limits to what can justifiably be asserted (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafał Urbaniak (eds.), Applications of Formal Philosophy: The Road Less Travelled. Cham, Switzerland: Springer International Publishing AG. pp. 195-209.
  21. Two Conceptions of Technical Malfunction.Bjørn Jespersen & Massimiliano Carrara - 2011 - Theoria 77 (2):117-138.
    The topic of this paper is the notion of technical (as opposed to biological) malfunction. It is shown how to form the property being a malfunctioning F from the property F and the property modifier malfunctioning (a mapping taking a property to a property). We present two interpretations of malfunctioning. Both interpretations agree that a malfunctioning F lacks the dispositional property of functioning as an F. However, its subsective interpretation entails that malfunctioning Fs are Fs, whereas its privative interpretation entails (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Paradox and Logical Revision. A Short Introduction.Julien Murzi & Massimiliano Carrara - 2015 - Topoi 34 (1):7-14.
    Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular diagnosis has been to restore consistency, or at least non-triviality, by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23. Artifact Categorization. Trends and Problems.Massimiliano Carrara & Daria Mingardo - 2013 - Review of Philosophy and Psychology 4 (3):351-373.
    The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  82
    Grounding Megethology on Plural Reference.Massimiliano Carrara & Enrico Martino - 2015 - Studia Logica 103 (4):697-711.
    In Mathematics is megethology Lewis reconstructs set theory combining mereology with plural quantification. He introduces megethology, a powerful framework in which one can formulate strong assumptions about the size of the universe of individuals. Within this framework, Lewis develops a structuralist class theory, in which the role of classes is played by individuals. Thus, if mereology and plural quantification are ontologically innocent, as Lewis maintains, he achieves an ontological reduction of classes to individuals. Lewis’work is very attractive. However, the alleged (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Are Identities Unexplainable? Towards a Non‐causal Contrastive Explanation of Identities.Lorenzo Azzano & Massimiliano Carrara - 2021 - Theoria 87 (2):457-482.
    Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  71
    On biological identity.Giovanni Boniolo & Massimiliano Carrara - 2004 - Biology and Philosophy 19 (3):443-457.
    In our paper, we propose a relativisticand metaphysically neutral identity criterionfor biological entities. We start from thecriterion of genidentity proposed by K. Lewinand H. Reichenbach. Then we enrich it to renderit more philosophical powerful and so capableof dealing with the real transformations thatoccur in the extremely variegated biologicalworld.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27. A PWK-style Argumentation Framework and Expansion.Massimiliano Carrara - 2023 - IfCoLog Journal of Logics and Their Applications 10 (3):485-509.
    In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  25
    There is overlap in letters: a mereological definition of word types.Massimiliano Carrara & Jeroen Smid - 2022 - Synthese 200 (2):1-17.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Ontological commitment and reconstructivism.Massimiliano Carrara & Achille C. Varzi - 2001 - Erkenntnis 55 (1):33-50.
    Some forms of analytic reconstructivism take natural language (and common sense at large) to be ontologically opaque: ordinary sentences must be suitably rewritten or paraphrased before questions of ontological commitment may be raised. Other forms of reconstructivism take the commitment of ordinary language at face value, but regard it as metaphysically misleading: common-sense objects exist, but they are not what we normally think they are. This paper is an attempt to clarify and critically assess some common limits of these two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  31.  67
    To Be is to Be the Object of a Possible Act of Choice.Massimiliano Carrara & Enrico Martino - 2010 - Studia Logica 96 (2):289-313.
    Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference . Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom of infinite (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32.  38
    Normality operators and classical recapture in many-valued logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Sul Dialeteismo. Lezioni Padovane di Graham Priest Ed Altri Saggi Su L Dialeteismo.Filippo Mancini & Massimiliano Carrara - 2021 - Padua, Province of Padua, Italy: Padova University Press.
    Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. On assertion and denial in the logic for pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S97-S107.
    The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Iterated privation and positive predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. How to be a compatibilist in metaphysics: The epistemic strategy.Massimiliano Carrara & Vittorio Morato - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-25.
    Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  41
    Pragmatic logics for hypotheses and evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
    The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  65
    The Knowability Paradox in the light of a Logic for Pragmatics.Massimiliano Carrara & Daniele Chiffi - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 47-58.
    The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions –ncalled logical revision – has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, we focus on so-called revisionary solutions to the paradox – solutions that put the blame on the underlying logic. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  50
    Impossibilities without impossibilia.Bjørn Jespersen, Marie Duží & Massimiliano Carrara - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. DLEAC: A Dialetheic Logic with Exclusive Assumptions and Conclusions.Massimiliano Carrara & Enrico Martino - 2019 - Topoi 38 (2):379-388.
    This paper proposes a new dialetheic logic, a Dialetheic Logic with Exclusive Assumptions and Conclusions ), including classical logic as a particular case. In \, exclusivity is expressed via the speech acts of assuming and concluding. In the paper we adopt the semantics of the logic of paradox extended with a generalized notion of model and we modify its proof theory by refining the notions of assumption and conclusion. The paper starts with an explanation of the adopted philosophical perspective, then (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  19
    Individuals, Essence and Identity: Themes of Analytic Metaphysics.Andrea Clemente Bottani, Massimiliano Carrara & P. Giaretta (eds.) - 2002 - Dordrecht, Netherland: Springer.
    Andrea Bottani Massimiliano Carrara Pierdaniele Giaretta What do we do when we do metaphysics? The aim of this introduction is to give a provisional answer to this question, and then to explain the subtitle of the volume. It is easy to observe that when we do meta physics we engage in a linguistic activity, mainly consisting of uttering declarative sentences that are not very clear to most people. That is true, but, of course, it is not very informative. What do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Copies, Replicas, and Counterfeits of Artworks and Artefacts.Marzia Soavi & Massimiliano Carrara - 2010 - The Monist 93 (3):414-432.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44. On the ontological commitment of mereology.Massimiliano Carrara & Enrico Martino - 2009 - Review of Symbolic Logic 2 (1):164-174.
    In Parts of Classes (1991) and Mathematics Is Megethology (1993) David Lewis defends both the innocence of plural quantification and of mereology. However, he himself claims that the innocence of mereology is different from that of plural reference, where reference to some objects does not require the existence of a single entity picking them out as a whole. In the case of plural quantification . Instead, in the mereological case: (Lewis, 1991, p. 87). The aim of the paper is to (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  29
    Logical Investigations on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S1-S2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  14
    Towards a polarized semantics for assertion and denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
    Recent logic and linguistic literature suggest that certain forms of denial cannot be reduced to a simple assertion of negation. In particular, the existence of mathematical and empirical conjectures offers a basis for refuting Frege’s thesis of equivalence between denial and assertion of negation. Following this line of thought we develop a formal framework with two primitive illocutionary operators for assertion and denial, where denial is not a simple negation of assertion. We introduce a semantics for the operators mentioned above. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  83
    Self-Effacing Reasons and Epistemic Constraints: Some Lessons from the Knowability Paradox.Massimiliano Carrara & Davide Fassio - 2023 - Philosophical Quarterly 74 (3):732-753.
    A minimal constraint on normative reasons seems to be that if some fact is a reason for an agent to φ (act, believe, or feel), the agent could come to know that fact. This constraint is threatened by a well-known type of counterexamples. Self-effacing reasons are facts that intuitively constitute reasons for an agent to φ, but that if they were to become known, they would cease to be reasons for that agent. The challenge posed by self-effacing reasons bears important (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2017. College Publications. pp. 2-20.
    In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Individuals, Essence, and Identity. Themes of Analytic Metaphysics.Andrea Bottani, Massimiliano Carrara & Daniele Giaretta (eds.) - 2002 - Kluwer Academic Publishers.
     
    Export citation  
     
    Bookmark   4 citations  
  50. On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural quantification (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 129