Pretendo usar o exemplo dos nomes de percursos de valores como prova de que, contrariamente ao que Michael Resnik e Michael Dummett sustentam, Frege nunca abandonou o seu princípio do contexto: “Apenas no contexto de uma sentenya tem uma palavra significado”. Em particular, pretendo mostrar que a prova da completude com relação ao significado, que Frege tentou introduzir na linguagem formal das Grundgesetze der Arithmetik, baseia-se em uma aplicação do principio do contexto, e que, em consequencia, tambem nomes de percursos de valores tem significado apenas nocontexto de uma sentença. A teoria Fregeana do sentido e do significado somente pode ser entendida adequadamente sob o pano de fundo do princfpio do contexto.Taking course-of-values names as an example, I want to show that, contrary to what Michael Resnik and Michael Dummett claim, Frege never abandoned his context principle “Only in the context of a sentence do words have meaning”. In particular, I want to show that Frege’s attempted proof of referentiality for the formal language of Grundgesetze der Arithmetik rests on the context principle and that, consequently, course-of-values names have a reference only in the context of a sentence. It is only in the light of the context principle that Frege’s theory of sense and reference can be understood appropriately.

La argumentación de Frege contra la definibilidad de la verdad pretende mostrar que una definición de verdad es circular o nos involucra en un regreso al infinito. En la obra de Frege cabe distinguir dos nociones de verdad: la verdad expresada mediante el termine “verdadero” y la verdad expresada mediante la aserción. La argumentación de Frege no muestra que el términe “verdadero” sea indefinible, pero, si se acepta la concepción de Frege acerca de la aserción, de su argumentación, adecuadamente reformulada, cabe concluir la indefinibilidad de la verdad en su segunda acepción.Frege’s argumentation against the definability of truth aims to show that a definition of truth is circular or involves us in an infinite regress. In Frege’s work two notions of truth can be distinguished: truth expressed by the word “true” and truth conveyed by the assertion. Frege’s argumentation does not show that the word “true” is undefinable, but, if Frege’s view on assertion is accepted, then from his argumentation, suitably reformulated, the undefinability of truth in the second sense can be concluded.

EI objetivo de este artículo es presentar los principios de la programación lógica borrosa y de sus principales variantes, ilustrándolas a través de un conjunto de aproximaciones que, a nuestro entender, son representativas de los avances en esta área. También incluimos la descripción de otros sistemas de programación lógica que se sustentan en lógicas de la incertidumbre diferentes de la lógica borrosa. En esta presentación presuponemos que la mayoría de los lectores no son expertos en programación lógica; para seguirla sólo se requiere un conocimiento básico de la lógica de predicados.The purpose of this paper is to present the principles of the fuzzy logic programming, exemplifying them by a couple of proposals that we think are representatives of the advances in this field. We include also the description of another systems of logic programming with uncertain information that are based on other logics of uncertainty which are different from fuzzy logic. This article only presuppose anelementary knowledge of the classical first-order logic.

Dentro dei ámbito de estudio da la ciancia, recientemente ha surgido con fuerza un nuevo enfoque, la sociología dei conocimiento científico (SSK). Desde su aparición a mediados de la dacada de los setenta, la SSK ha tomado formas diversas. Entre éstas y la filosofía de la ciencia ha existido una continua disputa. Ultimamente, sin embargo, la SSK se ha ido transformando en una “sociologfa de la practica cientrfica”. A partir de este cambio, ambas disciplinas -la filosofía de la ciencia y a SSK- están encontrando puntos en común de influencia, diálogo y estudio. Mi propósito es mostrar la trayectoria de la SSK y analizar esos puntos de contacto.Within the field of science studies, recently a new approach has taken a strong hold -the sociology of scientific knowledge (SSK). Ever since its appearance in the mid-seventies, within SSK there have been diverse tendencies. Between these and the philosophy of science there has been a perpetual confrontation. Lately, SSK appears to be undergoing a metamorphosis, transforming into a sociology of scientific practice. What is interesting about this case is that both disciplines -philosophy of science and SSK- are finding a common point of confluence, dialogue and study. My aim is to trace the trajectory of SSK and to analyze these points of contact.

Este trabajo orienta su contenido a las aplicaciones de la lógica borrosa, pero no desde una aproximación que trate de abordar ciertas caracterrsticas relevantes de algunas de ellas y/o comentar sus coincidencias y discrepancias desde el punto de vista dei soporte dado por la lógica borrosa. Existen excelentes y abundantes revisiones de este estilo (véanse, por ejemplo, Zadeh, Vager 1992), por lo que nosotros hemos optado por introducir algunas reflexiones a modo de respuesta a preguntas formuladas al hilo de la más general que da trtulo al trabajo. Contestar a algunas de ellas es, sin duda, uncometido realmente arriesgado, como ocurre al tratar de plasmar, por ejemplo, y aunque sea con trazos “borrosos”, cuáles serán las aplicaciones futuras de la lógica borrosa. Esperamos que se nos disculpe si el acierto torna a ser escaso.This paper discusses about the field of fuzzy logic applications, but not from the point of view of its importance or commenting their main features and how they are formally supported by fuzzy logic. Very good (Zadeh, Yager 1992), exist in this field, and so we decided to present some reflections trying to answer very general questions about this issue. Answering, for example, to the question about possible futureapplications of fuzzy logic is, no doubts, a very risky task. We look forward to be forgiven if our approach proves not to be very successful.