Author: Tobies Grimaltos
Publisher: Universitat de València
ISBN: 8437089379
Category : Philosophy
Languages : en
Pages : 233
Book Description
Aproximación sistemática y actualizada a los problemas filosóficos que plantea el conocimiento humano, dividida en cinco grandes apartados: método, definición y posibilidades de conocimiento, justificación, base empírica del conocimiento y relación entre semántica y epistemología. El libro de J. L. Blasco y T. Grimaltos aporta una exposición clara y rigurosa de la epistemología contemporánea.
Teoría del conocimiento
Author: Tobies Grimaltos
Publisher: Universitat de València
ISBN: 8437089379
Category : Philosophy
Languages : en
Pages : 233
Book Description
Aproximación sistemática y actualizada a los problemas filosóficos que plantea el conocimiento humano, dividida en cinco grandes apartados: método, definición y posibilidades de conocimiento, justificación, base empírica del conocimiento y relación entre semántica y epistemología. El libro de J. L. Blasco y T. Grimaltos aporta una exposición clara y rigurosa de la epistemología contemporánea.
Publisher: Universitat de València
ISBN: 8437089379
Category : Philosophy
Languages : en
Pages : 233
Book Description
Aproximación sistemática y actualizada a los problemas filosóficos que plantea el conocimiento humano, dividida en cinco grandes apartados: método, definición y posibilidades de conocimiento, justificación, base empírica del conocimiento y relación entre semántica y epistemología. El libro de J. L. Blasco y T. Grimaltos aporta una exposición clara y rigurosa de la epistemología contemporánea.
Truth in Perspective
Author: Concha Martínez
Publisher: Routledge
ISBN: 0429782039
Category : Philosophy
Languages : en
Pages : 419
Book Description
First published in 1998, this volume has its origin in a meeting that was held in Santiago de Compostela University, Santiago de Compostela (Spain) in January 1996. The meeting was organized by the Department of Logic and Philosophy of Science in cooperation with the Association for Logic, Methodology and Philosophy of Science in Spain. Within analytical philosophy issues such as the definability of truth, its semantic relevance, its role in the distinction between formal and natural languages, the status of truth-bearers or in its case of truth-makers, have become a crossroads in the studies of logic, philosophy of science, philosophy of language, philosophy of mind, epistemology and ontology. Thus, in spite of what the title Truth in Perspective may suggest to the reader at first, the present volume is not only - though it is also a presentation of different theories or conceptions of truth. Most of the book presents a vision of different groups of philosophical questions in which the issue of truth appears embedded together with other related themes, from different points of view.
Publisher: Routledge
ISBN: 0429782039
Category : Philosophy
Languages : en
Pages : 419
Book Description
First published in 1998, this volume has its origin in a meeting that was held in Santiago de Compostela University, Santiago de Compostela (Spain) in January 1996. The meeting was organized by the Department of Logic and Philosophy of Science in cooperation with the Association for Logic, Methodology and Philosophy of Science in Spain. Within analytical philosophy issues such as the definability of truth, its semantic relevance, its role in the distinction between formal and natural languages, the status of truth-bearers or in its case of truth-makers, have become a crossroads in the studies of logic, philosophy of science, philosophy of language, philosophy of mind, epistemology and ontology. Thus, in spite of what the title Truth in Perspective may suggest to the reader at first, the present volume is not only - though it is also a presentation of different theories or conceptions of truth. Most of the book presents a vision of different groups of philosophical questions in which the issue of truth appears embedded together with other related themes, from different points of view.
History of Logic and Semantics
Author:
Publisher: BRILL
ISBN: 9004324275
Category : History
Languages : en
Pages : 322
Book Description
This volume pays homage to the historian of logic Angel d’Ors (1951-2012), by bringing together a set of studies that together illuminate the complex historical development of logic and semantics. Two main traditions, Aristotelian and terminist, are showcased to demonstrate the changes and confrontations that constitute this history, and a number of different authors and texts, from the Boethian reception of Aristotle to the post-medieval terminism, are discussed. Special topics dealt with include the medieval reception of ancient logic; technical tools for the medieval analysis of language; the medieval theory of consequence; the medieval practice of disputation and sophisms; and the post-medieval refinement of the terminist tools. Contributors are E.J. Ashworth, Allan Bäck, María Cerezo, Sten Ebbesen, José Miguel Gambra, C.H. Kneepkens, Kalvin Normore, Angel d’Ors, Paloma Pérez-Ilzarbe, Stephen Read, Joke Spruyt, Luisa Valente, and Mikko Yrjönsuuri. These articles were also published in Vivarium, Volume 53, Nos. 2-4 (2015).
Publisher: BRILL
ISBN: 9004324275
Category : History
Languages : en
Pages : 322
Book Description
This volume pays homage to the historian of logic Angel d’Ors (1951-2012), by bringing together a set of studies that together illuminate the complex historical development of logic and semantics. Two main traditions, Aristotelian and terminist, are showcased to demonstrate the changes and confrontations that constitute this history, and a number of different authors and texts, from the Boethian reception of Aristotle to the post-medieval terminism, are discussed. Special topics dealt with include the medieval reception of ancient logic; technical tools for the medieval analysis of language; the medieval theory of consequence; the medieval practice of disputation and sophisms; and the post-medieval refinement of the terminist tools. Contributors are E.J. Ashworth, Allan Bäck, María Cerezo, Sten Ebbesen, José Miguel Gambra, C.H. Kneepkens, Kalvin Normore, Angel d’Ors, Paloma Pérez-Ilzarbe, Stephen Read, Joke Spruyt, Luisa Valente, and Mikko Yrjönsuuri. These articles were also published in Vivarium, Volume 53, Nos. 2-4 (2015).
Extensions of First-Order Logic
Author: Maria Manzano
Publisher: Cambridge University Press
ISBN: 9780521354356
Category : Computers
Languages : en
Pages : 414
Book Description
An introduction to many-sorted logic as an extension of first-order logic.
Publisher: Cambridge University Press
ISBN: 9780521354356
Category : Computers
Languages : en
Pages : 414
Book Description
An introduction to many-sorted logic as an extension of first-order logic.
Medieval Formal Logic
Author: Mikko Yrjönsuuri
Publisher: Springer Science & Business Media
ISBN: 9401597138
Category : Philosophy
Languages : en
Pages : 264
Book Description
Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Publisher: Springer Science & Business Media
ISBN: 9401597138
Category : Philosophy
Languages : en
Pages : 264
Book Description
Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.
Logique et analyse
Gregorianum
Representations of Scientific Rationality
Author: Andoni Ibarra
Publisher: BRILL
ISBN: 9004457615
Category : Business & Economics
Languages : en
Pages : 432
Book Description
Publisher: BRILL
ISBN: 9004457615
Category : Business & Economics
Languages : en
Pages : 432
Book Description
The Tradition of Medieval Logic and Speculative Grammer
Author: Fabienne Pironet
Publisher: Brepols Publishers
ISBN:
Category : Philosophy
Languages : en
Pages : 300
Book Description
La bibliographie repertorie les livres et articles publies entre 1977 et 1994 portant sur la logique et la grammaire depuis Boece jusqu'a la fin du XVIIe siecle. L'inclusion des auteurs comme Pascal, Descartes, Arnauld, Leibniz et Locke est justifiee tant par le developpement des etudes en ce domaine (880 items jusqu'en 1976, 2124 items entre 1977 et 1994) que par l'extension chronologique de ces memes etudes. La recherche des sources amene les modernistes a s'interesser de plus en plus aux auteurs medievaux, tandis que certains medievistes cherchent a savoir quelle fut la fortune des textes qu'ils etudient. En annexe un supplement a la bibliographie de Earline Jennifer Ashworth (Toronto, 1978) est propose.
Publisher: Brepols Publishers
ISBN:
Category : Philosophy
Languages : en
Pages : 300
Book Description
La bibliographie repertorie les livres et articles publies entre 1977 et 1994 portant sur la logique et la grammaire depuis Boece jusqu'a la fin du XVIIe siecle. L'inclusion des auteurs comme Pascal, Descartes, Arnauld, Leibniz et Locke est justifiee tant par le developpement des etudes en ce domaine (880 items jusqu'en 1976, 2124 items entre 1977 et 1994) que par l'extension chronologique de ces memes etudes. La recherche des sources amene les modernistes a s'interesser de plus en plus aux auteurs medievaux, tandis que certains medievistes cherchent a savoir quelle fut la fortune des textes qu'ils etudient. En annexe un supplement a la bibliographie de Earline Jennifer Ashworth (Toronto, 1978) est propose.
Advances in Contemporary Logic and Computer Science
Author: Walter Alexandre Carnielli
Publisher: American Mathematical Soc.
ISBN: 0821813641
Category : Computers
Languages : en
Pages : 344
Book Description
This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, São Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mário Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results.
Publisher: American Mathematical Soc.
ISBN: 0821813641
Category : Computers
Languages : en
Pages : 344
Book Description
This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, São Paolo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mário Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results.