Results for 'apodeictic'

4 found
Order:
  1. Apodeictic Syllogisms: Deductions and Decision Procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
    One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. What is a Problem?Andrew Haas - 2015 - HORIZON. Studies in Phenomenology 4 (2):71-86.
    What is a problem? What is problematic about any problem whatsoever, philosophical or otherwise? As the origin of assertion and apodeiction, the problematic suspends the categories of necessity and contingency, possibility and impossibility. And it is this suspension that is the essence of the problem, which is why it is so suspenseful. But then, how is the problem problematic? Only if what is suspended neither comes to presence, nor simply goes out into absence, that is, if the suspension continues, which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Models for Modal Syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
    A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  4. Modal Ecthesis.Fred Johnson - 1993 - History and Philosophy of Logic 14 (2):171-182.
    Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.
    Download  
     
    Export citation  
     
    Bookmark   2 citations