Search found 25 matches

by Owen
Tue Apr 21, 2015 1:03 pm
Forum: Epistemology - Theory of Knowledge
Topic: The Absolute Truth. Both of them.
Replies: 41
Views: 6485

Re: The Absolute Truth. Both of them.

Arising_uk wrote:Is that an absolute truth?
Obviously, it cannot be an absolute truth.

What part of my post don't you understand?
by Owen
Tue Apr 21, 2015 12:32 pm
Forum: Epistemology - Theory of Knowledge
Topic: The Absolute Truth. Both of them.
Replies: 41
Views: 6485

Re: The Absolute Truth. Both of them.

uwot: "In short, both the following are absolutely true: There is not nothing. There is thinking." Wrong! There cannot be 'absolute truth'. Truth is that which can be shown to be the case. There are no truths without mind. Clearly, there was a time at which there were no minds. All of truth is relat...
by Owen
Wed Apr 15, 2015 9:59 pm
Forum: Logic and Philosophy of Mathematics
Topic: What does zero times infinity equal?
Replies: 22
Views: 3298

Re: What does zero times infinity equal?

Philosophy Explorer: First divide a positive number by successively smaller positive numbers will result in larger positive numbers until division by zero will yield +inf. Nothing surprising here. If as you say....1/0=(+inf) then 0*(+inf)=0*(1/0)=(0*1)/0=0/0=1. and -(1/0)=(-1)/0. If as you say (-1)/...
by Owen
Tue Apr 07, 2015 12:09 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

That's a good summary - thanks. Here's a question - is logic better seen as a formalization of the arguments and reasoning of ordinary language, or as a formalization/abstraction of mathematical reasoning? I come down firmly on the latter side. I side with Russell here. Logic as the boy and mathema...
by Owen
Fri Apr 03, 2015 2:59 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

Owen: I agree that we do include propositional variables as a primitive notion, which take on the values T and F. Perhaps we can consider the application of the truth functions without variables as the 'arithmetic' of logic and truth functions with variables as the 'algebra' of logic. Now you're sp...
by Owen
Sun Mar 29, 2015 4:40 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

Hi Wyman, Wyman: Do you find it odd that under the first axiom system (nand), we define 'not p' as 'not both p and p?' No, ~p is not defined as ~(p & p). That ~p <-> ~(p & p), is a consequence of the definitions, and I don't find that odd. If we use (|) nand as the only primitive (undefined) operat...
by Owen
Sat Mar 28, 2015 6:56 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

Ah! :idea: Thank you for that Owen, wasn't thinking straight. Still, interesting(to me) that the monadic truth functions produce dyadic tautologies off the bat? Is it because there are two possible states of affairs with one object? You are very welcome. Yes, the two states of affairs are the primi...
by Owen
Fri Mar 27, 2015 4:37 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

Ah! :idea: Thank you for that Owen, wasn't thinking straight. Still, interesting(to me) that the monadic truth functions produce dyadic tautologies off the bat? Is it because there are two possible states of affairs with one object? You are very welcome. Yes, the two states of affairs are the primi...
by Owen
Mon Mar 23, 2015 7:39 pm
Forum: Logic and Philosophy of Mathematics
Topic: Monadic tautologies and contradictions?
Replies: 20
Views: 3817

Re: Monadic tautologies and contradictions?

What do they represent or symbolise? Some background for those who haven't studied truth-functional logic(TFL). Think of one object, thing or state of affairs call it 'p' It has two conditions and they are shown in TFL by T and F or 1 and 0. Normally like this, p T F or p 1 0 That is, it is the cas...
by Owen
Sat Mar 21, 2015 12:21 pm
Forum: Epistemology - Theory of Knowledge
Topic: ~ Post ~
Replies: 49
Views: 7701

Re: ~ Post ~

Because he's a gnu. Yes indeed, he fits your description very accurately. He is shamefully stupid! Gnu(noun) - a budding guru, now-a-days most usually found upon the Interweeb seeking acolytes. Can be identified by their utterance of meaningless or contradictory aphorisms and vague and meaningless ...
by Owen
Fri Mar 20, 2015 9:32 pm
Forum: Epistemology - Theory of Knowledge
Topic: ~ Post ~
Replies: 49
Views: 7701

Re: ~ Post ~

Bill Wiltrack wrote:.



I can post. I can't make you understand.

It is telling but I still respect you, appreciate your position, and know you will evolve philosophically.

...perhaps not today, but eventually you will.


All the best
.

.

???

Why can't you say something relevant to the thread???
by Owen
Fri Mar 20, 2015 5:56 pm
Forum: Epistemology - Theory of Knowledge
Topic: ~ Post ~
Replies: 49
Views: 7701

Re: ~ Post ~

. Listen, I know EXACTLY what I said. Look deeper. Sort-of like a Koan. . Listen, It is clearly impossible to know that you cannot know. It is logically false. There is a proposition that I know and there is no proposition that I know, is not possible. Evidently you do not know that you do not unde...
by Owen
Fri Mar 20, 2015 2:56 pm
Forum: Epistemology - Theory of Knowledge
Topic: ~ Post ~
Replies: 49
Views: 7701

Re: ~ Post ~

Bill Wiltrack wrote:.




Yes, I am certain.

The only thing I know for certain is that we cannot know anything.




.
Nonsense!
Your remark "The only thing I know for certain is that we cannot know anything.[/size]" is self-contradictory!

To know that you cannot know, is silly at best.
by Owen
Sat Mar 14, 2015 7:10 pm
Forum: Logic and Philosophy of Mathematics
Topic: "If P implies Q, and Q is false, then P is also false."
Replies: 12
Views: 3306

Re: "If P implies Q, and Q is false, then P is also false."

Ran across this today in some podcast-listening, and I have to confess it's beyond me to get at the truth or falsity of this statement on strictly analytical grounds (I'm leaning toward "false"). Anyone care to weigh in on this? ((p -> q) & ~q) -> ~p is a tautology. ..t..t..t..f..f...t...f ..f..t.....
by Owen
Fri Mar 13, 2015 4:33 pm
Forum: Epistemology - Theory of Knowledge
Topic: Are the Three Laws of Logic correct?
Replies: 52
Views: 10249

Re: Are the Three Laws of Logic correct?

1) The Law of Identity - An apple is an apple 2) The Law of Non-Contradiction - an apple is not a non-apple 3) The Law of Excluded Middle - it is either true or false that I just ate an apple Can any of these be shown to be correct without referring back to them to do it? Yes. 2 & 3 are 'theorems' ...