sci.logic (thread)

Re: An example of someone who prayed for something and got it., yowie, 2005/06/29
- Re: An example of someone who prayed for something and got it., yowie, 2005/06/29
About countable Ordinals., Bill Taylor, 2005/06/29
- Re: About countable Ordinals., Keith Ramsay, 2005/06/29
  - Re: About countable Ordinals., Torkel Franzen, 2005/06/29
- Re: About countable Ordinals., H. Enderton, 2005/06/29
Derivations (SD), 1st Semester Logic Student, 2005/06/27
- Re: Derivations (SD), Jeffrey Ketland, 2005/06/27
  - Re: Derivations (SD), 1st Semester Logic Student, 2005/06/29
    - Re: Derivations (SD), Torkel Franzen, 2005/06/29
      
      Re: Derivations (SD), Lee Rudolph, 2005/06/29
      
      Re: Derivations (SD), 1st Semester Logic Student, 2005/06/29
      
      Re: Derivations (SD), Torkel Franzen, 2005/06/29
    - Re: Derivations (SD), Jeffrey Ketland, 2005/06/29
      
      Re: Derivations (SD), Torkel Franzen, 2005/06/29
      
      Re: Derivations (SD), Robert Low, 2005/06/29
      
      Re: Derivations (SD), 1st Semester Logic Student, 2005/06/29
An Approximate Circle, Douglas Eagleson, 2005/06/26
- Re: An Approximate Circle, Gib Bogle, 2005/06/26
- An Approximate Circle, Douglas Eagleson, 2005/06/26
  - Re: An Approximate Circle, The Ghost In The Machine, 2005/06/26
    - Re: An Approximate Circle, Ken Quirici, 2005/06/28
      
      Re: An Approximate Circle, The Ghost In The Machine, 2005/06/29
      
      Re: An Approximate Circle, James Waldby, 2005/06/29
Shrieks and splashes, ps218, 2005/06/25
- Re: Shrieks and splashes, The Ghost In The Machine, 2005/06/25
  - Re: Shrieks and splashes, ps218, 2005/06/25
    - Re: Shrieks and splashes, The Ghost In The Machine, 2005/06/25
- Re: Shrieks and splashes, Robert Low, 2005/06/25
  - Re: Shrieks and splashes, Barb Knox, 2005/06/25
    - Re: Shrieks and splashes, Robert Low, 2005/06/25
Fun Times With SL, 1st Semester Logic Student, 2005/06/25
- Re: Fun Times With SL, William Elliot, 2005/06/25
- Re: Fun Times With SL, H. Enderton, 2005/06/26
- Re: Fun Times With SL, mikejde@xxxxxxxxx, 2005/06/27
  - Re: Fun Times With SL, 1st Semester Logic Student, 2005/06/29
    - Re: Fun Times With SL, mikejde@xxxxxxxxx, 2005/06/29
Set Theory Exercise, Max Weiss, 2005/06/24
- Re: Set Theory Exercise, William Elliot, 2005/06/24
  - Re: Set Theory Exercise, Max Weiss, 2005/06/25
    - Re: Set Theory Exercise, William Elliot, 2005/06/26
      
      Re: Set Theory Exercise, Max Weiss, 2005/06/27
      
      Set Theory Exercise, William Elliot, 2005/06/27
- Re: Set Theory Exercise, george, 2005/06/25
  - Re: Set Theory Exercise, Max Weiss, 2005/06/26
    - Re: Set Theory Exercise, george, 2005/06/27
      
      Re: Set Theory Exercise, Max Weiss, 2005/06/28
      
      Re: Set Theory Exercise, george, 2005/06/28
      
      Re: Set Theory Exercise, Max Weiss, 2005/06/29
  - Re: Set Theory Exercise, Alan Smaill, 2005/06/27
Re: Comparing times in FOPC, Jim Spriggs, 2005/06/23
- Re: Comparing times in FOPC, Gary Leighton, 2005/06/24
- Re: Comparing times in FOPC, Gary Leighton, 2005/06/24
Free xxx adult passwords at our message boards !! check out the HOT BABES !! they go beyond sci.logic !!, truplayaqwikpass, 2005/06/22
"First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 2005/06/22
- Re: "First example of a purely number-theoretic first order statement independent of PA", Torkel Franzen, 2005/06/22
  - Re: "First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 2005/06/22
    - Re: "First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 2005/06/22
    - Re: "First example of a purely number-theoretic first order statement independent of PA", Torkel Franzen, 2005/06/23
Gödel's theorems in Wikipedia, Aatu Koskensilta, 2005/06/22
- re: Gödel's theorems in Wikipedia, Acme Diagnostics, 2005/06/22
  - Re: Gödel's theorems in Wikipedia, ps218, 2005/06/22
    - Message not available
      
      Message not available
      
      Re: Gödel's theorems in Wikipedia, David C . Ullrich, 2005/06/24
    - Message not available
      
      Message not available
      
      Re: Gödel's theorems in Wikipedia, David C . Ullrich, 2005/06/24
  - Re: Gödel's theorems in Wikipedia, Chris Menzel, 2005/06/22
  - Message not available
    - Re: Gödel's theorems in Wikipedia, Aatu Koskensilta, 2005/06/23
  - Message not available
    - Re: Gödel's theorems in Wikipedia, David C . Ullrich, 2005/06/24
- Re: Gödel's theorems in Wikipedia, (not a)\\b, 2005/06/26
  - Re: Gödel's theorems in Wikipedia, (not a)\\/b, 2005/06/26
equivalence of 2 tests, HERC777, 2005/06/22
- Re: equivalence of 2 tests, Randy Poe, 2005/06/22
  - Re: equivalence of 2 tests, double d, 2005/06/22
    - Re: equivalence of 2 tests, HERC777, 2005/06/22
- Re: equivalence of 2 tests, george, 2005/06/26
Back to SL for a sec..., 1st Semester Logic Student, 2005/06/21
- Re: Back to SL for a sec..., HERC777, 2005/06/21
- Re: Back to SL for a sec..., William Elliot, 2005/06/22
Formulas & Sentences of PL..., 1st Semester Logic Student, 2005/06/21
- Re: Formulas & Sentences of PL..., William Elliot, 2005/06/21
- Re: Formulas & Sentences of PL..., Jim Spriggs, 2005/06/21
  - Re: Formulas & Sentences of PL..., 1st Semester Logic Student, 2005/06/21
    - Re: Formulas & Sentences of PL..., William Elliot, 2005/06/21
      
      Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 2005/06/28
      
      Re: Formulas & Sentences of PL..., Jim Spriggs, 2005/06/28
      
      Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 2005/06/28
      
      Re: Formulas & Sentences of PL..., Jim Spriggs, 2005/06/28
      
      Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 2005/06/28
      
      Re: Formulas & Sentences of PL..., Jim Spriggs, 2005/06/28
meaning of "only" vs. "if/then", rachelms79, 2005/06/21
- Re: meaning of "only" vs. "if/then", Jim Spriggs, 2005/06/21
Logic in Schools, PureAI, 2005/06/21
- Re: Logic in Schools, William Elliot, 2005/06/21
- Re: Logic in Schools, Robert Low, 2005/06/21
- Re: Logic in Schools, Jim Spriggs, 2005/06/21
  - Re: Logic in Schools, H. Enderton, 2005/06/23
- Re: Logic in Schools, Jim Spriggs, 2005/06/21
- re: Logic in Schools, Acme Diagnostics, 2005/06/21
Complete extensions of the theory of Linear Orders, vg, 2005/06/20
- Re: Complete extensions of the theory of Linear Orders, timm, 2005/06/21
Model Theory and algebraic element, Jean-Pierre MERX, 2005/06/20
- Re: Model Theory and algebraic element, Achim Blumensath, 2005/06/21
Truth Values in PL, 1st Semester Logic Student, 2005/06/20
- Re: Truth Values in PL, Ken Quirici, 2005/06/20
  - Re: Truth Values in PL, Jim Spriggs, 2005/06/20
    - Re: Truth Values in PL, Ken Quirici, 2005/06/20
      
      Re: Truth Values in PL, Jim Spriggs, 2005/06/20
  - Re: Truth Values in PL, H. Enderton, 2005/06/23
    - Re: Truth Values in PL, Ken Quirici, 2005/06/23
  - Re: Truth Values in PL, George Dance, 2005/06/25
    - Re: Truth Values in PL, Jim Burns, 2005/06/25
- Re: Truth Values in PL, William Elliot, 2005/06/20
  - Re: Truth Values in PL, Jim Spriggs, 2005/06/20
