sci.logic (date)

June 29, 2005

Re: Set Theory Exercise, Max Weiss, 15:35
Re: About countable Ordinals., H. Enderton, 14:13
Re: An Approximate Circle, James Waldby, 12:34
Re: Derivations (SD), Torkel Franzen, 11:58
Re: Derivations (SD), 1st Semester Logic Student, 10:32
Re: Derivations (SD), Robert Low, 09:48
Re: Derivations (SD), Torkel Franzen, 09:09
Re: Derivations (SD), 1st Semester Logic Student, 09:08
Re: Derivations (SD), Lee Rudolph, 07:00
Re: Derivations (SD), Jeffrey Ketland, 05:16
Re: An example of someone who prayed for something and got it., yowie, 04:12
Re: An example of someone who prayed for something and got it., yowie, 04:12
Re: Derivations (SD), Torkel Franzen, 03:49
Re: About countable Ordinals., Torkel Franzen, 03:30
Re: Fun Times With SL, mikejde@xxxxxxxxx, 03:25
Re: About countable Ordinals., Keith Ramsay, 02:52
Re: Fun Times With SL, 1st Semester Logic Student, 02:33
Re: Derivations (SD), 1st Semester Logic Student, 02:16
About countable Ordinals., Bill Taylor, 01:59
Re: An Approximate Circle, The Ghost In The Machine, 01:00

June 28, 2005

Re: Formulas & Sentences of PL..., Jim Spriggs, 21:42
Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 20:52
Re: Formulas & Sentences of PL..., Jim Spriggs, 19:07
Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 18:56
Re: Formulas & Sentences of PL..., Jim Spriggs, 16:03
Re: Set Theory Exercise, george, 15:01
Re: Set Theory Exercise, Max Weiss, 14:23
Re: An Approximate Circle, Ken Quirici, 12:11
Re: Truth Values in PL, Owen, 10:18
Re: Formulas & Sentences of PL..., mikejde@xxxxxxxxx, 02:10

June 27, 2005

Re: Derivations (SD), Jeffrey Ketland, 23:33
Derivations (SD), 1st Semester Logic Student, 22:50
Re: Set Theory Exercise, george, 19:49
Set Theory Exercise, William Elliot, 18:21
Re: Set Theory Exercise, Max Weiss, 14:07
Re: Set Theory Exercise, Alan Smaill, 11:29
Re: Fun Times With SL, mikejde@xxxxxxxxx, 02:28

June 26, 2005

Re: Set Theory Exercise, Max Weiss, 20:52
Re: An Approximate Circle, The Ghost In The Machine, 18:00
Re: An Approximate Circle, Gib Bogle, 17:13
Re: Fun Times With SL, H. Enderton, 16:07
An Approximate Circle, Douglas Eagleson, 15:03
An Approximate Circle, Douglas Eagleson, 15:03
Re: Set Theory Exercise, William Elliot, 08:18
Re: Gödel's theorems in Wikipedia, (not a)\\/b, 04:09
Re: Gödel's theorems in Wikipedia, (not a)\\b, 04:02
Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 01:00
Re: equivalence of 2 tests, george, 00:04
Re: The WHO CARES proof of anti-anti-diagonalisation, george, 00:00

June 25, 2005

Re: Set Theory Exercise, george, 23:55
Re: Truth Values in PL, Jim Burns, 21:18
Re: Set Theory Exercise, Max Weiss, 20:27
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 20:11
Re: Shrieks and splashes, Robert Low, 20:02
Re: Truth Values in PL, George Dance, 19:34
Re: Shrieks and splashes, Barb Knox, 19:30
Re: The WHO CARES proof of anti-anti-diagonalisation, george, 19:06
Re: Shrieks and splashes, Robert Low, 18:38
Re: Shrieks and splashes, The Ghost In The Machine, 15:00
Re: Shrieks and splashes, ps218, 13:39
Re: Shrieks and splashes, The Ghost In The Machine, 13:00
Shrieks and splashes, ps218, 11:13
Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 07:00
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 03:31
Re: Fun Times With SL, William Elliot, 02:13
Fun Times With SL, 1st Semester Logic Student, 00:13

