15 found
Sort by:
  1. Walter Carnielli & Claudio Pizzi (2013). Special Issue on Multimodal Logics: A Preface. [REVIEW] Logica Universalis 7 (1):1-5.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Claudio Pizzi (2013). Relative Contingency and Bimodality. Logica Universalis 7 (1):113-123.
    In the first part of the paper it is proved that there exists a one–one mapping between a minimal contingential logic extended with a suitable axiom for a propositional constant τ, named KΔτw, and a logic of necessity ${K\square \tau{w}}$ whose language contains ${\square}$ and τ. The form of the proposed translation aims at giving a solution to a problem which was left open in a preceding paper. It is then shown that the presence of τ in the language of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Lorenzo Magnani, Walter Carnielli & Claudio Pizzi (eds.) (2010). MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY. Springer.
    This volume is based on the papers presented at the international conference Model-Based Reasoning in Science and Technology (MBR09_BRAZIL), held at the University of Campinas (UNICAMP), Campinas, Brazil, December 2009. The presentations given at the conference explored how scientific cognition, but several other kinds as well, use models, abduction, and explanatory reasoning to produce important or creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed the issue of science and technological innovation. (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Claudio Pizzi (2010). Causal Abduction and Alternative Assessment: A Logical Problem in Penal Law. In W. Carnielli L. Magnani (ed.), Model-Based Reasoning in Science and Technology. 275--289.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Claudio Pizzi (2008). Aristotle's Cubes and Consequential Implication. Logica Universalis 2 (1):143-153.
    . It is shown that the properties of so-called consequential implication allow to construct more than one aristotelian square relating implicative sentences of the consequential kind. As a result, if an aristotelian cube is an object consisting of two distinct aristotelian squares and four distinct “semiaristotelian” squares sharing corner edges, it is shown that there is a plurality of such cubes, which may also result from the composition of cubes of lower complexity.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Claudio Pizzi (2007). Abductive Inference and Iterated Conditionals. In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. 365--381.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Claudio Pizzi (2007). Necessity and Relative Contingency. Studia Logica 85 (3):395 - 410.
    The paper introduces a contingential language extended with a propositional constant τ axiomatized in a system named KΔτ , which receives a semantical analysis via relational models. A definition of the necessity operator in terms of Δ and τ allows proving (i) that KΔτ is equivalent to a modal system named K□τ (ii) that both KΔτ and K□τ are tableau-decidable and complete with respect to the defined relational semantics (iii) that the modal τ -free fragment of KΔτ is exactly the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Claudio Pizzi (2004). Chateaubriand on the Ambiguity of Counter-Factual Suppositions. Manuscrito 27 (1).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Claudio Pizzi (1999). Fictionalism and the Logic of “as If” Conditionals. In L. Magnani, N. J. Nersessian & P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum. 293--310.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Claudio Pizzi & Timothy Williamson (1997). Strong Boethius' Thesis and Consequential Implication. Journal of Philosophical Logic 26 (5):569-588.
    The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that p does not imply (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  11. Claudio Pizzi (1993). Consequential Implication. A Correction To: ``Decision Procedures for Logics of Consequential Implication''. Notre Dame Journal of Formal Logic 34 (4):621-624.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Claudio Pizzi (1991). Decision Procedures for Logics of Consequential Implication. Notre Dame Journal of Formal Logic 32 (4):618-636.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Claudio Pizzi (1990). Counterfactuals and the Complexity of Causal Notions. Topoi 9 (2):147-155.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Claudio Pizzi (1990). Stalnaker-Lewis Conditionals: Three Grades of Holistic Involvement. Logique Et Analyse 131 (132):311-329.
     
    My bibliography  
     
    Export citation  
  15. Claudio Pizzi (1977). Boethius' Thesis and Conditional Logic. Journal of Philosophical Logic 6 (1):283 - 302.