Re: SV: Only logic is necessary?

2006-07-11 Thread Bruno Marchal


In three different posts,  Brent Meeker wrote :


 I'm not sure that logic in the formal sense can be right or wrong; 
 it's a set of conventions about
 language and inference.  About the only standard I've seen by which a 
 logic or mathematical system
 could be called wrong is it if it is inconsistent, i.e. the axioms 
 and rules of inference allow
 everything to be a theorem.



I disagree. The main lesson provided by the works of of Tarski and 
Godel has shown us how far truth and consistency are different.
By the second incompleteness theorem: (with PA = Peano Arithmetic 
Theory)

PA + PA is consistent is both consistent and correct
PA + PA is not consistent is consistent, but hardly correct!

I will come back on this. But if you recall that Consistent(p) = ~B~p, 
then remember that all the followings are not equivalent from the (1 
and 3) point of views of the machines: Bp, Bp  p, Bp  ~B~p, Bp  ~B~p 
 p.
(if you prefer: p is provable, p is provable *and* p is true, p is 
provable and p is consistent, p is provable and p is consistent and p 
is true.


 I don't understand assumptions about logic and math?  We don't need 
 to make assumptions about them
 because they are rules we made up to keep us from reaching 
 self-contradictions when making long
 complex inferences.


Logician are interested in correctness, and relative correctness. The 
whole of model (not modal!) theory concerns those matter.



 They are rules about propositions and inferences.  The propositions 
 may be
 about an observation like a species that used this kind of reasoning 
 survived more frequently than
 those who used that kind.  I might need logic to make further 
 inferences, but I don't need
 assumptions about logic to understand it.


I agree if you talk of some minimal informal logic, like children seems 
to develop in their early years. (cf Piaget, for examples). Now 
concerning the many logics, it is different. There is  a continuum of 
logics ... each having apparently some domain of application. Fields 
like Categorical Logic provides tools for many logics.
Linear logic take into account resources. For example, the following is 
classically, intuitionisticaly and quantum logically valid:
If i have one dollar I can buy a box of cigarets
If I have one dollar I can buy a box of matches
Thus If I have one dollar I can buy a box of cigarets and I can buy a 
box of matches.
ALL logics, when studied mathematically, are studied in the frame of 
classical mathematics.
You will never find a treatise on Fuzzy logic with a theorem like It 
is 0,743 true that a fuzzy set A can be represented by a function from 
A to the real line.
(ok a case could be made for intuitionist logic, due to the existence 
of an intuitionist conception of math).




 Remember Cooper is talking about reasoning, reaching decisions, and 
 taking actions - not just making
 truth preserving inferences from axioms.  Classical logic applies to 
 declarative, timeless sentences
 - a pretty narrow domain.

... called Platonia. Narrow?

Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread 1Z


Brent Meeker wrote:

 1Z wrote:
 
  Brent Meeker wrote:
 
 
 You misunderstand population models.  It's not a question of what members 
 of a species think or
 vote for; it's a matter of whether their logic will lead to their survival 
 in the evolutionary
 biological sense.  So the majority can be wrong.
 
 
  Cooper is making valid comments about *something*, but it isn't logic.
  Logic is what tells us the majority can be wrong

 Cooper is not talking about logic in the formal sense; he's talking about 
 reasoning, making
 decisions, acting.  This can be wrong in the sense that there is a better 
 (in terms of survival)
 way of reasoning.

If you want to judge what is better in terms of survival,
you need to use logic.

 I'm not sure that logic in the formal sense can be right or wrong; it's a set 
 of conventions about
 language and inference.  About the only standard I've seen by which a logic 
 or mathematical system
 could be called wrong is it if it is inconsistent, i.e. the axioms and 
 rules of inference allow
 everything to be a theorem.

And since logic isn't wrong by that standard, it is correct. Any
judgement
made about logic will be made with logic. There is no higher court of
appeal. (There are of course various fallacious forms
of informal reasoning, but they do not deserve to be called logic).

Logic ins't just correct --although it is -- it defines correctness. We
have
no other ultimate defintion. Logic might be wrong is incoherent.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread John M



--- 1Z [EMAIL PROTECTED] wrote: 
 
 Brent Meeker wrote:
 
(Skip to 1Z's reply)

 If you want to judge what is better in terms of
 survival,
 you need to use logic.
And then you may be still wrong, things sometimes
occur (in our terms - see below) as illogical or
even: counterproductive. Human logic is based on the
'part' of nature (in broadest terms) we so far
discovered. Even only the reductionist representation
of such.
Further epistemic enrichment may change our views (our
logic included). 
 

BM:
  I'm not sure that logic in the formal sense can be
 right or wrong; it's a set of conventions about
  language and inference.  About the only standard
 I've seen by which a logic or mathematical system
  could be called wrong is it if it is
 inconsistent, i.e. the axioms and rules of
inference
 allow everything to be a theorem.

Inconsistent towards language and inference and
more, all on a certain evolutionary level of human
development - as we know AND acknowledge it. In
devising future advancement in thinking I would go a
bit further than what I've seen. 

1Z:
 
 And since logic isn't wrong by that standard, it is
 correct. Any judgement
 made about logic will be made with logic. There is
 no higher court of appeal. (There are of course 
 various fallacious forms
 of informal reasoning, but they do not deserve to be
 called logic).
Wise inter-remark: by that standard. You are
entitled to your opinion to call 'logic' whatever you
define.. The 'Any judgement' is valid even towards
yours. Including what you deem as deserve to be
called. - What reminds me of the ongoing stupid
debates about the so called (gay) marriage - a
'name' with ONE ancient definition,causing endless
problems, while another 'name' or definition would
eliminate the controversy. 
 
 Logic ins't just correct --although it is -- it
 defines correctness. We have
 no other ultimate defintion. Logic might be wrong
 is incoherent.
 
Withuin (BY?) our human logic we define 'correctness'
as consistent within (by?) itself. Closing our minds
to anything different.
John



John
 

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread Brent Meeker

1Z wrote:
 
 Brent Meeker wrote:
 
 
1Z wrote:

Brent Meeker wrote:



You misunderstand population models.  It's not a question of what members 
of a species think or
vote for; it's a matter of whether their logic will lead to their survival 
in the evolutionary
biological sense.  So the majority can be wrong.


Cooper is making valid comments about *something*, but it isn't logic.
Logic is what tells us the majority can be wrong

Cooper is not talking about logic in the formal sense; he's talking about 
reasoning, making
decisions, acting.  This can be wrong in the sense that there is a better 
(in terms of survival)
way of reasoning.
 
 
 If you want to judge what is better in terms of survival,
 you need to use logic.

No, you just need to see who survives.  Experiment trumps theory.

Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread Jesse Mazer

Brent Meeker wrote:



1Z wrote:
 
  Brent Meeker wrote:
 
 
 1Z wrote:
 
 Brent Meeker wrote:
 
 
 
 You misunderstand population models.  It's not a question of what 
members of a species think or
 vote for; it's a matter of whether their logic will lead to their 
survival in the evolutionary
 biological sense.  So the majority can be wrong.
 
 
 Cooper is making valid comments about *something*, but it isn't logic.
 Logic is what tells us the majority can be wrong
 
 Cooper is not talking about logic in the formal sense; he's talking 
about reasoning, making
 decisions, acting.  This can be wrong in the sense that there is a 
better (in terms of survival)
 way of reasoning.
 
 
  If you want to judge what is better in terms of survival,
  you need to use logic.

No, you just need to see who survives.  Experiment trumps theory.

Brent Meeker

Presumably Cooper used theory to show why certain types of reasoning are 
more likely to aid survival, no? Anyway, we still need assumptions about 
logic and math to make sense of statements about basic experimental 
observations like the individuals with trait X survived more frequently 
than those who lacked it.

Jesse



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread Brent Meeker

Jesse Mazer wrote:
 Brent Meeker wrote:
 
 

1Z wrote:

Brent Meeker wrote:



1Z wrote:


Brent Meeker wrote:




You misunderstand population models.  It's not a question of what 

members of a species think or

vote for; it's a matter of whether their logic will lead to their 

survival in the evolutionary

biological sense.  So the majority can be wrong.


Cooper is making valid comments about *something*, but it isn't logic.
Logic is what tells us the majority can be wrong

Cooper is not talking about logic in the formal sense; he's talking 

about reasoning, making

decisions, acting.  This can be wrong in the sense that there is a 

better (in terms of survival)

way of reasoning.


If you want to judge what is better in terms of survival,
you need to use logic.

No, you just need to see who survives.  Experiment trumps theory.

Brent Meeker
 
 
 Presumably Cooper used theory to show why certain types of reasoning are 
 more likely to aid survival, no? Anyway, we still need assumptions about 
 logic and math to make sense of statements about basic experimental 
 observations like the individuals with trait X survived more frequently 
 than those who lacked it.
 
 Jesse

I don't understand assumptions about logic and math?  We don't need to make 
assumptions about them 
because they are rules we made up to keep us from reaching self-contradictions 
when making long 
complex inferences.  They are rules about propositions and inferences.  The 
propositions may be 
about an observation like a species that used this kind of reasoning survived 
more frequently than 
those who used that kind.  I might need logic to make further inferences, but 
I don't need 
assumptions about logic to understand it.

Brent Meeker

Brent Meeker

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread Jesse Mazer


Brent Meeker:



Jesse Mazer wrote:
  Brent Meeker wrote:
 
 
 
 1Z wrote:
 
 Brent Meeker wrote:
 
 
 
 1Z wrote:
 
 
 Brent Meeker wrote:
 
 
 
 
 You misunderstand population models.  It's not a question of what
 
 members of a species think or
 
 vote for; it's a matter of whether their logic will lead to their
 
 survival in the evolutionary
 
 biological sense.  So the majority can be wrong.
 
 
 Cooper is making valid comments about *something*, but it isn't 
logic.
 Logic is what tells us the majority can be wrong
 
 Cooper is not talking about logic in the formal sense; he's talking
 
 about reasoning, making
 
 decisions, acting.  This can be wrong in the sense that there is a
 
 better (in terms of survival)
 
 way of reasoning.
 
 
 If you want to judge what is better in terms of survival,
 you need to use logic.
 
 No, you just need to see who survives.  Experiment trumps theory.
 
 Brent Meeker
 
 
  Presumably Cooper used theory to show why certain types of reasoning are
  more likely to aid survival, no? Anyway, we still need assumptions about
  logic and math to make sense of statements about basic experimental
  observations like the individuals with trait X survived more frequently
  than those who lacked it.
 
  Jesse

I don't understand assumptions about logic and math?  We don't need to 
make assumptions about them
because they are rules we made up to keep us from reaching 
self-contradictions when making long
complex inferences.

Sure, but those rules still qualify as assumptions. For example, it's 
apparently possible to create paraconsistent logics where 
self-contradictions are not forbidden in all cases, but this does not entail 
that every proposition must be judged true--see 
http://en.wikipedia.org/wiki/Paraconsistent_logic and 
http://en.wikipedia.org/wiki/Graham_Priest for some more on this. And Cooper 
(judging from Lennart Nilsson's summary) seems to be saying that the rules 
of classical logic which we use are somewhat arbitrary, that we need a 
relativistic evolutionary logic where classical logic only would be 
justified for certain special classes of problems. Presumably in problems 
outside these special classes, rules of classical logic could be violated, 
which I'm guessing wouldimply violating the principle of non-contradiction 
or at least the law of the excluded middle (unless there are forms of logic 
which preserve these principles but still differ from classical logic, I'm 
not sure).

They are rules about propositions and inferences.  The propositions may be
about an observation like a species that used this kind of reasoning 
survived more frequently than
those who used that kind.  I might need logic to make further inferences, 
but I don't need
assumptions about logic to understand it.

But if there are other versions of logic besides classical logic, then the 
decision to use classical logic is itself an assumption about logic, just 
like the decision to use euclidean geometry in a certain problem would be an 
assumption about geometry, since other non-euclidean forms are known to be 
possible.

Jesse



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread Brent Meeker

Jesse Mazer wrote:
 
 Brent Meeker:
 
 

Jesse Mazer wrote:

Brent Meeker wrote:



1Z wrote:


Brent Meeker wrote:




1Z wrote:



Brent Meeker wrote:





You misunderstand population models.  It's not a question of what

members of a species think or


vote for; it's a matter of whether their logic will lead to their

survival in the evolutionary


biological sense.  So the majority can be wrong.


Cooper is making valid comments about *something*, but it isn't 

logic.

Logic is what tells us the majority can be wrong

Cooper is not talking about logic in the formal sense; he's talking

about reasoning, making


decisions, acting.  This can be wrong in the sense that there is a

better (in terms of survival)


way of reasoning.


If you want to judge what is better in terms of survival,
you need to use logic.

No, you just need to see who survives.  Experiment trumps theory.

Brent Meeker


Presumably Cooper used theory to show why certain types of reasoning are
more likely to aid survival, no? Anyway, we still need assumptions about
logic and math to make sense of statements about basic experimental
observations like the individuals with trait X survived more frequently
than those who lacked it.

Jesse

I don't understand assumptions about logic and math?  We don't need to 
make assumptions about them
because they are rules we made up to keep us from reaching 
self-contradictions when making long
complex inferences.
 
 
 Sure, but those rules still qualify as assumptions. For example, it's 
 apparently possible to create paraconsistent logics where 
 self-contradictions are not forbidden in all cases, but this does not entail 
 that every proposition must be judged true--see 
 http://en.wikipedia.org/wiki/Paraconsistent_logic and 
 http://en.wikipedia.org/wiki/Graham_Priest for some more on this. And Cooper 
 (judging from Lennart Nilsson's summary) seems to be saying that the rules 
 of classical logic which we use are somewhat arbitrary, that we need a 
 relativistic evolutionary logic where classical logic only would be 
 justified for certain special classes of problems. 

Remember Cooper is talking about reasoning, reaching decisions, and taking 
actions - not just making 
truth preserving inferences from axioms.  Classical logic applies to 
declarative, timeless sentences 
- a pretty narrow domain.

Presumably in problems 
 outside these special classes, rules of classical logic could be violated, 
 which I'm guessing wouldimply violating the principle of non-contradiction 
 or at least the law of the excluded middle (unless there are forms of logic 
 which preserve these principles but still differ from classical logic, I'm 
 not sure).
 
 
They are rules about propositions and inferences.  The propositions may be
about an observation like a species that used this kind of reasoning 
survived more frequently than
those who used that kind.  I might need logic to make further inferences, 
but I don't need
assumptions about logic to understand it.
 
 
 But if there are other versions of logic besides classical logic, then the 
 decision to use classical logic is itself an assumption about logic, just 
 like the decision to use euclidean geometry in a certain problem would be an 
 assumption about geometry, since other non-euclidean forms are known to be 
 possible.
 
 Jesse

Maybe we're just disagreeing about words.  I'd say the decision to use 
classical logic is an 
assumption that you're applying it to sentences or propositions where it will 
work (i.e. 
declarative, timeless sentences), not an assumption about logic.  Same for 
geometry.  I use 
Euclidean geometry to calculate distances in my backyard, I use spherical 
geometry to calculate 
air-miles to nearby airports, I use WGS84 to calculate distance between naval 
vessels at sea.

Brent Meeker

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-10 Thread 1Z


John M wrote:
 --- 1Z [EMAIL PROTECTED] wrote:
 
  Brent Meeker wrote:
 
 (Skip to 1Z's reply)
 
  If you want to judge what is better in terms of
  survival,
  you need to use logic.
 And then you may be still wrong, things sometimes
 occur (in our terms - see below) as illogical or
 even: counterproductive.

So much for the claim:
If you use logic, you will never
go wrong. I never made that claim.
The claim I made was Whatever else you
do, you'll be using logic. There is no
standpoint outside of logic. No, not
even evolutionary theory.


 Human logic is based on the
 'part' of nature (in broadest terms) we so far
 discovered. Even only the reductionist representation
 of such.
 Further epistemic enrichment may change our views (our
 logic included).

Nothing can chnage one part of our logic without using another.
X contradicts our logic depends on the idea that contradictions
are wrongwhich is logical.


 Withuin (BY?) our human logic we define 'correctness'
 as consistent within (by?) itself. Closing our minds
 to anything different.


Relax the rules too far, and you don't just get something different,
you get quodlibet -- everything.


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



RE: SV: Only logic is necessary?

2006-07-09 Thread Jesse Mazer

Lennart Nilsson wrote:


No, you have the burden of showing what possible worlds could possibly mean
outside a real biological setting.

Cooper shows that logical laws are dependent on which population model they
refer to. Of course that goes for the notion of possibility also...

That sounds incoherent to me...how can you even define population models 
without assuming various things about math and logic? Do you think the 
(mathematical) laws of population genetics have some sort of objective 
existence outside the human mind, but laws of math and logic themselves do 
not?

Jesse



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread 1Z


Lennart Nilsson wrote:
 No, you have the burden of showing what possible worlds could possibly mean
 outside a real biological setting.

I have shown that; HYPOTHETICAL states-of-affairs which do not
contradict
any laws KNOWN TO US.

 Cooper shows that logical laws are dependent on which population model they
 refer to.

I have no doubt that whatver rules can be reverse-engineered from
practical problem-solving tend to vary.

I doubt that de facto problem-solving defines or constitutes logic.

There are psychological tests which show that most people,
80%-90% , get certain logical problems worng. Of course
the notion of right and wrong logic that is being appealed
to here comes from the textbook, not from the study
of populations. If populations defined logic, the majority couldn't be
wrong (by textbook logic, anyway).

If popular practice defined logic, people wouldn't have to learn logic.

 Of course that goes for the notion of possibility also...




 LN

 -Ursprungligt meddelande-
 Från: everything-list@googlegroups.com
 [mailto:[EMAIL PROTECTED] För 1Z
 Skickat: den 8 juli 2006 22:38
 Till: Everything List
 Ämne: Re: Only logic is necessary?



 Brent Meeker wrote:
  Bruno Marchal wrote:
   Le 05-juil.-06, à 15:55, Lennart Nilsson a écrit :
  
  
  William S. Cooper says: The absolutist outlook has it that if a logic
  is valid at all it is valid period. A sound logic is completely sound
  everywhere and for everyone, no exceptions! For absolutist logicians a
  logical truth is regarded as 'true in all possible worlds', making
  logical laws constant, timeless and universal.

 Of course logical laws are true in all logically possible worlds
 is a (logical) tautology. An X-possible world is just a hypothetical
 state of affairs that does not contradict X-rules (X is usually
 logic or physics).

  Where do the laws of logic come from? he asks the absolutist.
  Bruno

 First you have to ask if they could possibly have been different.
 Then you have to ask what notion of possibility you are appealling
 to...


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread Bruno Marchal


Le 09-juil.-06, à 10:07, Jesse Mazer a écrit :


 Lennart Nilsson wrote:


 No, you have the burden of showing what possible worlds could 
 possibly mean
 outside a real biological setting.

 Cooper shows that logical laws are dependent on which population 
 model they
 refer to. Of course that goes for the notion of possibility also...

 That sounds incoherent to me...how can you even define population 
 models
 without assuming various things about math and logic? Do you think the
 (mathematical) laws of population genetics have some sort of objective
 existence outside the human mind, but laws of math and logic 
 themselves do
 not?



I agree with you.




 Lennart Nilsson wrote:

 We use mathematics as a meta-language, just like you kan describe what 
 is
 said in latin by using italian. That does not make italian
 logically/evolutionary prior to latin of course.


I think you are confusing language and theory. I agree that the 
language belongs to human inventions, but even and especially in math 
(and numbers) we use those languages to build theories *about* truth 
which should be, and mostly are, independent of the choice of the 
languages.
You are defending a conventionalist philosophy of math. I don't think 
that conventionalism is coherent either with (simple) mathematics or 
with metamathematics.
There is nothing conventional in the distribution of the primes. There 
is nothing conventional in the fact that the set of total computable 
function is not recursively enumerable. Etc.
It seems to me.

Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread Brent Meeker

1Z wrote:
 
 Lennart Nilsson wrote:
 
No, you have the burden of showing what possible worlds could possibly mean
outside a real biological setting.
 
 
 I have shown that; HYPOTHETICAL states-of-affairs which do not
 contradict
 any laws KNOWN TO US.
 
 
Cooper shows that logical laws are dependent on which population model they
refer to.
 
 
 I have no doubt that whatver rules can be reverse-engineered from
 practical problem-solving tend to vary.
 
 I doubt that de facto problem-solving defines or constitutes logic.
 
 There are psychological tests which show that most people,
 80%-90% , get certain logical problems worng. Of course
 the notion of right and wrong logic that is being appealed
 to here comes from the textbook, not from the study
 of populations. If populations defined logic, the majority couldn't be
 wrong (by textbook logic, anyway).

You misunderstand population models.  It's not a question of what members of 
a species think or 
vote for; it's a matter of whether their logic will lead to their survival in 
the evolutionary 
biological sense.  So the majority can be wrong.

Brent Meeker

Brent Meeker

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread 1Z


Brent Meeker wrote:

 You misunderstand population models.  It's not a question of what members 
 of a species think or
 vote for; it's a matter of whether their logic will lead to their survival in 
 the evolutionary
 biological sense.  So the majority can be wrong.

Cooper is making valid comments about *something*, but it isn't logic.
Logic is what tells us the majority can be wrong


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread Brent Meeker

1Z wrote:
 
 Brent Meeker wrote:
 
 
You misunderstand population models.  It's not a question of what members 
of a species think or
vote for; it's a matter of whether their logic will lead to their survival in 
the evolutionary
biological sense.  So the majority can be wrong.
 
 
 Cooper is making valid comments about *something*, but it isn't logic.
 Logic is what tells us the majority can be wrong

Cooper is not talking about logic in the formal sense; he's talking about 
reasoning, making 
decisions, acting.  This can be wrong in the sense that there is a better (in 
terms of survival) 
way of reasoning.

I'm not sure that logic in the formal sense can be right or wrong; it's a set 
of conventions about 
language and inference.  About the only standard I've seen by which a logic or 
mathematical system 
could be called wrong is it if it is inconsistent, i.e. the axioms and rules 
of inference allow 
everything to be a theorem.

Brent Meeker


--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-09 Thread Jesse Mazer

Brent Meeker wrote:


1Z wrote:
 
  Brent Meeker wrote:
 
 
 You misunderstand population models.  It's not a question of what 
members of a species think or
 vote for; it's a matter of whether their logic will lead to their 
survival in the evolutionary
 biological sense.  So the majority can be wrong.
 
 
  Cooper is making valid comments about *something*, but it isn't logic.
  Logic is what tells us the majority can be wrong

Cooper is not talking about logic in the formal sense; he's talking about 
reasoning, making
decisions, acting.  This can be wrong in the sense that there is a better 
(in terms of survival)
way of reasoning.

I'm not sure that logic in the formal sense can be right or wrong; it's a 
set of conventions about
language and inference.  About the only standard I've seen by which a logic 
or mathematical system
could be called wrong is it if it is inconsistent, i.e. the axioms and 
rules of inference allow
everything to be a theorem.

If this is all that Cooper is talking about, I probably wouldn't have any 
objection to it--but Lennart Nilsson seemed to be making much stronger 
claims about the contingency of logic itself based on his interpretation of 
Cooper.

Jesse



--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
Everything List group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list
-~--~~~~--~~--~--~---



Re: SV: Only logic is necessary?

2006-07-07 Thread Bruno Marchal

Le 06-juil.-06, à 21:49, Lennart Nilsson a écrit :

x-tad-biggerBruno;/x-tad-bigger
x-tad-biggerAccording to Cooper classical analysis is plain bad biology, 
/x-tad-bigger
?



x-tad-biggerand not a matter of subjective judgement or philosophical preferens (such as taking atithmetical truth for granted). 
/x-tad-bigger

??


x-tad-biggerI think this is where he would say your whole castle in the sky tumbles, and that has nothing to do with trying to find a fault in your argument /x-tad-biggerx-tad-biggerJ
/x-tad-bigger

???

I don't understand what you are trying to say at all. Perhaps you could elaborate? What do you or Cooper mean by classical analysis is bad biology?

Bruno



http://iridia.ulb.ac.be/~marchal/


--~--~-~--~~~---~--~~ You received this message because you are subscribed to the Google Groups Everything List group. To post to this group, send email to everything-list@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list -~--~~~~--~~--~--~---