Bücher veröffentlicht von College Publications

In this book we deal with combinations of concepts defining individuals in the Talmud. Consider for example Yom Kippur and Shabbat. Each concept has its own body of laws. Reality forces us to combine them when they occur on the same day. This is a case of "Identity Merging". As the combined body of laws may be inconsistent, we need a belief revision mechanism to reconcile the conflicting norms. The Talmud offers three options:1 Take the union of the sets of the rules side by side2. Resolve the conflicts using further meta-level Talmudic principles (which are new and of value to present day Artificial Intelligence)3. Regard the new combined concept as a new entity with its own Halachic norms and create new norms for it out of the existing ones.This book offers a clear and precise logical model showing how the Talmud deals with these options.

The Good, the Right, and the Fair is a comprehensive introduction to contemporary moral and political philosophy especially suited for undergraduate students in medicine and the life sciences. The book covers first questions concerning the good: What makes a life worth living? Is it only humans who matter morally? Is welfare all that matters? It then proceeds to a discussion of the right: How ought we to act? The major ethical theories of the western tradition are presented and their strengths and weaknesses discussed. Finally, key aspects of the philosophical discussion of the fair, including mattersof equality, justice, and liberty, are laid out for the reader. Emphasizing a pluralism of reasonable views, and with illustrative examples drawn primarily from medicine and the life sciences, this book is meant to spur interest in, and to qualify deliberation about ethical issues, rather than to advance specific conclusions concerning morality and justice.

By the time students reach the end of a course on algorithm design, they are starting to ask questions about what computers can and cannot do: Is there a polynomial-time algorithm for every computational problem? Can every problem be solved using dynamic programming? Can every problem be formulated as a graph problem? What is a Computer and What Can It Do? takes advantage of the students' curiosity by answering their questions in the context in which they naturally arose: algorithms.What is a Computer and What Can It Do? is intended to serve as the primary textbook in an undergraduate course for computer science majors at the junior or senior level. Students should have previously taken a sophomore-level course in algorithms that includes a discussion of graph algorithms. This book may also be useful for people in fields other than computer science who have some background in algorithm design and who would like to develop an understanding of the main ideas of theoretical computer science without getting bogged down in minutiae.What is a Computer and What Can It Do? is short so that students can stay focused on understanding the problems that computers can and cannot solve rather than becoming overwhelmed by the details of automata theory and formal languages. This book is not a reference for professors. It is written for students to read ... and enjoy.

Les arguments qui intègrent des énoncés intentionnels et fictionnels défient les loisde la logique classique en remettant en cause la validité de principes comme lagénéralisation existentielle ou la substitution des identiques. A l'interface entrephénoménologie et philosophie de la logique, l'intentionalité et la fictionalité sontabordées par Matthieu Fontaine en lien avec l'étude des pratiques argumentatives.Il se détache ainsi des approches purement référentialistes en s'appuyant sur l'idéeselon laquelle, dans l'argumentation, la fiction émerge d'une interaction liée auxchoix : Être, c'est être choisi !L'auteur défend une théorie artefactuelle dans laquelle la notion de dépendanceontologique occupe une place centrale. Cette notion de dépendance ontologique esttoutefois sujette à de graves difficultés, que l'auteur surmonte avec brio dans unesémantique modale-temporelle.La combinaison de cette théorie artefactuelle à une sémantique pour l'opérateur defictionalité permet in fine l'articulation entre différents points de vue sur la fiction,les points de vue interne et externe notamment. La théorie défendue par l'auteurprend alors une tournure syncrétique novatrice où thèses artefactualistes etmeinongiennes se rencontrent et se réconcilient. M. Fontaine has made a very substantial and possibly pacifying contribution tothe fictionality wars. I warmly congratulate him for it. It is a virtuosoperformance. (John Woods, University of British Columbia, Vancouver) It is clear to me that the work done by Matthieu Fontaine is an important, timely,high-level and inspiring contribution to philosophy, philosophical logic inparticular, that invites and requires further research. (Jean-Paul Van Bendegem, Vrije Universteit Brussel)

