Intensions, types and existence

[ES] Esta es una disertación sobre dos preguntas: si y cómo los sentidos de las expresiones de un lenguaje pueden ser modelados matemáticamente; 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 lógica sobre Sentido y Denotación que comenzó con Frege, fue desarrollada sintáctica y axiomáticamente por Church, y semánticamente por Montague. Gracias a ellos, sentidos e intensiones son hoy en día nociones familiares para los lógicos. Y aunque los sentidos continúan siendo una noción más 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 Lógica Híbrida Intensional de Primer Orden y una Teoría de Tipos Híbrida Intensional. Ambos lenguajes incluyen expresiones que denotan intensiones y también maquinaria híbrida para extensionalizar las intensiones en los diversos mundos de un modelo. Pero estos lenguajes no son puramente intensionales, ya que también incluyen expresiones para denotar extensiones. Se introduce también una poderosa notación de tipos que permite diferenciar entre expresiones intensionales y extensionales, predicación intensional y extensional, y entre fórmulas bien formadas y fórmulas incoherentes. La distinción entre predicación intensional y extensional equivale a defender la existencia de dos clases de conceptos de predicados: uno entendido como una función entre conceptos y el otro como una función entre un objeto y un concepto. Los temas tradicionales de lógica 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 sólo incluyen expresiones intensionales, sino también operadores híbridos y una notación de tipos para eliminar ambigüedades. El problema de los términos 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 aléticos por medio de la identidad de intensiones, debería encontrar una mejor solución yendo más allá de las intensiones hasta llegar al reino de las hiperintensiones. Se han explorado algunas nociones filosóficas, como existencia y denotación, desde el punto de vista de nuestros lenguajes formales. Finalmente, la prueba de Gödel 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 lógica intensional como en ontología formal

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial

Un sistema formal para la modelización de una teoría de la preferencia no-extensional - El caso de Prospect Theory

En este trabajo construimos una teoría formal, basada en una lógica intensional, adecuada para modelar el comportamiento preferencial de agentes PT. Pero el cambio de lógica, como veremos, resulta insuficiente y construye, en realidad, una consecuencia de la extensión de la ontología. Nos circunscribiremos a analizar el caso de la enfermedad asiática y la inversión de preferencias inducido por cambios en el marco de formulación de las opciones.Incluiremos, además, algunas reflexiones filosóficas acerca del sistema adoptado

Hybrid type theory: a quartet in four movements

This paper sings a song -a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along

Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory

Notes on intensional theories

La cuestión de si los lenguajes intensionales son más expresivos que los lenguajes nointensionales surge en  el marco de una perspectiva semántica de las teorías. Desde esta perspectiva, la cuestión es esta. ¿Hay clases modelo que se pueden caracterizar mediante teorías que usan conceptos intensionales que no se pueden  caracterizar mediante teorías que no usan conceptos intensionales? Se sugiere una formulación precisa de  esta cuestión, pero no se ofrece una respuesta. Para aproximarse a esta cuestión, se resume la teoría de  modelos de primer orden [II] y se revisa el enfoque semántico de las teorías que emplea incrementos  teóricos, no intensionales, de primer orden [III]. Los incrementos teóricos de primer orden se bosquejan  pero no se definen rigurosamente [IV]. Este lenguaje intensional proporciona el aparato para atribuir uso del  lenguaje y actitudes intensionales a individuos cuyo comportamiento es el objeto de investigación. También  proporciona el aparato para hablar sobre traducción del lenguaje atribuido al lenguaje del investigador. La  cuestión inicial se convierte entonces en si hay clases modelo que se puedan caracterizar mediante  incrementos intencionales de lógica de primer orden que no pueden ser capturados por incrementos  teóricos no-intensionales [V].The question of whether intensional languages are more expressive than nonintensional languages is raised  within the framework of a semantic view of theories. From this perspective, the question is this. Are there  model classes that can be characterized by theories using intensional concepts that cannot be characterized  by theories that do not use intensional concepts? A precise formulation of this question is suggested, but no  answer is given. To approach this question, model theory of first order theories is summarized [II] and the  semantic approach to theories using non-intensional, theoretical augmentations of first order theories is  reviewed [III]. Intensional augmentations of first order theories are sketched [IV] but not rigorously defined.  This intensional language provides the apparatus for attributing language use and intensional attitudes to  individuals whose behavior is the object investigation. It also provides apparatus for talking about translation  from the attributed language to the investigator’s language. The initial question then becomes  whether there are model classes that can be characterized by intensional augmentations of first order logic  that cannot be captured by non-intensional theoretical augmentations [V]

El vínculo substancial leibniziano como universal antropológico : a través de Carnap, Anderson-Bernalp, y Miguel Sánchez Mazas

Se comprueba como el positivismo lógico de Carnap malinterpretó la noción de vínculo sustancial leibniziano, como si este tipo de correlaciones se pudieran justificar desde presupuestos lógicos de tipo infinitista. Sin embargo con posterioridad a 1970 se produjo un giro antropológico copernicano de tipo finitista en el modo de formalizar estos enlaces leibnizianos, dando lugar a un tipo de formalismos lógicos mucho mas especializados, fragmentados y casuísticos, como ocurrió en las propuestas de Anderson-Bernalp y Sánchez-Mazas.Carnap's logical positivism misunderstood Leibniz's notion of substantial bond, as if this type of correlations could be justified from infinitist logical assumption. However, after 1970, an anthropological Copernican twist of a finitist type in the formalization of Leibniz's bones was produced, giving rise to more specialized, fragmented and casuistic, logical formalism, as in the proposals of Anderson-Bernalp and Sánchez-Mazas

Extensionalidad, opacidad y estructura intensional. Un análisis de las falacias en contextos epistémicos.

Sin resume

Mundos admisibles

Considering the most important criticisms to the theory of transworld individuals as well as some problems related to origin essentialism, this article addresses the issue of the identity of those individuals across possible worlds. We propose the notion of admissible world as a special type of model in Intensional Logic, which, within another model, allows mapping the history and identity of individuals in different possible worlds. This view suggests a plausible solution for determining the empirically relevant essential properties of transworld individuals, a useful method to assess their identity, and, finally, a new way of reexamining the classical debate between realism and anti-realism in the Philosophy of Language.    Tomando en cuenta las críticas más importantes a la teoría de los individuos transmundanos, así como algunos argumentos en relación con el esencialismo de origen, este artículo trata el problema de la identidad de aquellos individuos a través de mundos posibles. Proponemos la noción de mundo admisible como un tipo especial de modelo en Lógica Intensional, que, dentro de otro modelo, permite el mapeo de la historia e identidad de los individuos en diferentes mundos posibles. Esta propuesta sugiere una solución plausible para determinar propiedades esenciales empíricamente relevantes ostentadas por los individuos transmundanos, un método eficaz para evaluar su identidad y, finalmente, una nueva perspectiva desde la cual reexaminar el clásico debate entre realismo y antirrealismo en la Filosofía del Lenguaje.  

LEGAL LANGUAGE INTENTIONALITY

O presente artigo discute questõesconcernentes à referência e ao significado,semântica intensional e sua aplicação àssentenças deônticas, de acordo com opensamento de Frege, Ross, Leibniz e Quine.O principal objetivo é explicar porque alógica deôntica standard é intensional e porque sua semântica pode ser formulada comouma semântica de mundos possíveis. Umaimportante conclusão é que a lógica clássicanão pode ser aplicada tão diretamente aoraciocínio jurídico, necessitando as mediaçõesexplanadas no artigo.This paper discusses some ideasabout reference and meaning, intensionalsemantics and its application to deonticsentences, according the think of Frege,Ross, Leibniz and Quine. The main purpose isto explain why the standard deontic logicis intensional and why its semantics canbe formulated as a semantics of possibleworlds. An important conclusion is thatclassical logic cannot be applied so directlyto juridical reasoning