16 found
Sort by:
Disambiguations:
Francine F. Abeles [14]Francine Abeles [2]
  1. Francine F. Abeles (2013). Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication. History and Philosophy of Logic 35 (1):1-14.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Arnfinn Aamodt, Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman & Juan Pablo Acosta López (2012). Individual Members 2012. Bulletin of Symbolic Logic 18 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Francine F. Abeles (2012). Toward A Visual Proof System: Lewis Carroll's Method of Trees. Logica Universalis 6 (3-4):521-534.
    In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Arnfinn Aamodt, Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman, Martin Adamcik & Winfred P. Adams (2011). Individual Members 2011. Bulletin of Symbolic Logic 17 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Francine F. Abeles & Amirouche Moktefi (2011). Hugh MacColl and Lewis Carroll: Crosscurrents in Geometry and Logic. Philosophia Scientiae 15:55-76.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic (2010). Individual Members 2010. Bulletin of Symbolic Logic 16 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Nate Ackerman, Bryant Adams, Winifred P. Adams & Klaus T. Aehlig (2009). Individual Members 2009. Bulletin of Symbolic Logic 15 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk (2008). Individual Members 2008. Bulletin of Symbolic Logic 14 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk (2007). Individual Members 2007. Bulletin of Symbolic Logic 13 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Francine Abeles (2007). Lewis Carroll's Visual Logic. History and Philosophy of Logic 28 (1):1-17.
    John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach, Henry Louis Africk & Bahareh Afshari (2006). Individual Members 2006. Bulletin of Symbolic Logic 12 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Bryant Adams, John W. Addison Jr & Sergey Adian (2005). Individual Members 2005. Bulletin of Symbolic Logic 11 (4).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Francine Abeles (2005). Lewis Carroll's Formal Logic. History and Philosophy of Logic 26 (1):33-46.
    Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, John W. Addison Jr, Klaus T. Aehlig & Fritz Aeschbach (2004). Individual Members 2004. Bulletin of Symbolic Logic 10 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Roger D. Acord, Zofia Adamowicz, John W. Addison Jr & Fritz Aeschbach (2003). Individual Members 2003. Bulletin of Symbolic Logic 9 (4).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation