| Thread | Last Post | Replies |
|
| Existence and Non -Existence | 30 Jun 2008 22:46 GMT | 18 |
When we say 'a is in the domain D', we are implicitly assuming a relation 'in' between a and D; In the case of ZF set theory, When we say that a set B exists i.e "B is in the Domain of
|
| Is it possible to determine values of three unknowns from two equations? | 30 Jun 2008 16:32 GMT | 2 |
I was wondering if anyone can help with a very basic question regarding math and in particular algebra. I want to know if it is possible to determine the values of r, b and y if you have two equations where you are given the values of b-y and r-
|
| Ontological and technical Sets | 29 Jun 2008 01:21 GMT | 12 |
The term "set" must be given a purely technical meaning in mathematics because only the endorsement of the conceptual minimalism of a technical meaning can best deal with conceptual conflict between ontological or worldly sets and sets used by the mathematician.
|
| An open letter to John Jones | 27 Jun 2008 16:30 GMT | 20 |
Dear Mr. Jones: Why do you insist on wasting everyone's (and that includes your own) time by posting to sci.logic, when there are so many other newsgroups better suited to your interests?
|
| Godel cant tell us what makes a mathematical true thus incompleteness theorem is invalid/meaning;less | 27 Jun 2008 15:09 GMT | 4 |
The australian philosopher colin leslie dean points out godels theorem is invalid for 7 reasons one being http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf
|
| What should I say to the post-grads about Godel? | 27 Jun 2008 09:55 GMT | 153 |
The Prof has asked me to briefly introduce to the post-grads the significance of Godel's incompleteness theorem to logic, notions of determinism and free-will, and to other pertinent issues in philosophy. This might include a discussion on the significance of proof itself.
|
| Symmetric Logical Deduction-example | 26 Jun 2008 18:10 GMT | 1 |
A t. A single letter word, t, to denote the ideas expressed begins this discourse. As the word denotes a relation I have to place the relationship, t, relative to known concepts, i.e. relations. I firmly believe in exact discussion.
|
| What logical results could be reasoned from definition? | 26 Jun 2008 07:18 GMT | 16 |
As we know the definition is the research beginning of any area. Who must define some definitions when people before his research. Which is the logical meaning of the definition the researcher must be considered. The method to get the logical results from the definition
|
| George Carlin (RIP) - Was He A Philosopher? [yes] | 26 Jun 2008 06:57 GMT | 15 |
George Denis Patrick Carlin (May 12, 1937 – June 22, 2008)[17][18] was an American stand-up comedian, actor and author who won four Grammy Awards for his comedy albums. Carlin was especially noted for his political and black humor and his
|
| A Curious Question | 24 Jun 2008 18:19 GMT | 83 |
A Curious Question ~v~~ Is there anything which is not predicated of "not"? ~v~~
|
| Time. /My opinion./ | 21 Jun 2008 19:48 GMT | 2 |
Time. /My opinion./ ======.. There are two kinds of time: a) the proper (individual) time and
|
| Close-reading the logico-deductive method | 21 Jun 2008 12:55 GMT | 1 |
In the logico-deductive method new knowledge follows old knowledge (conclusions are made from premises) through the application of sound arguments. But can we conjure up the new by reassembling the old? For the phenomenalist, deriving the conclusion and hence bringing it to
|
| Questions: Modal Monotonicity | 20 Jun 2008 23:01 GMT | 10 |
Most first-order modal logics adopt the 'monotonicity condition', aka 'cumulative domains' and 'nested domains'. Despite having a small library of logic books, none deal with this in any depth. What monotonicity entails is that for any two worlds w and w':
|
| Predicate logic axioms | 20 Jun 2008 17:36 GMT | 14 |
Wikipedia's list of rules of inference give the following rules of predicate logic: P -------
|
| hi friend.......... are you interested to do online jobs for free.......google offers this chance.... earn more than $2000 per week from these types of jobs.... login the following site and start your account www.jobsforyouguys.blogspot.com | 20 Jun 2008 06:06 GMT | 1 |
hi friend.......... are you interested to do online jobs for free.......google offers this chance.... earn more than $2000 per week from these types of jobs.... login the following site and start your account www.jobsforyouguys.blogspot.com
|