View topic on PhilPapers for more information
Related categories

3 found
Order:
More results on PhilPapers
  1. added 2020-05-27
    The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2020-02-05
    Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-01-30
    The Logical Web - Why Most Alternatives to the Material Account Are Ad Hoc.Matheus Silva - manuscript
    The material account of indicative conditionals states that indicative conditional sentences and the material implication have the same truth conditions. Many conditional logics are motivated by attempts to fix the counter-intuitive aspects associated with the material account. Some counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition and conditional negation, are regarded as evidences that the material account is wrong and that classical logic should be rejected in favour of a new logic system in which these argumentative (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark