En la actividad científica se pueden distinguir tres tipos principales de representación científica: proyectiva, subsuntiva y reductiva. Tras unas breves considcraciones introductorias, se presentan las características más destacadas de cada uno de estos tres tipos principales de representación científica y se abstrae a partir de ellas el esquema al que toda Teoría General de la Representación Científica se debe adecuar. A continuación se exponen las lineas generales de la principal propuesta presente en la literatura para desarrollar TGRC y se hacen (...) algunas consideraciones criticas. La conclusión provisional es que esta propuesta tiene, al menos por el momento, el problema de ser, o bien demasiado liberal, o bien demasiado conservadora. Por último, se propone un enfoque alternativo a explorar que pretende estar libre de los problemas deI anterior.We can distinguish three main types of representation in scientific practice: projective, subsuntive and reductive. After some brief introductory remarks, we present the more salient characteristics of these three main types of scientific representation and we abstract from them a scheme that any General Theory for Scientific Representation must fit. Then we offer the general traits of the main existing proposal for a GTSR and we make some criticisms. The provisional conclusion is that this proposal is, as it stands, either too liberal or too conservative. Finally, we propose to explore an alternative approach which intends to solve these difficulties. (shrink)

O artigo objetiva demonstrar que a Semântica formal, enquanto campo de articulação entre Lógica e Ontologia, exige sua fundamentação em uma Antropologia. Para isso, será necessário demonstrar que Tugendhat conduz a Semântica formal ao modo de fundamentação da Fenomenologia de Heidegger, por meio dos estados-de-ânimo. Para tanto, partiremos da distinção entre fundamento relativo e absoluto, introduzida nos primeiros capítulos das Lições Introdutórias à Filosofia Analítica da Linguagem, com a finalidade de demonstrar que a dimensão semântica (...) da filosofia de Tugendhat somente pode fundamentar relativamente seu conceito de Filosofia. Pelo contrário, a dimensão fenomenológica, enquanto oferece uma motivação para a atividade de filosofar, pode fornecer também o ponto de apoio para uma fundamentação absoluta deste conceito. Com isto, entretanto, o que Tugendhat parece não ter percebido é que, por meio desse movimento, ele inverte a relação de implicação entre ambos os métodos, de tal modo a tornar o método fenomenológico fundamento do método analítico. Assim, sendo absoluta, devemos considerar a dimensão motivadora, no caso os estados-deânimo, fundamento da fenomenologia de Ser e Tempo, como originária frente à dimensão relativa oferecida pela Semântica formal. Será com base nesta relação, portanto, que tomaremos a circularidade entre o fundamento nos estados-de-ânimo e o fundamento nas regras semânticoformais para enunciados assertóricos com a finalidade de demonstrar que o campo de articulação entre Lógica e Ontologia exige sua fundamentação em uma Antropologia. (shrink)

Marcelo Dascal destaca en diversos artículos en los que analiza las consecuencias de la concepción pragmática del significado, la importancia de estudiar la estructura dialógica de la controversia argumentativa tanto epistemológica como lógica para la formulación de un concepto de conocimiento alternativo al concepto representacional y computacional usual en las ciencias cognitivas. Ahora bien, se supone que la lógica linear es el instrumento más apropiado para describir procesos computacionales de deducción. Irónicamente, las semánticas formales usuales, que podrían utilizarse para una (...) fundamentación representacional de la lógica linear han sido hasta ahora más bien infructuosas. Es más, parece que la semántica de la lógica linear es esencialmente pragmática y basada en una estructura dialógica. Objetivo de este trabajo es discutir una nueva semántica para la lógica linear que destaca precisamente los fundamentos pragmáticos de tales aspectos dialógicos entendidos como una controversia argumentativa, a saber, contexto de argumentación, relevancia e intercambio de información. (shrink)

RESUMO O objetivo do artigo é aperfeiçoar heurísticas para o discurso das notícias por meio do desenvolvimento de um modelo cognitivo de abstração, em contextos de mídia social. Para tal, discute-se a notícia como gênero, estrutura e metalinguagem, partindo da noção formal de modo semiótico. A anotação sob essa visada é uma tecnologia bem-sucedida para controlar os efeitos das restrições de gênero, revelar relações e inquirir sobre dados e documentos. Procede-se à anotação da notícia na interface do Twitter, caracterizada (...) em termos de suas regularidades formais e materiais empregadas recursivamente. Demonstra-se a formalização de uma semântica para o discurso da notícia nas chamadas formas lógicas, adaptada de ferramentas desenvolvidas pela Segmented Discourse Representation Theory (SDRT), a fim de construir novas hipóteses sobre coerência em diferentes níveis de detalhe. Por fim, discute-se a implicação desta abordagem como disciplina na produção de conhecimento transversal com vistas à literacia digital, em tempos urgentes1. (shrink)

El modelo de marcos argumentativos abstractos es actualmente la herramienta más utilizada para caracterizar la justificación de argumentos derrotables en Inteligencia Artificial. Las justificaciones se determinan en base a los ataques entre argumentos y se formalizan a través de semánticas de extensiones. Aquí sostenemos que, o bien algunos marcos argumentativos carecen de sentido bajo ciertas concepciones de ataque específicas, o bien las semánticas más usadas en la literatura, basadas en el concepto de defensa conocido como admisibilidad, no resultan adecuadas para (...) justificar, en particular, argumentos para la toma de decisiones.The abstract argumentation frameworks model is currently the most used tool for characterizing the justification of defeasible arguments in Artificial Intelligence. Justifications are determined on a given attack relation among arguments and are formalized as extension semantics. In this work we argue that, contrariwise to the assumptions in that model, either some argumentation frameworks are meaningless under certain concrete definitions of the attack relation, or some of the most used extension semantics in the literature, based on the defense notion of admissibility, are not suitable in particular for the justification of arguments for decision making. (shrink)

