Order:
Disambiguations
Marciano Vidal [7]Mathieu Vidal [5]M. Vidal [2]M. Valiño Vidal [2]
Matute Vidal [1]Martínez Vidal [1]Mercè Vidal [1]Manuel Garcés Vidal [1]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Mathieu Vidal
Institut Jean Nicod
Marta Vidal
Universitat Autonoma de Barcelona
  1.  49
    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   3 citations  
  2.  22
    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 (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  12
    Can a 50 Cents Reward Really Choke Working Memory Maintenance Process?Manuel Vidal & Matteo Mossio - 2011 - Consciousness and Cognition 20 (2):363-365.
  4. L'Art Déco a Catalunya.Alícia Suàrez & Mercè Vidal - forthcoming - Nexus.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  49
    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  
  6.  8
    Contradictions of the Labour Process, Worker Empowerment and Capitalist Inefficiency.Matt Vidal - 2019 - Historical Materialism 28 (2):170-204.
    I articulate a classical-Marxist theory of technical change in the capitalist labour process, highlighting two contradictions. The management contradiction is the conflict managers experience between coordination and discipline. The workforce contradiction is the tension workers experience between productive socialisation and alienation. I submit that both contradictions were substantially muted from the earliest stages of capitalism through the Fordist stage but have become intensified in the postfordist period. Under postfordism, the basis of efficiency is economies of scope and flexibility, and thus (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    David Among the Moderns: Art, Science, and the Lavoisiers.Mary Vidal - 1995 - Journal of the History of Ideas 56 (4):595-623.
  8. El Estado Griego.Matute Vidal & Julián[from old catalog] - 1940 - [México, D.F..
    No categories
     
    Export citation  
     
    Bookmark  
  9. El" misterio de la iniquidad" en las estructuras.Marciano Vidal - 1986 - Verdad y Vida 44 (176):383-404.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. III Semana gallega de filosofía. Pontevedra, abril, 1986.M. Valiño Vidal - 1986 - Diálogo Filosófico 6:372-373.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  2
    La ética teológica en España.Marciano Vidal - 1994 - Isegoría 10:149-157.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Putting Philosophy to Work: Inquiry and its Place in Culture, de Susan Haack.Manuel Garcés Vidal - 2009 - Teorema: International Journal of Philosophy 28 (3):197-200.
    No categories
     
    Export citation  
     
    Bookmark  
  13. Simposio sobre Filosofía y Ciencia en el Renacimiento (Santiago, 31 octubre - 2 noviembre de 1985).M. Valiño Vidal - 1986 - Diálogo Filosófico 5:229-230.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  20
    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  
  15.  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