Topic: Can only statements be true or false?
creativesoul's photo
Wed 03/14/12 10:39 AM
Fact/reality are not needed to be made true.


Fact/reality are not needed in order for what "to be made true"?

huh

prashant01's photo
Wed 03/14/12 10:51 AM

Fact/reality are not needed to be made true.


Fact/reality are not needed in order for what "to be made true"?

huh



Are they needed to be made true??



yawn

creativesoul's photo
Wed 03/14/12 11:12 AM
Fact/reality are neither. "True" applies to statements. Statements are about fact/reality.

prashant01's photo
Wed 03/14/12 11:18 AM

"True" applies to statements. Statements are about fact/reality.

That is true.


This was also manifested earlier when prashant attempted to say that statements are called "true" because they are.

What went wrong there?




creativesoul's photo
Wed 03/14/12 11:24 AM


"True" applies to statements. Statements are about fact/reality.

That is true.


This was also manifested earlier when prashant attempted to say that statements are called "true" because they are.

What went wrong there?


There are many times when a false statement is called "true". Statements are called "true" because they are believed to be true. Being true and being called "true" are distinct.

prashant01's photo
Wed 03/14/12 11:29 AM



"True" applies to statements. Statements are about fact/reality.

That is true.


This was also manifested earlier when prashant attempted to say that statements are called "true" because they are.

What went wrong there?


There are many times when a false statement is called "true". Statements are called "true" because they are believed to be true. Being true and being called "true" are distinct.

Oh,
It wasn't about statement.

My argument was that if something is called as true ( like a logical true or one or high or active ) then it is because it is true.

creativesoul's photo
Wed 03/14/12 11:47 AM
It wasn't about statement.

My argument was that if something is called as true ( like a logical true or one or high or active ) then it is because it is true.


The argument is in statement form and it is false. Nothing is true because it is called "true". You're talking about the rules of logic. Logic presupposes truth. Logic is neither true nor false. Rather, logic is all about the rules of correct inference. Truth-value is not truth. Truth-value measures coherence. Coherence is insufficient for truth.


prashant01's photo
Wed 03/14/12 11:56 AM
Not agreed.

My answer is correct.

Logic is not a statement & it is either true or false.

creativesoul's photo
Wed 03/14/12 12:12 PM
Edited by creativesoul on Wed 03/14/12 12:20 PM
Which part do you disagree with, and can you come to terms with why? I mean, can you show me what it is that you're in disagreement about?

creativesoul's photo
Wed 03/14/12 12:19 PM
How is logic true or false? Don't you mean that logic is either valid or invalid? You do realize that that is not the same as being true or false, right?

prashant01's photo
Wed 03/14/12 12:28 PM

Which part do you disagree with, and can you come to terms with why? I mean, can you show me what it is that you're in disagreement about?


I'm not agreed to "nothing is true because it is called as true"

because it won't be called as true if it isn't true

also let me know why shall we call it as true if it is not true?

prashant01's photo
Wed 03/14/12 12:44 PM

How is logic true or false? Don't you mean that logic is either valid or invalid? You do realize that that is not the same as being true or false, right?


In boolean algebra outputs of the logical electronic circuits are evaluated as True or False, One or Zero.

If they are called as true or false,then for all they are true or false.

After preparing the logic in valid manner there is nothing to do with valid / invalid.Invalid logic won't work.

creativesoul's photo
Wed 03/14/12 01:35 PM
There are only logically 'true' statements in Boolean logic. That is exactly why AI will never happen as long as binary code is used for the language. Being logically 'true' simply means being valid.

creativesoul's photo
Wed 03/14/12 01:40 PM
The more simple point being missed here is that Boolean logic is statement(of the performative variety) in binary form.

Do you disagree with that?


creativesoul's photo
Wed 03/14/12 01:48 PM
also let me know why shall we call it as true if it is not true?


I've already answered this prashant. Something is called "true" if it is believed to be true. What do you hold as a sufficient criterion, which if met, qualifies something as being true?

Do you understand the difference between being called "true" and being true?


creativesoul's photo
Wed 03/14/12 02:15 PM
Edited by creativesoul on Wed 03/14/12 02:15 PM
In boolean algebra outputs of the logical electronic circuits are evaluated as True or False, One or Zero.


And "evaluated as" simply means that they are called such. Calling something "true" or "false" does not make it so.

creativesoul's photo
Wed 03/14/12 02:35 PM
Aren't logical outputs derived from following rules? Aren't rules statements?

no photo
Wed 03/14/12 06:15 PM

There are only logically 'true' statements in Boolean logic. That is exactly why AI will never happen as long as binary code is used for the language. Being logically 'true' simply means being valid.


Interesting.

What other code could be used for AI?

creativesoul's photo
Wed 03/14/12 06:45 PM
I don't know. What I do know is that not everything is either true or false.

:wink:


AdventureBegins's photo
Wed 03/14/12 07:25 PM
Edited by AdventureBegins on Wed 03/14/12 07:26 PM

There are only logically 'true' statements in Boolean logic. That is exactly why AI will never happen as long as binary code is used for the language. Being logically 'true' simply means being valid.

Biggest problem with binary AI is the following of the linked path. When only off and on are available a false path can be followed for a long time befor encountering an off (invalid) response.

The human brain can deduct the presense of a false path without having to follow it first.

So far no computer can do that.

requires a 'leap of faith' (which comes from the spirit).