8 found
Order:
Disambiguations
Camillo Fiore [7]Camillo Giuliano Fiore [1]
See also
  1. Recapture Results and Classical Logic.Camillo Fiore & Lucas Rosenblatt - 2023 - Mind 132 (527):762–788.
    An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Classical Logic Is Connexive.Camillo Fiore - forthcoming - Australasian Journal of Logic.
    Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. A Structural Tonk.Camillo Fiore - 2023 - Analysis (XX):anad049.
    When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 52 (3):767-796.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. Semidisquotation and the infinitary function of truth.Camillo Fiore - 2021 - Erkenntnis 88 (2):851-866.
    The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  96
    Lógica: Una introducción sistemática e histórica.Agustina Borzi & Camillo Fiore - forthcoming - In Claudia Mársico & Rodrigo Illarraga (eds.), Un introductorio recorrido filosófico al pensamiento científico: historia, epistemología, lógica y sociedad. Buenos Aires: Teseo Press.
    En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué sentido la validez (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  73
    What the Adoption Problem Does Not Show.Camillo Giuliano Fiore - 2022 - Análisis Filosófico 42 (1):79-103.
    Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  40
    Logical Pluralism and Interpretations of Logical Systems.Diego Tajer & Camillo Fiore - 2022 - Logic and Logical Philosophy 31:1-26.
    Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark