A Scientific Revolution in Real Time.
Frege did not realize that the semantical job of quantifiers includes expressing, by their own formal dependencies on each other, actual dependencies between variables. This uncorrected mistake led to flawed first-order logic, set-theoretical paradoxes and inadequate grasp of higher-order logic. It...
| Publicado en: | Teorema Vol. 33; no. 2; pp. 13 - 28 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Teorema
2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=110118842&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 110118842 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 02101602 IHG jtl: Teorema issn: 02101602 maglogo: N pubinfo: dt: 2014 vid: 33 iid: 2 pid: 20677 pub: Teorema artinfo: ui: 110118842 ppf: 13 ppct: 15 formats: fmt: @attributes: type: P size: 810KB tig: atl: A Scientific Revolution in Real Time. aug: au: Hintikka, Jaakko affil: Department of Philosophy Boston University Arts & Sciences 745 Commonwealth Avenue, Room 516 Boston, MA 02215, USA su: Frege, Gottlob, 1848-1925 Logic Set theory Probability theory Paradox Philosophy & mathematics sug: subj: Frege, Gottlob, 1848-1925 Logic Set theory Probability theory Paradox Philosophy & mathematics keyword: Independence Friendly Logic Paradoxes of Set Theory Probability Quantifier dependence dependencia de cuantificadores lógica IF paradojas de teoría de conjuntos probabilidad ab: Frege did not realize that the semantical job of quantifiers includes expressing, by their own formal dependencies on each other, actual dependencies between variables. This uncorrected mistake led to flawed first-order logic, set-theoretical paradoxes and inadequate grasp of higher-order logic. It began to be corrected only through the introduction of IF logic. This reform leads to a richer first-order logic, to a reduction of higher-order logic to first-order level, to a rejection of the usual first-order axiomatizations of set theory, to a new concept of probability, and to a re-evaluation of the incompleteness, indefinability, and unprovability results Frege no se dio cuenta de que el trabajo semántico de los cuantificadores incluye expresar, debido a las propias dependencias formales entre ellos, dependencias reales entre variables. Este error no corregido condujo a una lógica de primer orden deficiente, a paradojas en la teoría de conjuntos y a una compresión inadecuada de la lógica de orden superior. Un error que comenzó a corregirse tan solo por medio de la introducción de la lógica IF. Esta reforma conduce a una lógica de primer orden más rica, a una reducción de la lógica de orden superior a un nivel de primer orden, a un rechazo de las habituales axiomatizaciones de primer orden de la teoría de conjuntos, a un nuevo concepto de probabilidad y a una reevaluación de los resultados de incompletitud, indefinibilidad e indemostrabilidad. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Teorema is the property of Teorema and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Teorema holder: Teorema dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|