Among the philosophical problems recently discussed, the question on the anti-realist semantic is outstanding. Its origin arises when M. Dummett tries a Wittgenstenian interpretation of the Intuitionistic Mathematics. He uses the concept of justification as the key concept - understood as proof or verification -, and it faces up to a realistic view centred in the notion of truth. But, carefully analized, it shows a clear vulnerability, while the realistic position has got serious eIements on its favour, and so it (...) is recognized by the supporter of the opposite point of view. Thus, the notion of truth cannot be disregarded. (shrink)

Este trabajo explora las críticas de McDowell a la argumentación de Kripke en Wittgenstein: On Rules and Private Language y analiza su propuesta positiva, el ofrecimiento de un hecho semántico primitivo. Su idea es que el resultado escéptico alcanzado por Kripke resulta de no haber desechado la identificación entre significado e interpretación. Al contrario, el marco para dar cuenta de la noción de significado es la práctica: los hechos semánticos primitivos -elaborables a través de una semántica de condiciones de (...) verdad- son constituidos en la práctica comunitaria, y de ellos tenemos una captación individual. En mi opinión no sólo la crítica de McDowell a Kripke es errada, sino que su propuesta positiva presenta problemas fundamentales, tanto en su concepción de la normatividad como en sus aspectos epistémicos. El corolario de este trabajo será mostrar que el verdadero problema para una teoría semántica es la identificación del significado con cualquier tipo de hecho y no meramente la identificación del significado con la interpretación. This paper explores McDowell's criticisms to Kripke's argumentation in his Wittgenstein: On Rules and Private Language, and analyses his positive proposal, that is, the offering of a primitive semantic fact. His idea is that the skeptical result reached by Kripke depends on not having discarded the identification between meaning and interpretation. On the contrary, the ITamework to explain the notion of meaning is the practice: the primitive semantic facts - that may be established by truth-values semantics - are constituted by the communitarian practice, and we get an individual insight of them. In my view, not only the criticism of McDowell to Kripke is erroneous, but also his positive proposal presents fundamental problems, in his conception ofnormativity as well as in his epistemic aspects. The conclusion of this paper will be to show how the real problem for a semantic theory is the identification ofmeaning with any kind of fact and not only the identification of meaning and interpretation. (shrink)

En su más reciente libro, Eleonora Orlando nos presenta una provocadora propuesta que busca cuestionar el éxito de la tradición fregeana en filosofía del lenguaje siguiendo líneas contextualistas y relevantistas. Este libro constituye una valiosa aportación a la filosofía del lenguaje contemporánea. Es una lectura obligatoria para todo aquel interesado en entender el estado actual de la filosofía del lenguaje. Además, la gran variedad de textos y posturas que lo comprenden constituyen por sí mismos valiosas y en ocasiones controvertidas contribuciones (...) a la discusión actual. De ahí que este libro sea también una extraordinaria invitación a continuar la ya centenaria discusión sobre la visión fregeana del lenguaje y si el contextualismo presenta una manera conveniente de mejorarla. En este artículo me propongo hacer un estudio crítico de este libro, particularmente de su desafío al fregeanismo. Para ello discutiré a detalle sus argumentos más antifregeanos, preguntándome al mismo tiempo si se trata de posturas incompatibles con la semántica fregeana o si, por el contrario, constituyen propuestas enteramente compatibles con esta. (shrink)

Nesse artigo eu proponho, partindo da distinção entre conceitos semânticos e conceitos ontológicos, a separação entre descrição semântica e postulação de entidades. A postulação de uma entidade implica o fornecimento de um critério de identificação, isto é, a verdade de uma asserção de identidade entre dois dispositivos de designação. Isso parece indicar que a existência da entidade seria garantida pela simples existência de um critério de identificação. Porém, esta é uma condição de significatividade para um termo referencial: que ele codifique (...) ou esteja associado a uma descrição identificadora. Tal descrição identificadora não pode, de modo algum, ser confundida com uma condição de existência para a entidade em questão. (shrink)

Para solucionar a questão “sobre o que há” levantada por Quine, e realizar a tarefa de compreender de forma exauriente as muitas unidades ontológicas que povoam a grande província do Ser, propomos como alternativa à ontologia punteliana, uma nova ontologia designada de “Ontologia Estrutural” (OE). Tal ontologia parte de bases teóricas sistemático-estruturais, mas desemboca em uma visão diversa em que co-subsistem unidades factuais estruturadas, configurações estruturais (dinâmicas), bem como unidades ontológicas aparentes (objetos), todas englobadas pela subdimensão temporal que as interconexiona, (...) compreendida esta como uma subdimensão (interna) da macrodimensão do Ser. Nesse sentido, começamos situando a temática ontológica na discussão filosófica atual a partir de uma chave quineana; prosseguimos apresentando um conceito de verdade derivado de nossa leitura da filosofia punteliana, o qual constituirá o ponto de ligação entre linguagem e mundo. Na sequência, mostramos como do conceito de verdade trazido à lume, após uma breve incursão na semântica filosófica, chegamos ao campo ontológico a partir das categorias ontológicas de estrutura e estado ontológico. Ao final, delineamos, em seus caracteres gerais, a nossa ontologia estrutural, compreensiva de noções ontológicas próprias que dão novos rumos à compreensão filosófica desta grande temática. (shrink)