- Re: Truth Values in PL, Owen, 2005/06/28
Re: free variables in FOL, Ken Quirici, 2005/06/20
- Re: free variables in FOL, Ken Quirici, 2005/06/20
  - Re: free variables in FOL, Chris Menzel, 2005/06/20
    - Re: free variables in FOL, Ken Quirici, 2005/06/20
  - Re: free variables in FOL, HERC777, 2005/06/20
    - Re: free variables in FOL, Ken Quirici, 2005/06/20
      
      Re: free variables in FOL, HERC777, 2005/06/20
      
      Re: free variables in FOL, HERC777, 2005/06/21
      
      Re: free variables in FOL, HERC777, 2005/06/21
      
      Re: free variables in FOL, Ken Quirici, 2005/06/21
      
      Re: free variables in FOL, HERC777, 2005/06/21
      
      Re: free variables in FOL, Ken Quirici, 2005/06/21
      
      Re: free variables in FOL, HERC777, 2005/06/21
      
      Re: free variables in FOL, Ken Quirici, 2005/06/21
      
      Re: free variables in FOL, HERC777, 2005/06/21
      
      Re: free variables in FOL, Ken Quirici, 2005/06/22
      
      Re: free variables in FOL, Ken Quirici, 2005/06/22
- Re: free variables in FOL, Ken Quirici, 2005/06/20
Predicate Logic, 1st Semester Logic Student, 2005/06/20
- Re: Predicate Logic, David C . Ullrich, 2005/06/20
- Re: Predicate Logic, Fred, 2005/06/20
- Re: Predicate Logic, Jim Spriggs, 2005/06/20
  - Re: Predicate Logic, 1st Semester Logic Student, 2005/06/20
    - Re: Predicate Logic, Ken Quirici, 2005/06/20
      
      Re: Predicate Logic, Chris Menzel, 2005/06/20
    - Re: Predicate Logic, Jim Spriggs, 2005/06/20
      
      Re: Predicate Logic, Ken Quirici, 2005/06/20
      
      Re: Predicate Logic, Jim Spriggs, 2005/06/20
      
      Re: Predicate Logic, 1st Semester Logic Student, 2005/06/20
      
      Re: Predicate Logic, Jim Spriggs, 2005/06/20
      
      Re: Predicate Logic, Chris Menzel, 2005/06/20
      
      Re: Predicate Logic, Ken Quirici, 2005/06/20
      
      Re: Predicate Logic, Chris Menzel, 2005/06/20
      
      Re: Predicate Logic, Ken Quirici, 2005/06/20
      
      Re: Predicate Logic, 1st Semester Logic Student, 2005/06/21
      
      Re: Predicate Logic, Ken Quirici, 2005/06/21
      
      Re: Predicate Logic, Chris Menzel, 2005/06/22
      
      Re: Predicate Logic, 1st Semester Logic Student, 2005/06/22
      
      Re: Predicate Logic, Ken Quirici, 2005/06/22
      
      Re: Predicate Logic, Ken Quirici, 2005/06/22
      
      Re: Predicate Logic, Ken Quirici, 2005/06/22
      
      Re: Predicate Logic, Chris Menzel, 2005/06/22
      
      Re: Predicate Logic, Ken Quirici, 2005/06/22
      
      Re: Predicate Logic, Ken Quirici, 2005/06/20
      
      Re: Predicate Logic, Ken Quirici, 2005/06/20
Re: m balls k urns, James Dolan, 2005/06/20
Re: Derivations, Fred, 2005/06/20
- Re: Derivations, H. J. Sander Bruggink, 2005/06/21
  - Re: Derivations, Fred, 2005/06/21
- Re: Derivations, Fred, 2005/06/21
Re: Aristotelian syllogistic and monadic FOL, Hero . van . Jindelt, 2005/06/19
Re: The WHO CARES proof of anti-anti-diagonalisation, vkarlamov, 2005/06/19
- Re: The WHO CARES proof of anti-anti-diagonalisation, vkarlamov, 2005/06/19
- Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/19
  - Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 2005/06/19
    - Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/20
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 2005/06/21
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/22
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 2005/06/22
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/22
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 2005/06/23
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, David Bernier, 2005/06/23
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 2005/06/23
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, george, 2005/06/24
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/25
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 2005/06/25
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, george, 2005/06/25
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/25
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, george, 2005/06/26
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 2005/06/26
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 2005/06/23
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/23
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 2005/06/23
- Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 2005/06/19
  - Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/20
    - Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 2005/06/20
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/20
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, David Bernier, 2005/06/21
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/21
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 2005/06/21
      
      Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 2005/06/22
- Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 2005/06/19
- Re: The WHO CARES proof of anti-anti-diagonalisation, Robert Maas, see http://tinyurl.com/uh3t, 2005/06/24
Re: SLD Resolution, carmelo, 2005/06/19