Displaying: 61-80 of 901 documents

0.143 sec

61. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Agustín Arrieta Comentarios sobre la relación entre la programación logica y las lógicas no monótonas
abstract | view |  rights & permissions
My purpose in this paper is to show the evolution of the relationship between nonmonotonic logic and logic programming. I think that there are two periods in the evolution of this relationship. The first one isthe point of contact between these two fields that had been developed independently. In the second period, as I will show, the motivation to propose three-valued nonmonotonic logic comes from the study of the relationship between these two fields, and not from the study of nonmonotonic logic itself.
62. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Carlos G. Gonzalez Sobre el Agregado de Axiomas a ZF
63. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
José Miguel Sagüillo Presentación
64. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Diez años con Miguel Sánchez-Mazas
65. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
LIBROS RECIBIDOS
66. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 10 > Issue: 3
Instrucciones técnicas para la preparacion de los trabajos / Technical instructions for preparation of manuscripts
67. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Matthias Schirn O principio do contexto nas Grundgesetze de Frege (The Context Principle in Frege’s Grundgesetze)
abstract | view |  rights & permissions
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.
68. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Ana Rosa Perez Ransanz In memoriam Thomas S. Kuhn
69. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Luis Fernandez Moreno Un examen de la argumentación de Frege contra la definibilidad de la verdad (An Examination of Frege’s Argumentation Against the Definability of Truth)
abstract | view |  rights & permissions
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.
70. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Alejandro Sobrino Presentación
71. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Carlos J. Moya Naturalism and Normativity
72. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Gonzalo Escalada-Imaz, Felip Manyá Serres, Alejandro Sobrino Principios de programación lógica con información incierta. Descripción de algunos de los sistemas más relevantes (Principles of Logic Programming with Uncertain Information. Description of Some of the Most Relevant Systems)
abstract | view |  rights & permissions
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.
73. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Javier Gomez Ferri EI estudio social y sociológico de la ciencia, y la convergencia hacia el estudio de la práctica cientifica (The Social and Sociological Study of Science, and the Convergence Towards the Study of Scientific Practice)
abstract | view |  rights & permissions
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.
74. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 3
Senén Barro, Alberto J. Bugarin ¿Cuáles son las aplicaciones de la lógica borrosa? (Which Are Some of the Applications of Fuzzy Logic?)
abstract | view |  rights & permissions
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.
75. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
Carlos Paris Pequeña semblanza de Miguel Sânchez-Mazas en el aniversario de su muerte
76. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
Miguel Sânchez-Mazas: 50 años de actividad científica (1946-1995)
abstract | view |  rights & permissions
La bibliografía que sigue está preparada cronológicamente a partir de la dispuesta por el Prof. Miguel Sánchez-Mazas para el volumen Calculemos... Matemáticas y libertad (Homenaje a Miguel Sánchez-Mazas) -pp. 33-54-, editado por Javier Echeverría, Javier de Lorenzo y Lorenzo Peña y publicado en 1996 por la Editorial Trotta y el Servicio de Publicaciones de la Universidad del País Vasco. Esta última es de carácter más general e incluye, temáticamente ordenados, no sólo sus trabajos científicos sino también sus publicaciones sobre temas políticos, educativos, artísticos, culturales, económicos, sociales y humanos, así como una amplia selección de comentarios, recensiones y referencias a su obra.
77. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
Roberto Torretti Realismo científico y ciencia real (Scientific Realism and Scientific Practice)
abstract | view |  rights & permissions
Se distingue entre 'cosas reales' en el sentido ordinario de pragmata, intrínsecamente vinculadas a la práctica de la vida, y en la acepción técnica, de inspiración teológica, en que entiende la expresión el llamado "realismo cienífico". Este concibe a la realidad como algo bien definido independientemente de la acción y el pensamiento humanos y, sin embargo, capaz de ser descrito adecuadamente en un lenguaje humano. Tras ridiculizar esta idea, el artículo examina algunos ejemplos, tomados principalmente de la teoría de la gravitación, que demuestran que la ciencia, en su práctica efectiva, busca entender la realidad en el sentido ordinario (pragmático) de la palabra, no en el sentido artificial que le dieron los teólogos del medioevo y los realistas científicos.A distinction is made between real things in their ordinary sense as pragmata -inherently linked to our living praxis- and in the technical, theologically inspired sense of so-called scientific realism. In the latter sense reality is supposed to be well-defined independently of human action and human thought, and yet to be adequately describable in human language. After pouring ridicule on this idea, the paper discusses some examples, mainly from gravitational physics, which show that in actual practice science seeks to understand reality in the ordinary (pragmatic) meaning of the word, not in the contrived meaning bestowed on it by medieval theologians and scientific realists.
78. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
Juan Carlos Garcia-Bermejo Ochoa Comparaciones de aproximación a la verdad y de lejanía de la fais edad (Comparing statements by their closeness to the truth and their distance from the falsehood)
abstract | view |  rights & permissions
En el artículo se caracteriza una clase de relaciones binarias para que éstas puedan representar las comparaciones de enunciados que un agente puede plantear y resolver de acuerdo con su mayor o menor grado de aproximación a la verdad. Con ello se espera poder analizar con mayor detalle el peso que puede terminar teniendo en su evaluación metodológica el grado de aproximación a la verdad de los modelos teórico-económicos. De todas formas, el propósito inmediato del artículo es el de ofrecer una propuesta más general y, sobre todo, mucho más sencilla que las presentadas en otros dos trabajos anteriores del autor. Por otra parte, el concepto de aproximación a la verdad que se maneja es diferente del vinculado con la noción poperiana de verosimilitud.In this paper, we characterize a class of binary relations to represent the comparisons which an agent can make between statements according to their degree of approximation to the truth. This class of relations, we hope, can help to analyse how much can weight the degree of approximation of economic theoretical models in their methodological assesment. In any case, the immediate purpose of the paper is to offer a proposal easier and more general than two other worked up earlier by the author. On the other hand, our concept of approximation to the truth differs from that linked with the popperian notion of verosimilitude.
79. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
José Juan Moreso, Pablo E. Navarro Verdad y eficacia (Truth and Effectiveness)
abstract | view |  rights & permissions
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.
80. Theoria: An International Journal for Theory, History and Foundations of Science: Volume > 11 > Issue: 2
Begona Vicente Cruz, Pablo Rodriguez Gutierrez La modalidad en el lenguaje natural: consideraciones lógicas y pragmáticas (Modality in natural language: logical and pragmaticconsiderations)
abstract | view |  rights & permissions
Nuestro objetivo es mostrar que una caracterización adecuada de las locuciones modales del lenguaje natural depende fundamentalmente de una correcta descripción de sus propiedades lógicas. Mostramos cómo los análisis escalares en pragmática fracasan porque siguen la lógica modal estándar al tratarlos como operadores preposicionales. Esto produce contradicciones, ya que, en sentido estricto, el estatus lógico de la locución modal es el mismo que el de la proposición simple. Estas expresiones invocan la presencia del hablante y la evidencia que respalda a su afirmación, y tienen por lo tanto un carácter eminentemente deíctico/pragmático.It is our aim in this article to show that an adequate characterization of the interpretation of modally qualified utterances in natural language depends crucially on a correct description of their logical properties. We show that pragmatic analyses in terms of scales fail because they rely on the standard treatment of these expressions in modal logic as operators, and this makes the wrong predictions since, in a strict sense, the logical status of the modally- qualified utterance is the same as that of the bare proposition. We argue that these expressions directly invoke the presence of the speaker and act as indexes to sets of assumptions s/he is relying on as evidence for his/her assertion.