Verdad se usa con frecuencia para expresar que una proposición se corresponde con los hechos, la realidad o es fiel a algo original. Muchas actividades humanas se sirven del concepto de “verdad” si bien se presupone su significado intuitivo. El concepto de verdad se debate en este libro principalmente desde tres tradiciones distintas: la teoría clásica, la propuesta semántica y la opción alternativa. Comúnmente, la verdad se ve como la correspondencia del lenguaje o el pensamiento (...) con una realidad independiente. Por el contrario, una teoría semántica de la verdad es una teoría que sostiene que la verdad es una propiedad de las proposiciones. Este punto de vista ha recalcado en presentar una definición satisfactoria que sea materialmente adecuada y formalmente correcta del predicado verdadero. La concepción semántica de verdad se relaciona de diferentes maneras tanto con la correspondencia como con las concepciones deflacionistas. Sin embargo, una convención que satisfaga el predicado de verdad para ciertos enunciados de un lenguaje dado no se puede definir dentro de ese lenguaje. Mediante esta propuesta se intenta resolver la paradoja del mentiroso. Por el contrario, las propuestas alternativas consideran que la definición de semántica es artificiosa empobreciendo así la dimensión veritativa del lenguaje ordinario en el que los hablantes se expresan. Su propuesta pretende devolver al lenguaje natural su significatividad original del predicado “verdad(ero)”. Kripke demuestra que un lenguaje puede contener consistentemente su propio predicado de la verdad, algo que Alfred Tarski consideraba imposible. El enfoque se asienta en definir “verdad” como propiedad parcialmente definida sobre el conjunto de enunciados gramaticalmente bien formados en el lenguaje. El libro aborda los temas afines, presentando las pruebas y refutaciones propuestas en cada alternativa. (shrink)

En este ensayo explicaré mis argumentos con relación a las incoherencias que identifico en el realismo científico de Karl Popper. Fundamentalmente, creo que en la filosofía de este autor no existe una definición coherente de la noción de verdad para que tenga un papel relevante en la doctrina realista. Más allá de que a Popper se le reconozca por asumir una teoría correspondentista de la verdad, él en varios pasajes de su obra se muestra escéptico sobre la labor (...) que puede cumplir la verdad para determinar el éxito de la ciencia. Además, plantearé que Popper tiene inclinaciones fuertes hacia el realismo metafísico, en especial hacia el esencialismo, pero la manera de defender esta teoría resulta oscura porque en su proyecto epistemológico se encuentran apartados en los que se opone a ella. (shrink)

Una forma clásica de explicar el significado de una oración es establecer sus condiciones deverdad. Sin embargo, dado que sólo las oraciones declarativas encajan con este tipo de análisis, las oraciones (e.g. imperativas) que carecen de valor de verdad quedan fuera de este análisis. Con el objeto de evitar esta dificultad, algunas veces se ha sugerido que el cumplimiento de un imperativo les el valor semántico de I, y que este valor depende del concepto de verdad. En este (...) artículo, explicamos esta sugerencia mediante un lenguaje artificial: el lenguaje LN. Nuestra propuesta consiste en suministrar una reconstrucción del concepto de eficacia a partir de la relación de cumplimiento, analógamente a la reconstrucción del concepto de verdad a partir de la relación de satisfacción. Nuestras conclusiones principales son las siguientes: 1) el significado de una oración imperativa es establecido por sus condiciones de eficacia y 2) esta teoría del significado de los imperativos suministra una base semántica, adeucada para la lógica deóntica.A classical way of explaining the meaning of certain sentences is to establish their truth-conditions. However, since only declarative sentences fit this kind of analysis, sentences (e.g. imperatives) which lack truth-value remain outside the theory of meaning. In order to avoid this difficulty, it is sometimes suggested both that compliance with an imperative I is the semantic value of I, and that this value is dependent on the concept of truth. In this article, we explain this suggestion with the help of a constructed language: the artificial language NL. Our proposal Is to provide a reconstruction of the concept of effectiveness from the relation of compliance, on the analogy of the reconstruction of the concept of truth from the relation of satisfaction. Our main conclusions are: 1) the meaning of a imperative sentence would be established by its effectiveness-conditions and 2) this theory of meaning of imperatives would provide a semantic basis, suitable to the deontic logic. (shrink)

RESUMO Em nosso artigo, faremos uma breve exposição sobre o capítulo XXIV dos Mūlamadhyamakakārikā, de Nāgārjuna, e buscaremos oferecer uma defesa de nossa própria interpretação de sua filosofia, comparando-a com as interpretações semântica e pedagógica propostas, respectivamente, por Garfield e Siderits, por um lado, e Ferraro, por outro. Na nossa exposição, discutiremos a relação entre vazio, cooriginação dependente e verdade, apontando a íntima ligação entre esses termos no interior da filosofia de Nāgārjuna e buscando indicar em que sentido as quatro (...) nobres verdades do budismo, de acordo com o filósofo, só podem ser verdadeiras se elas forem vazias. A partir dessa análise, esperamos poder estabelecer uma relação entre verdade convencional e verdade suprema, tal como abordada nesse capítulo, segundo a qual tanto a verdade convencional quanto a suprema são vazias, sendo que a diferença entre ambas consistiria em que a primeira diz respeito à existência convencional das coisas, enquanto a segunda diz respeito à ausência de essência delas. Nesse sentido, tratar-se-á de analisar como seria possível, para Nāgārjuna, uma compreensão acerca da verdade que nos parece tão contraintuitiva, a saber, a de que a verdade só é possível se for relativa. Esperamos, assim, fazer uma pequena contribuição para a discussão de alguns dos conceitos mais relevantes do pensamento desse importante filósofo budista, sobretudo no que diz respeito à relação da verdade suprema com o vazio. ABSTRACT In our article, we shall make a brief exposition of the chapter XXIV of Nāgārjuna's Mūlamadhyamakakārikā, and we shall attempt to offer a defense of our own interpretation of his philosophy, comparing it to the semantic and pedagogic interpretations proposed, respectively, by Garfield and Siderits, on the one hand, and Ferraro, on the other. In our exposition, we shall discuss the relationship between emptiness, dependent co-origination and truth, pointing to the intimate connection between those terms within Nāgārjuna's philosophy and attempting to indicate in what sense the four noble truths of Buddhism, according to the philosopher, can only be true if they are empty. Through this analysis, we hope to be able to establish a relation between conventional truth and ultimate truth according to which both conventional and ultimate truth are empty, distinguishing themselves only insofar as the first one concerns the conventional existence of things, while the second one concerns the absence of essence of the very same things. With this in mind, we shall analyze how could it be possible, for Nāgārjuna, to have a comprehension on truth that seems to be so counter-intuitive, to wit, that truth is only possible if it's relative. We hope thus to make a small contribution to the discussion of some of the most important concepts of this important Buddhist philosopher, especially with regard to the relation between ultimate truth and emptiness. (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..

Mediante uma análise da utilização da noção de verdade tarskiana no contexto da abordagem semântica, argumentaremos que ela é desnecessária assim como insuficiente. Ela se mostra desnecessária porque no interior desta abordagem seu papel é meramente operacional, de tal modo que pode ser cumprido por noções de verdade alternativas também de teor operacional. Por outro lado, sua insuficiência se deve ao fato de que outras concepções de verdade de um tipo mais apropriado devem ser articuladas, para satisfazer os propósitos das (...) diversas integrantes da família semanticista, como o empirismo construtivo e o quase-realismo. Tradicionalmente, estas concepções são definidas fazendo recurso à noção de verdade tarskiana, porém elas também podem ser definidas por meio de noções de verdade alternativas. (shrink)

El objeto principal de este trabajo consiste en discutir una propuesta de C. Alchourrón y A. Martino para hacer frente al problema de la fundamentación de la lógica deóntica, planteado por el dilema de Jørgensen. La propuesta criticada se basa en la idea de que no existe obstáculo alguno en compatibilizar la idea de que las normas carecen de valor de verdad con la idea de que poseen una lógica, una vez que se renuncia al "prejuicio filosófico" de que (...) es indispensable caracterizar semánticamente las relaciones y propiedades lógicas y se explica la lógica a partir de la noción abstracta de consecuencia, desligándola de las nociones de verdad y falsedad. Sostienen que el significado de los operadores deónticos, al igual que el de los términos lógicos en la deducción natural, puede quedar totalmente expresado una vez que se explicita su uso mediante reglas de introducción y eliminación. Para ilustrar su propuesta, pretenden ofrecer una fundamentación puramente sintáctica de la lógica deóntica standard. Mis críticas se centran en tres puntos: a) no utilizan auténticas reglas de introducción para los operadores deónticos; b) no derivan la lógica deóntica standard como pretenden haber hecho, y c) no se establecen criterios para relacionar las fórmulas del cálculo con el lenguaje normativo ordinario, con lo que no existen razones para considerar que se trata de una lógica deóntica. Defiendo la idea de que, a los fines de fundamentar semánticamente la lógica deóntica, sólo es necesario que existan interpretaciones admisibles que atribuyan valores de verdad a las normas, y que este requisito es cumplido por la semántica usual de la lógica deóntica standard, con lo que el dilema de Jørgensen resulta ser un seudoproblema. In this paper I discuss a proposal from C. Alchourrón and A. Martino with which they try to face the problem posed to the foundation of deontic logic by Jørgensen' s dilemma. Their proposal is based on the idea that there is no problem at all in compatibilizing the fact that norms lack truth values with their possession of a logic, once it is denied that it is absolutely necessary to offer a semantic characterization of logical properties and relations, and the abstract notion of consequence is taken as primitive. They claim that the meaning of deontic operators, like that of logical terms in natural deduction, is completely expressed through their use, which is explained by means of rules of introduction and elimination. As an illustration, they present a calculus with which they intend to offer a foundation for standard deontic logic. I make three objections: a) They don' t use real rules of introduction for deontic operators; b) They don' t have derived standard deontic logic as they claim; c) There are no criteria for relating the formulas with ordinary normative discourse; so there are no reasons for considering their calculus as a deontic logic. I claim that, in order to give a semantical foundation to deontic logic it is only necessary that there are admissible interpretations that assign truth values to norms, and that this requisite is satisfied by the usual semantic of standard deontic logic. I conclude that Jørgensen' s dilemma is a pseudoproblem. (shrink)

En este artículo, tengo dos objetivos distintos. En primer lugar, mostrar que no es una buena idea tener una teoría de la verdad que, aunque consistente, sea omega-inconsistente. Para discutir este punto, considero un caso particular: la teoría de Friedman-Sheard FS. Argumento que en los lenguajes de primer orden omega inconsistencia implica que la teoría de la verdad no tiene modelo estándar. Esto es, no hay un modelo cuyo dominio sea el conjunto de los números naturales en el (...) cual esta teoría de la verdad pueda tener una interpretación consistente. En ese sentido, la introducción del predicado veritativo no mantiene la ontología estándar. Además, cuando se considera un lenguaje de orden superior, la situación es aun peor. En teorías de segundo orden con semántica estándar, la misma introducción produce una teoría que no tiene modelo. Por eso, si la omega-inconsistencia es un mal síntoma, la insatisfacibilidad de una teoría es aun peor. En segundo lugar, propongo abandonar el principio de unión de teorías FSn y aceptar una extensibilidad indefinida de teorías FS0, FS1, FS2, FS3,.... De acuerdo a mi punto de vista, la secuencia de teorías tiene las mismas virtudes que FS sin sus desagradables consecuencias. In this paper, I have two different purposes. Firstly, I want to show that it's not a good idea to have a theory of truth that is consistent but omega-inconsistent. In order to bring out this point, it is useful to consider a particular case: FS. I argue that in First-order languages omega-inconsistency implies that a theory of truth has not standard model. Then, there is no model whose domain is the set of natural numbers in which this theory of truth could acquire a consistent interpretation. So, in theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. I add that in Higher-order languages the situation is even worst. In second order theories with standard semantic the same introduction produces a theory that doesn't have a model. So, if an omega-inconsistent theory of truth is bad, an unsatisfiable theory is really bad. Secondly, I propose to give up the union principle of theories FSn and accept an indefinite extensibility of theories FS0, FS1, FS2, FS3,... According to my view, the sequence of theories has the same virtues of FS without its disgusting consequences. (shrink)

O presente trabalho pretende mostrar que, para solucionar a questão da possibilidade do progresso científico, Popper precisou introduzir a ideia de verdade no âmbito de sua teoria da ciência. Essa concepção de progresso, em termos da noção de verdade, só será delineada na obra Conjectura e refutações, pois a ideia de que o alvo da ciência é a verdade ainda não aparece teorizada em suas primeiras obras. Quando Popper escreveu sua A lógica da pesquisa científica, a ciência era definida em (...) termos de regras lógico-metodológicas e não de suas metas. O avanço científico é concebido a partir das noções de testabilidade e de corroborabilidade das teorias, exigências lógicometodológicas para que uma teoria seja considerada como científica. Popper não relacionou a questão do progresso científico à noção de verdade, nessa obra, porque, quando a escreveu, não dispunha de uma consistente teoria da verdade. Foi somente após Tarski ter escrito seu artigo sobre a concepção semântica da verdade que Popper, tendo por base essa concepção de verdade, pôde complementar as suas teses sobre o progresso da ciência, expostas em sua A lógica da pesquisa cientifica, com uma teoria acerca do conteúdo de verdade e da aproximação da verdade. This paper aims to show that to solve the question of the possibility of scientific progress, Popper had to introduce the idea of truth into his theory of science. This conception of progress, in terms of the notion of truth, was only outlined in the work Conjectures and Refutations. The idea that the goal of science is truth does not appear in his early works. When Popper wrote his The Logic of Scientific Discovery, science was defined in terms of logic-methodological rules, and not of its goals. Scientific progress was conceived based on the notions of testability and corroboration of theories, logical and methodological requirements for a theory to be considered scientific. Popper did not relate the question of scientific progress to notion of truth in this work, because when he wrote it he did not have a consistent theory of truth. It was only after Tarski had written his article on the semantic conception of truth that Popper, based on this conception of truth, could complement his thesis about the progress of science expounded in The Logic of Scientific Discovery with a theory about the content of truth and the approximation to the truth. (shrink)

Se aborda la delimitación de lo que es una teoría de la verdad y la clasificación de las principales teorías elaboradas durante el siglo XX. Una teoría de la verdad ha de incluir al menos cuatro apartados: definición del concepto de verdad, determinación del criterio de verdad, distinción de los tipos de verdad y fijación del lugar sistemático de la verdad y de la teoría de la verdad en el marco del saber y (...) de la acción. En segundo lugar, se han clasificado las teorías de la verdad en siete grupos: teoría de la correspondencia (semánticas y no semánticas), teorías prooracionales, teorías fenomenologicas, teorías hermeneuticas, teóricas coherenciales, teorías pragmáticas y teorías intersubjetivistas de la verdad. (shrink)

1. EI dilema de Jørgensen. 2. La salución propuesta. 3. Breve historia de un prejudicio filosófico. 4. Normas sin lógica. 4.1. Imperativos sin lógica. 4.2. Normas y proposicienesnormativas. 4.3. Proposiciones normativas y normas verdaderas. 4.4. Mundos posibles. 4.5. Validez e invalidez. 4.6. La racionalidad del legislador. 5. La noción abstracta, sintáctica y semántica de consecuencia. 5.1. La noción abstracta de consecuencia. 5.2. La noción sintáctica de consecuencia. 5.3. La noción semántica de consecuencia. 5.4. EI sentido dado por las (...) reglas de uso en un contexto. 5.5. Qué operadores para la lógica. 5.6. Solo en un contexto la parte cobra sentido. 6. La lógica deóntica. 7. De donde la solución del dilema interesa a toda la lógica. 8. Consecuendas para la informática. (shrink)

Reconstroem-se, neste artigo, as objeções de Daniel Dahlstrom e Rufus Duits à crítica de Tugendhat à tese heideggeriana de que o conceito primordial de verdade consiste na noção de desvelamento. De diferentes modos, ambos os autores mantêm que Heidegger, ao contrário das acusações de Tugendhat, seria capaz de dar conta da falsidade. Grosso modo, enquanto Dahlstrom propõe que Tugendhat não apreciou o caráter transcendental do conceito originário de verdade em Heidegger, Duits acusa Tugendhat de haver se prendido à perspectiva metafísica (...) da Vorhandenheit. O objetivo deste artigo é indicar, com a ajuda dessa discussão, a questão fundamental da crítica de Tugendhat que, como parte da literatura mostrou, reside não tanto na exigência de uma explicação para a falsidade, mas muito mais na exigência de uma justificação para a transição semântica de ‘verdade’. Após mostrar nas duas primeiras seções como, respectivamente, Dahlstrom e Duits não atingem o cerne da crítica de Tugendhat, defendo na terceira seção minha interpretação da crítica de Tugendhat contra certas reservas recentemente articuladas por Wrathall. Concluo indicando a consonância dessa interpretação com a concessão de Heidegger em Das Ende der Philosophie und die Aufgabe des Denkens e apontando algumas questões pendentes. (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)

En este ensayo me propongo examinar una de las tesis mantenidas por Devitt sobre la naturaleza del realismo científico. En particular, examinaré la tesis de acuerdo con la cual ninguna teoría de la verdad es constitutiva al realismo, por lo que un compromiso con el realismo no nos obliga a suscribirnos a una teoría correspondendista de la verdad. Si ésta tesis fuese correcta, todos los intentos antirrealistas por rebatir las tesis del realismo científico estarían condenadas al fracaso ya (...) que sus objeciones suponen que una de las teorías constitutivas del realismo es la teoría correspondentista de la verdad. Mi intuición es que no es posible emancipar al realismo científico de sus compromisos semánticos con una teoría de la correspondencia. Para defender este punto de vista, mostraré que es poco plausible la tesis de que un realista no tiene que suscribirse a una teoría correspondentista, porque podría adoptar, en su lugar, una teoría redundante de la verdad. Mi intuición es que si el realista se suscribiera a tal teoría, no podría mantener exitosamente ‘la dimensión de independencia’ la cual es, de acuerdo con Devitt, constitutiva del Realismo. Finalmente, señalaré dos resultados indeseables que se derivan de mantener un realismo emancipado de la semántica, entre ellos que no resulta evidente cómo puede un realista de este tipo responder al problema de la elección de teorías, y adicionalmente que no parece posible admitir que hay relaciones causales entre nuestras mentes y el mundo –tal y como Devitt lo sugiere- sin intromisiones de la semántica o sin sucumbir al antirrealismo. (shrink)

1. EI dilema de Jørgensen. 2. La salución propuesta. 3. Breve historia de un prejudicio filosófico. 4. Normas sin lógica. 4.1. Imperativos sin lógica. 4.2. Normas y proposicienesnormativas. 4.3. Proposiciones normativas y normas verdaderas. 4.4. Mundos posibles. 4.5. Validez e invalidez. 4.6. La racionalidad del legislador. 5. La noción abstracta, sintáctica y semántica de consecuencia. 5.1. La noción abstracta de consecuencia. 5.2. La noción sintáctica de consecuencia. 5.3. La noción semántica de consecuencia. 5.4. EI sentido dado por las (...) reglas de uso en un contexto. 5.5. Qué operadores para la lógica. 5.6. Solo en un contexto la parte cobra sentido. 6. La lógica deóntica. 7. De donde la solución del dilema interesa a toda la lógica. 8. Consecuendas para la informática. (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)

¿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)

Na semântica ockhamiana, o predicado ‘verdadeiro’ deriva de uma outra relação semântica mais fundamental, a relação de suposição. O autor mostra como esta relação de dependência entre dois predicados semânticos figura na análise das condições de verdade de proposições passadas, um modelo que pode ser estendido a proposições futuras e possíveis. O texto procura indicar como a explicação das condições de verdade de proposições possíveis situa a semântica das modalidades aléticas em continuidade com a semântica de proposições não presentes. Este (...) último ponto ganha em interesse se o colocarmos ao lado de um outro aspecto da teoria modal ockhamiana, a saber, o fato de modalidades serem definidas como todo termo que pode ser predicado de proposições inteiras. Como conclusão, o autor expõe os diferentes níveis de análise de modalidades aléticas, dentro do quadro teórico ockhamiano. (shrink)

[ES] ¿Cómo caracteriza Aristóteles a la episteme teoretiké? Aristóteles consideraba a toda ciencia como un sistema S de enunciados que responden varios cánones, por ejemplo, aquellos que se refieren a un tipo o clase particular de objetos, los que son verdaderos, lo que refieren a sus consecuencias lógicas, lo que se aceptan sin definición, y los que que se aceptan sin demostración. Es así que, en este trabajo, por una parte reconstruiré los argumentos que Aristóteles da para sostener dicho sistema, (...) y por otra, analizaré la vigencia de tales argumentos. La hipótesis que manejaré, es que si se suponen verdaderos los requisitos que Aristóteles prescribió para el conocimiento científico se arriba a conclusiones que en la mayoría de los casos están en pugna con las tesis centrales de la metodología y de las ciencias contemporáneas. [EN] How does Aristotle characterize the episteme teoretiké? Aristotle considered all science as a system S of statements that answer to various canons, for example, those that refer to a particular type or class of objects, those which are true, those which refer to their logical consequences, those which are accepted without definition, and those that are accepted without demonstration. Thus, in this work, on the one hand I will reconstruct the arguments Aristotle gives to support this system, and on the other, I will analyze the validity of such arguments. The hypothesis that I will handle is that if the requisites that Aristotle prescribes for scientific knowledge are assumed to be true, then conclusions are reached that in most cases are in conflict with the central theses of the methodology and contemporary sciences. (shrink)

Esse artigo contém uma leitura da semântica fregeana na qual sentidos são parafraseados como regras cognitivas e a existência e a verdade em termos da aplicabilidade dessas regras. Nesse contexto ideias objetáveis da semântica fregeana são substituídas por outras mais intuitivas e plausíveis, sendo as consequências disso especulativamente consideradas.

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent of (...) the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

Porventura, o principal problema a enfrentar em Filosofia Normativa é aquele que designarei de ‘problema da compatibilidade’: as normas têm duas características essenciais, a necessidade e a violabilidade, que parecem ser incompatíveis. De acordo com a primeira das características intrínsecas das normas, se p é obrigatório, então p tem de ser verdadeira. De acordo com a segunda das características intrínsecas das normas, mesmo sendo p obrigatório, p pode não ser verdadeira. A capacidade para acomodar esta aparente natureza paradoxal das normas (...) constitui o teste derradeiro de verdade de uma tese em Filosofia Normativa. Defendo que só uma tese passa este teste: a semântica condicional, fortemente inspirada no que Husserl diz nas Investigações Lógicas. Esta tese rivaliza directamente com a semântica dos mundos ideais, surgida a par do desenvolvimento da Lógica Deôntica no século XX. Para a semântica dos mundos ideais, ‘p é obrigatório’ significa ‘p é uma verdade em todos os mundos possíveis que são os ideais’. Como o mundo atual não é um mundo ideal, fica explicado o facto de p poder não ser verdadeira no mundo atual, mesmo havendo necessidade. E se o mundo atual for um mundo ideal? Continua a não haver violabilidade: a verdade de ‘p é obrigatório’ no mundo atual garante a verdade de ‘p’ no mundo atual. Seguindo a semântica dos mundos ideais, as normas são invioláveis em todos os mundos ideais. Nesta dissertação, defendo que o termo ‘necessário’ é ambíguo e que, no contexto normativo, é usado de um modo particular: não designa o conceito modal de necessidade mas o conceito de indispensabilidade. Dizer que p é normativamente necessário é o mesmo que dizer que p é indispensável (para alguma coisa). Ora, é possível que ‘p’ seja indispensável e falsa simultaneamente. (shrink)

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.

El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.

The work deals with the problem of realism, as one of the focuses in which semantic, ontological and epistemic issues merge together. The analysis starts from Putnam's internal realism, pointing out its difficulties and the movement towards pragmatic or natural realism. This movement implies the reviewing of the epistemic notion of truth and of the instances of justification, and consequently, of the relations established between perceptive activity and linguistic practices.El trabajo se aboca al problema del realismo, como uno de los (...) focos en los que convergen cuestiones semánticas, ontológicas y epistémicas. El análisis parte del realismo interno de Putnam, señalando sus dificultades y el tránsito al realismo pragmático o natural. Este tránsito implica la revisión de la noción epistémica de verdad y de las instancias de justificación, y consiguientemente de las relaciones que se establecen entre la actividad perceptiva y las prácticas lingüísticas. (shrink)

Las paradojas semánticas muestran que las teorías semánticas que internalizan sus propios conceptos semánticos, como la verdad y la validez, no pueden validar toda la lógica clásica. Es decir, es necesario debilitar algún conectivo del lenguaje objeto, tomado como culpable de las paradojas, o renunciar a alguna propiedad de la relación de consecuencia de la teoría lógica. Ambas estrategias pueden alejarnos de la lógica clásica, que es la lógica comúnmente utilizada en nuestras teorías matemáticas actuales. Por tanto, una solución (...) deseable a las paradojas semánticas no debería alejarnos de la lógica clásica. En este trabajo analizamos dos propuestas interesantes que pretenden mantener la lógica clásica al máximo posible. La primera estrategia, Barrio & Pailos & Szmuc-approach (2017) (BPS-approach), propone la lógica paraconsistente MSC que contiene en su lenguaje objeto un conectivo capaz de recuperar la inferencia clásica siempre que las oraciones en cuestión sean consistentes. Así, muestran que es posible construir una teoría semántica sobre esta lógica que sea inmune a las paradojas semánticas. El segundo enfoque se basa en la jerarquia STω de sistemas no transitivos STn, propuesta por Pailos (2020a). Esta jerarquía recupera tantas metainferencias clásicas como sea posible en los niveles superiores de la jerarquía. Argumentamos a favor del segundo enfoque, argumentando que la primera estrategia tiene que adoptar procedimientos autorreferenciales débiles para evitar las paradojas. (shrink)

RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de proposições “ditas verdadeiras” tanto quanto as proposições “ditas falsas” como determinantes da noção de validade das inferências. Após analisar algumas lógicas (...) associadas à semântica proposta, introduzimos a lógica E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B.ABSTRACT In the present work I introduce a semantics based on the cognitive attitudes of acceptation and rejection entertained by a given society of agents for logics inspired on Dunn and Belnap’s ‘First Degree Entailment’. Distinctly from the original epistemic situation of E, the cognitive attitudes do not coincide with truth-values and it seems more suitable for logics that intend to consider the informational content of propositions “said to be true” as well as propositions “said to be false” as determinants of the notion of logical validity. After analyzing some logics associated with the proposed semantics, we introduce the logic E B, whose underlying semantic entailment relation - the B-entailment - is able to express several kinds of reasoning towards the cognitive attitudes of acceptance and rejection. Acorrect and complete sequent calculus for E B is also presented. (shrink)

After introducing semantic anti-realism and the paradox of knowability, the paper offers a reconstruction of the anti-realist argument from understanding. The proposed reconstruction validates an unrestricted principle to the effect that truth requires the existence of a certain kind of “demonstration”. The paper shows that that principle fails to imply the problematic instances of the original unrestricted feasible-knowability principle but that the overall view underlying the new principle still has unrestricted epistemic consequences. Appealing precisely to the paradox of knowability, the (...) paper also argues, against the BHK semantics, for the non- constructive character of the demonstrations envisaged by semantic anti-realism, and contends that, in such setting, one of the most natural arguments for a broadly intuitionist revision of classical logic loses all its force.Tras presentar el anti-realismo semántico y la paradoja de la cognoscibilidad, el artículo ofrece una reconstrucción del argumento anti-realista basado en la comprensión. La reconstrucción que se propone valida un principio irrestricto, del que se sigue que la verdad requiere la existencia de un determinado tipo de “demostración”. El artículo muestra que este principio no implica las instancias problemáticas del original principio irrestricto de la cognoscibilidad realizable, y que la concepción general que subyace al nuevo principio todavía tiene consecuencias epistémicas irrestrictas. Apelando precisamente a la paradoja de la cognoscibilidad, el artículo argumenta además, en contra de la semántica BHK, a favor del carácter no constructivo de las demostraciones que contempla el anti-realismo semántico, y defiende que, en ese marco, uno de los argumentos más naturales a favor de una revisión a grandes rasgos intuicionista de la lógica clásica pierde toda su fuerza. (shrink)

En este artículo propondremos, discutiremos y formalizaremos criterios gracias a los cuales podría legítimamente decirse que una inferencia o argumento es analítico o sintetico. Para ello, necesitaremos discutir la noción de asunto de una oración o fórmula, que será crucial en la determinación del carácter analítico o sintético de las inferencias. En el curso de dicha discusión, intentaremos mostrar que hay un interés filosófico en considerar semánticas para sistemas de lógica que admiten valores de verdad sin sentido, para lo (...) cual haremos uso esencial de dos sistemas de “Lógicas del Sinsentido” introducidos por Dimitri Bochvar y Sören Halldén, respectivamente. El interés de considerar sistemas con semánticas de este tipo reside en que, bajo ciertas condiciones, dichos sistemas podrán ser tenidos por analíticos, o sintéticos. (shrink)

Esta apresentação identifica os principais conceitos envolvidos na teoria semântica da informação na obra An Outline of a Semantic Theory of Information de Bar-Hillel e Carnap. Inicio indicando as influências e desdobramentos sobre a elaboração desta teoria, seguido dos principais conceitos que os autores usarão para tratar o conteúdo semânticodas sentenças. O ponto de partida são operações conjunto-teoréticas, inicialmente através das funções In e Cont. Mas a dificuldade com a adição os leva a especificar o conceito de informatividade semântica por (...) meio das funções cont e m, que avaliam o espaço lógico-probabilístico sentencial. Sendo inversamente definíveis, onde a altaprobabilidade de verdade de uma sentença implica em seu escasso conteúdo informacional. Com isto, os autores introduzem a função inf como a contribuição de uma sentença na identificação de qual descrição-de-estado possível é o caso. A partir disto, eles ajustam a teoria para tratar probabilidades experimental-indutivas entre hipótesese evidências. (shrink)

El tema de la libertad no ha sido considerado sistemáticamente por Ockham; por ello la autora lo analiza desde la circunscripción de los presupuestos metodológicos transitados por el Venerabilis Inceptor para llegar a su elaboración. Se fundamenta, en un primer momento, la nueva justificación gnoseo-ontológica de la realidad propuesta en el ockhamismo. Ello permite definir los límites en los cuales se inscribe el tema según un modelo fuertemente inspirado en el principio de la omnipotencia divina. La exposición ockhamista utiliza el (...) lenguaje y la doctrina aristotélica del libre arbitrio, pero desde una semántica completamente diversa; pues la libre elección aristotélica se produce a partir de un primer reconocimiento de opciones entre las que el agente elige; de allí que la libertad resulte una función del intelecto. Ockham desestima este elemento fundamental del aristotelismo al invertir la perspectiva del análisis; sostiene que la voluntad es un poder activo cuya opción fundamental -actuar o no actuar- no depende del intelecto sino de ella misma como causa sui. La metafísica y la antropología que sostienen esta concepción han sido modificadas sustancialmente respecto de las posiciones dominantes del siglo XIII: la naturaleza carece de una orientación específica; no está abierta, ni determinada por la verdad ni por el bien. Sólo el agente libre y consciente actúa en vista de un fin que él mismo se impone, mientras que el universo físico es predecible y perfectamente determinado. La libertad aparece como un comienzo frente a la determinación natural, configurándose, así, la primera versión medieval del dilema moderno de la libertad versus el determinismo. (shrink)

In philosophy of science two questions become central in the discussion of the nature of empirical science: 1) What is a theory, i.e. how is it built up, how does it work? And: 2) How does a theory relate to its corresponding experiential basis? To deal with these two questions modern philosophy of science has devised various ‘models’ on the nature and working of scientific theories. Some aspects of these models are widely held within the community of philosophers of science, (...) but others are still being discussed quite controversially. In this paper, we will consider both kinds of aspects. Particularly, we will analyze how the meaning of scientific concepts is determined; the axiomatic construction of a scientific theory; the idea of model building views as a bridge between theory and experience; the holistic semantic thesis of science; the question about the true of scientific theories; and, finally, the hierarchic structure of theories.En filosofía de la ciencia, dos cuestiones resultan centrales en la discusión acerca de la naturalezade la ciencia empírica: 1) ¿qué es una teoría ?, es decir, ¿cómo estáconstituida y cómo funciona? y 2) ¿cómo se relaciona una teoría con su correspondientebase experiencial? Para tratar estas dos cuestiones, la moderna filosofía de la ciencia ha desarrolladovarios “modelos” sobre la naturaleza y el funcionamiento de lasteorías científicas. Algunos aspectos de estos modelos son ampliamente aceptados por lacomunidad de filósofos de la ciencia, mientras que otros son todavía discutidos de manerabastante controvertida. En este trabajo, consideraremos ambos tipos de aspectos. En particular,analizaremos cómo se determina el significado de los conceptos teóricos, la construcción axiomática de una teoría científica, la idea de las concepciones sobre la construcción de modelos como puente entre la teoría y la experiencia, la tesis semántica holista de la ciencia, la cuestión acerca de la verdad de las teorías científicas y, finalmente, la estructura jerárquica de las teorías. (shrink)

Em português: Teorias da verdade: Uma introdução crítica.\nTradução de Alessandro Zir. São Leopoldo: Editora UNISINOS,\n2003. Aquestão da verdade no debate contemporâneo é o\ntema ótimo livro, que explica admiravelmente bem os conceitos\ncentrais da semântica, as dificuldades neles envolvidas e as\ndiversas soluções que são hoje propostas.

A lógica, considerada como uma disciplina técnica iniciada por Aristóteles e tipicamente representada pela variedade de cálculos lógicos modernos, constitui um esclarecimento e refinamento de uma convicção e prática presentes no senso comum, ou seja, o fato de que os seres humanos crêem que a verdade pode ser adquirida não apenas por evidência imediata, mas também por meio de argumentos. Como uma primeira aproximação, a lógica pode ser vista como um registro “descritivo” das principais formas de argumento presentes no senso (...) comum, mas o fato de que alguns desses padrões possam realmente permitir a derivação de consequências falsas a partir de premissas verdadeiras impõe a tarefa de tornar explícitos que padrões correspondem a um “raciocínio correto” e quais não. Nesse ponto, a lógica (que contém a apresentação de tais padrões) parece ser dotada de uma característica “normativa”. Isso equivale a dizer se pretende que os cálculos lógicos espelhem adequadamente a noção intuitiva de “consequência lógica” e que nesse sentido eles não podem ser totalmente arbitrários ou convencionais, mas devem satisfazer certos requisitos básicos tais como as condições de correção e (tanto quanto possível) de completude semântica. Em tal forma eles são “julgados” de acordo com os requisitos fundamentais presentes no nível do senso comum e aparecem como “idealizações” das espécies de raciocínio praticadas no senso comum. Por essa razão também vários tipos de cálculos lógicos são inteiramente justificados uma vez que tornam explícitos, de uma forma idealizada, os modos concretos de raciocinar que são impostos pelo particular domínio de referência da disciplina na qual são usados e que são basicamente reconhecidos no senso comum. DOI: 10.5007/1808-1711.2011v15n1p15. (shrink)

Se expone la relación entre el signo en tanto gnoseológica y semánticamente subordinado a la imaginación y el uso del lenguaje como medio para expresar las verdades filosóficas por parte de Spinoza. Al respecto, se revisan tres posturas: (i) la de David Savan, quien sostiene la inadecuación del lenguaje para expresar verdades filosóficas debido a la vinculación spinoziana entre las palabras y la imaginación; (ii) la de G.H.R. Parkinson, quien afirma que el uso del lenguaje no es inconsistente con la (...) expresión de las proposiciones filosóficas por parte de Spinoza, sino que, la mayor parte de lo propuesto en la Ética pertenece al conocimiento de razón y las nociones comunes y; (iii) la de Mogens Laerke, quien defiende la posibilidad de atribuir coherencia al uso del lenguaje, por un lado, y a la filosofía spinoziana, por el otro, a partir del recurso matemático de la demostración geométrica. Finalmente, se argumenta una interpretación propia con base en el análisis semiótico del signo en Spinoza, a partir de la cual (i) es posible atribuirle al signo una función dentro del entendimiento, sin detrimento de su capacidad gnoseológica y semántica para alcanzar verdades filosóficas y, por consiguiente, (ii) validar el uso del lenguaje como medio para expresar su filosofía. (shrink)

A filosofia da linguagem dedica-se ao estudo da linguagem natural. Não se dedica ao estudo de línguas particulares, tal como o português, o castelhano ou o inglês, mas sim ao estudo filosófico de características gerais da linguagem e da nossa capacidade e proficiência linguística enquanto seres humanos. A investigação do desenvolvimento da linguagem é uma tarefa a ser desenvolvida pela ciência – a paleontologia, a neurologia, etc. Mas a ciência ocupa-se de algo de que temos um conhecimento intuitivo prévio – (...) a linguagem natural. Ora, a filosofia da linguagem dedica-se em parte a tornar explícito o nosso conhecimento implícito da linguagem. Como tal, a filosofia da linguagem é uma disciplina central na filosofia. Este capítulo é uma introdução selectiva à filosofia da linguagem. A alternativa que se nos deparava era fazer uma breve apresentação de teorias do significado, da referência e da verdade, e ainda de alguns tópicos de pragmática, ou escolher um tópico em particular que é, tradicionalmente, o elegido nos cursos introdutórios à filosofia da linguagem. Este capítulo oferece assim uma introdução a alguns dos temas centrais e clássicos da filosofia da linguagem contemporânea. A maior parte do capítulo dedicar-se-á a teorias da referência, a de Frege e de Russell, e à sua crítica subsequente por filósofos como Saul Kripke. Isto poderia levar-nos a pensar que a filosofia da linguagem contemporânea continua, como era tradicional, focada simplificada da relação entre linguagem, mente e mundo. Nada podia estar mais longe da verdade, como se tornará claro. A grande alteração na perspectiva sobre o estudo da linguagem, que se deve a pessoas como Frege ou Russell, é que graças ao seu trabalho os filósofos passaram a reflectir sobre a contribuição semântica sistematicamente feita por diferentes categorias sintácticas nas diferentes construções frásicas em que possam ocorrer, por exemplo a de termos referenciais como os nomes próprios. A relação linguagem-mente-mundo continua a ser uma preocupação dos filósofos contemporâneos, mas de uma forma muito mais sofisticada, rigorosa e sistemática. Os filósofos preocupam-se agora, por exemplo, com as condições de verdade correctas de usos particulares de frases, com os estados de coisas reais ou possíveis que confeririam verdade ou falsidade às frases usadas, e com o valor cognitivo de distintos tipos de frases. Como indicaremos na última secção do capítulo, outros desenvolvimentos da filosofia da linguagem contemporânea dizem respeito àquilo que nós, enquanto seres humanos, conseguimos fazer por meio da linguagem, aos diferentes actos de fala possíveis, e aos diferentes níveis de significado que podemos comunicar por meio do uso de frases com um significado convencionalmente estabelecido. (shrink)

La construcción de un lenguaje formal en el que sea posible llevar a cabo fonnulaciones sobre la verdad de los enunciados deI propio lenguaje se ha revelado en extremo problemático, puesto que los llamados enunciados deI mentiroso conducen a paradojas. En su libro The Liar, Barwise y Etchemendy afirman haber solucionado el problema mediante su semántica russelliana y semantica austiniana. Sin embargo, en este articulo va a ser demostrado que la semántica russelliana fracasa en solucionar el problema (...) por las mismas razones que planteamientos clásicos suelen fracasar, y que la semantica austiniana fracasa totalmente puesto que esta semantica no contiene ningún predicado veritativo.Formal languages with truth predicates are seriously affected by paradoxes in the form of Liar sentences. In their best-seller The Liar, Barwise and Etchemendy achieved to convince a respectable part of the philosophical world that they have solved this problem by means of their Russellian- and Austinian semantics. The aim of this paper is to stop the rumour that the Liar paradox is solved. lt will be shown that Russellian semantics fails because of the same reasons classical approaches use to fail, and that Austinian semantics fails totally since it contains no truth predicate, i.e. in Austinian semantics it is generally impossible to express the truth or falsehood of a proposition. (shrink)

El problema de la inconmensurabilidad y, en particular, el del progreso científico, está asociado a -dos nombres: Kuhn y Feyerabend, cuyas propuestas hicieron que muchos pusieran en duda la aparente evidencia del llamado “progreso científico, relativizando su validez a cada escuela o paradigma. En este escrito mostraremos que este tipo de relativismo epistémico — al igual que la teoría convergentista de la verdad — carecen de validez filosófica e histórica y de qué modo la idea de “progreso científico es (...) compatible con la tesis de la inconmensurabilidad más allá de las dificultades onto-semánticas que ella implica. Esto supone abandonar el llamado punto de vista enunciativo de las teorías científicas (centrado sobre sentencias o enunciados) y adoptar un punto de vista no-enunciativista (centrado sobre estructuras o sistemas donde la relación interteórica de aproximación permite subsumir diferentes casos de inconmensurablidad no triviales y validar en ellos la noción de progreso científico. (shrink)

Desde que Tarski publicó su estudio sobreel concepto de verdad en los años 30, hasido una práctica ortodoxa el considerarque t oda i nst anci a del esquema T esverdadera. Sin embargo, algunas instanciasdel esquema son falsas. Éstas incluyen lasi nst anci as paradój i cas ej empl i f i cadaspor la oración del mentiroso. Aquí sedemuestra que un esquema mejor permiteun tratamiento uniforme de la verdad enel que las paradojas semánticas resultanser simplemente falsas.Si nc e Ta (...) r s ki publ i s he d hi s s t udy ofthe concept of truth in the 1930s, it hasbeen orthodox practice to suppose thatevery instance of the T-schema is true.However, some instances of the schemaare false. These include the paradoxicalinstances exemplified by the Liar sentence.It is shown that a better schema allows auniform treatment of truth in which thesemantic paradoxes turn out to be simplyfalse. (shrink)