5 found
Order:
  1.  16
    A Second Pretabular Classical Relevance Logic.Asadollah Fallahi - 2018 - Studia Logica 106 (1):191-214.
    Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  8
    An Inquiry on Fakhr Al-Dīn Rāzī’s Authorship of Al-Manṭiq Al-Kabīr.Asadollah Fallahi - 2021 - History and Philosophy of Logic 42 (3):224-246.
    It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr, to Fakhr al-Dīn Rāzī. This view is expressed explicitly...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Fārābī and Avicenna on Contraposition.Asadollah Fallahi - 2018 - History and Philosophy of Logic 40 (1):22-41.
    The rule of contraposition has been investigated thoroughly by Arabic logicians. In this paper, we study the work done by Fārābā and Avicenna, the fathers of Arabic logic. Fārābā studied contraposition of universal affirmatives, discussed its four forms, and discovered a relation between one form and the conversion of negative universals. Although Fārābā and logicians before him have used contraposition only for conditionals, as well as for indefinite and universal affirmative categorical propositions, Avicenna generalized the rule to all the four (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Simple Axiomatizations for Pretabular Classical Relevance Logics.Asadollah Fallahi - 2020 - Studia Logica 108 (2):359-393.
    KR is Anderson and Belnap’s relevance logic R with the addition of the axiom of EFQ: \ \rightarrow q\). Since KR is relevantistic as to implication but classical as to negation, it has been dubbed, among many others, a ‘classical relevance logic.’ For KR, there have been known so far just two pretabular normal extensions. For these pretabular logics, no simple axiomatizations have yet been presented. In this paper, we offer some and show that they do the job. We also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    Two Pretabular Linear Extensions of Relevance Logic R.Asadollah Fallahi - 2021 - Journal of Applied Non-Classical Logics 31 (2):154-179.
    Pretabularity is the attribute of logics that are not characterised by finite matrices, but all of whose proper extensions are. Two of the first-known pretabular logics were Dummett’s famous super-...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark