sci.logic (thread)

Proving invalidity in first-order logic, ali_tofigh, 2006/02/28
- Re: Proving invalidity in first-order logic, Aatu Koskensilta, 2006/02/28
- Re: Proving invalidity in first-order logic, timvaz_059, 2006/02/28
Equivalence of fragments of second-order logic, Michael De, 2006/02/27
- Re: Equivalence of fragments of second-order logic, Aatu Koskensilta, 2006/02/28
- Message not available
  - Re: Equivalence of fragments of second-order logic, Michael De, 2006/02/28
Multiple Natures Conjecture, mobydikc, 2006/02/27
truth/falsity of sentences in first-order logic, ali_tofigh, 2006/02/27
- Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/02/27
  - Re: truth/falsity of sentences in first-order logic, ali_tofigh, 2006/02/27
    - Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/02/27
      
      Re: truth/falsity of sentences in first-order logic, ali_tofigh, 2006/02/27
      
      Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 2006/02/27
      
      Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/02/27
  - Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/02/27
    - Re: truth/falsity of sentences in first-order logic, Chris Menzel, 2006/02/27
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/02/28
      
      Re: truth/falsity of sentences in first-order logic, Chris Menzel, 2006/02/28
    - Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 2006/02/28
    - Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/02/28
  - Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 2006/02/28
    - Re: truth/falsity of sentences in first-order logic, Aatu Koskensilta, 2006/02/28
    - Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/02/28
      
      Re: truth/falsity of sentences in first-order logic, Chris Menzel, 2006/02/28
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/02/28
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/02/28
- Re: truth/falsity of sentences in first-order logic, William Elliot, 2006/02/27
- Re: truth/falsity of sentences in first-order logic, george, 2006/02/27
Is exponentiation constructive?, Giovanni Lagnese, 2006/02/25
- Re: Is exponentiation constructive?, thefrenchcody, 2006/02/26
  - Re: Is exponentiation constructive?, Giovanni Lagnese, 2006/02/26
Peano's Axioms from the Field Axioms alone?, Dan Christensen, 2006/02/25
- Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen, 2006/02/25
- Re: Peano's Axioms from the Field Axioms alone?, William Elliot, 2006/02/26
  - Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/26
    - Re: Peano's Axioms from the Field Axioms alone?, William Elliot, 2006/02/26
      
      Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/26
  - Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/26
  - Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen, 2006/02/26
    - Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/26
      
      Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen, 2006/02/27
      
      Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/27
      
      Re: Peano's Axioms from the Field Axioms alone?, Jan Burse, 2006/02/27
      
      Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen, 2006/02/27
Re: First Order Logic, David C . Ullrich, 2006/02/24
- Re: First Order Logic, thefrenchcody, 2006/02/26
  - Re: First Order Logic, Bertie Reed, 2006/02/27
Question about Axiom of Separation, agapito6314, 2006/02/23
- Re: Question about Axiom of Separation, Daryl McCullough, 2006/02/23
  - Re: Question about Axiom of Separation, agapito6314, 2006/02/24
  - Re: Question about Axiom of Separation, agapito6314, 2006/02/24
Where is the moebius theorem hiding?, Ken Quirici, 2006/02/23
- Re: Where is the moebius theorem hiding?, Ken Quirici, 2006/02/23
- Re: Where is the moebius theorem hiding?, ken.quirici@xxxxxxxxxx, 2006/02/23
Objections to Nik Weaver's predicativism/conceptualism and to the natural numbers as marks on paper, R. Srinivasan, 2006/02/23
- Re: Objections to Nik Weaver's predicativism/conceptualism and to the natural numbers as marks on paper, abo, 2006/02/23
  - Re: Objections to Nik Weaver's predicativism/conceptualism and to the natural numbers as marks on paper, R. Srinivasan, 2006/02/24
inverse/obverse, michaelbell, 2006/02/22
- Re: inverse/obverse, Ken Pledger, 2006/02/22
  - Re: inverse/obverse, michaelbell, 2006/02/22
    - Re: inverse/obverse, Ken Pledger, 2006/02/26
      
      Re: inverse/obverse, waveletter, 2006/02/28
Scientists evolutionary precursers to autistics, downinthefolds, 2006/02/22
- Message not available
  - Re: Scientists evolutionary precursers to autistics, Peter Webb, 2006/02/22
Re: Question to supporters of Intelligent Design, Cheeze, 2006/02/22
- Re: Question to supporters of Intelligent Design, Arno Nymph, 2006/02/22
- Re: Question to supporters of Intelligent Design, Johannes Werner, 2006/02/22
Please provide me statistical help, sam, 2006/02/21
Deductive/Inductive Arguments, tjb, 2006/02/20
- Re: Deductive/Inductive Arguments, William Elliot, 2006/02/20
  - Re: Deductive/Inductive Arguments, tjb, 2006/02/20
    - Re: Deductive/Inductive Arguments, William Elliot, 2006/02/21
      
      Re: Deductive/Inductive Arguments, tjb, 2006/02/21
      
      Re: Deductive/Inductive Arguments, William Elliot, 2006/02/21
      
      Re: Deductive/Inductive Arguments, sradhakr, 2006/02/22
      
      Re: Deductive/Inductive Arguments, William Elliot, 2006/02/22
      
      Re: Deductive/Inductive Arguments, R. Srinivasan, 2006/02/22
      
      Re: Deductive/Inductive Arguments, William Elliot, 2006/02/22
- Re: Deductive/Inductive Arguments, R. Srinivasan, 2006/02/23
  - Re: Deductive/Inductive Arguments, William Elliot, 2006/02/23
- Deductive/Inductive Arguments, Bill Taylor, 2006/02/21
A Definition of an Algorithm, noson@xxxxxxxxxxxxxxxxxxxxx, 2006/02/20
- Re: A Definition of an Algorithm, Googmeister, 2006/02/21
  - Re: A Definition of an Algorithm, noson, 2006/02/22
  - Message not available
    - Re: A Definition of an Algorithm, Googmeister, 2006/02/22
      
      Re: A Definition of an Algorithm, Aatu Koskensilta, 2006/02/22
      
      Re: A Definition of an Algorithm, george, 2006/02/25
- Re: A Definition of an Algorithm, george, 2006/02/25
Re: Axioms for the real numbers, un student, 2006/02/20
- Re: Axioms for the real numbers, Norman Megill, 2006/02/20
- Re: Axioms for the real numbers, Nam Nguyen, 2006/02/20
- Re: Axioms for the real numbers, george, 2006/02/27
  - Re: Axioms for the real numbers, Dan Christensen, 2006/02/27
Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/02/19
- Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/02/20
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/02/26
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/02/27
- Re: Comparing Proofs of Rosser's 1936 Theorem, Torkel Franzen, 2006/02/21
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/02/26
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/02/27
Do mathematicians know their axioms?, abo, 2006/02/19
- Re: Do mathematicians know their axioms?, David C . Ullrich, 2006/02/19
  - Re: Do mathematicians know their axioms?, abo, 2006/02/19
    - Re: Do mathematicians know their axioms?, abo, 2006/02/19
    - Re: Do mathematicians know their axioms?, David C . Ullrich, 2006/02/19
    - Re: Do mathematicians know their axioms?, Herman Rubin, 2006/02/20
- Re: Do mathematicians know their axioms?, Ken Pledger, 2006/02/19
  - Re: Do mathematicians know their axioms?, abo, 2006/02/19
    - Re: Do mathematicians know their axioms?, Ken Pledger, 2006/02/19
    - Re: Do mathematicians know their axioms?, Herman Rubin, 2006/02/20
      
      Re: Do mathematicians know their axioms?, James Dolan, 2006/02/20
      
      Re: Do mathematicians know their axioms?, Herman Rubin, 2006/02/21
      
      Re: Do mathematicians know their axioms?, abo, 2006/02/20
      
      Re: Do mathematicians know their axioms?, matthias, 2006/02/20
      
      Re: Do mathematicians know their axioms?, abo, 2006/02/22
      
      Re: Do mathematicians know their axioms?, matthias, 2006/02/20
      
      Re: Do mathematicians know their axioms?, Shmuel (Seymour J.) Metz, 2006/02/22
- Re: Do mathematicians know their axioms?, Jiri Lebl, 2006/02/22
  - Re: Do mathematicians know their axioms?, abo, 2006/02/22
- Re: Do mathematicians know their axioms?, matthias, 2006/02/22
  - Re: Do mathematicians know their axioms?, abo, 2006/02/22
    - Message not available
      
      Message not available
      
      Message not available
      
      Re: Do mathematicians know their axioms?, abo, 2006/02/22
      
      Re: Do mathematicians know their axioms?, Anders Goeransson, 2006/02/22
      
      Re: Do mathematicians know their axioms?, abo, 2006/02/22
      
      Re: Do mathematicians know their axioms?, Anders Goeransson, 2006/02/22
      
      Re: Do mathematicians know their axioms?, abo, 2006/02/22
Proving induction, LordBeotian, 2006/02/18
- Re: Proving induction, The Ghost In The Machine, 2006/02/18
  - Re: Proving induction, Charlie-Boo, 2006/02/27
    - Re: Proving induction, Jan Burse, 2006/02/27
      
      Re: Proving induction, Charlie-Boo, 2006/02/27
- Re: Proving induction, smnewberger, 2006/02/19
- Re: Proving induction, Charlie-Boo, 2006/02/27
THE OSLO 3:D DEGREE EQUATION!!!!!!!!!!!!!!, NILS B�RJESSON, 2006/02/17
Get $5.00 BONUS and do your own FOREX TRADING, Get $5.00 BONUS and do your own FOREX TRADING, 2006/02/17
Equivalence Laws between logic and arithmetic, studylogic06, 2006/02/17
- Re: Equivalence Laws between logic and arithmetic, William Elliot, 2006/02/17
  - Re: Equivalence Laws between logic and arithmetic, Jan Burse, 2006/02/19
- Re: Equivalence Laws between logic and arithmetic, ccghzhu, 2006/02/19
- Re: Equivalence Laws between logic and arithmetic, Ken Pledger, 2006/02/20
  - Re: Equivalence Laws between logic and arithmetic, Barb Knox, 2006/02/20
- Re: Equivalence Laws between logic and arithmetic, Jan Burse, 2006/02/20
Can p implies q be drawn in a venn diagram?, gaya . patel, 2006/02/16
- Re: Can p implies q be drawn in a venn diagram?, William Elliot, 2006/02/16
  - Re: Can p implies q be drawn in a venn diagram?, gaya . patel, 2006/02/16
Z set theory - predicative or impredicative?, MoeBlee, 2006/02/16
- Re: Z set theory - predicative or impredicative?, Aatu Koskensilta, 2006/02/17
  - Re: Z set theory - predicative or impredicative?, MoeBlee, 2006/02/21
    - Re: Z set theory - predicative or impredicative?, Aatu Koskensilta, 2006/02/21
PROOF THAT THERE ARE AN INFINITY OF PRIMES!!!!!!!!!!!!!!, NILS B�RJESSON, 2006/02/16
- Re: PROOF THAT THERE ARE AN INFINITY OF PRIMES!!!!!!!!!!!!!!, asimpleton, 2006/02/16
ALL M IS DIVISIBLE BY SOME OF THE NUMBERS:, NILS B�RJESSON, 2006/02/16
- ALL M IS DIVISIBLE BY SOME OF THE NUMBERS:, NILS B�RJESSON, 2006/02/16
The tluth, Aatu Koskensilta, 2006/02/16
- Re: The tluth, Aatu Koskensilta, 2006/02/16
- Re: The tluth, Aatu Koskensilta, 2006/02/16
Can someone give me an example of a recursively generable bounded sequence..., Giovanni Lagnese, 2006/02/15
Order of the complex numbers and its consequences, Carloman, 2006/02/15
TRansforme sua vida de R$ 6.00 para + de R$ 6.000, mude sua vida, 2006/02/14
Is it a logical fallacy to change position?, gregl, 2006/02/13
- Re: Is it a logical fallacy to change position?, William Elliot, 2006/02/13
propsitional calculs vs. propositional logic, logicstudy06, 2006/02/13
- Re: propsitional calculs vs. propositional logic, Torkel Franzen, 2006/02/13
- Re: propsitional calculs vs. propositional logic, poopdeville, 2006/02/13
UPPER-BOUND FOR THE NUMBER OF POSITIONS IN CHESS!!!!!, NILS B�RJESSON, 2006/02/11
- Re: UPPER-BOUND FOR THE NUMBER OF POSITIONS IN CHESS!!!!!, Harris, 2006/02/13
Arithmetic without the Successor Axiom, abo, 2006/02/11
- Re: Arithmetic without the Successor Axiom, abo, 2006/02/12
- Re: Arithmetic without the Successor Axiom, dchris, 2006/02/16
  - Re: Arithmetic without the Successor Axiom, Patrick, 2006/02/17
  - Re: Arithmetic without the Successor Axiom, Shmuel (Seymour J.) Metz, 2006/02/18
    - Re: Arithmetic without the Successor Axiom, Herman Rubin, 2006/02/20
- Re: Arithmetic without the Successor Axiom, abo, 2006/02/28
mathematical proofs? logical statements or not?, gaya . patel, 2006/02/10
- Re: mathematical proofs? logical statements or not?, LordBeotian, 2006/02/12
  - Re: mathematical proofs? logical statements or not?, gaya . patel, 2006/02/12
    - Re: mathematical proofs? logical statements or not?, LordBeotian, 2006/02/13
      
      Re: mathematical proofs? logical statements or not?, poopdeville, 2006/02/13
Mental Abuse, medicaldevicetragedy, 2006/02/10
review of Goldstein's book on Godel, m s, 2006/02/10
- Re: review of Goldstein's book on Godel, Paul Holbach, 2006/02/11
  - Re: review of Goldstein's book on Godel, Jan Burse, 2006/02/11
completeness of predicate calculus, falcon, 2006/02/09
- Re: completeness of predicate calculus, Rupert, 2006/02/10
  - names for kinds of completeness, george, 2006/02/11
    - Re: names for kinds of completeness, Aatu Koskensilta, 2006/02/12
- Re: completeness of predicate calculus, markwh04, 2006/02/10
  - Re: completeness of predicate calculus, Rupert, 2006/02/10
    - Re: completeness of predicate calculus, markwh04, 2006/02/16
      
      Re: completeness of predicate calculus, Aatu Koskensilta, 2006/02/16
      
      Re: completeness of predicate calculus, Rupert, 2006/02/19
    - Re: completeness of predicate calculus, Daryl McCullough, 2006/02/16
      
      Re: completeness of predicate calculus, Chris Menzel, 2006/02/16
      
      Re: completeness of predicate calculus, Chris Menzel, 2006/02/16
      
      Re: completeness of predicate calculus, george, 2006/02/18
      
      Re: completeness of predicate calculus, Rupert, 2006/02/19
  - Re: completeness of predicate calculus, Barb Knox, 2006/02/10
- Re: completeness of predicate calculus, Paul Holbach, 2006/02/10
- Re: completeness of predicate calculus, falcon, 2006/02/13
  - Re: completeness of predicate calculus, Chris Menzel, 2006/02/13
    - Re: completeness of predicate calculus, george, 2006/02/13
Re: Man, Mr. bush Jr. sure is wicked evil eh?, Top Cop, 2006/02/09
computability and logic; proving decidability, Per Freem, 2006/02/09
what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/07
- Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/07
  - Re: what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/07
    - Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/07
      
      Re: what syntactic role does the expression f:A->B play?, george, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, george, 2006/02/11
      
      Re: what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/09
  - Re: what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/07
    - Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, adamgolding, 2006/02/08
      
      Re: what syntactic role does the expression f:A->B play?, William Elliot, 2006/02/08
- Re: what syntactic role does the expression f:A->B play?, MoeBlee, 2006/02/09
Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/07
- Re: Dear platonists, dear realists for natural numbers..., Barb Knox, 2006/02/07
  - Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/08
    - Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/08
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/08
      
      Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/09
      
      Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
    - Re: Dear platonists, dear realists for natural numbers..., Pierre Asselin, 2006/02/08
  - Re: Dear platonists, dear realists for natural numbers..., george, 2006/02/09
    - Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/10
      
      Re: Dear platonists, dear realists for natural numbers..., LordBeotian, 2006/02/10
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/11
      
      Re: Dear platonists, dear realists for natural numbers..., LordBeotian, 2006/02/11
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/11
      
      Re: Dear platonists, dear realists for natural numbers..., LordBeotian, 2006/02/11
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/11
      
      Re: Dear platonists, dear realists for natural numbers..., LordBeotian, 2006/02/11
- Re: [new version] Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/08
  - Re: [new version] Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
    - Re: [new version] Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/09
      
      Re: [new version] Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
      
      Re: [new version] Dear platonists, dear realists for natural numbers..., Daryl McCullough, 2006/02/09
- Dear platonists, dear realists for natural numbers..., Bill Taylor, 2006/02/07
  - Re: Dear platonists, dear realists for natural numbers..., Aatu Koskensilta, 2006/02/08
  - Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/08
    - Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/08
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/08
      
      Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
      
      Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese, 2006/02/09
      
      Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen, 2006/02/09
      
      Re: Dear platonists, dear realists for natural numbers..., george, 2006/02/09
Necessary but not sufficient, H., 2006/02/06
- Re: Necessary but not sufficient, Arturo Magidin, 2006/02/06
- Re: Necessary but not sufficient, Roman, 2006/02/06
- Re: Necessary but not sufficient, Tim, 2006/02/06
this should be easy but.., adamgolding, 2006/02/06
- Re: this should be easy but.., William Elliot, 2006/02/06
  - Re: this should be easy but.., Chris Menzel, 2006/02/06
  - Re: this should be easy but.., adamgolding, 2006/02/06
    - Re: this should be easy but.., William Elliot, 2006/02/06
  - Re: this should be easy but.., G . Frege, 2006/02/07
- Re: this should be easy but.., G . Frege, 2006/02/07
  - Re: this should be easy but.., adamgolding, 2006/02/07
    - Re: this should be easy but.., William Elliot, 2006/02/07
      
      Re: this should be easy but.., adamgolding, 2006/02/07
      
      Re: this should be easy but.., William Elliot, 2006/02/07
      
      Re: this should be easy but.., adamgolding, 2006/02/08
      
      Re: this should be easy but.., William Elliot, 2006/02/08
    - Re: this should be easy but.., G . Frege, 2006/02/07
      
      Re: this should be easy but.., adamgolding, 2006/02/07
      
      Re: this should be easy but.., G . Frege, 2006/02/07
    - Re: this should be easy but.., G . Frege, 2006/02/07
      
      Re: this should be easy but.., adamgolding, 2006/02/08
      
      Re: this should be easy but.., G . Frege, 2006/02/08
      
      Re: this should be easy but.., G . Frege, 2006/02/08
Re: Looking for further studies on logic, waveletter, 2006/02/05
- Re: Looking for further studies on logic, waveletter, 2006/02/05
- Re: Looking for further studies on logic, adamgolding, 2006/02/09
Chemical imbalances: A possible treatment., caesarjbsquitti, 2006/02/04
Re: CH yet again., Keith Ramsay, 2006/02/04
- Re: CH yet again., george, 2006/02/04
  - Re: CH yet again., Aatu Koskensilta, 2006/02/04
    - Re: CH yet again., george, 2006/02/09
      
      Re: CH yet again., Aatu Koskensilta, 2006/02/10
- Re: CH yet again., Robert E. Beaudoin, 2006/02/05
  - Re: CH yet again., Keith Ramsay, 2006/02/06
- CH yet again., Bill Taylor, 2006/02/07
  - Re: CH yet again., Keith Ramsay, 2006/02/10
  - Re: CH yet again., Robert E. Beaudoin, 2006/02/11
Re: Which logic?, Rupert, 2006/02/03
- Re: Which logic?, Mark-T, 2006/02/05
  - Re: Which logic?, Aatu Koskensilta, 2006/02/05
    - Re: Which logic?, george, 2006/02/05
    - Re: Which logic?, Mark-T, 2006/02/09
      
      Re: Which logic?, Aatu Koskensilta, 2006/02/09
      
      Re: Which logic?, Mark-T, 2006/02/12
      
      Re: Which logic?, poopdeville, 2006/02/13
      
      Re: Which logic?, Aatu Koskensilta, 2006/02/14
Ad hominem [summary], me2, 2006/02/03
- Re: Ad hominem [summary], Mark K. Bilbo, 2006/02/03
Re: question about Godel numbers, Rupert, 2006/02/02
- Re: question about Godel numbers, Per Freem, 2006/02/05
  - Re: question about Godel numbers, Rupert, 2006/02/05
A new geometry (in Klein's sense)?, Giovanni Lagnese, 2006/02/02
- Re: A new geometry (in Klein's sense)?, William Elliot, 2006/02/03
  - Re: A new geometry (in Klein's sense)?, Giovanni Lagnese, 2006/02/03
    - Re: A new geometry (in Klein's sense)?, William Elliot, 2006/02/03
      
      Re: A new geometry (in Klein's sense)?, Giovanni Lagnese, 2006/02/03
Beauty is a relactionship, Roberto Vescarelli, 2006/02/02
Re: There is no language of arithmetic, Jan Burse, 2006/02/01
- Re: There is no language of arithmetic, Nam Nguyen, 2006/02/01
  - Re: There is no language of arithmetic, MoeBlee, 2006/02/02
Intuitionist Arithmetic + Church's Thesis, Colin, 2006/02/01
- Re: Intuitionist Arithmetic + Church's Thesis, matthias, 2006/02/01
  - Re: Intuitionist Arithmetic + Church's Thesis, matthias, 2006/02/03
Constructivist help, please, andrew, 2006/02/01
- Re: Constructivist help, please, H. J. Sander Bruggink, 2006/02/01
  - Re: Constructivist help, please, andrew, 2006/02/01
    - Re: Constructivist help, please, H. J. Sander Bruggink, 2006/02/01
      
      Re: Constructivist help, please, andrew, 2006/02/01
    - Re: Constructivist help, please, H. J. Sander Bruggink, 2006/02/01
      
      Re: Constructivist help, please, andrew, 2006/02/01
Re: Question about set definition, William Elliot, 2006/02/01
- Re: Question about set definition, Owen, 2006/02/01
  - Re: Question about set definition, agapito6314, 2006/02/02
  - Re: Question about set definition, agapito6314, 2006/02/02
    - Re: Question about set definition, Barb Knox, 2006/02/02
    - Re: Question about set definition, Owen, 2006/02/03
      
      Re: Question about set definition, agapito6314, 2006/02/03
      
      Re: Question about set definition, Owen, 2006/02/03
      
      Re: Question about set definition, MoeBlee, 2006/02/03
      
      Re: Question about set definition, Owen, 2006/02/03
      
      Re: Question about set definition, MoeBlee, 2006/02/03
      
      Re: Question about set definition, Owen, 2006/02/04
      
      Re: Question about set definition, MoeBlee, 2006/02/04
      
      Re: Question about set definition, agapito6314, 2006/02/04
      
      Re: Question about set definition, Owen, 2006/02/04
      
      Re: Question about set definition, agapito6314, 2006/02/05
Re: Where is the error?, Torkel Franzen, 2006/02/01
- Re: Where is the error?, Charlie-Boo, 2006/02/01
  - Re: Where is the error?, Aatu Koskensilta, 2006/02/02
    - Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Jan Burse, 2006/02/02
      
      Re: Where is the error?, Daryl McCullough, 2006/02/02
      
      Re: Where is the error?, Jan Burse, 2006/02/02
      
      Re: Where is the error?, Torkel Franzen, 2006/02/05
      
      Re: Where is the error?, Jan Burse, 2006/02/05
      
      Re: Where is the error?, Torkel Franzen, 2006/02/05
      
      Re: Where is the error?, Jan Burse, 2006/02/05
      
      Re: Where is the error?, Torkel Franzen, 2006/02/05
      
      Re: Where is the error?, Daryl McCullough, 2006/02/05
      
      Re: Where is the error?, Jan Burse, 2006/02/03
      
      Re: Where is the error?, Torkel Franzen, 2006/02/04
      
      Re: Where is the error?, Jan Burse, 2006/02/04
      
      Re: Where is the error?, Torkel Franzen, 2006/02/04
      
      Re: Where is the error?, Jan Burse, 2006/02/04
      
      Re: Where is the error?, Torkel Franzen, 2006/02/04
      
      Re: Where is the error?, Charlie-Boo, 2006/02/04
      
      Re: Where is the error?, Jan Burse, 2006/02/04
      
      Re: Where is the error?, Torkel Franzen, 2006/02/05
      
      Re: Where is the error?, Jan Burse, 2006/02/05
      
      Re: Where is the error?, Torkel Franzen, 2006/02/05
      
      Re: Where is the error?, Daryl McCullough, 2006/02/05
      
      Re: Where is the error?, Jan Burse, 2006/02/05
      
      Re: Where is the error?, Charlie-Boo, 2006/02/04
      
      Re: Where is the error?, Torkel Franzen, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Torkel Franzen, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Torkel Franzen, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Torkel Franzen, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Daryl McCullough, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Torkel Franzen, 2006/02/03
      
      Re: Where is the error?, Charlie-Boo, 2006/02/03
      
      Re: Where is the error?, Torkel Franzen, 2006/02/03
      
      Re: Where is the error?, Charlie-Boo, 2006/02/03
      
      Re: Where is the error?, Torkel Franzen, 2006/02/04
      
      Re: Where is the error?, Charlie-Boo, 2006/02/04
      
      Re: Where is the error?, Torkel Franzen, 2006/02/04
      
      Re: Where is the error?, Charlie-Boo, 2006/02/04
- Re: Where is the error?, H. J. Sander Bruggink, 2006/02/01
  - Re: Where is the error?, Charlie-Boo, 2006/02/01
    - Re: Where is the error?, H. J. Sander Bruggink, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, H. J. Sander Bruggink, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
- Re: Where is the error?, Alan Smaill, 2006/02/02
  - Re: Where is the error?, Charlie-Boo, 2006/02/02
    - Re: Where is the error?, Alan Smaill, 2006/02/02
    - Re: Where is the error?, Jan Burse, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Alan Smaill, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
      
      Re: Where is the error?, Charlie-Boo, 2006/02/02
Re: Choice Question # 2, Chris Menzel, 2006/01/31
- Re: Choice Question # 2, Daryl McCullough, 2006/02/01
  - Re: Choice Question # 2, Barb Knox, 2006/02/01
  - Re: Choice Question # 2, Chris Menzel, 2006/02/01
    - Re: Choice Question # 2, Charlie-Boo, 2006/02/02
- Re: Choice Question # 2, Norman Megill, 2006/01/31
  - Re: Choice Question # 2, Charlie-Boo, 2006/02/01
    - Re: Choice Question # 2, Norman Megill, 2006/02/01
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
      
      Re: Choice Question # 2, Jan Burse, 2006/02/02
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
      
      Re: Choice Question # 2, Jan Burse, 2006/02/03
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/03
      
      Re: Choice Question # 2, Jan Burse, 2006/02/03
      
      Re: Choice Question # 2, Norman Megill, 2006/02/03
- Re: Choice Question # 2, David C . Ullrich, 2006/02/01
  - Re: Choice Question # 2, Charlie-Boo, 2006/02/01
    - Re: Choice Question # 2, Jan Burse, 2006/02/01
      
      Re: Choice Question # 2, Jan Burse, 2006/02/01
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
      
      Re: Choice Question # 2, Jan Burse, 2006/02/03
      
      Re: Choice Question # 2, Jan Burse, 2006/02/03
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/04
      
      Re: Choice Question # 2, Jan Burse, 2006/02/04
      
      Re: Choice Question # 2, Jan Burse, 2006/02/04
      
      Re: Choice Question # 2, Chris Menzel, 2006/02/04
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/05
      
      Re: Choice Question # 2, Chris Menzel, 2006/02/05
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/12
      
      Re: Choice Question # 2, Chris Menzel, 2006/02/12
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/13
      
      Message not available
      Re: Choice Question # 2, Charlie-Boo, 2006/02/14
      
      Re: Choice Question # 2, Chris Menzel, 2006/02/15
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/19
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
      
      Re: Choice Question # 2, Jan Burse, 2006/02/02
      
      Re: Choice Question # 2, Jan Burse, 2006/02/02
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
    - Re: Choice Question # 2, David C . Ullrich, 2006/02/02
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/02
      
      Re: Choice Question # 2, David C . Ullrich, 2006/02/03
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/03
      
      Re: Choice Question # 2, David C . Ullrich, 2006/02/04
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/04
      
      Re: Choice Question # 2, David C . Ullrich, 2006/02/05
      
      Re: Choice Question # 2, Keith Ramsay, 2006/02/04
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/04
      
      Re: Choice Question # 2, Daryl McCullough, 2006/02/04
      
      Re: Choice Question # 2, Charlie-Boo, 2006/02/04
Re: <=> same as <-> ?, gaya . patel, 2006/01/31
- Re: <=> same as <-> ?, H. J. Sander Bruggink, 2006/02/01
  - Re: <=> same as <-> ?, gaya . patel, 2006/02/07
- Re: <=> same as <-> ?, Owen, 2006/02/01
- Re: <=> same as <-> ?, gaya . patel, 2006/02/07
Re: incompleteness of first-order logic, Jan Burse, 2006/01/31
- Re: incompleteness of first-order logic, Jan Burse, 2006/01/31
  - Re: incompleteness of first-order logic, Bertie Reed, 2006/02/03