[ES] La teoría de modelos parte generalmente de la definición de consecuencia lógica ofrecida por Tarski en 1936. John Etchemendy asevera que esta definición contiene una falacia si se le toma como definición genuina de este concepto. Esta aseveración ha desatado una polémica interesante. El presente ensayo resume los puntos principales en discusión y sugiere en su conclusión que el rechazo de la propuesta de Etchemendy se basa en un malentendido de la intención de su crítica, cuyo objeto no (...) es, propiamente dicho, la definición de Tarski, sino que ésta ofrece un fundamento insuficiente para la teoría de modelos. [EN] Model Theory generally assumes the definition of logical consequence proffered by Tarski in 1936. John Etchemendy suggests that Tarski’s definition contains a fallacy, from which an interesting controversy ensued about the definition and its meaning. The main points in discussion are summarized and it is suggested that the controversy is based on a misunderstanding of the intentions of Etchemendy’s criticism: the target is not so much Tarski’s definition, but that it offers an insufficient foundation for Model Theory. (shrink)

Stephen Hetherington é um dos mais proeminentes epistemólogos a defender que é possível ter conhecimento segundo as condições de crença verdadeira e justificada, apesar dos contraexemplos elaborados por Edmund Gettier. Ele fundamentou sua perspectiva no pressuposto de falibilidade do conhecimento e naquilo que ele chamou de "falácia de contrafactuais epistêmicos", segundo a qual não se deve assumir impossibilidade do conhecimento factual apenas em virtude da sua impossibilidade contrafactual - o que é reiterado por Anthony Booth. As críticas apresentadas por Brent (...) Madison, John Turri e Duncan Prtichard apontaram para a relevância das suas ideias, mas também para o fato de que Hetherington ignorou que há diferentes tipos de sorte que podem interferir no processo de aquisição de conhecimento. Palavras-chave: Falácia de contrafactuais epistêmicos. Falibilismo. Infalibilismo. Sorte epistêmica. Stephen Hetherington. (shrink)

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

1. Introduction. 2. Is Tarski’s theory of truth, as Popper claims after Tarski himself, a rehabilitation of the traditional view of truth as correspondence to facts? — Yes, but not for the reasons he gives. 3. Is Tarski’s explicit definition of truth , as Popper claims after Tarski himself, purely morphological ? — No. 4. Is Tarski’s theory, as Tarski claims it to be, « epistomologically neutral » ? — This thesis is ambiguous, and Tarski can support it just as (...) Popper can dispute it as well. 5. Is Popper right for all that when he goes as far as to claim that Tarski’s theory of truth provides an argument in favour of « metaphysical realism » — No. 6. Conclusions.Résumé1. Introduction 2. La théorie de la vérité de Tarski est-elle, comme Popper l’affirme à la suite de Tarski lui-même, une réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits ? — Oui, mais pas pour la raison qu’il donne. 3. La définition explicite de la vérité de Tarski est-elle, comme Popper l’affirme à la suite de Tarski lui-même, purement morphologique ? — Non. 4. La théorie de Tarski est-elle, comme celui-ci le prétend, « épistémologiquement neutre » ? — La thèse est équivoque, et Tarski peut aussi bien la soutenir que Popper la contester. 5. Popper a-t-il raison pour autant d’aller jusqu’à prétendre que la théorie de la vérité de Tarski fournit un argument en faveur du « réalisme métaphysique » ? — Non. 6. Conclusions. (shrink)

Sur la décomposition des ensembles de points en parties respectivement congruentes.

En este artículo se presenta una caracterización del concepto de falacia, con énfasis en la llamada ‘falacia de apelación a lo natural’. Se explica el alcance de esta falacia, y su peligrosidad, en particular en el ámbito de las ciencias de la salud y de alimentos.

A compilation of lectures by the liberal thinker Armando P. Ribas, which reflect the political philosophy in his historical, ethical, political and economic analysis. Dr. Ribas exposes the correct axiological order, thus demonstrating that the economy is merely consequential and dependent on ethics, politics, and the legal system derived from them.

El siguiente artículo aborda la crítica que manifiesta que John Stuart Mill incurrió en la falacia naturalista y en la falacia de composición. Esta temática se puede abordar de dos formas: una consistiría en analizar si Mill realmente desconoce la distinción entre lo deseado y lo deseable; otra sobre si su concepción de hedonismo, felicidad, conlleva la comisión de las falacias mencionadas. Esta última forma es el tema principal que se aborda; en otras palabras, se mencionará brevemente lo (...) relativo a si Mill confunde deseado/deseable, es/debe, y se puntualiza en cómo el hedonismo y la idea de felicidad millianos no llevan a caer en la falacia naturalista ni en la falacia de composición. En todo esto la educación jugará un papel valioso. (shrink)

Colombia es el país donde por primera vez se legisló sobre eutanasia en América Latina y el Caribe, en el sentido de despenalizar o legalizar su práctica. La novedad del caso colombiano está en la vía jurídica mediante la cual se despenalizó el “homicidio por piedad”, denominación tipificada en el Código Penal para la eutanasia. Como se explicará en el capítulo correspondiente, la eutanasia en Colombia se despenaliza mediante una sentencia de la Corte Constitucional, máximo organismo del poder judicial del (...) país, sin pasar antes por el Congreso de la República (rama legislativa). Este artilugio jurídico fue el mismo que se utilizó en los EUA, en la década del setenta del siglo pasado, para hacer ver el aborto como si fuera un derecho derivado de la Constitución (caso Roe vs. Wade), que sin embargo fue corregido por la misma Corte Suprema de ese país en 2022. En la sentencia Dows vs. Jackson se indica que el aborto no es un derecho constitucional y que los organismos judiciales no son competentes para regular sobre esa materia y sobre otras análogas. Una de ellas es la eutanasia. Luego de una introducción donde se expone parte de la historia de la eutanasia, se pasa a la terminología relacionada con ella. Algunos argumentos a favor de la eutanasia son examinados para mostrar lo que hay detrás de cada uno y concluir por qué su práctica no es una buena idea. En la parte central del libro se hace una reflexión sobre la valoración ética que se puede hacer del acto eutanásico. Posteriormente se ofrecen unas reflexiones sobre la cultura de la muerte, pero sobre todo del sentido que el sufrimiento puede tener para el ser humano. Antes de las conclusiones el lector encontrará dos ensayos sobre la eutanasia en el mundo y en Colombia, que procuran aportar datos para una mejor comprensión de la situación. En el último capítulo se incluye un estudio breve sobre lo que dicen las religiones de la eutanasia. Las conclusiones se aprovechan para mostrar cómo la medicina paliativa y los cuidados paliativos son el mejor recurso médico que hace innecesario el que alguien pueda plantearse la aplicación de la eutanasia. Además, se explica qué son las voluntades anticipadas y la objeción de conciencia. -/- . (shrink)

Provability, Computability and Reflection.

The logical theory which is called thecalculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Although some scattered remarks regarding the concept of relations are to be found already in the writings of medieval logicians, it is only within the last hundred years that this topic has become the subject of systematic investigation. The first beginnings of the contemporary theory of relations are to be found (...) in the writings of A. De Morgan, who carried out extensive investigations in this domain in the fifties of the Nineteenth Century. De Morgan clearly realized the inadequacy of traditional logic for the expression and justification, not merely of the more intricate arguments of mathematics and the sciences, but even of simple arguments occurring in every-day life; witness his famous aphorism, that all the logic of Aristotle does not permit us, from the fact that a horse is an animal, to conclude that the head of a horse is the head of an animal. In his effort to break the bonds of traditional logic and to expand the limits of logical inquiry, he directed his attention to the general concept of relations and fully recognized its significance. Nevertheless, De Morgan cannot be regarded as the creator of the modern theory of relations, since he did not possess an adequate apparatus for treating the subject in which he was interested, and was apparently unable to create such an apparatus. His investigations on relations show a lack of clarity and rigor which perhaps accounts for the neglect into which they fell in the following years. (shrink)

Le but principal de la communication est d’esquisser les traits essentiels de la méthode appliquée dans les sciences déductives.1. A quoi tend la méthode déductive? Termes primitifs et définis ; axiomes et théorèmes. Les sciences antérieures à une science donnée. La méthode déductive considérée comme propriété caractéristique des mathématiques.2. Liberté dans le choix des termes primitifs et des axiomes ; notion d’équivalence de deux systèmes de termes ou de propositions.Postulats d’indépendance des termes primitifs et des axiomes.3. Postulats de la formalisation (...) des définitions et des démonstrations. Règles de définition et de démonstration ; les démonstrations complètes ; les sciences déductives formalisées. Le rôle de la logique mathématique au point de vue des nouvelles exigences méthodologiques.4. Les notions de science non-contradictoire et complète. L’importance théorique de ces notions ; leur rapport avec le problème de la vérité des mathématiques. Pourquoi les notions en question n’exercent pas en pratique une grande influence sur la construction des sciences mathématiques.5. Certaines propriétés des sciences mathématiques découlant d’une application conséquente de la méthode déductive.ion du sens des termes primitifs dans la construction de la science. Modèles et interprétations du système d’axiomes. Concept de système formel. Valeur de la méthode déductive du point de vue de l’économie de la pensée. (shrink)

Der Laie spricht manchmal die Ansicht aus, die Mathematik ware heutzutage schon eine tote Wissenschaft: nachdem sie einen ungemein hohen Grad der Entwicklung erreicht hat, sei sie in ihrer steinernen Vollkommenheit erstarrt. Dies ist ein vollig irriges Bild der Situation: nur wenige Wissenschaftsgebiete befinden sich heute in der Phase einer solch intensiven Entwicklung wie die Mathematik. Diese Entwicklung ist dabei auBerordentlich vie1seitig: die Mathematik erweitert ihre Domane nach allen moglichen Richtungen, sie wachst in die Rohe, in die Weite und in (...) die Tiefe. Sie wachst in die Rohe, da auf dem Boden ihrer alten Theorien, denen eine jahrhundert-, ja sogar jahrtausend- lange Entwicklung zugrunde liegt, immer wieder neue Prob1eme auftauchen, immer scharfere und vollkommenere Resultate er- zielt werden; in die Weite, da ihre Methoden andere Wissen- schaftszweige durchdringen, ihr Untersuchungsbereich immer umfangreichere Gebiete von Erscheinungen umfaBt und immer neue Theorien in den groBen Kreis mathematischer Disziplinen einbezogen werden; und schlieBlich in die Tiefe, da ihre Grund- lagen immer mehr gefestigt, die bei ihrem Aufbau angewandten Methoden immer vollkommener werden und ihre Prinzipien an Dauerhaftigkeit gewinnen. In dem vorliegenden Buch wiinschte ich dem Leser, der fiir die gegenwartige Mathematik Interesse aufweist, aber ihr fern- steht, mindestens einen ganz allgemeinen Begriff von dieser dritten Entwicklungslinie der Mathematik, d. i. von ihrer Ent- wicklung in die Tiefe, zu geben. (shrink)

Parmi les travaux contemporains en sémantique du langage ordinaire, le "programme de Davidson " se distingue par sa portée philosophique : la théorie de la vérité que propose Davidson à titre de cadre sémantique s'épanouit en effet en une véritable philosophie du langage, connue sous le nom d'interprétation radicale. Cet ouvrage tente une évaluation critique du programme de Davidson, à partir d'une question à la fois historique et conceptuelle : quels ont les rapports entre le projet d'une théorie de la (...) vérité "à la Tarski ", et celui d'une sémantique formelle du langage ordinaire? (shrink)

O debate contemporâneo sobre a ética do aprimoramento cognitivo tem se concentrado sobretudo na pergunta sobre se, e em que medida, os indivíduos deveriam ou não ter o direito a fazer uso de novas tecnologias na expectativa de aumentar suas respectivas faculdades cognitivas. A pergunta sobre se haveria uma obrigação de implementarmos o aprimoramento cognitivo dos indivíduos não tem recebido muita atenção. Neste artigo, eu defendo a tese segundo a qual o Estado tem, em princípio, a obrigação de promover o (...) aprimoramento cognitivo dos seus cidadãos. O argumento envolve uma análise do denominado efeito Flynn e das políticas públicas para a educação de crianças superdotadas. A obrigação que o Estado tem de promover o aprimoramento cognitivo de seus cidadãos está subordinada ao conhecimento disponível sobre a eficácia e a segurança dos procedimentos para fins de aprimoramento cognitivo. (shrink)

Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.

Neste trabalho, pretende-se analisar o que se quer dizer com “falácia naturalista” e saber se há bons argumentos para sustentarmos a existência de uma falácia desse tipo. Começaremos estudando o que Hume falou sobre o assunto; se realmente ele enunciou algo como uma “Lei” contra derivar um “dever-ser” de um “ser”. Depois da obra de Hume, passaremos à de Moore. Na obra de Moore, veremos se ele quer dizer com o termo o mesmo que dizemos atualmente. Analisadas as obras dos (...) dois autores, passaremos, por último, a estudar o que “falácia naturalista” e “derivar um dever-ser de um ser” quer dizer hoje. Concluiremos que não há bons argumentos para aceitarmos que o que esses termos denotam é de fato uma falácia. Abstract:In this work, our aim is to investigate the meaning of the term “naturalistic fallacy”, and if there are good arguments to sustain the existence of a fallacy of this kind. We will begin studying what Hume said about the matter; if he really enunciated something like a “Law” against deriving a “is” from a “ought”. In the next section, we will proceed to the the arguments brought by Moore, to see whether the meaning of term is the same for him and us. Having analyzed the works of the two authors, we will proceed, in the final section, to study what the terms “naturalistic fallacy” and “deriving an ought from an is” means today. Finally, we will conclude that there aren’t good arguments for us to accept that what these terms denote is in fact a fallacy. (shrink)

Há um diálogo entre os estudos antropológicos e literários não só porque a literatura está dentro do âmbito da antropologia cultural, mas também porque a literatura de um povo reflete substancialmente os aspectos da sua cultura e sua visão de mundo. Este trabalho investiga as representações de classe, raça e relações raciais em “O Romance d'A Pedra e o Príncipe do Sangue do Vai-e-Volta”, um romance do autor brasileiro contemporâneo, Ariano Suassuna (1927). Em primeiro lugar, pretende-se demonstrar como a representação (...) de Suassuna da cultura popular reflete classe, raça e relações raciais sociais em uma área particular do Brasil, o Nordeste, tradicionalmente rural. Posteriormente, investigar como a comunicação de massa, especialmente os veículos culturais de televisão e cinema, utiliza a literatura para tentar mudar ou espalhar e perpetuar atitudes racistas e formas de pensamento. Mesmo que estudos modernos tenham mostrado que o conceito de "raça" é uma construção cultural e uma falácia, a literatura e a cultura de massa exploram identidades deliberadas com base em estereótipos recebidos. Os debates linguísticos e culturais de uma cultura e país racialmente híbrido, como o Brasil, não podem deixar de considerar os conceitos de "raça" e "grupos étnicos", pois o Brasil é um país que herdou as tipologias de classe, cor e preconceito patriarcal e agrário baseadas em colonialismo português (Ribeiro, 1995). Esses debates se refletem na cultura popular de maneiras particulares; são capturados em formas eruditas de cultura, como literatura, e são então apropriados pela mídia e televisão. As obras de Suassuna podem ser vistas como um recurso valioso deste debate, apontando para questões de assimilação ou segregação de raça e / ou poder de classe, e influência, boa ou ruim, tolerância e preconceito. Observa-se o impacto de seu trabalho não só através da literatura, mas também através dos meios de comunicação. (shrink)

Il n’est pas facile de voir quel est l’objectif de ce livre. Au chapitreI, Rivenc annonce que ce qui l’intéresse est le lien chez Davidson entre le format d’une théorie de la signification pour les langues naturelles et le thème de l’interprétation radicale qui serait à l’œuvre dans tout échange linguistique. En fait, Rivenc ne dit à peu près rien sur ce lien. Son livre consiste plutôt en une suite de critiques disparates du programme de Davidson, qu’il emprunte à différents (...) commentateurs de celui-ci. L’auteur omet de présenter les réponses à ces critiques qu’ont données les sympathisants de l’approche davidsonienne, et n’essaie pas de tirer des leçons plus générales de ces critiques concernant la sémantique des langues naturelles. (shrink)

This paper is centered on the semantic theory of truth, formulated by Alfred Tarski. According to some authors, this theory is to be construed as a contemporary version of the traditional correspondence theory, namely, the one that defines truth as the correspondence between language and the world. In contrast, there are others who think that Tarki´s theory reveals a deflationary conception of truth, according to which truth can be reduced to a linguistic resource for semantic ascent. Since I agree with (...) the last group, I set out to support a special version ─the so-called “semanticalist version” ─ of the deflationary interpretation of the semantic theory. In the first section, I characterize the two alternative conceptions of truth above mentioned, that is, correspondence and deflationism. The second section contains and exposition of the modal argument, wich takes the Tarskian theory to inspire a syntacticalist version of the deflationary conception. In the third section, I criticize the argument in question and attempt to ground the above mentioned wide, semanticalist interpretation of deflationism. (shrink)

Resumo: Examinar-se á o conceito de verdade pragmática em uma perspectiva que poderia ser denominada de pragmática. Assim, pretende-se apresentar, de um ponto de vista lógico-formal, a idéia de verdade pragmática num sentido de que uma proposição é pragmaticamente verdadeira se e somente se, em determinado contexto, tudo se passa como se ela fosse verdadeira do ponto de vista correspondencial. Ora, A. Tarski, em 1933, ao examinar o conceito de verdade nas linguagens formalizadas forneceu uma definição precisa de verdade inaugurando (...) assim os estudos semânticos e criando o que hoje entendemos por teoria dos modelos. Da mesma forma, Mikemberg, Chuaqui e da Costa, em um trabalho de 1986, forneceram uma noção precisa de quase verdade que pode ser considerada uma espécie de versão do conceito pragmático de verdade. Apresentar-se-á, em linhas gerais, o conceito formal de quase-verdade, junto com alguns desenvolvimentos que foram obtidos a partir do mesmo em problemas de filosofia da ciência.: It's our goal to analyze the concept of pragmatic truth in a perspective that could be called pragmatic. Therefore, we intend to present, from a formal=logic point of view, the idea of pragmatic truth, as meaning a proposition which Is pragmactilly truthful, if and only if, in a determinate context, everything runs as it was truthful in a correspondential perspective. In 1933, A Tarski, while examining the truth concept in formalized languages, gave a precise definition of truth inaugurating with it the semantic studies and creating what we understand, in our days, as theory of models. In the same way, Mikenberg, Chuaqui and da Costa, in a work of 1986, conceived a precise notion of almost-truth, which can be considered as a version of pragmatic truth conception. We intend to show, in general ways, the formal concept of almost-truth among some developments obtained from this same concept in philosophy of science. (shrink)