FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904219084> ?p ?o ?g. }

• W2904219084 abstract "Esta es una disertacion sobre dos preguntas: si y como los sentidos de las expresiones de un lenguaje pueden ser modelados matematicamente; y sobre una respuesta: las intensiones son un medio necesario pero no suficiente para comprender totalmente los sentidos. Las intensiones no han aparecido de repente, tienen una historia enraizada en la logica sobre Sentido y Denotacion que comenzo con Frege, fue desarrollada sintactica y axiomaticamente por Church, y semanticamente por Montague. Gracias a ellos, sentidos e intensiones son hoy en dia nociones familiares para los logicos. Y aunque los sentidos continuan siendo una nocion mas oscura, las intensiones, sin embargo, son un concepto bien definido: son funciones desde mundos posibles a objetos. El presente trabajo ofrece dos lenguajes formales con intensiones: una Logica Hibrida Intensional de Primer Orden y una Teoria de Tipos Hibrida Intensional. Ambos lenguajes incluyen expresiones que denotan intensiones y tambien maquinaria hibrida para extensionalizar las intensiones en los diversos mundos de un modelo. Pero estos lenguajes no son puramente intensionales, ya que tambien incluyen expresiones para denotar extensiones. Se introduce tambien una poderosa notacion de tipos que permite diferenciar entre expresiones intensionales y extensionales, predicacion intensional y extensional, y entre formulas bien formadas y formulas incoherentes. La distincion entre predicacion intensional y extensional equivale a defender la existencia de dos clases de conceptos de predicados: uno entendido como una funcion entre conceptos y el otro como una funcion entre un objeto y un concepto. Los temas tradicionales de logica intensional—como modelos con un solo dominio o con varios dominios y las interpretaciones de dicto y de re—son analizados pero desde un punto de vista novedoso, dado que los lenguajes antes citados no solo incluyen expresiones intensionales, sino tambien operadores hibridos y una notacion de tipos para eliminar ambiguedades. El problema de los terminos que no denotan se estudia asumiendo que las intensiones son funciones parciales; y el problema de la identidad de sentidos, aunque resuelto en el caso de contextos aleticos por medio de la identidad de intensiones, deberia encontrar una mejor solucion yendo mas alla de las intensiones hasta llegar al reino de las hiperintensiones. Se han explorado algunas nociones filosoficas, como existencia y denotacion, desde el punto de vista de nuestros lenguajes formales. Finalmente, la prueba de Godel a favor de la existencia de Dios y el argumento de Caramuel en contra de la existencia de Dios, son analizados como dos ejercicios sugerentes tanto en logica intensional como en ontologia formal." @default.
• W2904219084 created "2018-12-22" @default.
• W2904219084 creator A5012098073 @default.
• W2904219084 date "2017-01-01" @default.
• W2904219084 modified "2023-09-23" @default.
• W2904219084 title "Intensions, types and existence" @default.
• W2904219084 cites W1494982504 @default.
• W2904219084 cites W1504571518 @default.
• W2904219084 cites W1508937791 @default.
• W2904219084 cites W1510921019 @default.
• W2904219084 cites W1516748551 @default.
• W2904219084 cites W1519238856 @default.
• W2904219084 cites W1520336201 @default.
• W2904219084 cites W1528689085 @default.
• W2904219084 cites W1585058853 @default.
• W2904219084 cites W1594912681 @default.
• W2904219084 cites W1661653767 @default.
• W2904219084 cites W1891479826 @default.
• W2904219084 cites W1963781517 @default.
• W2904219084 cites W1964370926 @default.
• W2904219084 cites W1966256947 @default.
• W2904219084 cites W1990174903 @default.
• W2904219084 cites W1995255118 @default.
• W2904219084 cites W1996404651 @default.
• W2904219084 cites W2003633725 @default.
• W2904219084 cites W2005814072 @default.
• W2904219084 cites W2010588603 @default.
• W2904219084 cites W2012902058 @default.
• W2904219084 cites W2029151503 @default.
• W2904219084 cites W2063029295 @default.
• W2904219084 cites W2065861258 @default.
• W2904219084 cites W2066631435 @default.
• W2904219084 cites W2072374506 @default.
• W2904219084 cites W2079337360 @default.
• W2904219084 cites W2083160260 @default.
• W2904219084 cites W2092930063 @default.
• W2904219084 cites W2114727877 @default.
• W2904219084 cites W2135928288 @default.
• W2904219084 cites W2155094707 @default.
• W2904219084 cites W2155581733 @default.
• W2904219084 cites W2160331299 @default.
• W2904219084 cites W2163751633 @default.
• W2904219084 cites W2287077086 @default.
• W2904219084 cites W2312202778 @default.
• W2904219084 cites W2315087782 @default.
• W2904219084 cites W2323803659 @default.
• W2904219084 cites W2324842926 @default.
• W2904219084 cites W2325460643 @default.
• W2904219084 cites W2328958409 @default.
• W2904219084 cites W2342316659 @default.
• W2904219084 cites W25327751 @default.
• W2904219084 cites W2752893407 @default.
• W2904219084 cites W2798579754 @default.
• W2904219084 cites W2798598542 @default.
• W2904219084 cites W2799177124 @default.
• W2904219084 cites W2942153026 @default.
• W2904219084 cites W2981298342 @default.
• W2904219084 cites W3140283761 @default.
• W2904219084 cites W3144889436 @default.
• W2904219084 cites W3187249651 @default.
• W2904219084 cites W41255196 @default.
• W2904219084 cites W958291881 @default.
• W2904219084 cites W1598354670 @default.
• W2904219084 cites W2151890791 @default.
• W2904219084 hasPublicationYear "2017" @default.
• W2904219084 type Work @default.
• W2904219084 sameAs 2904219084 @default.
• W2904219084 citedByCount "0" @default.
• W2904219084 crossrefType "journal-article" @default.
• W2904219084 hasAuthorship W2904219084A5012098073 @default.
• W2904219084 hasConcept C136137745 @default.
• W2904219084 hasConcept C138885662 @default.
• W2904219084 hasConcept C151730666 @default.
• W2904219084 hasConcept C15708023 @default.
• W2904219084 hasConcept C77928131 @default.
• W2904219084 hasConcept C86803240 @default.
• W2904219084 hasConceptScore W2904219084C136137745 @default.
• W2904219084 hasConceptScore W2904219084C138885662 @default.
• W2904219084 hasConceptScore W2904219084C151730666 @default.
• W2904219084 hasConceptScore W2904219084C15708023 @default.
• W2904219084 hasConceptScore W2904219084C77928131 @default.
• W2904219084 hasConceptScore W2904219084C86803240 @default.
• W2904219084 hasLocation W29042190841 @default.
• W2904219084 hasOpenAccess W2904219084 @default.
• W2904219084 hasPrimaryLocation W29042190841 @default.
• W2904219084 isParatext "false" @default.
• W2904219084 isRetracted "false" @default.
• W2904219084 magId "2904219084" @default.
• W2904219084 workType "article" @default.