This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.

This book collects most of the invited papers presented at the 12th International Congress of Logic, Methodology and Philosophy of Science in Oviedo, August 2003. It contains state of the art accounts of ongoing work by a selection of the most renowned researchers in the field. The papers in the Logic section deal with topics in mathematical logic, as well as philosophical logic, and the area of logic and computation. The section on General Methodology contains articles on models, theories, probability, (...) induction, causation, and other topics. A number of papers discuss Philosophical Issues of Particular Sciences, such as mathematics, physics, linguistics, psychology, biology, and medicine. There is also a section on Ethics of Science, and papers from a special symposium on the Emergence of Scientific Medicine in the 19th-20th Century. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...) a commitment to democratic values and maximizing the epistemic benefits of democratic decision-making. The book has two key strands: it provides a systematic argument for building a behaviorally informed theory of democracy; and explores how scientific knowledge on quirks and bounds of human rationality can inform the design of resilient democratic institutions. Drawing these together, the book explores the centrality of the rationality assumption in the methodological debates surrounding behavioral sciences as exemplified by the dispute between neoclassical and behavioral economics; the role of rationality in democratic social choice; behaviorally informed paternalism as a response to the challenge of irrationality; and non-paternalistic avenues to increase the resilience of the democratic institutions towards political irrationality This book is invaluable reading for anyone interested in behavioral economics and sciences, political philosophy and the future of democracy. (shrink)

In contrast to Anglophone debates on personal identity initially formed by John Locke’s investigation of personal identity in the sense of personal continuity or persistence through time, the Continental tradition focuses on what constitutes ipseity in the sense of individuality or uniqueness of the human being “constituted” by its continuous transformation through changing experience. In this study, I claim that contemporary phenomenological research in France—especially the “phenomenology of the event” as represented by Henri Maldiney and Claude Romano—contributes to this Continental (...) discussion in a significant way: it formulates the conditions of personal uniqueness or distinctiveness with regard to other persons, conditions not to be found in Heidegger’s existential conception of selfhood in Being and Time. More precisely, Maldiney and Romano allow us to answer the principal questions of this study: In what does the personal uniqueness consist? What exactly individualizes the first-person selfhood disclosed in Dasein’s relation to death? In my three-stage analysis, I first deal with Heidegger’s conception of selfhood in Being and Time and its limits with respect to the question of personal uniqueness. Next, I analyse Maldiney’s conception of “eventful selfhood” in which he “completes” Heidegger’s conception of selfhood by describing Dasein’s openness to ontical, and yet fully authentic events. Finally, I develop the argumentation by presenting Romano’s even more radical conception of the “happening subjectivity”, which allows us to return to the second major feature of personal identity: personal persistence. Nonetheless, I conclude that the connection between personal uniqueness and persistence is not sufficiently examined in the phenomenology of the event, which opens the path towards another related inquiry into the following problem: What is the proper subjective dimension or the “underlying thing” in the background of personal persistence which somehow resists events? (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

On the Notion "Type of Language" Petr Sgall It is well known that the high frequency of terminological vagueness and confusion has been a serious obstacle ...

In 1957–58 two large collections of documents relating to the estate of Gressenhall in central Norfolk were deposited in the Norfolk Record Office by Clement Ingleby and by Mills and Reeve, solicitors of Fakenham. These records go back to the late thirteenth century and consist of surveys, rentals, extents, charters, indentures, lists of tenants, and an unusually complete run of court rolls. Together with other records from Gressenhall, including inquisitions post mortem, they provide an exceptionally full picture of the estate (...) in the late thirteenth and early fourteenth centuries. Their evidence has been thoroughly examined and analyzed in a valuable study by Janet Williamson, first in her thesis of 1976, and then published in briefer form in 1984. (shrink)

First the Branching Space-time and Branching Continuations mod-els are briefly presented. We compare their properties with the traditional definition of a Flow of Time from physics and we point out the difficulties of it in relativistic time. A solution of a Flow of Time in the given models is then proposed.

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification. Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas.

Many democratic countries have failed to stand up to the challenge presented by the COVID-19 pandemic. I argue that the collective response to the pandemic has been incapacitated by an ‘epistemic crisis’, (i.e., a breakdown in the social division of epistemic labor) that led to a failure of citizens’ beliefs to converge towards a shared perception of the situation. Neither a paucity of relevant expert knowledge nor democratic citizens’ irrationality is required for the crisis to emerge. In particular, I highlight (...) three obstacles capable of preventing relevant expert testimony from gaining democratic legitimacy necessary for an effective policy response: 1) the proper domain of expertise is uncertain; 2) regular citizens’ meta-expertise – (i.e., ability to discriminate among the putative experts based on their relative epistemic merit) – is not efficacious enough to trigger truth-convergence of the public opinion; 3) the prominent sources of third-party meta-expertise lack credibility due to their conflicts of interest. Since the first two problems appear irresolvable, I propose that the search for a path towards preclusion of future epistemic crises concentrates on upgrading the institutional fundament for meta-expertise provision. Social epistemology plays a vital role in this search, but its close cooperation with other disciplines is a must. (shrink)

