6 found
Order:
See also
Profile: Fabio Lampert (University of California, Irvine)
  1.  48
    Wierenga on Theism and Counterpossibles.Fabio Lampert - forthcoming - Philosophical Studies:1-15.
    Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. A doutrina de São Tomás do ser necessário (tradução).Fabio Lampert - 2012 - Fundamento 1 (4):201-2014.
  4.  21
    Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics. CSHPM 2016. Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  11
    What is Evidence of Evidence Evidence Of?Fabio Lampert & John Biro - 2017 - Logos and Episteme (2):195-206.
    Richard Feldman’s well-known principle about disagreement and evidence – usually encapsulated in the slogan, ‘evidence of evidence is evidence’, (EEE) – invites the question, what should a rational believer do when faced by such evidence, especially when the disagreement is with an epistemic peer? The question has been the subject of much controversy. However, it has been recently suggested both that the principle is subject to counterexamples and that it is trivial. If either is the case, the question of what (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  8
    Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
    In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography