Frege and the Language of Reason

Sunday, November 7, 2021

What Is It

At the end of the 19th Century, the German philosopher Gottlob Frege invented a new language, based on mathematics, designed to help people reason more logically. His ideas have had a lasting impact on philosophy, math, computer science, and the study of artificial intelligence. And many of the questions that influenced his thinking are still hotly debated today: How much does language influence the thoughts you can think? Could there be a way of speaking that taps into deep philosophical insights about the nature of reality? What's the relationship between math and logic? Josh and Ray try to make sense of Frege with host emeritus John Perry, author ofFrege's Detour: An Essay on Meaning, Reference, and Truth.

Listening Notes

在这一集里,乔什和雷研究了德国哲学家弗雷格的作品,弗雷格创造了一种新的逻辑体系。尽管以前有很多数学框架,雷指出弗雷格的是革命性的,因为它涉及系统证明。乔希质疑弗雷格是如何检查他自己的系统的,雷承认它仍然是不完美和矛盾的。然后,乔希质疑弗雷格的系统如何解释现实世界的困惑。

The philosophers are joined by John Perry, Professor Emeritus of Philosophy at Stanford University and the co-founder and former co-host of Philosophy Talk. Ray asks about the advances made in Frege’s influential book “The Begriffsschrift,” and John discusses how to apply mathematical ways of thinking about grammar. For instance, Frege favors an object-concept model instead of a subject-predicate structure for sentences. Josh asks about identity puzzles such as the confusion between Clark Kent and Superman, since Frege left that problem unsolved in his first book. John explains how Frege’s solution was to demonstrate that sentences describe the content of people’s thoughts and the world.

In the last segment of the show, Josh, Ray, and John discuss how Frege’s logic differs from that of other philosophers, such as Aristotle, Wittgenstein, and Richard Rorty. Ray asks about the relationship between logic and understanding what goes on inside people’s heads, prompting John to discuss things that happen in the abstract and outside of people’s heads. Josh wonders if Frege’s ideas have influenced computer science, and John describes how Frege’s failures sparked a wave of other scientists working in computing and the philosophy of science.

  • Roving Philosophical Report (Seek to 4:32)→ Holly J. McDede examines how identity confusion plays out in real life.
  • From the Community (Seek to 42:13)→ Josh and Ray consider if real life wars could be carried out in virtual reality.

Transcript

Transcript

Josh Landy
What if we created the perfect logical language?

Ray Briggs
Would we gain important new insights about mathematics?

Josh Landy
Could we find deep connections between ideas just by studying the grammar of sentences?

Comments(10)


Tim Smith's picture

Tim Smith

Sunday, October 3, 2021 -- 1:19 AM

These are tough questions

These are tough questions that I hope John will reflect on in the show.

When I write, language greatly influences my thought. When I speak, that influence is reverted to subconscious channels for the most part as I don’t have a spell checker, references, and Fregean circumstance inherent in the writing process. I rarely read back my spoken word though I unlock emotion in myself and others at times in speech which gives me pause. Now, we too often talk into the void of switched-off video or with the confidence of our pandemic bubble mates. Frege’s detour is felt more in the written word than the spoken language? The medium of language is essential to this question.

As much as language influences thought, not so much emotion and experience. Languages change at different rates, especially once written. In Iceland, they write and read the exact language of their epic literature that predates Christianity (going back to the 10th century.) I doubt Icelandic thought has been frozen as long. However, there might be a consistency there that I am not appreciating.

Language doesn’t determine the circumstance of your birth, experiences, or necessarily your culture. Most importantly, it doesn’t specify the roles you take in your thought. I don’t strictly follow what John says when he talks about roles or characters or why they are necessary. I would follow more on that.

If fewer and fewer languages are spoken, thought is less and less unique? If you count computer languages and math proofs and papers, perhaps there is a change in medium and projection to social and work space rather than a loss in outright thought. Frege’s unique notation is a burst of creativity that has sparked tremendous innovation – tools for thinking and intuition.

Frege was limited in his thought by his culture and times and his focus on Math. Geometry was still the crucible of mathematical thinking. Only in his lifetime did the work of Rieman and Weierstrass make analytical what Descartes put to paper. For Frege, that geometrical concept of perfection and eternity held back his thought to the imperfect languages and reflexive reference that could have deepened his theory. At the same time, John’s take here is logically less powerful and not Mathematical at all.

It is good that this show follows Christopher Lehrich’s presentation of Occultism, in which he mentions the Adamic language. There is an occult idea that a language of creation exists, and divinity even, that has power and insight taken up in Western philosophy and religion. Frege took a giant leap that has put Russell, Wittgenstein, and Godel on a quest that didn’t quite get us to the same place. John makes good headway and adds honest insight into the precursors that perhaps held Frege back.

Logic is the foundation of math, along with observations of geometry. It was around Frege’s time that the topology was formulated. The power of Math to solve logical questions like Euler’s seven bridges problem hinted at a corollary power were language to be understood from a logical foundation. Frege’s notation is mind-warping, if not perfect. There are no ideal natural languages. Current models of language are far from complete even as much of the written corpus has been mined, and everyday speech is heavily surveilled – that was the purpose of Googles’ 411 services in the day and Snowden’s message in the now.

Not all numbers can be manipulated in logic and still retain meaning. Still, whole fields of math extended through sense have later turned out to have application. Where there is causality, there is a need for logic and number. If reality is not derivative of math and logic, causality is the lynchpin between logic and math.

I read Frege’s Detour and am trying to answer the show questions in a quick hitter that is instead turning into a novel… I hope the show goes to some of these places. I heart this book.

I've read and agree to abide by the Community Guidelines
Tim Smith's picture

Tim Smith

Friday, November 5, 2021 -- 7:37 PM

I just took in the show.

I just took in the show.

Holly J. McDede’s Roving Reporter segment was excellent. Lots to think about there with Music and Identity. Roles and Identity are two concepts that John didn’t discuss here that he points to in his book. Holly is always good; she shows it here.

约翰花了大部分的时间讲述弗雷格的历史和他的遗产。我希望他能多考虑一下他的想法,避免绕路。我好像没在这里听到过。这是一种对现实的参照。我以后还会听这个节目,因为我喜欢在开车或睡觉的时候听播客(不是同时听,虽然现在越来越可能了)。

Turing keeps coming up here and in other shows and posts recently. It’s beginning to look like an impossibility not to do a presentation on him in the coming year. The AI series is going to do nothing but push back until that is done.

我喜欢雷的书推荐。我会选艾丽卡·奥克伦特的《在发明语言的土地上:世界语摇滚明星、克林贡诗人、洛格兰爱好者和试图建立一种完美语言的疯狂梦想家》。到目前为止,他们还没有让我失望。Stanislaw Lem was a revelation.

I’ll save thought for a blog if one is posted … but I would like to comment on the conundrum – by Khe Sahn – Can wars be resolved in Virtual Reality (VR.)

No. VR warfare is a terrible idea and fundamentally misunderstands VR. To think that VR isn’t real is a mistake. There is a reason Reality is in the name. The PTSD that a VR war would wreak on a population at large would be devastating. I have, we all have likely, several relatives who fought wars. War is bad. VR is real. We are already suffering from violence in our society from poorly thought out computer games, movies, comic books, and media that have caused actual harm.

I’m excited to hear Jeremy Bailenson in December discuss VR. Josh and Ray should ask him, along with an ask as to how it could be implemented. I bet the answer would be enough to squelch the idea outright.

Josh’s idea of Champion warfare is profound as well. Lots to think about there (Malcolm Gladwell did a bit on David and Goliath that points to a modern allegory for Drones and high tech.) I also like the resource constraint idea to VR warfare. If that were measured in psychological harm and mischief, if the one causing the most significant quantity of either would lose, then I am all for it. The energy use behind server farms already dedicated to silliness makes me rue the idea before giving VR warfare another thought. We have enough pilots in the deserts of the Southwest fighting our battles throughout the world.

I've read and agree to abide by the Community Guidelines
Harold G. Neuman's picture

Harold G. Neuman

Sunday, October 3, 2021 -- 2:33 PM

I am in agreement with

I am in agreement with limitations based on culture, science and time. Our overall advancement can hardly surpass these circumstances. Some thinkers have surmounted such limitations, but, mostly, giants have had to stand on shoulders. Having read about Frege, i may now read him. Don't think it will change my view much. But, I will try to jooms it---jump out of my space.

I've read and agree to abide by the Community Guidelines
Harold G. Neuman's picture

Harold G. Neuman

Saturday, October 16, 2021 -- 3:22 PM

And, (I got interrupted), the

And, (I got interrupted), the trouble with philosophy is philosophers. It is intractable really. As much as truth. Surely equal to ethics, morality and the rest of those ideals we can never make our minds up about. I mean, WE posited the concepts, tried to codify reasonings. But, then, could not settle on codification(s). If you can't always get what you want, and, don't always want what you get, is there any point in trying? Must we 'go through the motions'? 'Keep up appearances'? I assert that is a ruse.
A foundation for that most human of disservice, lies.. So we stumble and fumble;...wonder why things just don't turn out right. The secret? We set ourselves to failure. And deny that, to hell and back... What a laugh.

I've read and agree to abide by the Community Guidelines
Tim Smith's picture

Tim Smith

Sunday, October 17, 2021 -- 11:40 AM

Harold,

Harold,

Prosperity does not allow one to cheat on their sexual partner no matter how successful Billy Joel may be in his life. The relative wealth of our generation does not validate our choices or moral judgments.

哲学家是问题所在吗?约翰·佩里在这里提供了一个解决罗素理发挑战的方法,大多数哲学家思考弗雷格的观点,并没有忽视它们。弗雷格很有创造力,远远领先于他的时代。他没有实现更大的目标并不意味着他的想法毫无价值。

The project is to add logical rigor to math and language, decode our thought, and build artificial intelligence… drink beer! (or bow down to the one you serve!) No one here is setting themselves to fail.

I’m not sure if you weren’t intending on posting this to Neil’s Religion post? This is off-topic and not relevant here. Am I wrong? It looks like you were rushed/interrupted.

