Alternative set theory was created by the Czech mathematician Petr Vopěnka in 1979 as an alternative to Cantor’s set theory. Vopěnka criticised Cantor’s approach for its loss of correspondence with the real world. Alternative set theory can be partially axiomatised and regarded as a nonstandard theory of natural numbers. However, its intention is much wider. It attempts to retain a correspondence between mathematical notions and phenomena of the natural world. Through infinity, Vopěnka grasps the phenomena of vagueness. Infinite sets (...) are defined as sets containing proper semisets, i.e. vague parts of sets limited by the horizon. The new interpretation extends the field of applicability of mathematics and simultaneously indicates its limits. Compared to strict finitism and other attempts at a reduction of the infinite to the finite Vopěnka’s theory reverses the process: he models the finite in the infinite. (shrink)

V kontextu české filosofie, kde není nouze o vzdělané a chytré lidi, ale kde se to nijak nehemží skutečnými individualitami, představuje Petr Vopěnka zcela zvláštní případ. Je matematik nejenom vzděláním, ale v matematice i leccos dokázal. Jeho knihy o filosofii matematiky, zejména jeho tetralogie Rozprav s geometrií1, jsou velice vyhraněné: Vopěnka v nich předkládá svůj originální obraz a příliš se nestará o to, aby ho konfrontoval s tím, co si o tom myslí jiní. Jak sám připouští, i historické osoby, (...) o kterých ve svých knihách píše, mu slouží spíše jako kompars, na jehož pozadí rozehrává svá barvitá líčení ‚dobrodružství poznání‘. Vopěnka ve svých knihách protestuje proti tomu, že moderní věda do obrazu světa, který buduje, vůbec nevpustila tak zásadní determinanty našeho přirozeného světa, jakými jsou neostrost či existence horizontu, který činní náš obraz světa v jistém smyslu ‘nehomogenní‘. Proti tomu se samozřejmě nabízí námitka, že to je v podstatě věci, že vědecký obraz světa je svou podstatou ostrý a homogenní. Že chtít po něm, aby byl jiný, pramení pouze z nepochopení jeho povahy a hlavně jeho role: neboť svět vykreslovaný vědou má být světem pouze v metaforickém slova smyslu, je jenom jakýmsi ‚orientačním plánkem‘, který nám má pomoci orientovat se ve světě ‚přirozeném‘. (Tím ovšem nechci říci, že by tohle nepochopení nebylo fakticky dosti rozšířené.) Vopěnka však ukazuje, že vědu, zejména matematiku, by bylo možné dělat i jinak, než jak se to považuje za víceméně samozřejmé: že je možné vytvořit matematizovaný obraz světa, ze kterého nejsou neostrost či horizont vymeteny. (I tento obraz si samozřejmě zachovává jistý druh ostrosti a homogenity, která z něj činí něco kvalitativně odlišného od přirozeného světa, avšak k přirozenému světu má blíže než ten standardní.) Tento jeho návrh je velice originální a pozoruhodný a je škoda, že mu není věnována větší pozornost a není předmětem soustavnější diskuse, ve které by se ověřila jeho nosnost. Originalita.. (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)

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.

Originally published in 1944, this book presents a study of the life and work of Roman Catholic priest and scholar Alfred Loisy, written by fellow Modernist Maude Petre. Petre died shortly after completing this short biography, and the text begins with a note on her life by James A. Walker. This book will be of value to anyone with an interest in this important figure in the controversial Catholic Modernist movement.

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

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 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)

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

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)

In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories (...) and on witnessed models. (shrink)

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.

According to recent evidence, neurophysiological processes coupled to pain are closely related to the mechanisms of consciousness. This evidence is in accordance with findings that changes in states of consciousness during hypnosis or traumatic dissociation strongly affect conscious perception and experience of pain, and markedly influence brain functions. Past research indicates that painful experience may induce dissociated state and information about the experience may be stored or processed unconsciously. Reported findings suggest common neurophysiological mechanisms of pain and dissociation and point (...) to a hypothesis of dissociation as a defense mechanism against psychological and physical pain that substantially influences functions of consciousness. The hypothesis is also supported by findings that information can be represented in the mind/brain without the subject’s awareness. The findings of unconsciously present information suggest possible binding between conscious contents and self-functions that constitute self-representational dimensions of consciousness. The self-representation means that certain inner states of own body are interpreted as mental and somatic identity, while other bodily signals, currently not accessible to the dominant interpreter’s access are dissociated and may be defined as subliminal self-representations. In conclusion, the neurophysiological aspects of consciousness and its integrative role in the therapy of painful traumatic memories are discussed. (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.

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 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)

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)

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)

The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...) unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling. (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)

While there has been considerable interest in the writings of Søren Kierkegaard and Fyodor Dostoevsky, both of whom are considered seminal existential thinkers, relatively little has been said about similarities in their thought. In this paper, I propose to read their philosophical and literary works together as texts that offer an elaborate model of an existential religious transformation. Both Kierkegaard and Dostoevsky sketch a path leading from the inauthentic, internally fragmented and egotistic self to the authentically Christian, humble and loving (...) individual. By examining the underlying structure of this transformative process, I try to show that its portrayal is in many ways similar in the account of both writers. Furthermore, I maintain that they set out not only to describe the inner workings of the existential religious transformation, but that their effort constitutes a direct appeal to the reader to initiate the transformative process herself or himself. (shrink)

"An imposing edifice of thought. Every one of its twenty chapters will richly repay careful reading. Those passages dealing with ethics, love, the significance of knowledge, and the meaning of life are hard to surpass." - New York Evening Post The title of this book, Tertium Organum, boldly refers no less to a reorganization of all knowledge, but it is primarily a study of psychology, more specifically the psychology of our higher mind. For Ouspensky what we can call the higher (...) mind represents, within a single person, the development of an entirely new way of understanding. In short, psychology is the art of self-study. With remarkable scope and sophistication, Ouspensky shows us in this book, which has been hailed as "a work of genius," just how vast and strange our universe really is. P. D. [PETYR DEMIANOVICH] OUSPENSKY (1878-1947) was a Russian mathematician and philosopher turned mystic, who combined geometry and psychology in his discussion of higher dimensions of existence. After traveling through Europe and the East, seeking unsuccessfully the world's centers where ancient esoteric knowledge and wisdom are not only preserved, but taught to initiates, he returned to Russia where he met and studied under G.I. Gurdjieff. Ouspensky is today best known for his expositions of the early work of this famous Russian mystic. (shrink)

Studies man in view of what he may become. Describes how a man must work simultaneously on his knowledge and his being to find inner unity.

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.

The personalist ethics of Edith Stein and her feminist thought are intrinsically interrelated. This unique connection constitutes perhaps the main novelty of Stein’s ethical thought that makes her a forerunner of some recent developments in feminist ethics, particularly ethics of care. A few scholars have noticed the resemblance between Stein’s feminist personalism and care ethics, yet none of them have properly explored it. This paper offers an in-depth discussion of the overlaps and differences between Stein’s ethical insights and the core (...) ideas of care ethics. It argues that both Stein and care ethicists relocate a certain set of practices, values and attitudes from the periphery to the center of ethical reflection. This includes relationality, emotionality and care. The paper finally argues that it is plausible and fruitful to read Stein’s advocacy of ‘woman’s values and attitudes’ in a critical feminist way, rather than as an instance of essentialist difference feminism. (shrink)

Social networks can influence people’s behaviour and therefore it is assumed that central individuals in social networks, also called “opinion leaders”, play a key role in driving change in agricultural and food systems. I analyse the outcomes of an intervention (that encouraged Sulawesi smallholder farmers to take a specific action toward improving the health of their cocoa trees) to assess the impact of engaging opinion leaders in agricultural programs that aim to change farmers’ practices. The intervention has been implemented through (...) (a) 18 opinion leaders identified by interviews and a social network survey of 1885 cocoa farmers; and (b) 18 randomly selected farmers who were not central in local social networks. The obtained social networks and statistical data were quantitatively analysed and the results were interpreted with input from the field staff. Contrary to expectations, the highly socially central opinion leaders were not more effective in promoting the initiative in their communities. On average, randomly selected low-centrality farmers convinced almost twice as many of their peers to take the recommended action as compared to the identified opinion leaders (17.1 versus 8.6) but the variation within the random group was also significantly higher. Importantly, while the identified opinion leaders were mostly senior men, women performed better in influencing others into taking action even when their centrality in local social networks of agricultural advice was lower. I discuss the implications of the conventional selection of perceived opinion leaders as model farmers for achieving sustainable and equitable change at scale in agriculture and propose practical alternatives. (shrink)

The article explores novel directions in the phenomenology of economics. It analyzes how the approaches of Till Düppe and Alfred Schütz, both inspired by Edmund Husserl, may shed light on the historical development of economics. I examine the substance and meaning of economics in the context of the forceful criticism of the whole discipline recently raised by Düppe. This examination uncovers important weaknesses and omissions inherent in Düppe’s argument against the economists’ scientific aspirations. The analysis of the social scientific endeavors (...) by Alfred Schütz who develops a phenomenologically informed ‘telescopic’ concept of an ideal type is then shown to be a more fruitful and methodologically rigorous way towards understanding the developments within economics. The Schützian view permits us to see how abstract economic models originate in the experience of the life-world and are continuous with it. Accordingly, the historical development of economic science may be viewed as consisting from two broadly defined phases, where at first the formalism is steadily increasing (the ‘zooming out’ phase) and later the discipline converges back to context-specific empirical examinations (the ‘zooming in’ phase). A case study concentrating on the economic theory of politics illustrates that both the drive towards abstraction that has culminated around 1950s and the more recent ‘zooming in’ is methodologically legitimate from the phenomenological point of view. I conclude that economics has never been completely severed from the paramount reality of the everyday life and for decades the interconnection has been growing stronger by the day. (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.