A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...) is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there. (shrink)

A. Tarski [21] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering dofeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...) is inspired by the results of [11] on finitary nonmonotonic operations, but this paper is self-contained. (shrink)

When a proposition is cumulatively entailed by a finite setA of premisses, there exists, trivially, a finite subsetB ofA such thatB B entails for all finite subsetsB that are entailed byA. This property is no longer valid whenA is taken to be an arbitrary infinite set, even when the considered inference operation is supposed to be compact. This leads to a refinement of the classical definition of compactness. We call supracompact the inference operations that satisfy the non-finitary analogue of the (...) above property. We show that for any arbitrary cumulative operationC, there exists a supracompact cumulative operationK(C) that is smaller thenC and agrees withC on finite sets. Moreover,K(C) inherits most of the properties thatC may enjoy, like monotonicity, distributivity or disjunctive rationality. The main part of the paper concerns distributive supracompact operations. These operations satisfy a simple functional equation, and there exists a representation theorem that provides a semantic characterization for this family of operations. We examine finally the case of rational operations and show that they can be represented by a specific kind of model particularly easy to handle. (shrink)

A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations (...) is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there. (shrink)

We show how to construct partial nontrivial base revision operators that satisfy the analogues of the AGM postulates and depends on no extra‐logical consideration. These operators, closely related to the full meet revision process, are defined on stratified bases, in which the information can be ranked in logical sequences. Stratified bases, which can be viewed as sets of graded sheaves, are exactly the knowledge bases for which the full meet revision operator satisfies the rationality postulate K*8. As the revision of (...) a stratified base is again a stratified base, it is possible to perform iterated revisions, and the resulting output is particularly easy to determine. (shrink)

We investigate the family of concepts that an agent comes to know through a set of defining features, and examine the role played by these features in the process of categorization. In a qualitative framework, categorial membership is evaluated through an order relation among the objects at hand, which translates the fact that an object may fall more than another under a given concept. For concepts defined by their features, this global membership order depends on the degree with which each (...) feature applies to the objects of the universe. The passage from these individual membership degrees to a global membership order poses a problem analogous to vote aggregation in social choice theory. This similarity leads to an original solution that is particularly well-adapted to the framework of cognitive psychology. The resulting membership order extends to compound concepts, and provides a good description of the guppy paradox and the conjunction effect. (shrink)

Michael Rathjen and the present author have shown that ‐bar induction is equivalent to (a suitable formalization of) the statement that every normal function has a derivative, provably in. In this note we show that the base theory can be weakened to. Our argument makes crucial use of a normal function f with and. We shall also exhibit a normal function g with and.

Specifies an axiomatization of the system S13 of modal logic. Referenced in Cocchiarella & Freund "Modal Logic: an Introduction to its Syntax and Semantics", Oxford University Press, 2008.

Anlässlich des 65. Geburtstages von Ingeborg Schüßler haben ihre Kollegen, Freunde und ehemaligen Schüler beschlossen, ihr eine Festschrift zu widmen. Das Buch umfasst 25 Beiträge in Deutsch und Französisch. Der Titel des Bandes, Genealogie des neuzeitlichen Denkens bezeichnet die leitende Perspektive der Beiträge: unter verschiedenen Beleuchtungen geht es jedesmal darum, wie das Denken der Moderne und der Gegenwart die philosophischen Erbschaften, von denen es herkommt, aufnimmt und neu bearbeitet. A l'occasion du soixante-cinquième anniversaire de Madame Ingeborg Schüßler, ses collègues, aims (...) et anciens élèves ont décidé de lui offrir un volume d'hommages, rassemblant vingt-cinq contributions en français et en allemand. Le titre du volume, Généalogie de la pensée moderne, indique l'optique commune aux études réunies : sous diverses perspectives, il s'agit à chaque fois de se demander comment la pensée de la modernité reprend et retravaille les héritages philosophiques dont elle est tributaire. Contributions de / Beiträge von Emil Angehrn, Rudolf Bernet, Raphae͏̈l Célis, Pascal David, Felix Duque, Michael Esfeld, Jean Ferrari, Karen Gloy, Gérard Guest, Michel Herren, Friedrich-Wilhelm von Herrmann, Helmuth Holzhey, Wolfgang Janke, Emmanuel Mejia, Ada Neschke, Thérèse Pentzopoulos-Valalas, Mario Ruggenini, John Sallis, Alexandre Schild, Gerhard Seel, Tiziana Suarez-Nani, Rainer Thurnher, Jean-Marc Tétaz, Ivan Urbancic, Franco Volpi. (shrink)

