I had no idea I was dealing with "vacously true" statements in the conditional truth tables. The "If-Then" are quite mysterious in its functioning in mathematics. In english, it hints at causality; In theorems, it hints at the truth of statement B holding; In Logic, it is truth-functional operation whose truth value is only on the truth of its parts, which is quite like transistors working. This video must be rewatched. Let's hope I can clear up what I see the next time I see an "If-Then" statement
It definitely took me a while to get my head round the intuition of implication and there is certainly a disconnect between the way we interpret 'if-then' in day-to-day interactions vs. propositional logic. Indeed, some logics do try to rectify this - a bit more detail can be found here: en.wikipedia.org/wiki/Material_conditional#Discrepancies_with_natural_language incidentally, one of the best explanations I found for the intuition behind vacuous truth was a random Reddit comment: www.reddit.com/r/learnmath/comments/8jm4fo/unable_to_grasp_logic_and_vacuous_truths/dz0qvk5?context=3
I had no idea I was dealing with "vacously true" statements in the conditional truth tables. The "If-Then" are quite mysterious in its functioning in mathematics. In english, it hints at causality; In theorems, it hints at the truth of statement B holding; In Logic, it is truth-functional operation whose truth value is only on the truth of its parts, which is quite like transistors working. This video must be rewatched. Let's hope I can clear up what I see the next time I see an "If-Then" statement
It definitely took me a while to get my head round the intuition of implication and there is certainly a disconnect between the way we interpret 'if-then' in day-to-day interactions vs. propositional logic. Indeed, some logics do try to rectify this - a bit more detail can be found here: en.wikipedia.org/wiki/Material_conditional#Discrepancies_with_natural_language
incidentally, one of the best explanations I found for the intuition behind vacuous truth was a random Reddit comment: www.reddit.com/r/learnmath/comments/8jm4fo/unable_to_grasp_logic_and_vacuous_truths/dz0qvk5?context=3
Can you give the example of logic in semantics that its not logic but make it then logical
I'm afraid I don't quite understand the question, apologies
very good
Thank you!