Category talk:Propositional calculus

category
The mathematical logic folk aren't leaving much for anyone else? The calculus of sentences is taught in philosophy. Gregbard 12:52, 12 July 2007 (UTC)


 * The way you set up things now Category:Mathematical logic is no longer a supercategory of Category:Sentential logic, which is insane. As the category page defines it: Sentential logic refers to the theory of well formed formulas in various logical systems that is an elementary part of mathematical logic. Maybe you disagree with this definition, but it is the definition according to which the articles have been categorized, so changing the position in the category "tree" causes things to become mis-categorized. Note that the page Sentential logic itself is a simple redirect to Propositional calculus. Differential calculus is taught to physics students; it still remains part of mathematical analysis. It is good that philosophy students also are taught some propositional calculus, but that does not remove the subject matter from the domain of mathematics. --Lambiam Talk  13:15, 12 July 2007 (UTC)

I propose to move this category name to "propositional logic"
I think it's a more popular name from what I've seen. Pontiff Greg Bard (talk) 08:26, 15 March 2009 (UTC) NB Please share your thoughts on the matter at this category's entry on the Categories for Discussion page. Please do not empty the category or remove this notice while the discussion is in progress. Some authors appear to be ignoring this and emtpying the category--Philogo (talk) 15:16, 31 March 2009 (UTC)
 * oppose.--Philogo (talk) 14:33, 30 March 2009 (UTC)
 * Technically no, I am not ignoring it at all. I posted this proposal half a month ago. Then I implemented it. Everything else in the WP has been changed from sentential to propositional. Every text I see uses "propositional". There are obviously reasonable, and obviously unreasonable cases. To treat every case as if it were possibly controversial is brainless. This category will certainly be moved to go along with everything else, and everybody knows it (except for people who know practically nothing about this subject, such as you might find at in a catfd process). Lets work a little smarter. I do my part by being agreeable for the sake of the consensus. Be well, philogo. Pontiff Greg Bard (talk) 17:00, 31 March 2009 (UTC)
 * I suggest you disuss your proposals for logic categories at WikiProject Logic on its sub-page Standards for notation  talk page, as per discussion on the Categories for Discussion. --Philogo (talk) 13:53, 8 April 2009 (UTC)
 * I have proposed that any future changes to Logic categegories are discussed first at Wikipedia talk:WikiProject Logic--Philogo (talk) 23:49, 8 April 2009 (UTC)