View topic on PhilPapers for more information
Related categories

28 found
Order:
More results on PhilPapers
  1. added 2020-03-18
    Reseña de ‘Soy un Bucle Extraño’ ( I am a Strange Loop) de Douglas Hofstadter (2007) (reseña revisado 2019).Michael Richard Starks - 2020 - In Comprender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política, Economía, Historia y Literatura - Artículos y reseñas 2006-2019. Las Vegas, NV USA: Reality Press. pp. 265-282.
    Último sermón de la iglesia del naturalismo fundamentalista por el pastor Hofstadter. Al igual que su mucho más famoso (o infame por sus incesantemente errores filosóficos) trabajo Godel, Escher, Bach, tiene una plausibilidad superficial, pero si se entiende que se trata de un científico rampante que mezcla problemas científicos reales con los filosóficos (es decir, el sólo los problemas reales son los juegos de idiomas que debemos jugar) entonces casi todo su interés desaparece. Proporciono un marco para el análisis basado (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-13
    Revisão de ‘Eu sou um Loop Estranho’ (I am a Strange Loop) por Douglas Hofstadter (2007) (revisão revisada 2019).Michael Richard Starks - 2020 - In Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política, Economia, História e Literatura - Artigos e Avaliações 2006-2019. Las Vegas, NV USA: Reality Press. pp. 251-268.
    Último sermão da Igreja do naturalismo fundamentalista pelo pastor Hofstadter. Como o seu muito mais famoso (ou infame por seus erros filosóficos implacáveis) Godel, Escher, Bach, ele tem uma plausibilidade superficial, mas se se compreende que este é um cientificismo desenfreado que mistura questões científicas reais com os filosóficos (ou seja, o somente as edições reais são que jogos da língua nós devemos jogar) então quase todo seu interesse desaparece. Eu forneci um quadro para análise baseada na psicologia evolutiva e (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-01-25
    Incompleteness and Computability. An Open Introduction to Gödel's Theorems.Richard Zach - 2019
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2019-12-21
    Wolpert, Chaitin e Wittgenstein em impossibilidade, incompletude, o paradoxo do mentiroso, o teísmo, os limites da computação, um princípio de incerteza mecânica não quântica e o universo como computador — o teorema final na teoria da máquina de Turing (revisado 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 183-187.
    Eu li muitas discussões recentes sobre os limites da computação e do universo como computador, na esperança de encontrar alguns comentários sobre o trabalho surpreendente do físico polimatemático e teórico da decisão David Wolpert, mas não encontrei uma única citação e assim que eu apresento este muito breve Resumo. Wolpert provou alguma impossibilidade impressionante ou teoremas da incompletude (1992 a 2008-Veja arxiv dot org) nos limites à inferência (computação) que são tão gerais que são independentes do dispositivo que faz a (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-12-21
    O que significa paraconsistente, indecível, aleatório, computável e incompleto?- Uma revisão da ‘Godel’s Way: exploits into an undecidable world’ (Maneira de Godel: façanhas em um mundo indecidível) por Gregory Chaitin, Francisco A Doria, Newton C.A. da costa 160P (2012) (revisão revisada 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 168-182.
    Em "Godel's Way", três cientistas eminentes discutem questões como a undecidability, incompletude, aleatoriedade, computabilidade e paraconsistência. Eu abordar estas questões do ponto de vista Wittgensteinian que existem duas questões básicas que têm soluções completamente diferentes. Há as questões científicas ou empíricas, que são fatos sobre o mundo que precisam ser investigados observacionalmente e questões filosóficas sobre como a linguagem pode ser usada inteligìvelmente (que incluem certas questões em matemática e lógica), que precisam ser decidido por olhar uma como nós realmente (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2019-12-19
    Revisão de ‘Eu sou um Loop Estranho’ (I am a Strange Loop) por Douglas Hofstadter (2007) (revisão revisada 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 112-128.
    Último sermão da Igreja do naturalismo fundamentalista pelo pastor Hofstadter. Como o seu muito mais famoso (ou infame por seus erros filosóficos implacáveis) Godel, Escher, Bach, ele tem uma plausibilidade superficial, mas se se compreende que este é um scientismo desenfreado que mistura questões científicas reais com os filosóficos (ou seja, o somente as edições reais são que jogos da língua nós devemos jogar) então quase todo seu interesse desaparece. Eu forneci um quadro para análise baseada na psicologia evolutiva e (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2019-12-05
    ¿Qué significa paraconsistente, indescifrable, aleatorio, computable e incompleto? Una revisión de’ la Manera de Godel: explota en un mundo indecible’ (Godel’s Way: Exploits into an Undecidable World) por Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 263-277.
    En ' Godel’s Way ', tres eminentes científicos discuten temas como la indecisión, la incompleta, la aleatoriedad, la computabilidad y la paracoherencia. Me acerco a estas cuestiones desde el punto de vista de Wittgensteinian de que hay dos cuestiones básicas que tienen soluciones completamente diferentes. Existen las cuestiones científicas o empíricas, que son hechos sobre el mundo que necesitan ser investigados Observacionalmente y cuestiones filosóficas en cuanto a cómo el lenguaje se puede utilizar inteligiblemente (que incluyen ciertas preguntas en matemáticas (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-12-05
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 278-282.
    He leído muchas discusiones recientes sobre los límites de la computación y el universo como computadora, con la esperanza de encontrar algunos comentarios sobre el increíble trabajo del físico polimatemático y teórico de la decisión David Wolpert pero no han encontrado una sola citación y así que presento esta muy breve Resumen. Wolpert demostró algunos teoremas sorprendentes de imposibilidad o incompletos (1992 a 2008-ver arxiv dot org) en los límites de la inferencia (computación) que son tan generales que son independientes (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2019-12-04
    Reseña de ‘I am a Strange Loop’ (Soy un Lazo Extraño) de Douglas Hofstadter (2007) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 205-221.
    Último sermón de la iglesia del naturalismo fundamentalista por el pastor Hofstadter. Al igual que su mucho más famoso (o infame por sus incesantemente errores filosóficos) trabajo Godel, Escher, Bach, tiene una plausibilidad superficial, pero si se entiende que se trata de un científico rampante que mezcla problemas científicos reales con los filosóficos (es decir, el sólo los problemas reales son los juegos de idiomas que debemos jugar) entonces casi todo su interés desaparece. Proporciono un marco para el análisis basado (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. added 2019-09-04
    Remarques sur l'impossibilité l'incomplétude, la paracohérence l'indécision, le hasard, la calculabilité, le paradoxe et l'incertitude - dans Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria da Costa, Godel, Searle, Rodych, Berto Floyd, Moyal-Sharrock et Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    On pense généralement que l'impossibilité, l'incomplétdulité, la paracohérence, l'indécidabilité, le hasard, la calcul, le paradoxe, l'incertitude et les limites de la raison sont des questions scientifiques physiques ou mathématiques disparates ayant peu ou rien dans terrain d'entente. Je suggère qu'ils sont en grande partie des problèmes philosophiques standard (c.-à-d., jeux de langue) qui ont été la plupart du temps résolus par Wittgenstein plus de 80 ans. Je fournis un bref résumé de quelques-unes des principales conclusions de deux des plus éminents (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2019-08-28
    Pernyataan tentang kemustahilan, ketidaklengkapan, Paraconsistency,Undecidability, Randomness, Komputabilitas, paradoks, dan ketidakpastian dalam Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock dan Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Hal ini sering berpikir bahwa kemustahilan, ketidaklengkapan, Paraconsistency, Undecidability, Randomness, komputasi, Paradox, ketidakpastian dan batas alasan yang berbeda ilmiah fisik atau matematika masalah memiliki sedikit atau tidak ada dalam Umum. Saya menyarankan bahwa mereka sebagian besar masalah filosofis standar (yaitu, Permainan bahasa) yang sebagian besar diselesaikan oleh Wittgenstein lebih dari 80years yang lalu. -/- "Apa yang kita ' tergoda untuk mengatakan ' dalam kasus seperti ini, tentu saja, bukan filsafat, tetapi bahan baku. Jadi, misalnya, apa yang seorang matematikawan cenderung mengatakan (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. added 2019-08-27
    اظهارات در مورد عدم امکان ، بی کامل بودن ، پاراستشتها، Undecidability ، اتفاقی ، Computability ، پارادوکس ، و عدم قطعیت در Chaitin ، ویتگنشتاین ، Hofstadter ، Wolpert ، doria ، دا کوستا ، گودل ، سرل ، رودیچ ، برتو ، فلوید ، مویال-شرراک و یانفسکی.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    معمولا تصور می شود که عدم امکان ، بی کامل بودن ، پارامونشتها ، Undecidability ، اتفاقی ، قابلیت های مختلف ، پارادوکس ، عدم قطعیت و محدودیت های دلیل ، مسائل فیزیکی و ریاضی علمی و یا با داشتن کمی یا هیچ چیز در مشترک. من پیشنهاد می کنم که آنها تا حد زیادی مشکلات فلسفی استاندارد (به عنوان مثال ، بازی های زبان) که عمدتا توسط ویتگنشتاین بیش از 80 سال پیش حل و فصل شد. -/- "آنچه ما (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2019-08-25
    关于在柴廷、维特根斯坦、霍夫施塔特、沃尔珀特、多里亚、达科斯塔、戈德尔、西尔、罗迪赫、贝托、弗洛伊德、贝托、弗洛伊德、莫亚尔-沙罗克和亚诺夫斯基.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    人们普遍认为,不可能性、不完整性、不一致性、不可度、随机性、可预见性、悖论、不确定性和理性极限是完全不同的科学物理或数学问题,在常见。我认为,它们主要是标准的哲学问题(即语言游戏),这些问题大多在80 多年前由维特根斯坦解决。 -/- "在这种情况下,我们'想说'当然不是哲学,而是它的原材料。因此,例如,数学家倾向于对数学事实的客观性和现实性说的,不是数学哲学,而是哲学处理的东西。维特根斯坦 PI 234 -/- "哲学家们经常看到科学的方法,他们不可抗拒地试图以科学的方式提问和回答问题。这种倾向是形而上学的真正源泉,将哲学家带入完全的黑暗之中。 维特根斯坦 -/- 我简要地总结了现代两位最杰出的学生路德维希·维特根斯坦和约翰·西尔关于故意的逻辑结构(思想、语言、行为)的一些主要发现,作为我的起点Wittgenstein 的基本发现——所有真正的"哲学"问题都是相同的——关于在特定上下文中如何使用语言的困惑,因此所有解决方案都是一样的——研究如何在相关上下文中使用语言,使其真实性条件(满意度或 COS 条件)是明确的。基本问题是,人们可以说什么,但一个人不能意味着(状态明确COS)任何任意的话语和意义只有在非常具体的上下文中才可能。 -/- 在两种思想体系的现代视角(被推广为"思维快,思维慢")的框架内,我从维特根斯坦人的角度剖析了一些主要评论员关于这些问题的一些著作,并采用了一个新的表意向性和新的双系统命名法。 我表明,这是一个强大的启发式描述这些假定的科学,物理或数学问题的真实性质,这是真正最好的处理作为标准哲学问题,如何使用语言(语言游戏在维特根斯坦的术语)。 -/- 我的论点是,这里突出特征的意向表(理性、思想、思想、语言、个性等)或多或少地准确地描述了,或者至少作为启发式,我们思考和行为的方式,所以它包含不只是哲学和心理学,但其他一切(历史,文学,数学,政治等) 。特别要注意,我(以及西尔、维特根斯坦和其他人)认为,故意和理性包括有意识的审议语言系统2和无意识的自动预语言系统1行为或反射。 .
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2019-08-16
    Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics.Michael Richard Starks - 2019 - In Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal. Las Vegas, NV USA: Reality Press. pp. 24-38.
    It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2019-06-20
    Proof That Wittgenstein is Correct About Gödel.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2019-04-20
    Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2019-02-24
    Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (Review Revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 299-316.
    I give a detailed review of 'The Outer Limits of Reason' by Noson Yanofsky from a unified perspective of Wittgenstein and evolutionary psychology. I indicate that the difficulty with such issues as paradox in language and math, incompleteness, undecidability, computability, the brain and the universe as computers etc., all arise from the failure to look carefully at our use of language in the appropriate context and hence the failure to separate issues of scientific fact from issues of how language works. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2019-02-24
    Wolpert, Chaitin and Wittgenstein on Impossibility, Incompleteness, the Liar Paradox, Theism, the Limits of Computation, a Non-Quantum Mechanical Uncertainty Principle and the Universe as Computer—the Ultimate Theorem in Turing Machine Theory (Revised 2019).Michael Starks - 2019 - In Suicidal Utopian Delusions in the 21st Century -- Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2019 4th Edition Michael Starks. Las Vegas, NV USA: Reality Press. pp. 294-299.
    I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2018-07-08
    Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge. [REVIEW]Panu Raatikainen - 2018 - History and Philosophy of Logic 39 (4):401-403.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2018-05-11
    What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
    Introduction to mathematical logic, part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2018-03-12
    Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
    Review of "Exploring Randomness" (200) and "The Unknowable" (1999) by Gregory Chaitin.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. added 2017-11-09
    Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.
    The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet been used or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2014-10-05
    On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
    A survey of more philosophical applications of Gödel's incompleteness results.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. added 2014-05-10
    Review of Space, Time, and Number in the Brain. [REVIEW]Carlos Montemayor & Rasmus Grønfeldt Winther - 2015 - Mathematical Intelligencer 37 (2):93-98.
    Albert Einstein once made the following remark about "the world of our sense experiences": "the fact that it is comprehensible is a miracle." (1936, p. 351) A few decades later, another physicist, Eugene Wigner, wondered about the unreasonable effectiveness of mathematics in the natural sciences, concluding his classic article thus: "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve" (1960, p. 14). (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. added 2014-03-23
    Self-Reference and Gödel's Theorem: A Husserlian Analysis. [REVIEW]Albert Johnstone - 2003 - Husserl Studies 19 (2):131-151.
    A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or false, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2014-03-08
    The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
    An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. added 2010-03-11
    How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 77--93.
    Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2010-03-11
    Intensionality and the Gödel Theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations