Search found 24 matches

by thomyum2
Tue Jun 16, 2026 8:28 pm
Forum: Logic and Philosophy of Mathematics
Topic: Godel's Incompleteness Theorem
Replies: 2
Views: 961

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...
by thomyum2
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: 12504

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...
by thomyum2
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: 12504

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...
by thomyum2
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: 12504

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...
by thomyum2
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: 12504

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...
by thomyum2
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: 12504

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...
by thomyum2
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: 12504

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...
by thomyum2
Fri Jun 05, 2026 11:10 pm
Forum: Ethical Theory
Topic: Religious vs non-religous bases for morality
Replies: 165
Views: 10757

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...
by thomyum2
Thu May 28, 2026 7:51 pm
Forum: Ethical Theory
Topic: Religious vs non-religous bases for morality
Replies: 165
Views: 10757

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...
by thomyum2
Thu May 21, 2026 3:37 am
Forum: Applied Ethics
Topic: Environmental Ethics -- fair share for the non-human?
Replies: 108
Views: 14038

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...
by thomyum2
Thu May 21, 2026 1:34 am
Forum: Epistemology - Theory of Knowledge
Topic: What is truth?
Replies: 764
Views: 239541

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...
by thomyum2
Wed May 20, 2026 10:59 pm
Forum: Epistemology - Theory of Knowledge
Topic: What is truth?
Replies: 764
Views: 239541

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...
by thomyum2
Wed May 20, 2026 9:03 pm
Forum: Epistemology - Theory of Knowledge
Topic: What is truth?
Replies: 764
Views: 239541

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...
by thomyum2
Tue May 19, 2026 3:11 am
Forum: Epistemology - Theory of Knowledge
Topic: What is truth?
Replies: 764
Views: 239541

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...
by thomyum2
Tue May 19, 2026 1:08 am
Forum: Epistemology - Theory of Knowledge
Topic: What is truth?
Replies: 764
Views: 239541

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...