João Ferrari

private language translator
🇧🇷

PhD student at USP — Visiting fellow at @LMU_MCMP

(Logic, phil. of Physics & Mathematics)

[João Ferrari @phil_manager]

love how Carnap says this and then immediately proceeds to erect in one bold stroke an entire system of philosophy

[João Ferrari @phil_manager]

almost like a father to me

[sequiturquodlibet @antitheorem]

The Brazilian School of Logic is saddened and orphaned by Prof. Newton da Costa's passing away, last night, in Florianópolis. His striking presence anywhere was always overflowing with life and logic, and this is how he shall be remembered by those who had the chance to meet him.

[João Ferrari @phil_manager]

and also indicate that there's still hope...

[João Ferrari @phil_manager]

Hello everyone, in this beautiful conference I'm gonna talk a little bit about how Newman ruined my structuralist aspirations

[Miércoles-MartínezOrdaz @MMartinezordaz]

Please, JOIN US and help us spread the word!

Workshop New Perspectives on Anomalies in the Sciences
🇧🇷October 5 and 6, 2023

Registration form for attending via Zoom is here: https://t.co/J3soT4EF7K

Website and program: https://t.co/I63G6FJ8C7

[João Ferrari @phil_manager]

I have at least one ontology joke

[Adolfo Neto in on BlueSky and on Mastodon @adolfont]

I have a logic joke but some of you won't think laughter follows from it.

[João Ferrari @phil_manager]

stumbled upon a quote from S. Aaronson that goes hard:
"If we comp. scientists were physicists we would just declare P!=NP to be a law of nature and give ourselves Nobel Prizes for its discovery. If later it turns out that we were wrong we just give ourselves more Nobel Prizes"

[João Ferrari @phil_manager]

@GarethRPearce I feel you, I always keep this in mind while developing my codes:

[João Ferrari @phil_manager]

@GarethRPearce i've only skimmed it, but it seems that you may have a division by 0 assigned to your 'cotrue_counter' var when both booleans turn out false

[João Ferrari @phil_manager]

grad students invented the concept of taking a sabbatical weekend

[João Ferrari @phil_manager]

sense data-driven decision making here, folks

[João Ferrari @phil_manager]

just joined Mastodon, liebe leute
follow me there
https://t.co/aK4qa9NIy3

[João Ferrari @phil_manager]

This paper on the positive correlation between alcohol consumption & brain shrinkage still haunts me, and I'm considering donating to researches that aim to falsify its claim

https://t.co/UHj3EULHMe

[João Ferrari @phil_manager]

me when I hear someone defending face-value scientific realism

[João Ferrari @phil_manager]

@bayesianboy @AnnaLeptikon @rahulsiripurapu @mokriegleder @sweetneuron Nice. Coincidently I was also in Vienna few weeks back and had a little chat with Moritz about your paper ('The Math is...')

[João Ferrari @phil_manager]

@tim_elmo (I usually qualify my metaphysical positions on the basis of one offering a 'better account' of something than the the other. And this naturally happens in a meta-level to be accessed rather indirectly by language)

[João Ferrari @phil_manager]

@tim_elmo oh I get, you mean enunciating it like stating a theory directly at, say, the level of object language -possibly truth-functional etc.
yeah in this sense I agree. I tend to see the quarrel about metaphysics pretty much in a carnapian way, there being no 'matter of fact' issues

[João Ferrari @phil_manager]

@DrYohanJohn also when people use isomorphism wrt 'things in the world' and some abstract structure. I mean, this is a category mistake if we are not admitting, say, Urelemente or such. It seems just a huge leap from physical reality, empirical data, and abstract structures