Banno

:meh: What of quantification?

Perhaps you misunderstood...? Yep, we've moved on to address some of the shortages in structuralism, that it is overly formal, doesn’t explain how hum...

The elected King? Yes.

Here's me thinking you were following along... Benacerraf’s identification problem Gödel’s incompleteness theorems shows that set theory cannot fully ...

https://survey2020.philpeople.org/survey/results/5030

That's permitted, under the rules...

In a Westminster system there is effectively another power, the public service. once an independent organ charged with administering policy, they owed...

The US needs an electoral commission. But to do that it would need a public service that is not appointed by the president.

Elements in a language game can be things - because we quantify over them... all these numbers are even, all those numbers are prime. Drop "just" and ...

nah. I’m at the shops, picking up a few groceries. You are just something to look at while I wait for the check out chick.

you’ve given something a name and a popularity rating. Why should I care?

Frege does provide an argument, not just an assertion. His framework addresses the public, objective character of numbers, which Meta simply assumes m...

Then do we have broad agreement?

~ The insurrection act cannot change the timeline for federal elections. That is down to your congress. The 20th Amendment sets an absolute end to a p...

Yes, it's pretty clear. You want to finesse the grammar of cold into cold? and cold?, a contrast which is marked in by differentiating being cold from...

Meta's errors include only thinking of something being either in the world or in the mind. So money, property and number, amongst other things, cause ...

I might have said property - this counts as being mine. Basic idea is right.

We're expecting a cooler day - down to 34?.

Washington Post shows video of the gun being removed by an ICE agent prior to the murder. It was tucked in to the back of his belt. It was not being b...

It's showing that this pattern applies to fingers and to toy cars and lollies and so on - divorcing the pattern from the things being counted. Only af...

Yep. It's not platonic.

Pretty much. So we have "Any number has a subsequent number", a procedure - if something is a number, then there is a subsequent number. But we need a...

No straw man - I was questioning why the topic came up... it is the fact of their disagreement that is salient. You appear to have stoped addressing t...

Yep, and that diagnosis applies to the foundations of maths - the area in which he thought he had made the greatest contribution. A rule does not inte...

One follow on question is the extent to which this is a reflection of what Wittgenstein is getting at in PI §201. @"Sam26" may well insist that Wittge...

So we have : Now the field structure and the order axioms are the rules that @"Sam26" and @"Ludwig V" have been discussing, that set up the sequence o...

Yep. there is a difference between being cold and feeling cold, as is shown by the fact that we have that very grammatical structure. Another interest...

:confused:

You haven't refuted the public-use account of meaning so much as rejected it in favour of a phenomenalist error theory — and then acted surprised that...

If “X is cold?” just means “X causes cold? sensations in me”, then: instruments don’t measure cold, only predict feelings disagreements are merely par...

I'm not surprised. If you do not think reference fixes meaning, then you agree with Hanover and I and the objection collapses. If you do think referen...

No one is claiming that "headache" does not refer to a sensation. What is being pointed out is that the sensation is not what fixes the meaning of "he...

First, can you see that the grammar of "headache" and the grammar of "cold" are very different?

The meaning if "headache" is not fixed only by some collective for private sensations. It is found in behaviour, avowals, characteristic causes, typic...

Some resources: Axioms of Real Number System: an explanation of field structure, order and completeness. An Introduction to Real Analysis: a Universit...

If you are following along, I'd encourage you to drop the text in to ChatGPT and have it explain any complexities.

So we have first order logic, =, +, <, and the Reals. We have the necessities for doing calculations, and a relation "<" and appropriate rules, and un...

Ok, you first. :wink:

Would it help for us to consider the axiomatisation of calculus? It just assumes first order logic and extensional equivalence over a domain of the re...

Good to have you drop past, even in AI form. Yep; and bringing Wittgenstein in explicitly is interesting. There's a fine line between quantifying over...

The case of the bumble bee, if true, shows that the theory of flight was incomplete, and now, if the account of how they fly works, has wider applicat...

A proof of what, and to what ends? We know it's consistent and we do have rigorous axiomatisations... I'm not following this, since seems to be saying...

Never! (If the ever did, I'd just not respond.)

Another escape from Oxbridge natural language philosophy. Yes, good stuff. The formalisation of this came with Davidson, and then the partial dissolut...

You keep bringing this quote up. It shows pretty clearly the confusion of the epistemic and the causal accounts that you rely on, ignoring the differe...

Yep. Yep. @"Michael" doesn't seperate the epistemically and causal chains. Again, "headache" is not like "hot". John and Jane can disagree as to the w...

So here Michael asks if 37°C is hot or cold. Now if being hot or cold is exactly a sensation, this would be the same as asking "Does 37°C feel hot or ...

We differentiate quite simply between the bath being hot and it's feeling hot. We might add that it sometimes makes sense to say that the water is col...

Cheers.

insisting that Zeno's infinities are about how the world is and not how we talk about it is question begging. That's exactly what is in question. But ...