Search found 4041 matches
- Mon Apr 29, 2019 8:10 am
- Forum: Philosophy of Science
- Topic: Einstein on the train
- Replies: 775
- Views: 121525
Re: Einstein on the train
Atheism is the non acceptance of the proposition that God exists But it is not the rejection of the proposition and while the distinction is subtle it is also an important one Most atheists are agnostic so while they may say they dont believe in God that is not an absolute position No. atheism and ...
- Mon Apr 29, 2019 7:54 am
- Forum: Epistemology - Theory of Knowledge
- Topic: The Contradiction of the Three Laws of Logic
- Replies: 168
- Views: 48163
Re: The Contradiction of the Three Laws of Logic
The word "intuition" doesn't even appear in any of these pages! Perhaps French works different to English but... The root of the word "intuitionism" is "intuition". The root of the word "intuition" is intuit . intuit verb . understand or work out by instinct....
- Mon Apr 29, 2019 7:51 am
- Forum: Philosophy of Science
- Topic: Einstein on the train
- Replies: 775
- Views: 121525
- Mon Apr 29, 2019 7:22 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
Let's try code to teach lessons... As if that could help! LOGIC CLASS Start :Lesson One: A → B ⊢ ¬(A ∧ ¬B) :Lesson Two: A ∧ (A → B) ⊢ B :Lesson Three: ¬B ∧ (A → B) ⊢ ¬A :Lesson Four: A ∧ ¬B ⊢ ¬(A → B) Print "That's all you need to know!" Print "Where's the problem already?" End ...
- Sun Apr 28, 2019 6:27 pm
- Forum: General Philosophical Discussion
- Topic: Is having children the most selfish act on earth?
- Replies: 22
- Views: 5626
Re: Is having children the most selfish act on earth?
logik, your definitions and angle on this make no sense. if one is chiefly concerned with their own gain while indifferent to others' then they will gain nothing since gaining for self requires consideration of others, their reactions and thus gains or losses. every time you gain something for your...
- Sun Apr 28, 2019 5:55 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
Because it's a logical argument and the validity of a logical argument in assessed independently of the truth of the premises. This keeps going over your head, eh? My grudge with "logical validity" is not about the truth of the premises. It's about the IMPOSSIBILITY of falsity of the conc...
- Sun Apr 28, 2019 12:21 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Tarski Undefinability Theorem Succinctly Refuted
- Replies: 108
- Views: 31162
Re: Tarski Undefinability Theorem Reexamined
I'm talking about category theory. It's pretty abstract. If you've seen any abstract algebra (groups, rings, fields) then you can think of category theory as "abstract abstract algebra." It's a structural way of thinking about mathematics that was invented in the 1940's. In recent decades...
- Sun Apr 28, 2019 11:56 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
Perhaps you never heard of the sound deductive inference model (SDIM) before? ALL MODELS ARE WRONG A deductive argument is said to be valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. Otherwise, a deductive argumen...
- Sun Apr 28, 2019 11:39 am
- Forum: General Philosophical Discussion
- Topic: Is having children the most selfish act on earth?
- Replies: 22
- Views: 5626
Re: Is having children the most selfish act on earth?
selfish means you gain at the cost of others, and where they are not compensated at a later point, or rather it is not your intent or expectation that they will be. No. The loss of others is not mandated in the definition. Simply not considering whether the other person loses or gains is sufficient...
- Sun Apr 28, 2019 11:20 am
- Forum: Metaphysics
- Topic: The Law of Identity
- Replies: 203
- Views: 35381
Re: The Law of Identity
Thought is an infinite self referring positive feedback loop. It needs not be infinite. A recursive search function terminates when it finds what it's looking for. The only conclusion to thought is to simply stop thinking. If one sits and watches from whence thought and sensations arise, this is th...
- Sat Apr 27, 2019 5:13 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
That seems a little nutty, you are aiming for inconsistency. That seems like a strawman. My aim is to minimize inconsistencies. Your aim is to eliminate them because you have no viable strategies for containing the principle of explosion. I do. Para-consistency. Consistent logics are all-or-nothing...
- Sat Apr 27, 2019 5:08 pm
- Forum: General Philosophical Discussion
- Topic: Is having children the most selfish act on earth?
- Replies: 22
- Views: 5626
Re: Is having children the most selfish act on earth?
I agree with you. What I meant by “others” was not the recipients of someone’s altruism, but rather I meant non-altruistic people in general, or perhaps selfish people. For them altruistic behavior most likely would be difficult. We are tripping over language... I am saying that altruists are selfi...
- Sat Apr 27, 2019 1:20 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
No you are wrong. We do not require a whole new formal system every time that we add an axiom. We only need this when axioms form contradictions. This is where you and I differ fundamentally. When you hit a contradiction you invent a new formal system. Because you are optimising for consistency. I ...
- Sat Apr 27, 2019 1:18 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
- Replies: 33
- Views: 5876
Re: Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)
Every axiom must have an associated finite string. It cannot simply sit inside someone's head. Sure. But the meaning of strings is different from system to system. 2+2 = 4 (decimal) 2+2 = 11 (ternary) IF "=" means "semantic equivalence" ∴ 4 = 11 IF "=" means "symb...
- Sat Apr 27, 2019 1:15 pm
- Forum: General Philosophical Discussion
- Topic: Is having children the most selfish act on earth?
- Replies: 22
- Views: 5626
Re: Is having children the most selfish act on earth?
Altruism is selfish of the altruistic individual. For everyone else it’s a pain. Don't think so. I think altruism is nature's way of setting up win-win relationships. You <do some selfless act> and you get rewarded for it with dopamine. You are happy. The person you helped is happy. Game theory at ...