Switch to: References

Add citations

You must login to add citations.
  1. Boole and mill: differing perspectives on logical psychologism.John Richards - 1980 - History and Philosophy of Logic 1 (1-2):19-36.
    Logical psychologism is the position that logic is a special branch of psychology, that logical laws are descriptíons of experience to be arrived at through observation, and are a posteriori.The accepted arguments against logical psychologism are effective only when directed against this extreme version. However, the clauses in the above characterization are independent and ambiguous, and may be considered separately. This separation permits a reconsideration of less extreme attempts to tie logic to psychology, such as those defended by Mill and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer.I. Grattan-Guinness - 1982 - History and Philosophy of Logic 3 (1):33-53.
    In this paper I consider three mathematicians who allowed some role for menial processes in the foundations of their logical or mathematical theories. Boole regarded his Boolean algebra as a theory of mental acts; Cantor permitted processes of abstraction to play a role in his set theory; Brouwer took perception in time as a cornerstone of his intuitionist mathematics. Three appendices consider related topics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Boole's annotations on 'the mathematical analysis of logic'.G. C. Smith - 1983 - History and Philosophy of Logic 4 (1-2):27-39.
    George Boole collected ideas for the improvement of his Mathematical analysis of logic(1847) on interleaved copies of that work. Some of the notes on the interleaves are merely minor changes in explanation. Others amount to considerable extension of method in his mathematical approach to logic. In particular, he developed his technique in solving simultaneous elective equations and handling hypotheticals and elective functions. These notes and extensions provided a source for his later book Laws of thought(1854).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • George Boole's Deductive System.Frank Markham Brown - 2009 - Notre Dame Journal of Formal Logic 50 (3):303-330.
    The deductive system in Boole's Laws of Thought (LT) involves both an algebra, which we call proto-Boolean, and a "general method in Logic" making use of that algebra. Our object is to elucidate these two components of Boole's system, to prove his principal results, and to draw some conclusions not explicit in LT. We also discuss some examples of incoherence in LT; these mask the genius of Boole's design and account for much of the puzzled and disparaging commentary LT has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations