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
Straight lines on spheres? That's interesting too. — creativesoul
I am not sure if you can have an "epistemic endeavour," that is unrelated to being though. What is our knowledge of in this case? Non-being? — Count Timothy von Icarus
Logic is the study of validity and validity is a property of arguments. For
my purposes here it will be sufficient to think of arguments as pairs of sets and
conclusions: the first members of the pair is the set of the argument’s premises
and the second member is its conclusion. An argument is valid just in case
it is truth-preserving, that is, if and only if, whenever all the members of the
premise-set are true, so the conclusion is true as well.
The domain of logic, then, might be thought of as a great collection of
arguments, divided into two exclusive and exhaustive subcollections, the valid
and the invalid, the good and the bad, and the task of the logician as that of
dividing one from t’other. — Gillian Russell
Suppose we had a formal system that answered all our questions about physics, or maybe some area of it like fluid dynamics. How could it have "no relation" to being? At the very least, it would have a relation to our experiences, which are surely part of being. — Count Timothy von Icarus
I want to do leap year physics. You get a nice three year break. — Count Timothy von Icarus
They are supposed to be objections to Aristotle, so yes, of course they do. You might as well have objected to Mr. Rogers by telling us that you prefer people who put on shoes. Mr. Rogers puts on shoes in every episode. — Leontiskos
There are infinitely many possible syllogisms, but only 256 logically distinct types and only 24 valid types (enumerated below). A syllogism takes the form (note: M – Middle, S – subject, P – predicate.):
Major premise: All M are P.
Minor premise: All S are M.
Conclusion/Consequent: All S are P.
The premises and conclusion of a syllogism can be any of four types, which are labeled by letters[14] as follows. ... — wikipedia
As has been pointed out numerous times, this is just gibberish. What do you mean by (1)? — Leontiskos
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.