Talk:Boolean algebra: Difference between revisions
Jump to navigation
Jump to search
imported>Larry Sanger (→Relationship of Boolean algebra and formal logic: new section) |
imported>John R. Brews (→Relationship of Boolean algebra and formal logic: Hazarding a guess to Larry) |
||
Line 4: | Line 4: | ||
Arguably, there is no difference between Boolean algebra and formal logic. But, as far as I know, only mathematicians and computer scientists talk about Boolean algebra per se, and their approach (including the symbols and the typical way of working out the deductive systems) is different from the philosophers' approach. ...And I can't say much more than that. I did add one sentence to this effect, but clearly, a lot more needs to be said in the article somewhere, somehow. --[[User:Larry Sanger|Larry Sanger]] 01:11, 18 July 2011 (UTC) | Arguably, there is no difference between Boolean algebra and formal logic. But, as far as I know, only mathematicians and computer scientists talk about Boolean algebra per se, and their approach (including the symbols and the typical way of working out the deductive systems) is different from the philosophers' approach. ...And I can't say much more than that. I did add one sentence to this effect, but clearly, a lot more needs to be said in the article somewhere, somehow. --[[User:Larry Sanger|Larry Sanger]] 01:11, 18 July 2011 (UTC) | ||
:Larry: I imagine that Peter Schmitt can be more definitive on this subject. However, my guess is that (i) Boolean algebra is in fact not equivalent to formal logic, but is one of several frameworks, and (ii) high school algebra may have elements in common with Boolean algebra, but algebra in the abstract is a much bigger subject than either of these. [[User:John R. Brews|John R. Brews]] 02:10, 18 July 2011 (UTC) |
Revision as of 21:10, 17 July 2011
Relationship of Boolean algebra and formal logic
Arguably, there is no difference between Boolean algebra and formal logic. But, as far as I know, only mathematicians and computer scientists talk about Boolean algebra per se, and their approach (including the symbols and the typical way of working out the deductive systems) is different from the philosophers' approach. ...And I can't say much more than that. I did add one sentence to this effect, but clearly, a lot more needs to be said in the article somewhere, somehow. --Larry Sanger 01:11, 18 July 2011 (UTC)
- Larry: I imagine that Peter Schmitt can be more definitive on this subject. However, my guess is that (i) Boolean algebra is in fact not equivalent to formal logic, but is one of several frameworks, and (ii) high school algebra may have elements in common with Boolean algebra, but algebra in the abstract is a much bigger subject than either of these. John R. Brews 02:10, 18 July 2011 (UTC)
Categories:
- Article with Definition
- Mathematics Category Check
- Engineering Category Check
- Philosophy Category Check
- Developing Articles
- Nonstub Articles
- Internal Articles
- Mathematics Developing Articles
- Mathematics Nonstub Articles
- Mathematics Internal Articles
- Engineering Developing Articles
- Engineering Nonstub Articles
- Engineering Internal Articles
- Philosophy Developing Articles
- Philosophy Nonstub Articles
- Philosophy Internal Articles
- Mathematics Underlinked Articles
- Underlinked Articles
- Engineering Underlinked Articles
- Philosophy Underlinked Articles