Toby Meadows
@tobymeadows.bsky.social
logician: I do math that mathematicians think is philosophy; and philosophy that philosophers think is math
logic, philosophy of math, set theory
lps uci
https://sites.google.com/site/tobymeadows
logic, philosophy of math, set theory
lps uci
https://sites.google.com/site/tobymeadows
I don't think it's a refusal to engage so much as a complete mismatch in expectations about what philosophy is supposed to do.
He thinks of acquiring more true propositions as the goal. So given her claim is trivially true there is nothing more she can do that is of philosophical interest.
He thinks of acquiring more true propositions as the goal. So given her claim is trivially true there is nothing more she can do that is of philosophical interest.
November 15, 2025 at 1:53 PM
I don't think it's a refusal to engage so much as a complete mismatch in expectations about what philosophy is supposed to do.
He thinks of acquiring more true propositions as the goal. So given her claim is trivially true there is nothing more she can do that is of philosophical interest.
He thinks of acquiring more true propositions as the goal. So given her claim is trivially true there is nothing more she can do that is of philosophical interest.
Tbf Michael Dummett did a lot of intuitionistic logic while also doing more than continental philosophers to improve the lives of refugees by simply doing something rather than nothing.
November 14, 2025 at 1:05 PM
Tbf Michael Dummett did a lot of intuitionistic logic while also doing more than continental philosophers to improve the lives of refugees by simply doing something rather than nothing.
I think I'd find it easier to switch to Dvorak than switch pinkies for latex.
November 5, 2025 at 11:21 PM
I think I'd find it easier to switch to Dvorak than switch pinkies for latex.
I got used to the UK layout when I lived there ... \ at the bottom left ... and now I have to order keyboards from the UK or I go insane.
November 5, 2025 at 11:20 PM
I got used to the UK layout when I lived there ... \ at the bottom left ... and now I have to order keyboards from the UK or I go insane.
Toby Meadows
Found in Translation: at the limits of the Hudetz program
https://arxiv.org/abs/2511.02011
Found in Translation: at the limits of the Hudetz program
https://arxiv.org/abs/2511.02011
November 5, 2025 at 12:36 PM
Any theorem expressible in the language in analysis will be true in an elementary extension of the standard model.
Nonstandard analysis is not my jam, but this is just a logic thing.
Nonstandard analysis is not my jam, but this is just a logic thing.
September 25, 2025 at 1:46 PM
Any theorem expressible in the language in analysis will be true in an elementary extension of the standard model.
Nonstandard analysis is not my jam, but this is just a logic thing.
Nonstandard analysis is not my jam, but this is just a logic thing.
It will be if that extension is an elementary extension, which is the usual thing.
September 25, 2025 at 12:59 PM
It will be if that extension is an elementary extension, which is the usual thing.
Can't remember.
Off the cuff I'd think of Boolos's example, "Some critics only admire each other."
This purportedly requires plural quantification for a natural analysis.
Perhaps this has no obvious translation into Japanese?
You know more linguistics than me so I won't keep embarrassing myself.
Off the cuff I'd think of Boolos's example, "Some critics only admire each other."
This purportedly requires plural quantification for a natural analysis.
Perhaps this has no obvious translation into Japanese?
You know more linguistics than me so I won't keep embarrassing myself.
September 24, 2025 at 6:42 PM
Can't remember.
Off the cuff I'd think of Boolos's example, "Some critics only admire each other."
This purportedly requires plural quantification for a natural analysis.
Perhaps this has no obvious translation into Japanese?
You know more linguistics than me so I won't keep embarrassing myself.
Off the cuff I'd think of Boolos's example, "Some critics only admire each other."
This purportedly requires plural quantification for a natural analysis.
Perhaps this has no obvious translation into Japanese?
You know more linguistics than me so I won't keep embarrassing myself.
My faves in this zone are akaik (which isn't much):
- the definite article (not in Polish, sorry Russell); and
- plural quantification (not in Japanese).
Grateful to those people who explained this to me.
- the definite article (not in Polish, sorry Russell); and
- plural quantification (not in Japanese).
Grateful to those people who explained this to me.
September 24, 2025 at 3:53 PM
My faves in this zone are akaik (which isn't much):
- the definite article (not in Polish, sorry Russell); and
- plural quantification (not in Japanese).
Grateful to those people who explained this to me.
- the definite article (not in Polish, sorry Russell); and
- plural quantification (not in Japanese).
Grateful to those people who explained this to me.
I remain in awe of people who come to academia and can work in English when it isn't their first language. It's mind blowing.
September 24, 2025 at 3:28 PM
I remain in awe of people who come to academia and can work in English when it isn't their first language. It's mind blowing.
I suppose the thing I'm wondering is if they ever were able to explain their research in their native language.
Philosophy is full of useful jargon we use to make fine distinctions etc. I think we keep acquiring more of this language as we go.
Why expect that to translate back?
Philosophy is full of useful jargon we use to make fine distinctions etc. I think we keep acquiring more of this language as we go.
Why expect that to translate back?
September 24, 2025 at 3:27 PM
I suppose the thing I'm wondering is if they ever were able to explain their research in their native language.
Philosophy is full of useful jargon we use to make fine distinctions etc. I think we keep acquiring more of this language as we go.
Why expect that to translate back?
Philosophy is full of useful jargon we use to make fine distinctions etc. I think we keep acquiring more of this language as we go.
Why expect that to translate back?
This will also happen with bike repair.
Meh ...
Meh ...
September 24, 2025 at 3:24 PM
This will also happen with bike repair.
Meh ...
Meh ...
Perhaps.
I still think I'm making a very reasonable request.
I still think I'm making a very reasonable request.
April 25, 2025 at 10:55 AM
Perhaps.
I still think I'm making a very reasonable request.
I still think I'm making a very reasonable request.
What happens at boarding school is supposed to stay at boarding school
March 25, 2025 at 11:46 AM
What happens at boarding school is supposed to stay at boarding school
It's helpful since then you know not to read the rest of the paper unless it's written by a French person or someone who's been dead for a millenia or two.
March 25, 2025 at 3:57 AM
It's helpful since then you know not to read the rest of the paper unless it's written by a French person or someone who's been dead for a millenia or two.