A travers cet ouvrage nous produisons un lien spécifique entre l'épistémologie et la logique épistémique.Si de nombreuses tentatives de conciliation entre logique épistémique et épistémologie se sont avérées fructueuses, c'est la possibilité d'une étude argumentative de la logique épistémique qui est ici explorée.Étudier la logique épistémique à partir d'une approche argumentative de la logique, c'est-àdire au sein de dialogues, nous permet à la fois de bénéfi cier d'un cadre d'étude dynamique pour explorer le dynamisme et la signifi cation du langage de la logique épistémique mais aussi d'ouvrir de nouvelles pistes de recherches à la confl uence de la logique et du droit.Les considérations juridico-logiques que nous développons portent en premier lieu sur la notion de condition suspensive dans le droit, puis plus généralement sur la forme conditionnelle des normes juridiques.

Le calcul scientifique est devenu essentiel dans de nombreux domaines tels que la mécanique des fluides et des solides, la météo, l'évolution du climat, la biologie ou les semi-conducteurs. Elle permet de comprendre, de prévoir, d'accéder là où les instruments de mesures s'arrêtent.Ce livre présente des méthodes performantes du calcul scientifique : matrices creuses, résolution efficace des grands systegrave;mes linéaires, ainsi que de nombreuses applications à la résolution par éléments finis et différences finies des équations aux dérivées partielles. Alternant algorithmes et applications, les programmes sont directement présentés en langage C++. Ils sont écrits sous forme concise et claire, et utilisent largement les notions de classe et de généricité du langage C++. La diversité des sujets abordés, l'efficacité des algorithmes présentés et leur écriture directe en langage C++ font de cet ouvrage un recueil fort utile dans la vie professionnelle d'un ingénieur.Le livre est complété par de nombreux exercices, dont le corrigé est reporté en annexe, et qui en constituent autant de développements du cours. Des notes bibliographiques retracent l'historique des travaux et fournissent des références sur des logiciels et librairies récents, implémentant ou étendant les algorithmes présentés. Les codes C++ présentés au long de ce livre ainsi que dans les corrigés des exercices sont disponibles librement à l'adresse http://www-ljk.imag.fr/membres/Pierre.Saramito/books sous la licence GNU public licence.

The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the central activities of the Alan Turing Year 2012, the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912-1954). It had almost 200 visitingfellows and programme participants, as well as several hundred additional workshop participants, and was organised by Arnold Beckmann (Swansea),S. Barry Cooper (Leeds), Benedikt Löwe (Amsterdam & Hamburg), Elvira Mayordomo(Zaragoza), and Nigel Smart (Bristol).This volume documents the presentations that were given as part of the programme, which include the abstracts of the teaser talks given in the Seminar at the Isaac Newton Institute, and abstracts of the talks given at five of the seven workshops, as well as written versions of two open problem sessions.

Une question fondamentale pour la logique et l'anthropologie sous-tend la thèse défendue ici par M. Gildas Nzokou. Elle s'énonce comme suit : Peuton aborder la notion d'inférence avec la même rigueur théorique dans les civilisations de l'oralité que dans les cultures ayant des systèmes d'écriture ? Cette question est pertinente. En effet, une longue chaîne de raisonnements exige le support de l'écrit. C'est pour cette raison que la pratique argumentative dans les civilisations de l'oralité repose sur l'usage de proverbes, qui par nature sont toujours courts.Pour évaluer le niveau de rationalité du proverbe, il ne faut pas le mesurer à l'aune de l'inférence déductive qui joue un si grand rôle en mathématique, il faut, au contraire, le comparer aux raisonnements de sens commun dont la théorie a été faite aux cours des trente dernières années par les chercheurs en intelligence artificielle. Ceux-ci ont montré que le raisonnement de sens commun se conformait à d'autres canons que ceux de la logique déductive, à savoir les canons de la logique non monotone, ceux du raisonnement par défaut ou encore les principes qui gouvernent la révision des connaissances. Ils ont traité les raisonnements de sens commun avec autant de rigueur que les théoriciens du raisonnement déductif traitent les raisonnements du mathématicien. La leçon que l'auteur tire de sa comparaison entre les argumentations de sens commun formalisées par les chercheurs en intelligence artificielle et les argumentations fondées sur des proverbes peut se résumer ainsi : " la logique est plurielle, mais la raison est une et universelle. C'est une même exigence de rationalité qui habite le raisonnement déductif du mathématicien, la logique non monotone, le raisonnement par défaut et l'argumentation reposant sur des proverbes. Cette rationalité se manifeste par la soumission à des normes ". On peut traiter avec autant de rigueur l'argumentation reposant sur des proverbes et la déduction opérée par le mathématicien.Paul GOCHET (1932-2011), Ancien Membre de l'Académie Royale de Belgique et de l'Académie Internationale de Philosophie des Sciences, Liège, Octobre 2010.

La negación es un fenómeno linguístico, lógico y filosófico que nodeja de asombrarnos con nuevos enigmas. A nuestro juicio, el estudiodel uso de las partículas negativas en las primeras lenguas escritas,tales como el ugarítico, abre nuevas perspectivas para la comprensióndel multifacético no . El tema fundamental de este trabajo, necesariamenteinterdisciplinario, consiste en la propuesta y la defensa de una formulaciónde la negación l¿/ ¿al ugarítica como una negación intensional epistémica.La formulación intensional de dicha negación debe entenderse, de acuerdoa la autora, dentro del marco de un paradigma evidencial de la lenguacuya sémantica formal es desarrollada mediante una lógica dinámicaepistémica. Este libro contiene un análisis pormenorizado de las partículasl¿/ ¿al en ugarítico a partir de sus ocurrencias en las cartas ugaríticasy una discusión de las teorías actuales sobre las partículas l + vocal/vocal+ l (lV/Vl) en varias lenguas semíticas: acadio, hebreo, canaano-acadioy las hipótesis sobre el proto-semítico. Junto con los análisis precedentes,se proveen una visión general de la categoría de modalidad y de lanegación desde una perspectiva de la tipología lingüística contemporánea.El núcleo del trabajo concierne dos partes principales; 1) Un estudiosistemático de los vínculos entre los evidenciales y la modalidadepistémica (o no) y el desarrollo de una nueva semántica formal paralos evidenciales basada en la lógica epistémica dinámica. Tal semánticaofrece la posibilidad de especificar formalmente la diferencia entreevidenciales directos e indirectos 2) La aplicación del estudio generalde la formalización de la evidencialidad a la negación ugarítica,así como su relación con la modalidad ugarítica sentencial y subsentencialmediante el alcance de diferentes operadores.

This volume is dedicated to Robin Cooper on the occasion of his 65th birthday.The honoree's contributions to formal linguistics and language technology range from quantifier storage techniques and generalised quantifiers to the development of foundations and applications of a type-theoretical framework for formal semantics and pragmatics of natural language, with a focus on linguistic interaction in conversation.In this book the reader will find brilliant contributions of prominent linguists, computer scientists and philosophers which ranges over a broad repertoire of topics related to the outstanding work of Robin Cooper.

Throughout his career, Stephen Read has been at the forefront of research in the history and philosophy of logic. Distinctive of his work is his effort both to bring ideas from the history of logic into contemporary debates, and to apply formal logic in his historical analyses. He has made decisive contributions to the study of medieval logic, paradoxes, proof-theoretic semantics, relevant logic, logical consequence, and many other topics.On the occasion of his retirement, friends and colleagues join forces to honor him with a collection of papers reflecting his wide range of interests. Topics covered are: modern treatments of medieval solutions to the Liar paradox, reflections on logical consequence, proof-theoretic semantics, logical pluralism, studies in the history of logic (Latin and Arabic medieval logic in particular), among others.The collection reflects both the breadth and the depth of Read's unique approach to the history and philosophy of logic, containing papers by prominent researchers in these areas. As a whole, it strives to live up to the quality of Stephen's own work.

"The binomial theorem is usually quite rightly considered as one of the mostimportant theorems in the whole of analysis." Thus wrote Bernard Bolzanoin 1816 in introducing the first correct proof of Newton's generalisation of acentury and a half earlier of a result familiar to us all from elementary algebra. Bolzano's appraisal may surprise the modern reader familiar only with the finite algebraic version of the Binomial Theorem involving positive integralexponents, and may also appear incongruous to one familiar with Newton'sseries for rational exponents. Yet his statement was a sound judgment back inthe day. Here the story of the Binomial Theorem is presented in all its glory,from the early days in India, the Moslem world, and China as an essentialtool for root extraction, through Newton's generalisation and its central rolein infinite series expansions in the 17th and 18th centuries, and to its rigorous foundation in the 19th.The exposition is well-organised and fairly complete with all the necessarydetails, yet still readable and understandable for those with a limited mathematical background, say at the Calculus level or just below that.The present book, with its many citations from the literature, will be ofinterest to anyone concerned with the history or foundations of mathematics.