Das Buch stellt eine Alternative zur gängigen Sicht der Entstehungsgeschichte des Deutschen Idealismus vor, indem eine spezielle Rezeption des Platonismus, wie sie in Tübingen am Ende des 18. Jahrhunderts möglich war, als Ausgangspunkt der prinzipiellen Überlegungen der Tübinger Freunde nachgewiesen wird. Im Gegensatz zu den bewußtseins- und wissenschaftstheoretischen Rekonstruktionen der System-Sukzessionen (von Kant über Reinhold und Fichte zu Schelling und Hegel) wird hier der philosophische Ansatz der drei Tübinger aus dem Versuch erklärt, die platonische Prinzipienlehre (in ihrer neuplatonisch überarbeiteten Form) (...) unter den Bedingungen der transzendentalen Wende Kants zu reformulieren. (shrink)

Von allen Briefwechseln, die Bernard Bolzano (1781?1848) führte, war der mit seinem Schüler und Freund Michael Josef Fesl (1788?1864) bei weitem der umfangreichste. Insgesamt tauschten die beiden etwa 730 Briefe aus. Da wegen der grossen Zahl der Briefe in der Bernard-Bolzano-Gesamtausgabe ab dem Jahr 1831 nur noch die Briefe des Lehrers an seinen Schüler veröffentlicht werden, erscheinen die Briefe Fesls an Bolzano in den Beiträgen zur Bolzano-Forschung. 0Der vorliegende Band enthält Fesls Briefe der Jahre 1831?1836. Ihr Hauptthema sind (...) Bolzanos Publikationsprojekte, darunter die Religionsbekenntnisse zweier Vernunftfreunde (1835), die Lebensbeschreibung (1836) und die Wissenschaftslehre (1837). Dazu kommt ein Austausch über die Zensur, über politische Ereignisse, über Cholera und andere Epidemien jener Zeit sowie über Heilmittel wie Homöopathie oder Kaltwasserkuren. Philosophische Fragen im eigentlichen Sinne spielen eine kleinere, aber nicht zu vernachlässigende Rolle. (shrink)

Die Verantwortung fur das Leben und die Hochachtung vor dem Mitmenschen lebt Prof. Dr. Bernhard Schleissheimer in seinem Philosophieren. Aus der Begegnung mit ihm versuchen Freunde, Kollegen und Schuler diesen Anspruch fur ihr Fachgebiet aufzugreifen.".

Michael Freund (1902-1972) war der erste Professor für «Wissenschaft und Geschichte der Politik» an der Universität Kiel und gehörte damit zur einflussreichen Gründervätergeneration der westdeutschen Politikwissenschaft nach 1945. Sowohl Freunds universitäres und wissenschaftliches Wirken als Politikwissenschaftler und Historiker als auch sein politisches Engagement und seine umfangreiche journalistische Tätigkeit stehen im Fokus dieser Studie. Somit stellt die Arbeit nicht nur die erste Biographie Freunds dar, sondern bietet zugleich einen Einblick in eine stark historisch orientierte Richtung der frühen westdeutschen Politikwissenschaft. (...) Darüber hinaus leistet sie einen Beitrag zur Verständigung über Wissenschafts- und Universitätsgeschichte nach 1945. (shrink)

