It would appear obtuse to the layman, and maybe it just is. — Leontiskos
laws of logic — Leontiskos
The closer you get to the foundation, the surer it becomes. For example, modus ponens is arguably the most basic inference or law of propositional logic, and I don't see that it fails. — Leontiskos
Those supposed foundations are addressed in the Russell article.What's the "foundation" mean here? — schopenhauer1
Earlier logicians had drawn up a number of rules of inference, rules for passing from one proposition to another. One of the best known was called modus ponens: ‘From ‘‘p’’ and ‘‘If p then q’’ infer ‘‘q’’ ’. In his system Frege claims to prove all the laws of logic using this as a single rule of inference. The other rules are either axioms of his system or theorems proved from them. — A New History of Western Philosophy, by Anthony Kenney, 155
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.