El trabajo propone sentar las bases de un giro de las interpretaciones habituales de la silogística aristotélica. En nuestra lectura no se parte de la idea normativa de un hipotético pensamiento puro al que la lógica aristotélica pretendiese acceder por primera vez. La investigación aristotélica de los analíticos partiría, más bien, del uso implícito de un término (ὑπάρχειν + dat.) en el lenguaje corriente (el proceder habitual de sus investigaciones) para explorar los distintos significados que tales usos presuponen. El silogismo (...) sería la herramienta para efectuar esta labor siendo así que las ambigüedades que pone de manifiesto no serán errores a solventar por el intérprete, sino la expresión irreductible del interpretado mismo. (shrink)

Las nociones epistémicas modales se definen como aquellos conceptos epistémicos que, como el de cognoscibilidad o el de indudabilidad, incluyen una nota modal. Segun se defiende en este trabajo, la semántica de mundos posibles y algunas de sus extensiones (especialmente las llevadas a cabo para logica temporal, logica epistemica y logica condicional) son instrumentos adecuados para deshacer el nudo de las intensionalidades superpuestas en estas nociones especialmente esquivas al análisis. Para mostrarlo, se proporcionan una serie de análisis sucesivos de la (...) nocion de cognoscibilidad que a partir de una interpretación naif van salvando una serie de presuposiciones, problemas y paradojas hasta dar con una analisis que se presume satisfactorio.“Modal epistemic notions” are those epistemic concepts which in some way or another has a modal element. These modal epistemic notions, although they could appear intuitively clear, they turn out to be particularly obscure, slippery, when one subjects them to a formal analysis. In this paper we will try to show that possible world semantics (and its extensions for epistemic, temporal and conditional logic) is an appropriate instrument for the explanation ofthese notions. Four successive analysis of the notion of “knowability” are given, ranging from a naive account to an analysis that gets to the bottom ofthe problem. (shrink)

Neste artigo, pretendo explicitar o papel da lógica formal no projeto crítico kantiano. No tratamento dessa questão, abordarei a relação entre a lógica formal, frequentemente chamada por Kant de lógica geral, e a lógica transcendental. Assumirei a tese de que a lógica formal e a lógica transcendental são duas ciências racionais puras, distintas, independentes, porém, com conexões entre si, a despeito das leituras que sugerem que a lógica transcendental substitua a lógica formal ou que a lógica (...) formal mantenha a sua existência, devendo, no entanto, ser subordinada à lógica transcendental. Na caracterização da lógica formal, utilizarei, sobretudo, a Jäsche-Logik. Quanto à lógica transcendental, exposta na Kritik der reinen Vernunft, irei me servir da leitura semântica de Loparic para tratar do conhecimento metafísico da natureza. Inicio o artigo apontando a proximidade de Kant com a lógica formal e o seu emprego na elaboração do projeto crítico. (shrink)

Tras una breve presentación / explicación de la noción de similaridad intermundana que se utiliza en lógica condicional, se explican cuatro nociones intuitivas, pre-teóricas, de similaridad, así como las implicaciones formales que posee su adopción como correlato informal para la noción técnica de similaridad entre mundos: parecido entre objetos, magnitud del cambio, semejanza estructural, y probabilidad / posibilidad de eventos. Por ultimo, se retoman dos problemas tradicionales de la lógica condicional a la luz de los conceptos recién definidos: la asunción (...) de unicidad (vinculada al tercio excluso condicional), y el principio de comparabilidad (vinculada al principio de monotonía racional). (shrink)

É bem conhecida a divergência entre as posições de Gottlob Frege e Bertrand Russell com relação ao tratamento semântico dado a sentenças contendo termos singulares indefinidos, ou seja, termos singulares sem referência ou com referência ambígua, tais como ‘Papai Noel’ ou ‘o atual rei da França’ ou ‘1/0 ’ ou ‘√4’ ou ‘o autor de Principia Mathematica’. Para Frege, as sentenças da linguagem natural que contêm termos indefinidos não formam declarações e portanto não são nem verdadeiras nem falsas. Já para (...) as sentenças da matemática, Frege defende que elas precisam ser corrigidas através da convenção forçada de uma referência não ambígua. Russell, por outro lado, aceita os termos indefinidos e propõe, através de sua teoria das descrições definidas, uma maneira de avaliar as sentenças em que eles ocorrem; e Quine amplia a teoria de Russell para abranger também os nomes com problemas de referência. Na prática da matemática são comuns os termos singulares indefinidos, sem referência, tais como ‘1/0 ’, ou com referência ambígua, tais como ‘√4’. Apesar de não haver uma sistematização rigorosa desta situação entre os matemáticos, há, no entanto, um conjunto de regras convencionais que tradicionalmente costumam ser aplicadas no tratamento matemático dos termos indefinidos. Nossa proposta é tomar a convenção matemática como inspiração e modelo para apresentar uma interpretação semântica formal para as descrições definidas e os nomes e utilizá-la como um argumento que favorece a abordagem de Russell relativamente à de Frege. (shrink)

El artículo busca clarifcar la noción de modelo involucrada en el enfoque semántico de las teorías (EST). Se muestra que en el contexto del EST el término ‘modelo’ tiene dos funciones: en un caso se presenta como una estructura que satisface una descripción y en el otro como una estructura matemática que representa aspectos de ciertos sistemas reales. Así, el término ‘modelo’ posee dos sentidos, pero la función relevante de los modelos para el EST es la de representación y no (...) la de satisfacción. Esto nos permitirá concluir, entre otras cosas, que los partidarios de la concepción estructuralista de las teorías, una de las versiones del EST, colocan el acento en forma inadecuada al concebir los modelos en el sentido de la semántica formal, en tanto que las versiones últimas de van Fraassen y Giere son más apropiadas al privilegiar los modelos como estructuras matemáticas, el primero, y como representaciones, el segundo. (shrink)

Los veinte años que van desde fines de los setenta hasta fines de los noventa del siglo pasado, presenciaron la influencia del pensamiento de Donald Davidson en casi todas las áreas de la filosofía. Aunque el propio autor no se propuso construir un sistema, el proyecto que comenzó con algunas anotaciones técnicas en semántica formal y teoría de la acción fue ampliándose progresivamente para incorporar intuiciones en muchas otras áreas. Si bien los detalles técnicos del proyecto han recibido severos (...) cuestionamientos, muchas de esas intuiciones siguen siendo válidas. En este texto me propongo reseñar y discutir las tesis centrales del libro de Karina Pedace con el objetivo de evaluar esas intuiciones, más allá de si algunos de sus críticos se han concentrado en detalles que podrían ser poco relevantes para entender los objetivos principales del proyecto. (shrink)

One of the hottest philosophical debates in recent years concerns the nature of the semantics/pragmatics divide. Some writers have expressed the reserve that this might be merely terminological, but in my view it ultimately concerns a substantive issue with empirical implications: the scope and limits of a serious scientific undertaking, formal semantics. In this critical note I discuss two arguments by Recanati: his main methodological argument --viz. that the contents posited by what he calls 'literalists' play no relevant role (...) in communication--, and some phenomenological considerations regarding the "Availability Principle" that he appeals to in order to buttress that main argument. /// Uno de los más encarnizados debates filosóficos recientes atañe a la naturaleza de la distinción entre semántica y pragmática. Aunque algunos autores han expresado reservas en el sentido de que èste pudiera ser sólo terminológico, en mi opinión tiene que ver con una cuestión sustantiva con implicaciones empíricas: el alcance y los límites de una empresa científica seria, la semántica formal. En este texto discuto dos argumentos de Recanati: su principal argumento metodológico, que los contenidos postulados por los autores que él denomina "literalistas" no desempeñan ningùn papel relevante en la comunicación, y, en segundo lugar, ciertas consideraciones fenomenológicas en torno a su "Principio de Accesibilidad", a las cuales apela para apoyar el argumento metodológico. (shrink)

This paper examines the role of speaker intentions in issues of reference determination for context-sensitive expressions, focusing on demonstratives. Intuitively, the referent of a token utterance of ‘that’ is fixed by the speaker’s intentions. However, if this is right it causes a potential problem for so-called formal theories of meaning. I begin by setting out the nature of this problem and proceed to explore three putative solutions. First, the assumption that speaker intentions fix reference in these cases may be (...) rejected; second, it may be held that current speaker intentions are relevant but that they can be accommodated within a formal semantic theory; third, reference determination and semantic content may be held strictly apart. I reject the first two of these moves, termed respectively ‘conventionalism’ and ‘non-inferentialism’, but argue that the third move provides an appealing way for the formal semanticist to accommodate the content of context-sensitive expressions.Este artigo examina o papel das intenções do falante no que diz respeito à determinação da referência para expressões, concentrando-se nos demonstrativos. Intuitivamente, o referente de um proferimento-token de ‘aquilo’ é fixado pelas intenções do falante. Se isto é correto, no entanto, temos um problema potencial para as chamadas teorias formais do significado. Eu começarei fixando a natureza deste problema e, em seguida, explorarei três supostas soluções. Primeiro, a assunção de que a intenção do falante fixa a referência nestes casos pode ser rejeitada; segundo, pode ser sustentada a tese de que as intenções correntes do falante são relevantes, mas podem ser acomodadas em uma teoria semântica formal; terceiro, a determinação da referência e o conteúdo semântico podem ser mantidos estritamente separados. Eu rejeito as duas primeiras possibilidades acima, chamadas respectivamente de ‘convencio-nalismo’ e ‘não-inferencialismo’, mas argumento que a terceira provê uma forma atraente para o semanticista formal de acomodar o conteúdo de expressões sensíveis ao contexto. (shrink)

Se distingue entre principios racionales sustantivos y metódicos, y entre criterios de aceptabilidad y criterios de cosntrucción de argumentos. Sobre esta base se mantiene que la lógica y semántica formales son componentes necesarios de la teoría de la argumentación. Tmbién se consideran dos objeciones típicas : la retendida inaplicabilidad en genral de esas técnicas debido a su radical insuficiencia, y la presunta inutilidad de la lógica formal.

Este trabalho tem por objetivo avaliar um aspecto formal da filosofia de Ernst Tugendhat, qual seja, o modo e o resultado de sua análise dos enunciados práticos. Na medida em que a semântica formal tem a pretensão de elaborar uma concepção sistemática de filosofia analítica da linguagem, ela engloba a investigação tanto de sentenças assertóricas quanto de sentenças práticas através de um conceito específico de análise. Além disso, Tugendhat é a favor da tese de que o método (...) analítico-linguístico é o único método correto para se tratar de questões filosóficas. Nesse sentido, tal posição filosófica precisa dar conta do modo de agir prático e moral do ser humano dentro de limites estritamente semânticos, caso contrário passará a desenvolver tal temática de maneira ametódica e indeterminada. Assim, este trabalho surge da suspeita da violação, por parte de Tugendhat, de seus próprios requisitos metodológicos na análise de enunciados práticos, que acaba admitindo, em último caso, pressupostos antropológicos, psicológicos e/ou sociológicos na sua investigação. (shrink)

Quem trabalha com filosofia analítica na graduação e na pós graduação já deve ter se deparado diversas vezes com a dificuldade dos alunos de entenderem as noções de significado, sentido, referência, extensão, intensão, dêixis, anáfora, quantificação e modalidades, além de muitas outras relacionadas. Estas são noções técnicas que precisam ser dominadas pelos alunos que exploram os textos de ou sobre Frege, Davidson, Putnam e muitos outros. Esse problema requer uma solução que capacite os estudantes sem ocupar muito tempo dos cursos, (...) e isto pode ser feito através da semântica formal. (shrink)

¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la verdad y resalta el (...) papel fundamental de la información semántica en la construcción de sistemas formales concebidos como modelos de las lenguas naturales. (shrink)

En este trabajo me ocupo de la manera en que Klimovsky concibió a las teorías y a los modelos en la ciencia. Comienzo describiendo la concepción hipotético-deductiva de las teorías empíricas de Klimovsky. Luego presento los distintos significados del término "modelo" que Klimovsky distinguió y discuto la manera en que entendió la relación entre teorías y modelos. Después analizo la concepción semántica de las teorías y señalo la ambigüedad de la posición de Klimovsky respecto de ella, a la que no (...) consideró una auténtica alternativa al método hipotético-deductivo. Expongo, entonces, una concepción proposicional de las teorías que permitiría superar aquellas críticas semanticistas que afectan a la concepción enunciativa de Klimovsky. En la conclusión intento mostrar la unidad de la concepción de Klimovsky acerca de la estructura de las teorías formales y empíricas. In this work I address the way Klimovsky conceived of theories and models in science. I start by describing Klimovsky's hypothetico-deductive conception of empirical theories. I then present the different senses of "model" identified by Klimovsky, and I discuss his understanding of the relation between theories and models. Next I analyze the semantic conception of theories, and argue that Klimovsky held an ambiguous stance towards them, insofar as he did not considered them to be a genuine alternative to the hypothetico-deductive method. I further present a propositional conception of theories that enables us to overcome various criticisms from semanticists to Klimovsky's statement conception of theories. I conclude by showing that Klimovsky embraced a unified perspective on the structure of empirical and formal theories. (shrink)

TABLE OF CONTENTS -/- I. La rinascita novecentesca 1. Chaïm Perelman: la nuova retorica 2. Stephen Toulmin: la pratica logica e l’uso degli argomenti 3. Ragionamento e linguaggio: la logica naturale di Jean-Blaise Grize -/- II. La logica informale 1. Informale vs. formale? 2. Il concetto di argomento 3. La ripresa della teoria di Paul Grice 4. La ricostruzione degli argomenti 5. La valutazione degli argomenti: le fallacie 6. Il network problem -/- III. Dialogo e dialettica 1. La logica dialogica (...) di Paul Lorenzen 2. Charles L. Hamblin e i sistemi dialettici 3. Else Barth e la dialettica formale 4. Jaakko Hintikka: logica interrogativa e teoria dei giochi -/- IV. Pragmatica e dialettica 1. La Pragma-Dialectics di van Eemeren e Grootendorst: un ideale filosofico della razionalità 2. Ricostruzione e valutazione degli argomenti 3. L’analisi delle fallacie 4. Fallacie e biases: tra argomentazione e psicologia -/- V. Intersoggettività e impegni dialogici 1. La New Dialectic e il ragionamento interpersonale: Douglas Walton ed Erik Krabbe 2. Contesti dialogici e commitment store 3. Teoria delle fallacie e presumptive reasoning 4. La fondazione della Informal Logic 5. Argomentazione, informatica e scienza cognitiva -/- VI. Razionalità e fondazione 1. Razionalità discorsiva: la pragmatica universale di Jürgen Habermas 2. Razionalità inferenziale e semantica: la pragmatica normativa di Robert B. Brandom 3. La pragmatica trascendentale di Karl O. Apel 4. Modelli di razionalità 5. Fondazione o giustificazione -/- VII. Argomentazione e pratiche sociali 1. Ragionamento pratico 2. Etiche del discorso 3. Diritto e politiche dell’argomentazione. (shrink)

¿Cómo puede la lógica representar expresiones indéxicas como “yo”, “aquí” y “ahora”? ¿Cómo no debe representarlas? Examino estas dos preguntas a partir de la Lógica de los Demostrativos (LD) de Kaplan y su impopular prohibición de operadores monstruosos. A pesar de algunos defectos de formulación, sostengo que dicha prohibición está guiada por una poderosa visión de las relaciones lógicas de validez entre oraciones con indéxicos que desafía la concepción tradicional de consecuencia lógica como preservación de la verdad y resalta el (...) papel fundamental de la información semántica en la construcción de sistemas formales concebidos como modelos de las lenguas naturales. (shrink)

The aim of this paper is to propose a particular conception and formulation of the concepts of formal derivation and axiomatic system, which, although not orthodox, remain part of classical first order logic. It is proposed, in particular, that the definition of formal derivation includes the pos..

La crisis contemporánea sobre la iniciación sacramental demanda una clarificación doctrinal y una nueva re-programación en la vida de las comunidades. Tras constatar su actualidad paradoja en la deshilachada cultura contemporánea, este estudio, selectivo y sucinto, aborda en su parte nuclear los ejes definidores de la novedad cristiano-pascual, desde las sugerentes bases antropológicas a su semántica teológica propia, con un especial detenimiento en los rasgos formales que, desde su unidad orgánica, le dan su singular sentido procesal y su identidad en (...) el ámbito de la vida eclesial. A partir de ellos, se imponen, como urgencias inaplazables, una serie de cuestionamientos y retos a la praxis de la fe de las comunidades. (shrink)

It is reasonably well-understood that natural language displays polymorphic behaviour in both its syntax and semantics, where various constructions can operate on a range of syntactic categories, or semantic types. In mathematics, logic and computer science it is appreciated that there are various ways in which such type-general behaviours can be formulated. It is also known that natural languages are highly ambiguous with respect to scoping artifacts, as evident with quantifiers, negation and certain modifier expressions. To deal with such issues, (...) formal frameworks have been explored in which the polymorphic nature of natural language can be expressed, and theories of underspecified semantics have been proposed which seek to separate the process of pure compositional interpretation from the assignment of scope. To date, however, there has been no work on bringing these two aspects together; there is no semantic treatments of scope ambiguity and underspecification which explicitly takes into account the polymorphic nature of natural language quantifiers. In this paper, we extend an existing treatment of underspecification and scope ambiguity in Property Theory with Curry Typing (PTCT) to deal with arbitrary types of quantification by adopting a form of polymorphism. In this theory of underspecification, all of the expressions in the theory are terms of the logic; there is no “meta-semantic” machinery. For this reason all aspects of the theory must be able to deal with polymorphism appropriately. (shrink)

Resumen En el presente estudio se aborda la descripción de la semántica de los marcadores evidenciales por lo visto y se ve que en el marco de la teoría de la relevancia (TR). Tomando como punto de partida el análisis que Albelda, M. (2018). ¿Atenuación del compromiso del hablante?: El caso de los evidenciales por lo visto y se ve que. Rilce, 34.3, 1179–1214. traza de ambos evidenciales en un corpus oral, se realizó un estudio tanto cuantitativo como cualitativo de (...) los patrones y el rango de interpretaciones de cada expresión en una muestra de géneros escritos formales procedentes del Corpus de Referencia del Español Actual (CREA). Los resultados cuantitativos mostraron algunas diferencias con respecto a los obtenidos por Albelda, M. (2018). ¿Atenuación del compromiso del hablante?: El caso de los evidenciales por lo visto y se ve que. Rilce, 34.3, 1179–1214: por lo visto es principalmente inferencial y, en menor medida, reportativo en la escritura formal. En contraste con los géneros orales, tiende a introducir inferencias genéricas, y en ocasiones también precede conjeturas. Se alinea con el parámetro de la objetividad, permitiendo al emisor mostrar una menor implicación hacia la evidencia, así como un mayor compromiso epistémico hacia la fiabilidad de la información. Se ve que, por el contrario, es generalmente un marcador inferencial, tanto en géneros escritos como orales. Se emplea, principalmente, para encabezar inferencias conjeturales. Con se ve que, el emisor muestra una mayor implicación y subjetivización, y un menor compromiso epistémico hacia la evidencia que se introduce en el discurso. Los diferentes patrones de comportamiento discursivo exhibidos por ambos evidenciales pueden explicarse en el marco de la teoría argumentativa del razonamiento (Mercier, H. y Sperber, D. (2011). Why do humans reason? Arguments for an Argumentative Theory. Behavioral and Brain Sciences, 34.2, 57–74; Mercier H. y Sperber, D. (2017). The Enigma of Reason. Cambridge, Mass.: Harvard University Press.). Por lo visto y se ve que tienden a introducir, respectivamente, conclusiones intuitivas y reflexivas que deben ser verificadas y aceptadas por la audiencia. Se ve que apunta, generalmente, a la activación de los mecanismos cognitivos de vigilancia epistémica y lectura de la mente, mientras que por lo visto tiende a desencadenar los procesos de vigilancia epistémica y de razonamiento. (shrink)

This work aims to make a critical and propositional exposition about the semantics of concepts in general, from the book Transcendental semantics of Kant (2000), by Loparic. In general terms, the exposition of the theme, by this author, focused on the general classification of the semantics of concepts, their meanings and referents. In turn, the critics was directed to several aspects of its exposition, such as: the precision of the nomenclature used, the introduction of new definitions and the correction of (...) others, the reformulation of the classification of the semantics of the concepts. Finally, the proposition highlighted three main points: (i) the conception of the equivalent epistemological status between logic and mathematics, as symbolic sciences with their own form and content; (ii) the weak and strong concept of sciences in general (formal and empirical) as pure and applied sciences, respectively; (iii) the possible metalinguistic conception of the semantics of concepts. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

RESUMO: Hilary Putnam procurou solapar o relativismo cognitivo, mediante acusações de incoerência autodestrutiva. A concepção de Thomas Kuhn de desenvolvimento do conhecimento científico ocupa um lugar de destaque nesse empreendimento crítico, e a incomensurabilidade entre paradigmas rivais constitui o núcleo da disputa. Putnam afirmou que a incomensurabilidade é autorrefutante, levando em conta apenas sua dimensão semântica. Este artigo examina essa investida antirrelativista. Considero dois sentidos de autorrefutação, o material e o formal, e defendo que essa acusação não atinge (...) a referida formulação semântica. Adicionalmente, mostro que a dimensão epistemológica da incomensurabilidade também não é afetada. ABSTRACT: Hilary Putnam sought to undermine cognitive relativism by charging it with self- destructive incoherence. Thomas Kuhn's conception of the development of scientific knowledge occupies a prominent place in that critical endeavor, and the incommensurability between rival paradigms constitutes the core of the dispute. Putnam claimed that incommensurability is self- refuting, taking into account only its semantic dimension. This article examines this anti-relativist attack. I consider two senses of self-refutation, the material and the formal, and argue that they do not affect the semantic formulation of incommensurability. Additionally, I show that the epistemological dimension of incommensurability is also unaffected. (shrink)

RESUMEN En este trabajo discutimos tres formulaciones semánticas del condicional: la material, la estricta y la relevante. Defendemos que, desde un punto de vista formal, el condicional relevante responde mejor a nuestras intuiciones que los otros dos. Ahora bien, dado que la interpretación semántica del mismo es terreno disputado, proponemos hacerlo pragmáticamente. Dividimos el texto en tres secciones. En la primera proponemos el criterio de adecuación para evaluar distintas teorías de los condicionales: la teoría no debe dar lugar a (...) los casos más conocidos de sobregeneración inferencial. En la segunda mostramos que el condicional material y el condicional estricto sobregeneran, pues ambos admiten paradojas bien conocidas. En la última mostramos que si se interpreta pragmáticamente, el condicional relevante bloquea la aparición de las paradojas que los dos anteriores no pueden evitar, y, en esa medida responde mejor que ellos al criterio establecido y, por tanto, a nuestras intuiciones. ABSTRACT In this paper we discuss three semantic formulations of conditional: material, strict and relevant. Our aim is to show that the relevant conditional shapes our intuitions better than the other two. Since the semantic interpretation of the relevant conditional is an unsettled issue nowadays, we propose a pragmatic interpretation of it. In the first part of the paper we present the criteria to which a theory of conditionals must answer, i.e. the theory must not overgenerate. In the second one, we show that the material and the strict conditionals overgenerate because both lead to paradoxes. In the last part we show that the relevant conditional with a pragmatic interpretation solves the problem of the other conditionals. (shrink)

Se ha producido un hecho novedoso y, al mismo tiempo, conocido en el ámbito teórico. La teoría semántica de la verdad se ha vuelto a reconciliar con la lógica, con el gusto por plantear cuestiones vinculadas al concepto semántico de verdad mediante estructuras lógicas. Y en la teoría de la verdad vuelven a plantearse los temas semánticos desde una vertiente formal. La teoría de la verdad propuesta recientemente ha reencontrado las estructuras formales, los temas vinculados a la lógica, los (...) vínculos entre las estructuras formales y las cuestiones semánticas, etc., y lo hace en coincidencia, acentúo, con un análisis formal paralelo que se viene proponiendo desde hace algún tiempo. (shrink)

El presente estudio analiza cuándo y cómo audiodescribe la ONCE el lenguaje de la cámara en The Favourite (Yorgos Lanthimos, 2018) para identificar excesos y defectos por redundancia sonora que puedan comprometer la comprensión del mensaje y la experiencia artística en ciegos. Con este fin se han analizado los códigos visuales, el contexto de la producción, el sonido y las estrategias semánticas y lingüísticas utilizadas en su descripción. Los resultados demuestran que el texto ignora aspectos formales relacionados con la transcripción (...) de la realidad, la composición y el movimiento que afectan a la interpretación y percepción estética del filme. (shrink)

O propósito desse artigo é fornecer um tratamento formal para um tipo de ação até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para investigar as características básicas da ação em plano. Além de introduzir (...) uma semântica do tempo ramificado, nós também apresentamos um cálculo correto e completo com relação a essa semântica. DOI:10.5007/1808-1711.2010v14n3p421. (shrink)

Resumen: Se plantea que tanto el análisis estructural proveniente del mundo académico de habla francesa, como la antropología cognitiva proveniente de Estados Unidos, han sido programas de investigación escasamente comunicados entre sí, pero con bases epistémico-metodológicas similares. El proyecto común entre ambos es la búsqueda de una formalización cualitativa de sus procedimientos y su base epistemológica radicaría en el concepto de campo semántico y lexical con raíces directas en la lingüística y semántica estructural.: It is suggested that both structural analysis (...) from the French-speaking academic world and cognitive anthropology from the United States have been research programs that scarcely communicate with each other but with similar epistemic-methodological bases. The common project between both is the search for a qualitative formalization of their procedures and their epistemological basis would lie in the concept of semantic and lexical field with direct roots in linguistics and structural semantics. (shrink)

Nuestro objetivo es analizar críticamente el enfoque de la noción de modelo de Alfred Tarski que Patrick Suppes integra en su concepción semanticista de las teorías científicas. En efecto, mostraremos cómo esta noción se configura en Suppes (1969; 1970) desde una revisión formal de la noción de modelo en Tarski (1936), focalizando nuestro análisis en tres ejes principales: i) una crítica a la perspectiva estática del semanticismo; ii) un análisis de las condiciones restrictivas y el lenguaje para la axiomatización (...) de teorías; y iii) la revisión de las nociones de ‘sistema axiomático’, ‘sistema formal’ y ‘método axiomático’. (shrink)

Propomos uma tipologia dos artefatos de representação para as áreas de saúde e ciências biológicas, e a associação dessa tipologia com diferentes tipos de ontologia formal e lógica, chegando a conclusões quanto aos pontos fortes e limitações da ontologia de diferentes tipos de recursos lógicos, enquanto mantemos o foco na lógica descritiva. Consideramos quatro tipos de representação de área: (i) representação léxico-semântica, (ii) representação de tipos de entidades, (iii) representação de conhecimento prévio, e (iv) representação de indivíduos. Defendemos (...) uma clara distinção entre os quatro tipos de representação, de forma a oferecer uma base mais racional para o uso das ontologias e artefatos relacionados no avanço da integração de dados e interoperabilidade de sistemas de raciocínio associados. Destacamos que apenas uma pequena porção de fatos cientificamente relevantes em áreas como a biomedicina pode ser adequadamente representada por ontologias formais, quando estas últimas são concebidas como representações de tipos de entidades. Particularmente, a tentativa de codificar conhecimento padrão ou probabilístico pela utilização de ontologias assim concebidas é fadada à produção de modelos não intencionais e errôneos. (shrink)

En la concepción estructuralista de teoría científica se afirma que sus tesis son neutrales respecto a compromisos epistemológicos, puesto que su análisis es estructural (Diederich, 1996). En el presente texto nos proponemos mostrar que no existe tal neutralidad epistemológica en una de las piezas clave del estructuralismo metateórico, nos referimos a la noción “aplicaciones intencionales”, y que de lo anterior se deriva un compromiso epistémico relacionado con la justificación de teorías científicas, según el cual, la ciencia es una “red” de (...) relaciones lógicas entre teorías. Para lograr lo anterior nos proponemos analizar las implicaciones semánticas y epistemológicas de esa noción y el rol que juega en la contrastación teórica. Una de las consecuencias más radicales del análisis propuesto es que la noción anterior (aplicaciones intencionales) implica que unas teorías están justificadas por otras; en otras palabras, la justificación de teorías científicas caería en un coherentismo interteórico, que precisaremos más adelante. Naturalmente, es importante advertir que esta tesis y esta implicación coherentista la aceptan los defensores del estructuralismo metateórico (Balzer, Moulines & Sneed, 1987) y (Díez & Moulines, 1997). Sin embargo, el punto realmente problemático, y lo novedoso del presente artículo, es que el coherentismo compromete la justificación de las teorías en cuanto implica un regressus ad infinitum en la reconstrucción formal. Además, este defecto del estructuralismo conlleva a otras dos réplicas adicionales, una desde el punto de vista pragmático y otra desde el punto de vista semántico. El primero consiste en que, si aceptamos la tesis del regressus la reconstrucción puede ser infructuosa para efectos pragmáticos, i.e. la corrección formal de una teoría nos obliga a corregir el conjunto de teorías ya presupuestas que intervienen en ella. De la misma manera, la dependencia semántica de una teoría respecto a sus antecesoras implica que si uno de sus conceptos fundamentales es corregido o modificado, entonces habría que hacer una revisión general de todas las teorías relacionadas en las que el concepto en cuestión es relevante. El trabajo, es pues, un avance en esta dirección. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

The paper provides a sketch of the place of the work of Donald Davidsonin the study of formal semantics for natural languages. It discusses someimportant relations between Davidson’s work and ideas due to Frege,Tarski, Quine and Chomsky. A criticism of Davidson’s behaviouristicmethodology is offered..

RésuméGian-Carlo Rota est l’un des rares grands mathématiciens de la deuxième moitié du XX e siècle dont l’intérêt pour la logique formelle soit aussi ouvertement déclaré et ne se soit jamais démenti, depuis sa formation d’étudiant à Princeton jusqu’à ses derniers écrits. Plus exceptionnel encore, il fait partie des rares lecteurs assidus de Husserl à s’être aperçu que la phé-noménologie poursuivait un projet de réforme de la logique formelle. L’article propose d’attester l’existence d’un tel projet chez Husserl ; d’en examiner (...) la réappropriation et les prolongements chez Rota.Gian-Carlo Rota is among the few great mathematicians of the second-half of the XXth century whose interest in formal logic is openly declared and has never flagged, since his training as a student in Princeton up to his last writings. Even more exceptional, he belongs to the rare diligent readers of Husserl, who noticed that phenomenology was pursuing a project of reform of formal logic. This paper propose to testify to the existence of such a project in Husserl; to examine how it is taken over and continued by Rota. Gian-Carlo Rota è uno dei pochi grandi matematici della seconda metà del ventesimo secolo, il cui interesse per la logica formale è, dalla sua formazione come studente a Princeton al suo ultimi scritti, apertamente dichiarato e mai negato. Cosa ancora più eccezionale, Rota è uno dei rari lettori assidui di Husserl ad aver percepito che la fenomenologia stava perseguendo un progetto di riforma della logica formale. L’articolo propone di attestare l’esistenza di un tale progetto in Husserl e di esaminare la sua riappropriazione e le sue estensioni proposte da Gian-Carlo Rota.This article is in French. (shrink)

O autor analisa a crítica que fez Wittgenstein aos fundamentos de Matemática na dupla fase do seu pensamento lógico e filosófico. Começa por situá-lo em relação às 3 Escolas que discutiam sobre a fundamentação lógica da matemática: o logicismo, o intuicionismo e o formalismo. Na 1.a fase do Tractatus, vê-se que Wittgenstein é logicista. Mas é original porque não deriva a aritmética do cálculo de classes, como fazia Russell, mas do cálculo proposicional, que generaliza. Considera a matemática como um simples (...) "método lógico". Por isso define o Número como "expoente duma função proposicional"! Mas neste caso trata-se implicitamente, duma nova extensão analógica de princípios e conceitos da aritmética à lógica pura. Por exemplo: noções de número, operação, exponenciação, etc. E se Wittgenstein quer criar, por analogia, números lógicos (símbolos puros), então tem de fazer uma interpretação semântica para passar da lógica formal pura para a aritmética! Só admite o infinito potencial na matemática. Infere-se, pois, que na l.a fase do Tractatus, Wittgenstein, é nominalista e finista. Na 2a fase das Notas (PB ou Remarks) que são manuscritos e fotocópias, (entre 1927 e 1944) Wittgenstein foi variando de pensamento. Agora julga que a matemática se funda a si mesma, como autónoma de lógica pura. Descobre que para além dos "Símbolos" há relações para os "significados" e "usos". E a matemática pode ser teórica e aplicada aos cálculos das ciências. Mas pela sua crítica intuicionista rejeita o valor da teoria dos números irracionais de Dedekind, do teorema e processo da diagonal com que Cantor prova a teoria dos números transfinitos... Wittgenstein aborda ainda os célebres teoremas de Fermat e de Gödel, quando analisa as proposições indecidíveis dos Principia mathematica (de Russell-Whitehead). O autor mostra, no artigo, que Wittgenstein não tem razão na sua crítica pouco profunda ao conceito de número e suas generalizações. .. Na 2.a fase ele continua a ser finitista, mas agora é conceptualista. /// L'auteur analyse la critique que fit Wittgenstein aux fondements des Mathématiques dans la double phase de sa pensée logique et philosophique. Il commence par situer cette pensée en relation avec les trois écoles qui discutaient sur la fondation logique des mathématiques : le logicisme, l'intuitionisme et le formalisme. Dans la première phase du Tractatus, on voit que Wittgenstein est lo-giciste. Mais sa position est originale, parece qu'il ne dérive pas les mathématiques du calcul des classes, comme faisait Russell, mais du calcul propo-sitionnel, qu'il généralise. Il considère les mathématiques comme une simple "méthode logique". C'est pourquoi il définit le Nombre comme "exposant d'une fonction propositionnelle". Mais en ce cas il s'agit implicitement d'une nouvelle extension analogique de principes et de concepts de l'arithmétique à la logique pure. Par exemple : les notions de nombre, d'opération, d'opération exponentionelle etc. Et si Wittgenstein veut créer, par analogie, des nombres logiques (symboles pures), il doit alors faire une interprétation sémantique pour passer de la logique formelle pure aux mathématiques! Il n'admet que l'infini potentiel en mathématiques. Il s'ensuit alors que dans la première phase du Tractatus Wittgenstein est nominaliste et finitiste. Dans la seconde phase des Notes Philosophische Bemerkungen ou Remarks1 qui sont des manuscrits et photocopies (entre 1927 et 1944), Wittgenstein diversifia sa pensée. Il pense alors que les mathématiques se fondent elles-mêmes, de façon autonome par rapport à la logique pure. Il découvre que au-delà des "Symboles" il y a des relations pour les "sens" et les "usages". Et les mathématiques peuvent être théoriques et appliquées aux calculs des sciences. Mais par sa critique intutiuniste, il rejette la valeur de la théorie des nombres irrationnels de Dedekind, du théorème et du procédé de la diagonale par lesquels Cantor prouve la théorie des nombres transfinis. Wittgenstein aborde encore les célèbres théorèmes de Fermât et de Gô-del quand il analyse les propositions indécidables des Principia Mathematica (de Russell – Whitehead). L'auteur montre dans l'article que Wittgenstein n'a pas raison dans sa critique peu profonde au concept de nombre et ses généralisations... Dans la seconde phase, il continue à être finitiste, mais à présent il est conceptualiste. /// The author examines Wittgenstein's criticism of the foundations of mathematics in the two phases of his logical and philosophical thought. He begins by situating it in relation to the three schools which discussed the logical foundations of mathematics: logicism, intuicionism, and formalism. In the first phase of the Tractatus, we can see Wittgenstein as a logicist. His originality resides in his not deriving arithmetic from the calculus of classes, as did Russell, but from propositional calculus that he generalizes. Wittgenstein considers mathemathics as a simple "logical method". This is why he defines "number" as a "exponent of a propositional function". But in this case it is implicitly a matter of a new analogical extension of arithmetical principles and concepts to pure logic. For example, the notions of number, operation, and exponentiation, etc And if Wittgensteinwishes to create by analogy logical numbers (pure symbols), then he has to effectuate a semantical interpretation to pass from pure formal logic to arithmetic! He only allows potencial infinity in mathematics. One can infer that in the Tractatus phase, Wittgenstein is nominalist and finitist. In the second phase of Remarks, manuscripts and copies, dating between 1927 and 1944, Wittgenstein changed his thinking. Now he believes that mathematics founds itself independently of pure logic. He discovers beyond "symbols" there are relations for "meanings" and "uses". And mathematics can be theoretical and applicable to the calculus of sciences. But by his intuitional criticism he can reject the value of the theory of irracional numbers of Dedekind, of the theorem and the process of the diagonal, with wich Cantor proves the theory of transfinit numbers... Wittgenstein refers still the famous theorems of Fermat and Godel when he examines the indecidable propositions of the Prinvipia Mathemativa (of Russell-Whitehead). In this article the author shows that Wittgenstein is not correct in his not too profound criticism of the concept of numbers and its generalizations. In the second phase, he continues to be finitist but now also conceptualist. (shrink)

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of (...) the most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for QST formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)