R
Rhubarb
Guest
Pretty much everything I know about science. But that’s another matter entirely than the one on the table.What possibly has led you to believe things are random?
Pretty much everything I know about science. But that’s another matter entirely than the one on the table.What possibly has led you to believe things are random?
Maybe I deleted too much of your last statement. You were saying for “subjects that empirical inquiry cannot touch”. You accept “free will”, but many atheists, they at least redefine it as being unrestrained from performing as your biology says to perform. Without much common ground there is almost nothing to build anything. The common peoples use of Kant’s “I think therefore I am” has been taken to mean nothing is provable to be real except me and something unknowable outside of myself. This attitude of non-acceptance of any premise has stifled philosophy to academic obscurity and relegated logic as something great for digital computer development.… Especially for establishing the truth of premises.
Descartes said “I think therefore I am”, and he said it as a conclusion of the preliminary arguments for his own existence. There’s always going to be premises to fight over. Logic can be perfectly coherent with false premises. This is why there’s the distinction between an argument’s validity and an argument’s soundness.Maybe I deleted too much of your last statement. You were saying for “subjects that empirical inquiry cannot touch”. You accept “free will”, but many atheists, they at least redefine it as being unrestrained from performing as your biology says to perform. Without much common ground there is almost nothing to build anything. The common peoples use of Kant’s “I think therefore I am” has been taken to mean nothing is provable to be real except me and something unknowable outside of myself. This attitude of non-acceptance of any premise has stifled philosophy to academic obscurity and relegated logic as something great for digital computer development.
Nietzsche was very anti-Christianity:I can’t talk about the religious side. I don’t take religious teaching as a given. I think Nietzsche was the bigger blow to an objective world-view. Kant and Descartes were both practicing Christians - Descartes was even Catholic.
I’ve heard on CAL that ‘truth doesn’t refute truth’. Even given a certain theological or religious given, when a good argument is given against it, that argument needs to be reckoned with. There are some good arguments for relativist ideas, in a certain sense. I don’t think I mean relativist in the same way that you do, or that I hear vilified here. (And championed by philosophically green college freshmen) And now I’m rambling. I’ve totally lost the thread.
Even today many educated people think that the victory of Christianity over Greek philosophy is a proof of the superior truth of the former - although in this case it was only the coarser and more violent that conquered the more spiritual and delicate. So far as superior truth is concerned, it is enough to observe that the awakening sciences have allied themselves point by point with the philosophy of Epicurus, but point by point rejected Christianity.
from Nietzsche’s Human, all too Human, s.68, R.J. Hollingdale transl.
Socrates.-- If all goes well, the time will come when one will take up the memorabilia of Socrates rather than the Bible as a guide to morals and reason… The pathways of the most various philosophical modes of life lead back to him… Socrates excels the founder of Christianity in being able to be serious cheerfully and in possessing that wisdom full of roguishness that constitutes the finest state of the human soul. And he also possessed the finer intellect.
But what ideas has he brought forth that have tied the minds of men. Did he say, “God is dead”? Was this a statement that changed anyone’s thinking? I don’t see it.from Nietzsche’s The Wanderer and his Shadow,s. 86, R.J. Hollingdale transl.
Nietzsche was very anti-christian, as well as anti- any religion dominated by the ‘ascitic priest’ as he called them. I don’t know if he had any slogans to be misinterpreted as far as this goes, but his thoughts on religion and truth in general were laid out (where I read them at least) in The Genealogy of Morals. I don’t think highly of his arguments, but it was an interesting read. About 150 pages if I recall.Nietzsche was very anti-Christianity:
But what ideas has he brought forth that have tied the minds of men. Did he say, “God is dead”? Was this a statement that changed anyone’s thinking? I don’t see it.
Descartes and Einstein had no idea how their statements were going to be contorted. They were very Godly men, but it is what has since been twisted from the truth that is the greater evil than any direct statements.
Your translation below. If you would, I think a slower step by step of the bold paragraph would help explain the process of conversion. Please. Maybe with a few hints that we could tack into the Cheat Sheet.
~ (not) . . . & (and) . . . | (inclusive or) - only “false | false” is false, other 3 combinations are true
. . .
antecedent ⊃ consequent (conditional, if-then, or implication) - false only when the antecedent is true and the consequent is false (if a.rain then c.wet, yet still true if sprinkler then wet also)
. . .
≡ (Biconditionals, if-and-only-if statement) - true when both atomic sentences connected are true, or both false (Socrates is mortal if and only if Socrates is a human" can be “M≡H”. M is true - Socrates is mortal. H is true - Socrates is a human. So, the compound sentence is true. “Santa Claus is real if and only if I live on Mars” is also true, because S≡R is the symbolization and both S and R are false. “Socrates is mortal if and only if I live on Mars” is false, the first part about Socrates is true, but the part about me is false)
. . .
∃ (existential quantifier) - states that something exist. (∃xPx (exists an x that is a Peach that is x))
. . .
∀ (everything, universal qualifier) -∀xMx ‘for all Xs, X is made of matter.’
This doesn’t work so well because the sentence is more complex than sentence logic really can handle. For sentence logic we want to break apart compound sentences at their connectives so we can identify which sentences are atomic. Then we can use sentential logic to analyze them. We can’t really do that with the sentence you provided. Now, if I were to do it in first-order logic I’d do something like this.
(1) Among the known living things man is the only creature that can make rational choices; thus, employ free will.
∀x((Mx&Rx)⊃Fx)
Domain: Known living things. (we can say this is identical to ‘creatures.’ If we don’t want to say that known living things are identical to creatures, we would need to include a predicate ‘is a creature’ to be as specific as possible.)
Mx=x is a man
Rx=x makes rational choices
Fx=x employs free will.
This may not even be a good way to get back into it. Maybe we could go about it differently. I’m feeling the student that is trying to make the curriculum. That usually doesn’t work all that well.This would translate to “For all living things (because of our domain), if it is a man and makes rational choices, then it employs free will” It needs to be in the form of a universal quantifier because you are making a general claim about all things that are men and makes rational choices. I think this simple sentence is the most elegant way you can express this information. … the above would be falsified if there are things that are human and also can make rational choices, but cannot employ free will. (Falsified by counter-example) Also, the above sentence, even if true, does not actually attest to the existence of anything. It could be true even if no humans exist, rational choices don’t exist, for if both Humans and rational choices AND the employing of free will doesn’t exist.
This is giving me more to think about in the two letter combinations. I’m looking for things to put down in the Cheat Sheet. Should I be looking at these as sets. e.g.So using first-order logic we can symbolize the argument as…
- ∀x Hx⊃Mx (For all things, if a thing is a man, then it is mortal)
- Hs (Socrates is a man)
- Ms (Socrates is mortal)
Using the rules of first-order logic we can see then that looking deeper than just the sentence as a whole, there are relationships that sentential logic missed. That’s why first-order logic is more complicated and can symbolize better what we say in natural language.
Yes, but let’s stick to one right now.One last thing - recall that logics are just formal languages. We made them up to be used so we can analyze our natural languages. There are many different kinds - Sentential, first-order, higher-order ones, modal logics, many-value logics, etc. Depending on what is said in the natural language will determine which logic will work best to analyze it.
I would say that it might be a good idea to put aside the first-order logic for beginners and focus on the sentential logic first. It is generally considered a pre-requisite for first-order logic anyway. I don’t think it’d be wise to talk about sets in the way you have, because sets play into first-order logic. But I’ll sip to the bottom part of the post.This is giving me more to think about in the two letter combinations. I’m looking for things to put down in the Cheat Sheet. Should I be looking at these as sets. e.g.
∀x (The set of all things is x)
Hx (Subset of Human things that are within x)
Mx (Subset of Mortal things that are within x)
∀x Hx⊃Mx (Within the Set of all x’s the Set of Humans is completely in the set of Mortals.)
Hs (Socrates is an element of the set of Humans)
Ms (Socrates is an element of the set of Mortals)
Socrates is mortal if and only if Socrates is a human" can be “M≡H”
might be expressed, “the set of Mortals is exactly the Set of Humans”. Therefore, a counter example of an Animal is not Human, but is Mortal shows that this is invalid when x is all things. Sorry, I don’t want to wander too far without confirming that this is better understood in terms of sets.
Yes, but let’s stick to one right now.
Again this is structure verses rationality, i.e. Irrational statements can be valid.…even arguments with false sentences can be valid…
Hah. Well that example is just a demonstration of how to prove a conjunction. I should also say that sentence logic can be done in first-order logic too. The above is the same as:It’s the lack of usefulness of
A
B
A&B
that scares me. Also, that we went down a fork in the road and now want to go back; No, I really don’t like the concept that we’d be going back.
Please continue with First Order logic.
Thank you for being very patient and you’re very generous for explaining so much and getting nothing in return. Very seldom do we have people that will demonstrate so elaborately how a tool might be useful rather than just insist that it is.
Well without words defining or explaining your symbols, It becomes undecipherable and therefore unhelpful if not useless.Hah. Well that example is just a demonstration of how to prove a conjunction. I should also say that sentence logic can be done in first-order logic too. The above is the same as:
Hs
Hs&Nj
Nj
I wouldn’t call the above useless. Like so many things, when it is shown so trivially the use can be lost. a+b=b+a sounds useless and trivial but it’s an important property of addition.
And yeah, I’m always glad to talk about what I’ve learned. (Provided everyone understands that I’m not a teacher) Philosophy is a hard subject and the nuances matter. And philosophy is done best as a group sport.