Frege was a purported anti-semite. Billy Joel’s dad was a holocaust survivor. Is that where you are going here?

无论哪种情况,弗雷格都不是一个值得嘲笑的对象。

I've read and agree to abide by the Community Guidelines
Tim Smith's picture

Tim Smith

Tuesday, October 19, 2021 -- 9:23 AM

This was in response to a

这是对之前一篇文章的回应——那篇文章使用比利·乔尔的歌词,指出繁荣和自我控制为行为和道德留出了更大的空间——现在已被删除。为那些想知道我的弹珠在哪里的孤独的读者添加这条评论。我自己大多数时候也不知道。

The second post is still outstanding and I also address that here.

Joy. Carry on.

I've read and agree to abide by the Community Guidelines
Harold G. Neuman's picture

Harold G. Neuman

Monday, October 18, 2021 -- 11:04 AM

You are right. I only know of

You are right. I only know of Frege what I have seen written by others, mostly good. For a majority, philosophers probably are doing the best they can with what they have and know. I willingly grant that much. There are other ideas, however, which seem unfounded, or at best, poorly constructed. I have spouted off on some those---to the displeasure of many. The treatments of so-called microaggression; envy as virtue; and that outworn adjective, awesome and its' noun, awesomeness.
These posts left me disappointed. Well. You can't please everyone. Thanks for setting me straight on philosophy as a discipline. My vision of things goes sometimes, crosseyed. Through this, I think I confirmed some things I have suspected about the way(s) PT presents topics and why it is those are re-addressed. It is a logical sort of formula---appears to meet needs:, if and only if, newer theses on older takes conform with facts which have not changed. The panpsychism surge has not impressed this old dog.

I've read and agree to abide by the Community Guidelines
Tim Smith's picture

Tim Smith

Monday, October 18, 2021 -- 1:40 PM

Fair enough. I don't read

Fair enough. I don't read the original works if there is a book on a philosopher.

但在肯的推荐下,我读了约翰·斯图亚特·密尔的《论自由》第三章和第四章为罗伯·赖克的慈善节目做准备以理解罗伯和密尔在生活理念上的实验。这是有史以来最清晰、最坚定的哲学。

Frege is a translation nightmare. Real differences in meaning depending on how you take it. John got into that a bit.

I've read and agree to abide by the Community Guidelines
Harold G. Neuman's picture

Harold G. Neuman

Wednesday, January 26, 2022 -- 1:19 PM

Quite some years ago, there

几年前,有一个叫“十五分钟哲学家”的网页。我过去经常检查一下。这一观点的主要原则之一是“环境决定一切”。我还没有试图对弗雷格提出的制度进行怀疑,因此我无法对它的“差异”提出意见。根据我对他试图做的事情所知不多,我推断他的目标是脱离公认的逻辑模式。这是个不错的方法,如果一个人想获得不同的观点——不同的结果,独立于之前得到的结果。
I am not saying it was good, bad, correct or incorrect. Just different. And, we know it is easier to go with the status quo than to blaze new trails. (I remembered, several years later, the Fifteen Minute folks' emphasis on context. Cannot find the blog now.)

Whatever Frege's rationale, one point is salient: if one wants something different, one must step outside of current systems. Contexts imply certain rules. It seems Frege had had enough of that.
但是,我有点跑题了。我断言有一种东西叫做语境现实。它不是唯一的一种,但在近期(哈哈)已经变得越来越重要,为各种原因和分裂提供了双腿。至于弗雷格的想法,所有这些举动都有风险。我认为他没有考虑太多背景,因为它也有缺陷。我认为他的想法不完美。然而,这可能并非不可能。可调整的,不是不可描述的,或者类似的。我们需要弗雷格这样的思想家——特立独行的人;自由的精神; unconstrained independents willing to risk. I have been doing my best for a quarter century or so. As I understand it, there is a new book out now. It was written by an Englishwoman. It is titled, The Fifteen Minute Philosopher. Context is not everything, no. Evidence suggests we have made it, rather, too much. (No apologies, Professor Dennett...)

I've read and agree to abide by the Community Guidelines
Harold G. Neuman's picture

Harold G. Neuman

Saturday, January 29, 2022 -- 3:45 PM

'What's the relationship

“数学和逻辑之间的关系是什么?”这可能是一个“正确的问题”。蒂姆·史密斯指出,弗雷格作品的翻译是一场噩梦。意义变得困惑。我可能是错的,但在我看来,逻辑和数学是相互独立的——在名誉扫地的斯蒂芬·j·古尔德(Stephen J. Gould)的不重叠的教法之后。就像科学和宗教一样。但是,等一下。如果我没弄错的话,有些逻辑是无法用数学来证明的,相反,有些数学支持的"真理"表面上看是违背逻辑的。民间智慧(又是这个词)认为我们不能两全其美。这是一个永恒的谜题,还是我们宁愿采用奥卡姆的扫帚而忽略它?感谢Tim, Josh和Ray帮我考虑这个问题。 Two last questions: does this mean logic and math are contrapuntal? If so, are they supposed to be?

I've read and agree to abide by the Community Guidelines