Search found 24 matches
- Tue Jun 16, 2026 8:28 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Godel's Incompleteness Theorem
- Replies: 2
- Views: 959
Re: Godel's Incompleteness Theorem
When I posed the following questions to ChatGPT: What is Godel's incompleteness theorem, and what does it mean? ... This is the conclusion I'm being presented with: Any consistent formal system powerful enough to do arithmetic will contain true statements that it cannot prove, and it cannot prove i...
- Tue Jun 16, 2026 5:42 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
Unfortunately, I still fail to follow your argument. You are using both language and symbols in ways that are not standard in the kinds of philosophical discourse that I am familiar with, and if it seems that I am 'arguing out of context' here, that is because I'm not even able to understand what t...
- Sun Jun 14, 2026 10:51 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
So if that is the case a proposition, as a thing, has no identity. No. A proposition is not a thing. The Wikipedia article puts it well here: Identity is a relation on individuals. It is not a relation between propositions, and is not concerned with the meaning of propositions, nor with equivocatio...
- Sun Jun 14, 2026 8:00 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
If the law of non-contradiction asserts nothing about identity then A=/=-A requires A and -A as having no identities thus there is no LNC. LNC requires A=A and -A=-A if A=/=-A where at the meta level it is revealed as (A=A)=/=(-A=-A)....which also simultaneously points out the LI is not equal to it...
- Sat Jun 13, 2026 5:55 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
If the second step is an error than -P is not an identity and cannot be asserted as an identity in the law of non-contradiction. I don't know what you mean by this. The law of identity and the law of non-contradiction are two different things. The law of non-contradiction asserts nothing about iden...
- Fri Jun 12, 2026 11:26 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
Negation of Classical Identity Laws Using Classical Identity Laws. I. 1. (P=P) is the law of identity. 2. (-P=-P) is the law of identity. It seems to me that you've made an error at this second step. While this would be true for any number P, it is not true for non-numbers. The law of identity stat...
- Wed Jun 10, 2026 6:04 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Negation of Classical Identity Laws Using Classical Identity Laws.
- Replies: 105
- Views: 12487
Re: Negation of Classical Identity Laws Using Classical Identity Laws.
Negation of Classical Identity Laws Using Classical Identity Laws. I. 1. (P=P) is the law of identity. 2. (-P=-P) is the law of identity. It seems to me that you've made an error at this second step. While this would be true for any number P, it is not true for non-numbers. The law of identity stat...
- Fri Jun 05, 2026 11:10 pm
- Forum: Ethical Theory
- Topic: Religious vs non-religous bases for morality
- Replies: 165
- Views: 10748
Re: Religious vs non-religous bases for morality
We all have to begin with a kind of personal commitment to set of beliefs. That is as true for the secularist as the religious or ideological person. The secularist has to assume something like, "The material world is all that really exists," perhaps, or "The current state of the wor...
- Thu May 28, 2026 7:51 pm
- Forum: Ethical Theory
- Topic: Religious vs non-religous bases for morality
- Replies: 165
- Views: 10748
Re: Religious vs non-religous bases for morality
To be continued. I've read your response carefully, and can see you're working through the issues with great thoughtfulness. And I realize you're not done, so I don't want to jump the gun. But maybe I can offer a couple of tentative caveats, as you continue. It’s been more than a week since you res...
- Thu May 21, 2026 3:37 am
- Forum: Applied Ethics
- Topic: Environmental Ethics -- fair share for the non-human?
- Replies: 108
- Views: 14030
Re: Environmental Ethics -- fair share for the non-human?
… But secularism cannot accept such reasoning as the above. There can be no appeal to the Creator allowed, and no Protestant explanations of WHY people have these alleged rights. So we come back to the question: WHY would secularists be telling us to believe that all people have such rights? What's...
- Thu May 21, 2026 1:34 am
- Forum: Epistemology - Theory of Knowledge
- Topic: What is truth?
- Replies: 764
- Views: 239515
Re: What is truth?
If the meaning of "objective" is to be independent of an observer and "subjective" is to be dependent upon an observer, then I think, if Immanuel Kant was right about phenomena and noumena, then it could be arguably fair to say that a conscious being cannot utter a non-subjectiv...
- Wed May 20, 2026 10:59 pm
- Forum: Epistemology - Theory of Knowledge
- Topic: What is truth?
- Replies: 764
- Views: 239515
Re: What is truth?
So, is pain an objective property or a subjective property if it is the case that more than one human being would feel pain under circumstance X? Objectivity isn't about feelings. It's about how things really are . If a billion people are deluded, in that they think something unreal is real, or som...
- Wed May 20, 2026 9:03 pm
- Forum: Epistemology - Theory of Knowledge
- Topic: What is truth?
- Replies: 764
- Views: 239515
Re: What is truth?
So, for the sake of discussion and clarification, let's take another example: the belief that the earth is flat or round. If I lived in a rural place a thousand years ago, and I never travel farther than, say from Athens to Sparta, then holding the belief that the world if flat works just fine - re...
- Tue May 19, 2026 3:11 am
- Forum: Epistemology - Theory of Knowledge
- Topic: What is truth?
- Replies: 764
- Views: 239515
Re: What is truth?
What you're saying is that you knew because you compared the statement to how things are in the external world. New York really is in the region they call New York State. So the statement was true. And it was true in a way such that not only should you believe it, but that I should, too. It was obj...
- Tue May 19, 2026 1:08 am
- Forum: Epistemology - Theory of Knowledge
- Topic: What is truth?
- Replies: 764
- Views: 239515
Re: What is truth?
I know I'm interjecting and maybe interrupting a good dialogue here but thought I'd offer an alternative way to think of this dichotomy. Please do. Welcome. Thank you, it's good to be here (and to be welcomed!) :) Whether a statement is true or not, or how or whether we can determine the truth of a...