Switch to: References

Add citations

You must login to add citations.
  1. Les arguments de Zénon d’après le Parménide de Platon.Mathieu Marion - 2014 - Dialogue 53 (3):393-434.
    After presenting the rules of Eleatic antilogic, i.e., dialectic, I argue that Zeno was a practitioner, and, on the basis of key passages from Plato’s Parmenides (127e-128e and 135d-136c), that his paradoxes of divisibility and movement were notreductio ad absurdum, but simple derivation of impossibilities (adunaton) meant to ridicule Parmenides’ adversaries. Thus, Zeno did not try to prove that there is no motion, but simply derived this consequence from premises held by his opponents. I argue further that these paradoxes were (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
    We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics.M. Marion & H. Rückert - 2016 - History and Philosophy of Logic 37 (3):201-229.
    In this paper we provide an interpretation of Aristotle's rule for the universal quantifier in Topics Θ 157a34–37 and 160b1–6 in terms of Paul Lorenzen's dialogical logic. This is meant as a contribution to the rehabilitation of the role of dialectic within the Organon. After a review of earlier views of Aristotle on quantification, we argue that this rule is related to the dictum de omni in Prior Analytics A 24b28–29. This would be an indication of the dictum’s origin in (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations