You almost can't tell that we were experiencing technical difficulties this AM. Today on #IanAndJaySpaceOut, @jay & I get into "Hubris Maximus", #Signal shenanigans at the Pentagon, Gottlob #Frege, #guillotines, and more!
If recordings aren't your thing you can follow @live and tune in to the next show.
https://archive.org/details/ian-and-jay-space-out-2025-04-27
フレーゲによれば、文は〈真〉または〈偽〉の固有名である。固有名は、単称名辞または指示詞（＝個体指示詞）を引数に取る場合は指示対象を、文を引数に取る場合は真偽を返す（単射ではない全射の）写像である。（任意の指示対象に個体指示詞が対応付けられると措くと全射である。）
New from Daily Nous
Frege’s Ambiguous Legacy
by Stephen D’Arcy
"This side of #Frege’s work—his late political thought, which engages eagerly with Germany’s mid-1920s fascist movement—has been politely but in fact irresponsibly ignored for too long by philosophers. The problem is especially acute among analytic philosophers..."
https://dailynous.com/2024/08/15/freges-ambiguous-legacy-guest-post/
#Frege trägt an der @HHU vor!
Wusstet ihr nicht?
Aber ihr wusstet, dass #Campino da vorträgt?
Dann wisst ihr nun immerhin, was den anderen #Frege dazu gebracht hat, zwischen #Sinn und #Bedeutung zu unterscheiden! 😘
Bertrand Russell: Why I Am Not a Christian (1927)
https://users.drew.edu/~jlenz/whynot.html
#ycombinator #Bertrand_Russell #philosophy #essays #articles #books #Russell #Bertrand_Russell_Society #Wittgenstein #Carnap #Frege #G_E_Moore #Gottlob_Frege #Ludwig_Wittgenstein #Rudolf_Carnap #Bertrand_Russell_Society_Quarterly #Analytic_Philosophy #Early_Analytic_Philosophy #History_of_Analytic_Philosophy #History_of_Early_Analytic_Philosophy
#ArchivedTwitter #nutritioustim
Jan 2, 2016
Froogle, a Hoogle for #Frege, is now available online. http://bit.ly/1P8HHiA. #functionalprogramming
@nutritioustim
·
Nov 26, 2015
#Frege, voted most popular language at #javaone. http://bit.ly/1Ikdnim. I am really looking forward to playing around with it :)
Movie idea: an action flick where #Frege and #Russell realize their theories are inconsistent and they have to stop the publishing of their works. They have two hours to get to the printing house.
#math #mathjoke
Understanding Nick Land: askphilosophy
Nick #Land came up in a particular academic culture, that of “continental philosophy” in Britain in the 1980s and 1990s. Britain was then as it is now dominated by analytic philosophy: the tradition beginning (in disparate ways) with #Frege, Russell, Moore, the Vienna Circle, Wittgenstein, and so on. I won’t go into the details of that history, but the upshot is that by the time that Land was making his name so-called “Continental Philosophy”, which focused on European philosophers from whom the analytic tradition sharply diverged decades earlier, was sharply maligned in British academic philosophical culture to the extent that controversies around (for example) the award to Jacques Derrida of an honorary degree from Cambridge reached the newspapers.
“Continental Philosophy” doesn’t just mean “any philosopher from Europe”, but in anglophone philosophy departments was a label used for a particular subset of those European and particularly French philosophers who it was perceived had quite radical takes on philosophy and life, such as the aforementioned Jacques Derrida, Michel Foucault, and Gilles Deleuze.
"If you study philosophy at a British or American #university, your #education in the history of the subject will likely be modest. Most universities teach #Plato and #Aristotle, skip about two millennia to #Descartes, zip through the highlights of #Empiricism and #Rationalism to #Kant, and then drop things again until the 20th Century, where #Frege and #Russell arise from the mists of the previous centuries’ Idealism ...”
@philosophy
#philosophy
https://www.prospectmagazine.co.uk/ideas/philosophy/46795/does-the-history-of-philosophy-matter
Ich war beim #Javaland und hab da gelernt, dass #Haskell als #Frege inzwischen angeblich mit #Java interoperabel/kompatibel sei. (mein letzter Versuch vor Jahren war mehr Krampf als brauchbar).
Dadurch spiele ich gerade wieder mit Haskell rum und freue mich. z.B. über Literate Haskell. Ein Dokument, wo man gleichzeitig Doku und Code schreibt. Wenn da steht "in diesem Block *someBlock* wird xyz gemacht", dann ist *someBlock* der reale Code, der compiliert wird.
It also explains the first three axioms of #Frege's logical calculus (https://en.wikipedia.org/wiki/Frege%27s_propositional_calculus).
I. The first axiom, 𝐴→(𝐵→𝐴), means that if a statement 𝐴 is true, it is also true under an assumption 𝐵. One can therefore “move” statements under an assumption.
II. The complex second axiom, (𝐴→(𝐵→𝐶))→((𝐴→𝐵)→(𝐴→𝐶)), means that logical conclusions work under an assumption the same way as outside: If 𝐵→𝐶 and 𝐵 are true under assumption 𝐴, then 𝐶 is true under 𝐴.
-->
I'm currently writing about #Locke, & I'm worried that my draft sounds like I'm simultaneously grumpy at Locke's interpreters for failing to take his ideas seriously & grumpy at Locke for not being as good at philosophy as #Arnauld & #Berkeley.
Trouble is, poor Locke was very popular among 'analytic' historians of #philosophy in the 20th century & those folks think every time Locke agrees w/ #Frege he's confused, but if they had understood the Port-Royal Logic they wouldn't've thought that.
@Neurograce
Yesterday, I was meditating on the technical difference between #Sinn and #Bedeutung, introduced by #Frege in a famous article. And then I suddenly remembered the comment made by a French linguist A about another French linguist B in front of #Linguistics students: «Il (=B) utilise #sens là où j'utiliserais #signification et vice-versa » (dixit A).
I was one of those students and was puzzled, but these things always happen. C'est la vie.
Today I've taught again #Frege's notorious example of the Morning Star and the Evening Star.
When I think about it abstractly, I find it rather obsolete after #Kripke.
Still, undergraduates always see something absolutely fascinating in it.
The reason is this: good philosophical ideas do not fall out of fashion, and philosophical #progress do not consist in laying them aside. It is much more progressive to go through them again, for the millionth time. Thanks, Gottlob.
@philosophy
@philosophie
#philosophy
It was #Kant suggesting that, where the #mathematician starts, #philosopher 's work is already done [Über die Deutlichkeit der Grundsätze... §1...]
Of course in a formal system, say #FOL, #identity is simply the strictest equivalence relation, the unit classes of the domain being its equivalence classes. And yes, this is really elementary stuff, high school level, if you like. And no, that's not, why #philosophers at least since #Leibniz (and in a sense since #Parmenides), and more recently #Frege made a case for it.
Typically math philosophical issues with identity from my point of view do include the question of indiscernibles, the sense of an identity statement wrt. redundance, the relation status of identity, ... open list
