15 found
Order:
See also
  1.  67
    Lewis Carroll's Visual Logic.Francine F. Abeles - 2007 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  5
    Hugh MacColl and Lewis Carroll: Crosscurrents in Geometry and Logic.Francine F. Abeles & Amirouche Moktefi - 2011 - Philosophia Scientae 15:55-76.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  6
    Hugh MacColl and Lewis Carroll: Crosscurrents in Geometry and Logic.Francine F. Abeles & Amirouche Moktefi - 2011 - Philosophia Scientiae 15:55-76.
  4.  28
    Toward A Visual Proof System: Lewis Carroll’s Method of Trees.Francine F. Abeles - 2012 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  39
    Individual Members 2008.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 - Bulletin of Symbolic Logic 14 (4).
  6. Individual Members 2010.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 - Bulletin of Symbolic Logic 16 (4).
  7.  29
    Individual Members 2005.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 - Bulletin of Symbolic Logic 11 (4).
  8.  30
    Individual Members 2006.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 - Bulletin of Symbolic Logic 12 (4):625-681.
  9.  22
    Individual Members 2003.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 - Bulletin of Symbolic Logic 9 (4).
  10.  20
    Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.
    Hypotheticals, conditionals, and their connecting relation, implication, dramatically changed their meanings during the nineteenth and early part of the twentieth century. Modern logicians ordinarily do not distinguish between the terms hypothetical and conditional. Yet in the late nineteenth century their meanings were quite different, their ties to the implication relation either were unclear, or the implication relation was used exclusively as a logical operator. I will trace the development of implication as an inference operator from these earlier notions into the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  18
    Individual Members 2012.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 - Bulletin of Symbolic Logic 18 (4).
  12. Individual Members 2011.Arnfinn Aamodt, Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman, Martin Adamcik & Winfred P. Adams - 2011 - Bulletin of Symbolic Logic 17 (4).
  13.  10
    Tony Crilly.Arthur Cayley: Mathematician Laureate of the Victorian Age. Xxi + 609 Pp., Illus., Figs., Apps., Bibl., Index. Baltimore: Johns Hopkins University Press, 2006. $69.95 .Karen Hunger Parshall.James Joseph Sylvester: Jewish Mathematician in a Victorian World. Xi + 461 Pp., Apps., Index. Baltimore: Johns Hopkins University Press, 2006. $69.95. [REVIEW]Francine F. Abeles - 2007 - Isis 98 (3):641-642.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Individual Members 2004.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 - Bulletin of Symbolic Logic 10 (4).
  15. Individual Members 2009.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 - Bulletin of Symbolic Logic 15 (4).