This paper investigates the responses of GPT-4, a state-of-the-art AI language model, to ten prominent philosophical paradoxes, and evaluates its capacity to reason and make decisions in complex and uncertain situations. In addition to analyzing GPT-4's solutions to the paradoxes, this paper assesses the model's Theory of Mind (ToM) capabilities by testing its understanding of mental states, intentions, and beliefs in scenarios ranging from classic ToM tests to complex, real-world simulations. Through these tests, we gain insight into AI's potential for (...) social reasoning and its capacity for more sophisticated forms of human-AI interaction. The paper also explores the limitations and biases of AI-generated reasoning and its implications for our comprehension of complex philosophical problems. (shrink)

Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain. Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations (...) of paraconsistency, the use of paraconsistent logic as a basis for set-theory, and the methodological aspects in both the justification of new axioms in set theory and the formalization of pre-theoretic notions. Other papers are related to epistemic logic. They deal with the issues of abduction and the choice of the simplest hypothesis, the definition of group probability, and the nature of explanation and understanding in such logic. There are also papers on logical paradoxes, the semantics of names, and the nature of relations. Max A. Freund is Professor of Logic and Philosophy at the University of Costa Rica and the National University of Costa Rica. He is co-author of the book Modal Logic its syntax and semantics, as well as the author of Judicial Logic, and of a forthcoming book The Logic of Sortals. Max Fernandez de Castro is Professor of Logic and Philosophy at the Autonomous Metropolitan University of Mexico. He is the author of the book Quine y la Ontologíaa and co-author of the books Lógica Matemática I: lógica proposicional, intuicionista y modal, Lógica Matemática II: clásica, intuicionista y modal, Teoría de Conjuntos, Lógica y Temas Afines I. Marco Ruffino is Professor of Philosophy at the University of Campinas and the editor of Manuscrito, the Brazilian international journal for Analytic Philosophy. He has many publications, in important philosophical journals, in the philosophy of language, of logic, and of mathematics; in the history of analytic philosophy, and on Frege and Wittgenstein. (shrink)

We develop a set-theoretic semantics for Cocchiarella's second-order logical system . Such a semantics is a modification of the nonstandard sort of second-order semantics described, firstly, by Simms and later extended by Cocchiarella. We formulate a new second order logical system and prove its relative consistency. We call such a system and construct its set-theoretic semantics. Finally, we prove completeness theorems for proper normal extensions of the two systems with respect to certain notions of validity provided by the semantics.

This book fills a gap in studies of meaning by providing detailed case studies of attested corpus data on the meanings of words and phrases.

The American Journal of Bioethics, Volume 12, Issue 7, Page 27-30, July 2012.

The definitive work on the philosophical nature and impact of the theories of Charles Darwin, written by a well-known authority on the history and philosophy of Darwinism. Broadly explores the theories of Charles Darwin and Darwin studies Incorporates much information about modern Biology Offers a comprehensive discussion of Darwinism and Christianity – including Creationism – by one of the leading authorities in the field Written in clear, concise, user-friendly language supplemented with quality illustrations Examines the status of evolutionary theory as (...) a genuine theory and its implications for philosophy, epistemology and ethics Provides a strong understanding of the philosophical nature and impact of Darwin's thought Holds wide appeal for general audiences outside the world of academic philosophy Strongly supports Darwinism and fully explores modern naturalistic explanations of religion. (shrink)

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Michael Quante focuses on what Hegel has to say about such central concepts as action, person and will, and then brings these views to bear on contemporary debates in analytic philosophy. This book enables professional analytic philosophers and their students to understand the significance of Hegel's philosophy to contemporary theory of action. As such, it will contribute to the ever-increasing erosion of the barrier between the continental and analytic approaches to philosophy.

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.

According to a historically popular view, emotions are normative experiences that ground moral knowledge much as perceptual experiences ground empirical knowledge. Given the analogy it draws between emotion and perception, sentimental perceptualism constitutes a promising, naturalist-friendly alternative to classical rationalist accounts of moral knowledge. In this paper, we consider an important but underappreciated objection to the view, namely that in contrast with perception, emotions depend for their occurrence on prior representational states, with the result that emotions cannot give perceptual-like access (...) to normative properties. We argue that underlying this objection are several specific problems, rooted in the different types of mental states to which emotions may respond, that the sentimental perceptualist must tackle for her view to be successful. We argue, moreover, that the problems can be answered by filling out the theory with several independently motivated yet highly controversial commitments, which we carefully catalogue. The plausibility of sentimental perceptualism, as a result, hinges on further claims sentimental perceptualists should not ignore. (shrink)

Divided into four parts, this treatise begins with well-known criticisms of nonreligious ethics and then develops an atheistic metaethics. In Part 2, Martin criticizes the Christian foundation of ethics, specifically the ’divine command theory’ and the idea of imitating the life of Jesus as the basis of Christian morality. Part 3 demonstrates that life can be meaningful in the absence of religious belief. Part 4 criticizes the theistic point of view in general terms as well as the specific Christian doctrines (...) of the atonement, salvation, and the resurrection. (publisher, edited). (shrink)

The first edition of The Scientific Background to Modern Philosophy took the dialogue of science and philosophy from Aristotle through to Newton. This second edition adds eight chapters, taking the dialogue through the Enlightenment and up to Darwin. This anthology is an attempt to help bridge the gap between the history of science and the history of philosophy.