Listing 1 - 10 of 399 | << page >> |
Sort by
|
Choose an application
Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial functions. The volume contains a proof that free logics of any kind are non-extensional and then uses that proof to show that Quine's theory of predication and referential transparency must fail. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians.
Free logic. --- Logic --- Logique --- Arts and Humanities --- Philosophy --- Logique libre
Choose an application
Computer logic --- Computer science --- Informatique --- Logique informatique
Choose an application
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.This volume contains the texts of ten of the invited lectures and six of the contributed papers.
Choose an application
This is the first critical edition of the earliest known Latin commentary on Aristotle’s Prior Analytics , the Anonymus Aurelianensis III . In addition to the critical text, Christina Thomsen Thörnqvist’s edition contains a comparative analysis of the anonymous commentary and the extant Greek commentaries as well as a full comparison between Boethius’ translation and the translation used by the commentator. The edition provides a solid foundation for further study on the earliest medieval exegesis on the Prior Analytics and is an essential resource for any scholar who wants to learn more about the development of logic in general and the medieval reception of Aristotelian syllogistic in particular.
Logic --- Logic, Ancient --- Logique --- Logique ancienne --- Early works to 1800. --- Ouvrages avant 1800 --- Aristotle. --- Boethius,
Choose an application
Forms of thought are involved whenever we name, describe, or identify things, and whenever we distinguish between what is, might be, or must be the case. It appears to be a distinctive feature of human thought that we can have modal thoughts, about what might be possible or necessary, and conditional thoughts, about what would or might be the case if something else were the case. Even the simplest thoughts are structured like sentences, containing referential and predicative elements, and studying these structures is the main task of philosophical logic. This clear and accessible book investigates the forms of thought, drawing out and focusing on the central logical notions of reference, predication, identity, modality and conditionality. It will be useful to students and other interested readers in epistemology and metaphysics, philosophy of mind and language, and philosophical logic.
Logic. --- Logique --- Logic --- Modalité (logique) --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logique. --- Arts and Humanities
Choose an application
Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers.
Modality (Logic) --- Modalité (Logique) --- Modaliteit (logica) --- Modaliteit (logica). --- Modalité (Logique) --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Arts and Humanities --- Philosophy --- Modalité (logique) --- Manuels d'enseignement supérieur
Choose an application
Logic programming --- Computer programming --- Programmation logique --- Programmation (Informatique) --- Périodiques.
Choose an application
James Allen presents an original and penetrating investigation of the theory of inference from signs, which played a central role in ancient philosophical and scientific method.
Inference --- Evidence --- Logic, Ancient. --- Ancient logic --- Proof --- Belief and doubt --- Faith --- Logic --- Philosophy --- Truth --- Ampliative induction --- Induction, Ampliative --- Inference (Logic) --- Reasoning --- History. --- Semiotics --- Inférence (Logique) --- Logique ancienne --- Sémiotique --- Histoire --- Evidence. --- Inference. --- Inférence (Logique) --- Logique ancienne. --- Évidence --- Histoire.
Choose an application
Le présent volume regroupe les textes de conférences données lors de la rencontre « Logique mathémathique, Informatique et Philosophie », organisé en avril 2003 à l’université Paris 1 Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif interdisciplinaire « Logique et Interaction : vers une Géométrie de la Cognition » (LIGC) et divers universitaires d’autres horizons. La première partie, intitulée La logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation des champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l’intelligibilité de la nature. Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l’angle des évolutions récentes de la logique dans son dialogue avec l’informatique fondamentale.
Philosophy --- logique mathématique --- temps --- sciences de la nature --- mécanique quantique
Choose an application
Lors de son acte de naissance, l’esthétique philosophique se définit historiquement comme une épistémologie : celle du « savoir sensible », qu’en 1750 Baumgarten délimite à partir du savoir rationnel. L’esthétique se fonde comme « esthético-logique ». Sa carrière ultérieure comme « philosophie de l’art » tendrait parfois à nous le faire oublier. Trois siècles d’évolution ont-ils définitivement écarté l’esthétique de son propos initial ? Quelles que soient par ailleurs les évolutions capitales de la logique, du cadre classique au cadre transcendantal, de l’empirisme logique jusqu’aux approches cognitivistes, la question sera pourtant renouvelée : dans l’œuvre d’art, le discours, ou la perception sensible en général, peut-on rendre compte de la valeur donnée au sensible sans référer à des cadres qui structurent formellement la connaissance ? La question pourra sembler plus contemporaine que ce qui s’énonce en 1750 : elle n’en est pas moins, à bien des égards, la même. Des regards croisés éclairent ici cette question depuis sa naissance jusqu’aux travaux actuels : logiciens, épistémologues, métaphysiciens, analystes du discours et de l’œuvre d’art concourent à décloisonner les recherches sur le sens du phénomène esthétique. Connaissance, relations, discours, sens – les éléments qui structurent le problème sur le temps long interrogent le jugement usuel selon lequel la naissance de l’esthétique au 18e siècle serait restée sans postérité.
Aesthetics --- Logic --- Esthétique --- Logique --- Philosophy --- Esthétique --- Esthétique. --- Philosophie --- Philosophie. --- Aesthetics - Congresses --- Logic - Philosophy - Congresses --- Esthétique. --- esthétique --- logique
Listing 1 - 10 of 399 | << page >> |
Sort by
|