Narrow your search

Library

Thomas More Mechelen (399)

Odisee (392)

Thomas More Kempen (392)

UCLL (392)

VIVES (392)

KU Leuven (383)

ULB (354)

ULiège (331)

LUCA School of Arts (243)

UGent (189)

More...

Resource type

book (377)

periodical (22)

digital (7)

dissertation (1)


Language

English (364)

French (28)

German (4)

Dutch (1)

Greek, Ancient (to 1453) (1)

More...

Year
From To Submit

2023 (2)

2022 (2)

2021 (2)

2020 (1)

2019 (6)

More...
Listing 1 - 10 of 399 << page
of 40
>>
Sort by
Free logic : selected essays
Author:
ISBN: 1107135303 1280434511 1139165062 0511178123 0511042779 0511148631 0511305443 051105453X 9780511042775 9780521818162 0521818168 9781139165068 9780511054532 9781280434518 9786610434510 6610434514 9780521039222 0521039223 Year: 2003 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Periodical
Logical methods in computer science : LMCS.
Author:
Year: 2005 Publisher: Braunschweig, Germany : Technical University of Braunschweig

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
Authors: --- ---
ISBN: 0444703268 9780444703262 9786613920744 0444535837 1283608294 9780444535832 9781283608299 6613920746 Year: 1988 Volume: v. 124 Publisher: Amsterdam ; New York : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
'Anonymus Aurelianensis III' in Aristotelis analytica priora : critical edition, introduction, notes, and indexes
Author:
ISBN: 9789004182752 9789004280427 9004280421 9004182756 1322223521 Year: 2015 Publisher: Leiden, Netherlands : Brill,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Forms of thought : a study in philosophical logic
Author:
ISBN: 9781107001251 9780511734816 9781107540439 9781107341388 1107341388 0511734816 9781107347632 1107347637 1107001250 110735725X 1107233984 1107343887 1107348773 1107345138 1107540437 Year: 2013 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Modal logic for philosophers
Author:
ISBN: 0521863678 0521682290 9780521863674 9780521682299 9780511617737 9780511282140 0511282141 0511617739 1139810588 9781139810586 0511281382 9780511281389 0511280963 9780511280962 0511281765 9780511281761 129931869X Year: 2006 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Periodical
The journal of logic programming.
ISSN: 18735789 Year: 1984 Publisher: New York : Elsevier Science

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Inference from signs : ancient debates about the nature of evidence
Author:
ISBN: 128199877X 9786611998776 0191568341 9780191568343 0199550492 9780199550494 9780199550494 9780198250944 1383013985 6611998772 Year: 2023 Publisher: Oxford : Clarendon,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Logique, dynamique et cognition
Authors: --- --- --- --- --- et al.
ISBN: 9782859448103 Year: 2014 Publisher: Paris : Éditions de la Sorbonne,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Esthétique et logique
Author:
ISBN: 9782757404041 2757404040 2757427415 Year: 2012 Volume: 27 Publisher: Villeneuve D'Ascq : Presses Universitaires du Septentrion,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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é.

Listing 1 - 10 of 399 << page
of 40
>>
Sort by