Between the zone of certainty beyond all doubt and the zone of incomprehensible uncertainty, the sources of which are nothing but chance, we need to use solid results from a vast interdisciplinarity. We wish to give here a sense of the factors in play and the state of the debate and advance in the territory of how interdisciplinarity may help to solve problems which are common in many areas of knowledge. Chaos and complexity certainly put limits on what we can (...) know. High complexity, asymmetry and/or non-linearity are universal types of imprecision. Can hazard have purpose and direction?The idea is that the more effort we put into project design to cover as many details and possible consequences as possible we can grasp in our in-depth analysis aiming to create the project (in art or science or society), the greater the chances that the random occurrence of the unpredictable event will settle on the project's purpose and direction and not on contrary to them. There is no vicious circle here. This kind of method can explain many good results already obtained in such circumstances. Simplicity, beauty, rationalistic optimism, are features of unshakeable scientific results We may call this feature of scientific theory or art _uniqueness. _Uniqueness is strongly correlated with _essentialization. _Science is working in that sense: to simplify a phenomenon to its essence in order to study it easily without losing anything important in the analysis. That is _essentialization. _Why and how complex systems move to the edge of chaos? And what do they do to stay there? They are in constant struggle to create or keep order in complexity. That is the pattern of self-organization, the specific feature of human nature. That is why our action is meant to build resilience to deal better with unpredictable events and prevent the emergence of a critical threshold. Uncertainty, indeterminacy, randomness, and contradictions appear, not as non-essential substances of debate to be eliminated by explanation, but as everlasting ingredients of our conception of reality. There are compelling reasons to believe that it is impossible to make accurate, nontrivial predictions concerning human behavior. Logic and reason are and remain priority, but unpredictability forces us to imagination and creative thinking. Indeed we are confronted with a new human landscape. The anomalies become the new normal. (shrink)

Analyzing different philosophical and theological components of Aquinas’s view regarding the relation between human agency and divine providence, the monograph shows this view to be compatibilist, based on a determinist conception of causation and an aristocratic understanding of goodness.

The paper attempts to interpret P. van Inwagen’s refutation of Evans’ argument that there cannot be vague objects and defend it against the charge of inconsistency raised by Radim Bělohrad. However, such an interpretation is not without a cost. Therefore another interpretation of van Inwagen’s example of the Cabinet is offered which evades Evans’ charge of inconsistency against indeterminate identity as it does not need the notion at all.

The paper deals with the problem of divine causation in relation to created agents in general and human rational agents in particular. Beyond creation and conservation, Aquinas specifies divine contribution to created agents’ operation as application in the role of the first cause and the operation of the principal cause employing an instrumental cause. It is especially the latter which is open to varying interpretation and which might be potentially threatening to human freedom. There are different readings of what it (...) is for the secondary agent to “act through the power of the principal cause”. Either the divine cause causes only the existence of the effect of the secondary cause, or it also causes the cause to operate in the sense that it determines its outcome. The latter seems to contradict human freedom. Both readings of Aquinas were developed in the latter half of the sixteenth century within scholastic philosophy and theology. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

Chaadayev's Philosophical Letters and Apology of a Madman unite the religious approach to history, which was later adopted by the Slavophiles, with the search for Western enlightenment, symbolized in the figure of Peter the Great. - Front flap.

Vague language and corresponding models of inference and information processing is an important and challenging topic as witnessed by a number of recent monographs and collections of essays devoted to the topic. This volume collects fifteen papers, the majority of which originated with talks presented at the conference "Logical Models of Reasoning with Vague Information ", September 14-17, 2009, in Čejkovice, that initiated a EUROCORES/LogICCC project with the same title. At least two features set the current volume apart from other (...) texts: first, the interdisciplinary nature of the topic is nicely reflected by the wide range of interests of the authors, who include philosophers, linguists, logicians, as well as mathematicians and computer scientists. Secondly, all the papers are accompanied by comments written by other authors and a few outside experts. These comments and corresponding replies by the authors document the very lively ongoing debate on adequate models of vague language. (shrink)

