5 found
Order:
See also
Mathieu Vidal
Institut Jean Nicod
  1.  52
    A Compositional Semantics for ‘Even If’ Conditionals.Mathieu Vidal - 2017 - Logic and Logical Philosophy 26 (2):237-276.
    This paper presents the first possible world semantics for concessive conditionals (i.e., even if A, C conditionals) constructed in a compositional way. First, the meaning of if is formalized through a semantics that builds on the proposal given by Stalnaker (1968). A major difference from Stalnaker’s approach is that irrelevant conditionals (i.e., conditionals where the antecedent and the consequent have no connection) are false in this new setting. Second, the meaning of even is analyzed through a formal semantics based on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  25
    The Defective Conditional in Mathematics.Mathieu Vidal - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):169-179.
    This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  50
    A Compositional Semantics for 'If Then' Conditionals.Mathieu Vidal - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Retoré (eds.), Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Springer. pp. 291-307.
    This paper presents the first compositional semantics for if then conditionals. The semantics of each element are first examined separately. The meaning of if is modeled according to a possible worlds semantics. The particle then is analyzed as an anaphoric word that places its focused element inside the context settled by a previous element. Their meanings are subsequently combined in order to provide a formal semantics of if A then C conditionals, which differs from the simple if A, C form. (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  23
    Speed Up the Conception of Logical Systems with Test-Driven Development.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.
    In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  21
    Speed Up the Conception of Logical Systems with Test-Driven Development,.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.
    In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark