sci.logic
- Proving invalidity in first-order logic,
ali_tofigh
- Re: Proving invalidity in first-order logic, timvaz_059
- Equivalence of fragments of second-order logic,
Michael De
- Re: Equivalence of fragments of second-order logic, Aatu Koskensilta
- Re: Equivalence of fragments of second-order logic, Aatu Koskensilta
- Multiple Natures Conjecture, mobydikc
- Re: First Order Logic, Bertie Reed
- truth/falsity of sentences in first-order logic,
ali_tofigh
- Re: truth/falsity of sentences in first-order logic,
H. J. Sander Bruggink
- Re: truth/falsity of sentences in first-order logic,
ali_tofigh
- Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink
- Re: truth/falsity of sentences in first-order logic, ali_tofigh
- Re: truth/falsity of sentences in first-order logic, Nam Nguyen
- Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink
- Re: truth/falsity of sentences in first-order logic,
Charlie-Boo
- Re: truth/falsity of sentences in first-order logic, Chris Menzel
- Re: truth/falsity of sentences in first-order logic, Charlie-Boo
- Re: truth/falsity of sentences in first-order logic, Chris Menzel
- Re: truth/falsity of sentences in first-order logic, David C . Ullrich
- Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink
- Re: truth/falsity of sentences in first-order logic,
David C . Ullrich
- Re: truth/falsity of sentences in first-order logic, Aatu Koskensilta
- Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink
- Re: truth/falsity of sentences in first-order logic, Chris Menzel
- Re: truth/falsity of sentences in first-order logic, Charlie-Boo
- Re: truth/falsity of sentences in first-order logic, Charlie-Boo
- Re: truth/falsity of sentences in first-order logic,
ali_tofigh
- Re: truth/falsity of sentences in first-order logic, William Elliot
- Re: truth/falsity of sentences in first-order logic, george
- Re: truth/falsity of sentences in first-order logic,
H. J. Sander Bruggink
- Is exponentiation constructive?,
Giovanni Lagnese
- Re: Is exponentiation constructive?,
thefrenchcody
- Re: Is exponentiation constructive?,
Giovanni Lagnese
- Re: Is exponentiation constructive?, Giovanni Lagnese
- Re: Is exponentiation constructive?, Giovanni Lagnese
- Re: Is exponentiation constructive?,
Giovanni Lagnese
- Re: Is exponentiation constructive?,
thefrenchcody
- Peano's Axioms from the Field Axioms alone?,
Dan Christensen
- Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen
- Re: Peano's Axioms from the Field Axioms alone?,
William Elliot
- Re: Peano's Axioms from the Field Axioms alone?,
Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?, William Elliot
- Re: Peano's Axioms from the Field Axioms alone?, Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?, Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?,
Dan Christensen
- Re: Peano's Axioms from the Field Axioms alone?, Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen
- Re: Peano's Axioms from the Field Axioms alone?, Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?, Jan Burse
- Re: Peano's Axioms from the Field Axioms alone?, Dan Christensen
- Re: Peano's Axioms from the Field Axioms alone?,
Jan Burse
- Re: A Definition of an Algorithm,
george
- <Possible follow-ups>
- Re: A Definition of an Algorithm, george
- Question about Axiom of Separation,
agapito6314
- Re: Question about Axiom of Separation,
Daryl McCullough
- Re: Question about Axiom of Separation, agapito6314
- Re: Question about Axiom of Separation, agapito6314
- Re: Question about Axiom of Separation,
Daryl McCullough
- Where is the moebius theorem hiding?,
Ken Quirici
- Re: Where is the moebius theorem hiding?, Ken Quirici
- Re: Where is the moebius theorem hiding?, ken.quirici@xxxxxxxxxx
- inverse/obverse,
michaelbell
- Re: inverse/obverse,
Ken Pledger
- Re: inverse/obverse,
michaelbell
- Re: inverse/obverse, Ken Pledger
- Re: inverse/obverse, waveletter
- Re: inverse/obverse,
michaelbell
- Re: inverse/obverse,
Ken Pledger
- Re: Do mathematicians know their axioms?,
Anders Goeransson
- Re: Do mathematicians know their axioms?,
abo
- Re: Do mathematicians know their axioms?,
Anders Goeransson
- Re: Do mathematicians know their axioms?, abo
- Re: Do mathematicians know their axioms?, Anders Goeransson
- Re: Do mathematicians know their axioms?, abo
- Re: Do mathematicians know their axioms?,
Anders Goeransson
- Re: Do mathematicians know their axioms?,
abo
- Re: Scientists evolutionary precursers to autistics, H. J. Sander Bruggink
- Re: Question to supporters of Intelligent Design,
Cheeze
- Re: Question to supporters of Intelligent Design, Arno Nymph
- <Possible follow-ups>
- Re: Question to supporters of Intelligent Design,
stoney
- Re: Question to supporters of Intelligent Design, Johannes Werner
- Please provide me statistical help, sam
- Deductive/Inductive Arguments,
tjb
- Re: Deductive/Inductive Arguments,
William Elliot
- Re: Deductive/Inductive Arguments,
tjb
- Re: Deductive/Inductive Arguments, William Elliot
- Re: Deductive/Inductive Arguments, tjb
- Re: Deductive/Inductive Arguments, William Elliot
- Re: Deductive/Inductive Arguments, sradhakr
- Re: Deductive/Inductive Arguments, William Elliot
- Re: Deductive/Inductive Arguments, R. Srinivasan
- Re: Deductive/Inductive Arguments, William Elliot
- Re: Deductive/Inductive Arguments,
tjb
- Re: Deductive/Inductive Arguments,
R. Srinivasan
- Re: Deductive/Inductive Arguments, William Elliot
- <Possible follow-ups>
- Deductive/Inductive Arguments, Bill Taylor
- Re: Deductive/Inductive Arguments,
William Elliot
- Re: Axioms for the real numbers,
un student
- Re: Axioms for the real numbers, Norman Megill
- Re: Axioms for the real numbers, Nam Nguyen
- <Possible follow-ups>
- Re: Axioms for the real numbers,
george
- Re: Axioms for the real numbers, Dan Christensen
- Comparing Proofs of Rosser's 1936 Theorem,
Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem,
David C . Ullrich
- Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem,
Torkel Franzen
- Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo
- Re: Comparing Proofs of Rosser's 1936 Theorem,
David C . Ullrich
- Proving induction,
LordBeotian
- Re: Proving induction,
The Ghost In The Machine
- Re: Proving induction,
Charlie-Boo
- Re: Proving induction, Jan Burse
- Re: Proving induction, Charlie-Boo
- Re: Proving induction,
Charlie-Boo
- Re: Proving induction, smnewberger
- Re: Proving induction, Charlie-Boo
- Re: Proving induction,
The Ghost In The Machine
- Equivalence Laws between logic and arithmetic,
studylogic06
- Re: Equivalence Laws between logic and arithmetic, William Elliot
- Re: Equivalence Laws between logic and arithmetic, ccghzhu
- Re: Equivalence Laws between logic and arithmetic, Ken Pledger
- Re: Equivalence Laws between logic and arithmetic, Jan Burse
- Can p implies q be drawn in a venn diagram?,
gaya . patel
- Re: Can p implies q be drawn in a venn diagram?,
William Elliot
- Re: Can p implies q be drawn in a venn diagram?, gaya . patel
- Re: Can p implies q be drawn in a venn diagram?,
William Elliot
- Z set theory - predicative or impredicative?,
MoeBlee
- Re: Z set theory - predicative or impredicative?,
Aatu Koskensilta
- Re: Z set theory - predicative or impredicative?,
MoeBlee
- Re: Z set theory - predicative or impredicative?, Aatu Koskensilta
- Re: Z set theory - predicative or impredicative?,
MoeBlee
- Re: Z set theory - predicative or impredicative?,
Aatu Koskensilta
- PROOF THAT THERE ARE AN INFINITY OF PRIMES!!!!!!!!!!!!!!, NILS BÖRJESSON
- The tluth,
Aatu Koskensilta
- Re: The tluth, Aatu Koskensilta
- Re: The tluth, Aatu Koskensilta
- Can someone give me an example of a recursively generable bounded sequence..., Giovanni Lagnese
- Order of the complex numbers and its consequences, Carloman
- Is it a logical fallacy to change position?,
gregl
- Re: Is it a logical fallacy to change position?, William Elliot
- propsitional calculs vs. propositional logic,
logicstudy06
- Re: propsitional calculs vs. propositional logic, Torkel Franzen
- Re: propsitional calculs vs. propositional logic, poopdeville
- UPPER-BOUND FOR THE NUMBER OF POSITIONS IN CHESS!!!!!, NILS BÖRJESSON
- mathematical proofs? logical statements or not?,
gaya . patel
- Re: mathematical proofs? logical statements or not?,
LordBeotian
- Re: mathematical proofs? logical statements or not?,
gaya . patel
- Re: mathematical proofs? logical statements or not?, LordBeotian
- Re: mathematical proofs? logical statements or not?, poopdeville
- Re: mathematical proofs? logical statements or not?,
gaya . patel
- Re: mathematical proofs? logical statements or not?,
LordBeotian
- review of Goldstein's book on Godel,
m s
- Re: review of Goldstein's book on Godel,
Paul Holbach
- Re: review of Goldstein's book on Godel, Jan Burse
- Re: review of Goldstein's book on Godel,
Paul Holbach
- completeness of predicate calculus,
falcon
- Re: completeness of predicate calculus,
Rupert
- names for kinds of completeness,
george
- Re: names for kinds of completeness, Aatu Koskensilta
- names for kinds of completeness,
george
- Re: completeness of predicate calculus,
markwh04
- Re: completeness of predicate calculus,
Rupert
- Re: completeness of predicate calculus, markwh04
- Re: completeness of predicate calculus, Aatu Koskensilta
- Re: completeness of predicate calculus, Rupert
- Re: completeness of predicate calculus, Daryl McCullough
- Re: completeness of predicate calculus, Chris Menzel
- Re: completeness of predicate calculus, Chris Menzel
- Re: completeness of predicate calculus, george
- Re: completeness of predicate calculus, Rupert
- Re: completeness of predicate calculus, Barb Knox
- Re: completeness of predicate calculus,
Rupert
- Re: completeness of predicate calculus, Paul Holbach
- Re: completeness of predicate calculus,
falcon
- Re: completeness of predicate calculus, Chris Menzel
- Re: completeness of predicate calculus,
Rupert
- computability and logic; proving decidability, Per Freem
- what syntactic role does the expression f:A->B play?,
adamgolding
- Re: what syntactic role does the expression f:A->B play?,
William Elliot
- Re: what syntactic role does the expression f:A->B play?,
adamgolding
- Re: what syntactic role does the expression f:A->B play?, William Elliot
- Re: what syntactic role does the expression f:A->B play?, george
- Re: what syntactic role does the expression f:A->B play?, adamgolding
- Re: what syntactic role does the expression f:A->B play?, William Elliot
- Re: what syntactic role does the expression f:A->B play?, george
- Re: what syntactic role does the expression f:A->B play?, adamgolding
- Re: what syntactic role does the expression f:A->B play?, William Elliot
- Re: what syntactic role does the expression f:A->B play?,
adamgolding
- Re: what syntactic role does the expression f:A->B play?, William Elliot
- Re: what syntactic role does the expression f:A->B play?, adamgolding
- Re: what syntactic role does the expression f:A->B play?, William Elliot
- Re: what syntactic role does the expression f:A->B play?,
adamgolding
- Re: what syntactic role does the expression f:A->B play?, MoeBlee
- Re: what syntactic role does the expression f:A->B play?,
William Elliot
- Dear platonists, dear realists for natural numbers...,
Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers...,
Barb Knox
- Re: Dear platonists, dear realists for natural numbers...,
Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., Pierre Asselin
- Re: Dear platonists, dear realists for natural numbers...,
george
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Message not available
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Message not available
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Message not available
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers...,
Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers...,
Barb Knox
- Re: Dear platonists, dear realists for natural numbers..., Aatu Koskensilta
- Re: Dear platonists, dear realists for natural numbers...,
Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., Giovanni Lagnese
- Re: Dear platonists, dear realists for natural numbers..., Torkel Franzen
- Re: Dear platonists, dear realists for natural numbers..., george
- Re: Necessary but not sufficient, Arturo Magidin
- Re: Necessary but not sufficient, Roman
- Re: Necessary but not sufficient, Tim
- Re: this should be easy but..,
William Elliot
- Re: this should be easy but.., Chris Menzel
- Re: this should be easy but..,
adamgolding
- Re: this should be easy but.., William Elliot
- Re: this should be easy but.., adamgolding
- Re: this should be easy but.., G . Frege
- Re: this should be easy but..,
G . Frege
- Re: this should be easy but..,
adamgolding
- Re: this should be easy but.., William Elliot
- Re: this should be easy but.., adamgolding
- Re: this should be easy but.., William Elliot
- Re: this should be easy but.., adamgolding
- Re: this should be easy but.., William Elliot
- Re: this should be easy but.., G . Frege
- Re: this should be easy but.., adamgolding
- Re: this should be easy but.., G . Frege
- Re: this should be easy but.., G . Frege
- Re: this should be easy but.., adamgolding
- Re: this should be easy but.., G . Frege
- Re: this should be easy but.., G . Frege
- Re: this should be easy but..,
adamgolding
- <Possible follow-ups>
- Re: Looking for further studies on logic, waveletter
- Re: Looking for further studies on logic, adamgolding
- <Possible follow-ups>
- Re: CH yet again.,
george
- Re: CH yet again.,
Aatu Koskensilta
- Re: CH yet again., george
- Re: CH yet again., Aatu Koskensilta
- Re: CH yet again.,
Aatu Koskensilta
- Re: CH yet again.,
Robert E. Beaudoin
- Re: CH yet again., Keith Ramsay
- CH yet again.,
Bill Taylor
- Re: CH yet again., Keith Ramsay
- Re: CH yet again., Robert E. Beaudoin
- Re: Which logic?,
Rupert
- Re: Which logic?,
Mark-T
- Re: Which logic?, Aatu Koskensilta
- Re: Which logic?, george
- Re: Which logic?, Mark-T
- Re: Which logic?, Aatu Koskensilta
- Re: Which logic?, Mark-T
- Re: Which logic?, poopdeville
- Re: Which logic?, Aatu Koskensilta
- Re: Which logic?,
Mark-T
- Re: question about Godel numbers,
Rupert
- Re: question about Godel numbers,
Per Freem
- Re: question about Godel numbers, Rupert
- Re: question about Godel numbers,
Per Freem
- Re: A new geometry (in Klein's sense)?,
William Elliot
- Re: A new geometry (in Klein's sense)?,
Giovanni Lagnese
- Re: A new geometry (in Klein's sense)?, William Elliot
- Re: A new geometry (in Klein's sense)?, Giovanni Lagnese
- Re: A new geometry (in Klein's sense)?,
Giovanni Lagnese
- Re: There is no language of arithmetic, Jan Burse
- <Possible follow-ups>
- Re: There is no language of arithmetic,
Nam Nguyen
- Re: There is no language of arithmetic, MoeBlee
- Re: There is no language of arithmetic, G . Frege
- Re: Constructivist help, please,
H. J. Sander Bruggink
- Re: Constructivist help, please,
andrew
- Re: Constructivist help, please, H. J. Sander Bruggink
- Re: Constructivist help, please, andrew
- Re: Constructivist help, please, H. J. Sander Bruggink
- Re: Constructivist help, please, andrew
- Re: Constructivist help, please,
andrew
- <Possible follow-ups>
- Re: Question about set definition,
Owen
- Re: Question about set definition, agapito6314
- Re: Question about set definition,
agapito6314
- Re: Question about set definition, Barb Knox
- Re: Question about set definition, Owen
- Re: Question about set definition, agapito6314
- Re: Question about set definition, Owen
- Re: Question about set definition, MoeBlee
- Re: Question about set definition, Owen
- Re: Question about set definition, MoeBlee
- Re: Question about set definition, Owen
- Re: Question about set definition, MoeBlee
- Re: Question about set definition, agapito6314
- Re: Question about set definition, Owen
- Re: Question about set definition, agapito6314
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Aatu Koskensilta
- Message not available
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Daryl McCullough
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Daryl McCullough
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Daryl McCullough
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Charlie-Boo
- Message not available
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Daryl McCullough
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Torkel Franzen
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?,
Aatu Koskensilta
- Re: Where is the error?,
Charlie-Boo
- Message not available
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, H. J. Sander Bruggink
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?, Alan Smaill
- Re: Where is the error?, Jan Burse
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Alan Smaill
- Re: Where is the error?, Charlie-Boo
- Re: Where is the error?, Charlie-Boo
- Re: Choice Question # 2,
Daryl McCullough
- Re: Choice Question # 2, Barb Knox
- Re: Choice Question # 2,
Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- <Possible follow-ups>
- Re: Choice Question # 2,
Norman Megill
- Re: Choice Question # 2,
Charlie-Boo
- Re: Choice Question # 2, Norman Megill
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Norman Megill
- Re: Choice Question # 2,
Charlie-Boo
- Re: Choice Question # 2,
David C . Ullrich
- Re: Choice Question # 2,
Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Chris Menzel
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Jan Burse
- Re: Choice Question # 2, Charlie-Boo
- Message not available
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, David C . Ullrich
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, David C . Ullrich
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, David C . Ullrich
- Re: Choice Question # 2, Keith Ramsay
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2, Daryl McCullough
- Re: Choice Question # 2, Charlie-Boo
- Re: Choice Question # 2,
Charlie-Boo
- Re: <=> same as <-> ?,
H. J. Sander Bruggink
- Re: <=> same as <-> ?, gaya . patel
- <Possible follow-ups>
- Re: <=> same as <-> ?, Owen
- Re: <=> same as <-> ?, gaya . patel
