Results for 'massimiliano carrara'

469 found
Order:
  1. Unity and Plurality. Philosophy, Logic, and Semantics.Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann - 2016 - Oxford University Press.
    This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
    In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. 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
     
    Export citation  
     
    Bookmark   8 citations  
  4. Naïve Proof and Curry’s Paradox.Massimiliano Carrara - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. Berlin: De Gruyter. pp. 61-68.
  5. Contingent Composition as Identity.Giorgio Lando & Massimiliano Carrara - 2019 - Synthese 1 (Online First):1-30.
    When the Necessity of Identity (NI) is combined with Composition as Identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  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   4 citations  
  7.  55
    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   2 citations  
  8.  55
    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   5 citations  
  9.  27
    We Don’T Know We Don’T Know: Asserting Ignorance.Massimiliano Carrara, Daniele Chiffi, Ciro De Florio & Ahti-Veikko Pietarinen - forthcoming - Synthese:1-16.
    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   1 citation  
  10. 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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  97
    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   4 citations  
  12.  44
    On False Antecedent in Dialetheic Entailment.Massimiliano Carrara - 2019 - In Luca Bellotti, Luca Gili, Enrico Moriconi & Giacomo Turbanti (eds.), Third Pisa Colloquium in Logic, Language and Epistemology. Pisa PI, Italia: Edizioni ETS. pp. 59-68.
    Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  57
    Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: 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  
  14.  98
    Identity Criteria: An Epistemic Path to Conceptual Grounding.Massimiliano Carrara & Ciro De Florio - forthcoming - Synthese:1-19.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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 (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16. 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 (10 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  17
    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   4 citations  
  18. 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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  19.  30
    The Design Stance and its Artefacts.Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo & Pawel Garbacz - 2013 - Synthese 190 (6):1131-1152.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  42
    Artifacts and Fiat Objects: Two Families Apart?Massimiliano Carrara - 2019 - In Richard Davies (ed.), Natural and Artifactual Objects in Contemporary Metaphysics. Exercises in Analytic Ontology. Londra, Regno Unito: pp. 141-155.
    Fiat objects may come into existence by intentional explicit defnition and convention or they can be the result of some spontaneous and unintentional activity resulting in tracing fat spatial boundaries. Artifacts and fiat objects seem intuitively to be correlated: both artifacts and fiat objects depend for their existence on agents and their intentions. Is it possible to consider fiat objects as artifacts and to what extent? Or else can we conceive at least some artifacts as fiat objects? In order to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  35
    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   4 citations  
  22. A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled. Berlin: Springer International Publishing AG. pp. 195-209.
  23.  82
    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 (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24. 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   2 citations  
  25.  77
    Extending and Applying a Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:227-244.
  26. 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  
  27.  98
    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   4 citations  
  28. The Mereological Foundation of Megethology.Massimiliano Carrara & Enrico Martino - 2016 - Journal of Philosophical Logic 45 (2):227-235.
    In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. 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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  5
    Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  14
    Pragmatic and Dialogic Interpretations of Bi-Intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  41
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33.  98
    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  
  34. 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   3 citations  
  35.  19
    Functions and Kinds of Art Works and Other Artifacts.Massimiliano Carrara - 2019 - Grazer Philosophische Studien 96 (1):1-18.
    Currently, there is not yet a full-fledged philosophical sub-discipline devoted to artifacts. In order to establish such a general philosophical discourse on artifacts, two topics are of special importance: artifact functionality and artifact categorization. Both are central to the question of what artifacts are in general and in particular. This introduction first presents the current state of the art in the debates on functions, both in general and in the domain of artifacts in particular. It then unfolds the three debates (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. 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   1 citation  
  37.  32
    Normality Operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  93
    Cardinality and Identity.Massimiliano Carrara & Elisabetta Sacchi - 2007 - Journal of Philosophical Logic 36 (5):539-556.
    P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. 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 (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  10
    Giorgio Lando, Mereology: A Philosophical Introduction, London and New York: Bloomsbury Publishing, 2017, Viii + 237 Pp., US$120 , ISBN: 978‐1472583666. [REVIEW]Massimiliano Carrara & Filippo Mancini - 2019 - Dialectica 72 (4):628-633.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. On Pragmatic Denial.Ciro de Florio, Massimiliano Carrara & Daniele Chiffi - unknown
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  42. Individuals, Essence, and Identity. Themes of Analytic Metaphysics.Andrea Bottani, Massimiliano Carrara & Daniele Giaretta (eds.) - 2002 - Kluwer Academic Publishers.
     
    Export citation  
     
    Bookmark   4 citations  
  43. Why Knowledge Should Not Be Typed: An Argument Against the Type Solution to the Knowability Paradox.Massimiliano Carrara & Davide Fassio - 2011 - Theoria 77 (2):180-193.
    The Knowability Paradox is a logical argument to the effect that, if there are truths not actually known, then there are unknowable truths. Recently, Alexander Paseau and Bernard Linsky have independently suggested a possible way to counter this argument by typing knowledge. In this article, we argue against their proposal that if one abstracts from other possible independent considerations supporting reasons for typing knowledge and considers the motivation for a type-theoretic approach with respect to the Knowability Paradox alone, there is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  57
    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   1 citation  
  45.  13
    Errata Corrige to “Pragmatic and Dialogic Interpretation of Bi-Intuitionism. Part I”.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2016 - Logic and Logical Philosophy 25 (2).
  46. Individuals, Essence, and Identity Themes of Analytic Metaphysics.Andrea Bottani, Massimiliano Carrara & Pierdaniele Giaretta - 2002
     
    Export citation  
     
    Bookmark   3 citations  
  47.  54
    Some Preliminaries on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:203-207.
  48.  22
    The Knowability Paradox in the Light of a Logic for Pragmatics.Massimiliano Carrara & Daniele Chiffi - 2014 - In R. Ciuni, H. Wansing & C. Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Berlin: 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   1 citation  
  49.  65
    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  
  50.  38
    Towards a Formal Account of Identity Criteria.Massimiliano Carrara & Silvia Gaio - 2012 - In Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality. Springer. pp. 227--242.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 469