Descriptor: "*MODERN logic" / Language: spanish - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"*MODERN logic"' showing total 4 results

Start Over Descriptor "*MODERN logic" Language spanish

Author: Gladys Palau and Gladys Palau
Subjects: modern logic
Abstract: Esta obra presenta el primer trabajo realizado en habla hispana sobre los sistemas lógicos no clásicos desde una perspectiva filosófica. La autora aborda las lógicas intuicionista, de relevancia, la multivaluada y la paraconsistente, mostrando cuáles son las motivaciones filosóficas que las originaron y argumentando a favor del pluralismo lógico. En la dilucidación de sus propiedades específicas se muestran, en forma sencilla y comprensible, los formalismos con los que se opera en estas lógicas no clásicas. Finalmente, la obra analiza la característica de la relación de consecuencia de cada uno de estos formalismos y muestra que sus divergencias respecto de la relación de consecuencia de la lógica clásica no impiden que todos ellos se inscriben en la categoría de lógicas genuinas.
Published: 2021

Author: Ferreirós, José
Subjects: *MATHEMATICAL analysis, *MATHEMATICAL logic, *MATHEMATICAL programming, *PROFESSIONAL employees, *INFORMATION science, *FOREIGN language education
Abstract: We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label "logic and foundations", a second wave of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection with computer science and with the study of language and informatics. Although some "internal history" is discussed, the main focus is on the emergence, consolidation and convolutions of logic as a discipline, through various professional associations and journals, in centers such as Torino, Göttingen, Warsaw, Berkeley, Princeton, Carnegie Mellon, Stanford, and Amsterdam. [ABSTRACT FROM AUTHOR]
Published: 2010
Full Text: View/download PDF

Author: Díez, Gustavo Fernández
Subjects: *MATHEMATICAL logic, *MODERN logic, *FIRST-order logic, *QUESTION (Logic), *PHILOSOPHICAL analysis, *PREDICATE (Logic), *CATEGORIES (Philosophy), *PHILOSOPHY, *LOGIC
Abstract: In this paper I investigate the logical analysis of statements in which a predicate applies collectively to a plurality of subjects. The standard treatment of such cases in first-order logic is not completely satisfactory, and the search for alternative modes of representation opens up interesting perspectives. I concentrate on the introduction of multigrade predicates, pointing out a number of weaknesses in the current literature on the subject. I argue that the collective/distributive opposition must be located in the logical structure of the statement in question. [ABSTRACT FROM AUTHOR]
Published: 2006
Full Text: View/download PDF

Author: Carreño, Francisca Pérez
Subjects: *NATURE (Aesthetics), *EMOTIONS, *AUTONOMY (Philosophy), *AFFECT (Psychology), *MODERN logic, *ETHICS, *CONDUCT of life, *COMPREHENSION, *MODERN philosophy
Abstract: Against moderate moralism, the essay defends a version of moderate autonomism. It claims that works of art sometimes provoke morally inadequate emotions without preventing the understanding of the work, and that they may serve to clarify mental life. Moderate autonomism holds that the autonomous nature of works of art, as representational or fictional, permits relaxing moral commitment. Only in case of falsehood obstructing verisimilitude, may the work fail, and then, not because of provoking morally wrong responses, but as a result of displaying as truth in fiction something plainly false or incoherent in life. [ABSTRACT FROM AUTHOR]
Published: 2006
Full Text: View/download PDF

Books, media, physical & digital resources

Searchworks