Humans are remarkably adaptable, and therefore a successful species. There are many speculative answers to the question of why this is so. One of them represents the cultural intelligence hypothesis, which consid-ers cultural learning skills as the key to human success. This work aims to present the hypothesis of cultural intelligence as a viable alternative to more conventional approaches within the debate about the origin of human intelligence, such as the hypothesis of general and improvisational intelligence. Theirmutual comparison shows that (...) cultural intelligence hypothesis must necessarily work with flexible social learning strategies to describe cultural transmission, thus losing part of its explanatory power. As the theory of metacognitive strategies of social learning by cognitive psychologist Cecilia Heyes shows, there is a way to combine the flexibility of human reasoning with the “stupid” process of cultural selection. (shrink)

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

According to Michael Tomasello’s evolutionary anthropological approach, joint attention is one of the essential keys to understanding the difference between human and animal. The present paper discusses a recent phenomenological account of the anthropological difference inspired by Tomasello’s conception. A criticism of this account is put forward, while an alternative view is also introduced that stresses the impact of differential rearing experiences on the socio-cognitive development of human and non-human animals.

The study analyzes Mises‘s approach to the question of apriorism in a broader methodological context. It shows that it is not inevitable to advocate the aprioristic character of economics (resp. science of human action), as Mises does, to maintain the subjectivist-individualist methodology and the effort to adequately grasp the general laws of human action from its perspective. The present redefinition of apriorism is developed on the basis of thoughts of Barry Smith and Alfred Schutz. It suggests abandoning the apodictic character (...) of apriori (which is untenable) and move closer to a broadly defined empiricism. The methodological insights developed in the paper are finally used to contribute to the debate between the behavioral economists and the proponents of rational choice theory. (shrink)

The possibility of performing germline modifications on currently living individuals targets future generations’ health and well-being by reducing the diversity of the human gene pool. This can have two negative repercussions: reduction of heterozygosity, the latter being associated with a health or performance advantage; uniformization of the genes involved in reproductive recombination, which may lead to the health risks involved in asexual reproduction. I argue that germline interventions aimed at modifying the genomes of future people cannot be ethically justifiable if (...) there is no possibility of controlling the intervention either by reversing or altering it, whenever need demands it. This argument is challenged on six different grounds: safety, population versus individual focus, spontaneous mutations, exceptionalism, the intentional pursuit of genetic diversity through germline interventions, and harm reduction potential. (shrink)

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

While correctly emphasizing that the idea of theological inspiration in phenomenology and vice versa might be very fecund, the current discussion on the theological turn does not always affirm that Janicaud was simply wrong as regards the characterization of new French phenomenology. This is why it is necessary to create a more balanced image of the discussions on the theological turn and contemporary phenomenology. The paper achieves this aim 1) by demonstrating that there was no theological turn in French phenomenology; (...) 2) by analysing the true nature of the turn taking place in phenomenology. It concludes by affirming that contemporary French phenomenology—freed from the label “theological turn”—is a living branch of philosophy capable of contributing to the solution of some of the burning issues of today’s world, such as ecological crisis. (shrink)

Large language models (LLMs) represent the currently most relevant incarnation of artificial intelligence with respect to the future fate of democratic governance. Considering their potential, this paper seeks to answer a pressing question: Could LLMs outperform humans as expert advisors to democratic assemblies? While bearing the promise of enhanced expertise availability and accessibility, they also present challenges of hallucinations, misalignment, or value imposition. Weighing LLMs’ benefits and drawbacks compared to their human counterparts, I argue for their careful integration to augment (...) democracy’s ability to address complex policy issues. The paper posits that time-tested democratic procedures like deliberation and aggregation by voting provide safeguards effective against both human and machine advisor imperfections. Additional protective measures include custom LLM training for the advisory role, boosting representatives’ competencies in query formulation, or implementation of adversarial proceedings in which LLM advisors could debate each other and provide dissenting opinions. These could further mitigate the risks that LLMs present in advisory roles and empower human decision-makers toward increased autonomy and quality of their collective choices. My conceptual exploration offers a roadmap for the co-evolution of AI and democratic institutions, setting the stage for an empirical research agenda to finetune the implementation specifics. (shrink)

Despite their flaws, large language models (LLMs) deserve a fair chance to prove their mettle against human experts, who are often plagued with biases, conflicts of interest, and other frailties. For epistemically unprivileged laypeople struggling to access expert knowledge, the accessibility advantages of LLMs could prove crucial. While complaints about LLMs' inconsistencies and arguments for human superiority are often justified (for now), they distract from the urgent need to prepare for the likely scenario of LLMs' continued ascent. Experimentation with both (...) the capabilities and institutional architecture of LLMs is necessary. Neither tech-bashing nor excessive gatekeeping will suffice. As LLMs are here to stay and they keep improving, it is high time we started thinking about how to navigate the impending wave of their proliferation. (shrink)