June 24, 2005

Re: Set Theory Exercise, William Elliot, 23:00
Set Theory Exercise, Max Weiss, 20:15
Re: The WHO CARES proof of anti-anti-diagonalisation, george, 14:23
Re: Gödel's theorems in Wikipedia, David C . Ullrich, 08:59
Re: Comparing times in FOPC, Gary Leighton, 08:55
Re: Comparing times in FOPC, Gary Leighton, 08:54
Re: Gödel's theorems in Wikipedia, David C . Ullrich, 08:53
Re: Gödel's theorems in Wikipedia, David C . Ullrich, 08:49
Re: The WHO CARES proof of anti-anti-diagonalisation, Robert Maas, see http://tinyurl.com/uh3t, 03:40

June 23, 2005

Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 23:00
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 21:38
Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 20:57
Re: Truth Values in PL, Ken Quirici, 19:26
Re: Logic in Schools, H. Enderton, 19:25
Re: Truth Values in PL, H. Enderton, 19:16
Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 18:53
Re: Comparing times in FOPC, Jim Spriggs, 17:11
Re: Gödel's theorems in Wikipedia, Aatu Koskensilta, 17:10
Re: The WHO CARES proof of anti-anti-diagonalisation, David Bernier, 02:49
Re: "First example of a purely number-theoretic first order statement independent of PA", Torkel Franzen, 02:49
Re: The WHO CARES proof of anti-anti-diagonalisation, The Ghost In The Machine, 01:00

June 22, 2005

Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 22:43
Free xxx adult passwords at our message boards !! check out the HOT BABES !! they go beyond sci.logic !!, truplayaqwikpass, 22:40
Re: equivalence of 2 tests, HERC777, 21:57
Re: "First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 21:57
Re: "First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 21:14
Re: Predicate Logic, Ken Quirici, 20:21
Re: Predicate Logic, Chris Menzel, 19:56
Re: Gödel's theorems in Wikipedia, Chris Menzel, 19:53
Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 18:59
Re: Gödel's theorems in Wikipedia, ps218, 18:53
re: Gödel's theorems in Wikipedia, Acme Diagnostics, 18:12
Re: "First example of a purely number-theoretic first order statement independent of PA", Torkel Franzen, 16:36
Re: equivalence of 2 tests, double d, 16:20
"First example of a purely number-theoretic first order statement independent of PA", Jim Spriggs, 14:55
Re: free variables in FOL, Ken Quirici, 13:29
Re: Predicate Logic, Ken Quirici, 13:26
Re: equivalence of 2 tests, Randy Poe, 12:40
Re: free variables in FOL, Ken Quirici, 11:15
Re: Predicate Logic, Ken Quirici, 10:19
Re: Predicate Logic, Ken Quirici, 10:13
Gödel's theorems in Wikipedia, Aatu Koskensilta, 09:18
Re: Back to SL for a sec..., William Elliot, 03:14
equivalence of 2 tests, HERC777, 01:48
Re: Predicate Logic, 1st Semester Logic Student, 01:01
Re: Predicate Logic, Chris Menzel, 00:33
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 00:33
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 00:28

June 21, 2005

Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 23:53
Re: Formulas & Sentences of PL..., William Elliot, 22:30
Re: Formulas & Sentences of PL..., 1st Semester Logic Student, 21:47
Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 21:39
Re: Back to SL for a sec..., HERC777, 21:34
Re: Formulas & Sentences of PL..., Jim Spriggs, 21:19
Re: free variables in FOL, HERC777, 20:59
Back to SL for a sec..., 1st Semester Logic Student, 20:43
Re: Formulas & Sentences of PL..., William Elliot, 20:05
Re: free variables in FOL, Ken Quirici, 19:52
Re: Predicate Logic, Ken Quirici, 19:50
Formulas & Sentences of PL..., 1st Semester Logic Student, 19:47
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 19:28
Re: Predicate Logic, 1st Semester Logic Student, 19:26
Re: free variables in FOL, HERC777, 19:13
re: Logic in Schools, Acme Diagnostics, 16:18
Re: free variables in FOL, Ken Quirici, 14:36
Re: Logic in Schools, Jim Spriggs, 14:27
Re: Logic in Schools, Jim Spriggs, 14:26
Re: meaning of "only" vs. "if/then", Jim Spriggs, 14:22
meaning of "only" vs. "if/then", rachelms79, 14:03
Re: The WHO CARES proof of anti-anti-diagonalisation, David Bernier, 11:53
Re: Derivations, Fred, 11:33
Re: free variables in FOL, HERC777, 09:34
Re: Complete extensions of the theory of Linear Orders, timm, 09:29
Re: Derivations, H. J. Sander Bruggink, 08:53
Re: free variables in FOL, Ken Quirici, 08:01
Re: free variables in FOL, HERC777, 07:45
Re: Derivations, Fred, 07:16
Re: free variables in FOL, HERC777, 03:52
Re: Logic in Schools, Robert Low, 03:34
Re: Logic in Schools, William Elliot, 03:06
Re: Model Theory and algebraic element, Achim Blumensath, 03:01
Logic in Schools, PureAI, 01:05

June 20, 2005

Complete extensions of the theory of Linear Orders, vg, 21:57
Re: free variables in FOL, HERC777, 20:39
Re: Predicate Logic, Ken Quirici, 20:37
Re: Predicate Logic, Ken Quirici, 20:35
Re: free variables in FOL, Ken Quirici, 20:31
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 20:27
Re: free variables in FOL, HERC777, 20:00
Re: Truth Values in PL, Jim Spriggs, 19:54
Re: Predicate Logic, Chris Menzel, 19:47
Re: Truth Values in PL, Ken Quirici, 19:47
Re: Truth Values in PL, Jim Spriggs, 19:40
Re: Truth Values in PL, William Elliot, 19:39
Re: Truth Values in PL, Jim Spriggs, 19:27
Re: Truth Values in PL, Ken Quirici, 19:16
Re: Predicate Logic, Ken Quirici, 19:02
Re: Predicate Logic, Ken Quirici, 18:52
Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 18:19
Re: Predicate Logic, Chris Menzel, 16:49
Model Theory and algebraic element, Jean-Pierre MERX, 16:25
Re: Predicate Logic, Jim Spriggs, 16:22
Re: Predicate Logic, Chris Menzel, 16:21
Truth Values in PL, 1st Semester Logic Student, 16:14
Re: Predicate Logic, 1st Semester Logic Student, 16:04
Re: Predicate Logic, Jim Spriggs, 15:52
Re: Predicate Logic, Ken Quirici, 15:34
Re: Predicate Logic, Jim Spriggs, 15:12
Re: Predicate Logic, Ken Quirici, 15:03
Re: Predicate Logic, 1st Semester Logic Student, 14:55
Re: Predicate Logic, Jim Spriggs, 14:10
Re: Predicate Logic, Fred, 13:20
Re: free variables in FOL, Ken Quirici, 12:40
Re: free variables in FOL, Chris Menzel, 12:14
Re: free variables in FOL, Ken Quirici, 11:23
Re: free variables in FOL, Ken Quirici, 11:19
Re: free variables in FOL, Ken Quirici, 11:13
Re: Predicate Logic, David C . Ullrich, 07:30
Predicate Logic, 1st Semester Logic Student, 06:17
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 03:00
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 02:52
Re: m balls k urns, James Dolan, 01:59
Re: Derivations, Fred, 00:47

June 19, 2005

Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 23:00
Re: The WHO CARES proof of anti-anti-diagonalisation, Proginoskes, 22:54
Re: The WHO CARES proof of anti-anti-diagonalisation, Mike Terry, 22:39
Re: The WHO CARES proof of anti-anti-diagonalisation, HERC777, 18:01
Re: Aristotelian syllogistic and monadic FOL, Hero . van . Jindelt, 16:46
Re: The WHO CARES proof of anti-anti-diagonalisation, vkarlamov, 15:54
Re: The WHO CARES proof of anti-anti-diagonalisation, vkarlamov, 15:54
Re: SLD Resolution, carmelo, 09:14