Consider a set of shuffled observations drawn from a fixed probability distribution over some instance domain. What enables learning of inductive generalizations which proceed from such a set of observations? The scenario is worthwhile because it epistemically characterizes most of machine learning. This kind of learning from observations is also inverse and ill-posed. What reduces the non-uniqueness of its result and, thus, its problematic epistemic justification, which stems from a one-to-many relation between the observations and many learnable generalizations? The paper (...) argues that this role belongs to any complexity regularization which satisfies Norton’s Material Theory of Induction (MTI) by localizing the inductive risk to facts in the given domain. A prime example of the localization is the Lottery Ticket Hypothesis (LTH) about overparameterized neural networks. The explanation of MTI’s role in complexity regularization of neural networks is provided by analyzing the stability of Empirical Risk Minimization (ERM), an inductive rule that controls the learning process and leads to an inductive generalization on the given set of observations. In cases where ERM might become asymptotically unstable, making the justification of the generalization by uniform convergence unavailable, LTH and MTI can be used to define a local stability. A priori, overparameterized neural networks are such cases and the combination of LTH and MTI can block ERM’s trivialization caused by equalizing the strengths of its inductive support for risk minimization. We bring closer the investigation of generalization in artificial neural networks and the study of inductive inference and show the division of labor between MTI and the optimality justifications (developed by Gerhard Schurz) in machine learning. (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.

Shows how different forms of skepticism can lead to remarkably different moral and political implications.

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)

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 very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.

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)

This article reviews recent findings indicating some common brain processes during dissociative states and dreaming with the aim to outline a perspective that neural chaotic states during dreaming can be closely related to dissociative states that may manifest in dreams scenery. These data are in agreement with various clinical findings that dissociated states can be projected into the “dream scenery” in REM sleep periods and dreams may represent their specific interactions that may uncover unusual psychological potential of creativity in psychotherapy, (...) art and scientific discoveries. (shrink)

What makes safety claims about general purpose AI systems such as large language models trustworthy? We show that rather than the capabilities of security tools such as alignment and red teaming procedures, it is security practices based on these tools that contributed to reconfiguring the image of AI safety and made the claims acceptable. After showing what causes the gap between the capabilities of security tools and the desired safety guarantees, we critically investigate how AI security practices attempt to fill (...) the gap and identify several shortcomings in diversity and participation. We found that these security practices are part of securitization processes aiming to support (commercial) development of general purpose AI systems whose trustworthiness can only be imperfectly tested instead of guaranteed. We conclude by offering several improvements to the current AI security practices. (shrink)

The article deals with various modal versions of the ontological argument from N. Malcolm’s to P. Tichý’s interpretation of Anselm’s second proof. Three key presuppositions of the modal proof are pin-pointed and examined. The principal problem with the proof seems to be the notion of necessary existence attributed to God. More precisely, the question is whether this is not too strong an attribute, for then there would not be a situation, i.e. a possible world, consistently thinkable which precludes the existence (...) of God. However, this seems to be wrong. (shrink)

The paper deals with Aristotle’s argument against determinism and in favor of contingency in nature as interpreted by Thomas Aquinas. The case against determinism is based on the idea that there are properly uncaused accidental events in reality. This means that in case there is some coincidental future event e, one cannot trace an unbroken causal chain leading to e back to the present or the past. For a Christian Aristotelian, such as Aquinas, there arises a difficulty concerning divine foreknowledge (...) and volitional determination of events of this sort. Thomas’s solution is based on the claim that the latter divine acts are not within the scope of modal determination (necessity/contingency). (shrink)

The article introduces and defends Aristotelian ontological theory of the possible as that which a power is capable of bringing about. It regards this conception to be a sort of middle way between Platonic explanation based on abstracta on one hand and the possibilist theory ultimately making everything possible into actual on the other. The doctrine defended leads to the conception of necessary being. Combined with other assumptions concerning this being, there arise some interesting issues and apparent tensions to be (...) resolved. The article outlines some of the discussions related to these problems in medieval and early modern Scholasticism. (shrink)

Zusammenfassung Ausgehend vom klassischen augustinisch-boëthianischen Ewigkeitsbegriff und seiner theologischen Kritik im 20. Jahrhundert versucht dieser Artikel, eine konsequent trinitätstheologische Lösung der Frage nach der Beziehung von Zeitlichkeit und Ewigkeit zu bringen. Das Konzept wird christologisch in der Auferstehung verankert, auf einem dynamischen Gottesbegriff gegründet, der Gott als den sich akkommodierenden Gott auffasst, und trinitarisch ausgeführt. So bleibt der Vater durch den Geist der Herr der Zeitlichkeit, die in Jesus Christus zu seiner eigenen Zeitlichkeit und diese zum Bestandteil des Lebens Gottes (...) geworden ist. Kreuz und Auferstehung Christi bilden deshalb die Mitte sowohl der Zeit als auch der Ewigkeit. (shrink)

Článek se věnuje nejnovější knize Charlese Taylora Secular Age (2007). Poukazuje na její kořeny v hegeliánství a v novějších kritikách modernity a probírá některé námitky vůči Taylorově koncepci včetně Taylorových odpovědí. Taylor představuje dva typy současných etických projektů. Na jedné straně tzv. výlučný humanismus, na druhé straně imanentní antihumanismus. A smyslem jeho genealogie moderního sekularismu je ukázat vzájemnou podmíněnost mezi antihumanismem, humanismem a religiozitou s tím, že bez nějaké formy transcendence se každý západní hodnotový systém vystavuje nepřekonatelným tenzím, aby následně (...) navrhl koncept originality volající k následování jako spojnici hlavního nároku křesťanství ztělesněného v pojmu lásky k bližnímu s moderním uměním jako náhražkovým náboženstvím. Taylorova práce je nejen v tomto ohledu postavena na jeho celoživotním zájmu o Hegelovu filosofii, v níž se hledá takový způsob, jak spojit etiku autenticity se smyslem pro společenství, který by překonal omezení reflektující racionality. Taylorovo obohacení Hegela můžeme chápat jako snahu nahradit tradiční nárok lásky k bližnímu srozumitelnějším pojmem podpory rozmanitosti v jednotě (resp. pojmem kultury). The essay examines Charles Taylor’s latest book The Secular Age (2007) by unveiling its Hegelian roots together with its debt to other critics of modernity and by considering some objections as well as Taylor’s answers. Taylor sketches two types of contemporary ethical projects. On the one hand he considers exclusive humanism, on the other the immanent antihumanism. The moral of Taylor’s story of modern secularism comes to his claim that the anti-humanism is enabled by humanism and humanism again by religiosity. According to him this comes to indispensability of religion: namely, some notion of transcendence is necessary for coherence of any set of values available to western man. Actually the originality inspiring its following is what he understands as the key element that is shared by the central claim of Christianity embodied in the notion of love (agape) overcoming the rigorism of explicit rules on the one hand and modern art as Ersatzreligion.(Not only) this aspect of Taylor’s recent work is rooted in his lifelong interest in Hegel, who looked for such pairing of the ethics of authenticity with a sense for community that could overcome the limits of reflective rationality. We can interpret Taylor’s amendement to Hegel as a substitution of „support for differentiation in unity“ (or simply „culture“) for „love for neighbour“. (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)

An important task for every major philosopher is to offer us an understanding of the nature of mind. The essays in this volume discuss different aspects of the philosophical theories of mind put forward in the century and a half that followed Descartes' Meditations of 1641. These years, often referred to as the 'early-modern' period, are probably unparalleled for originality and diversity in conceiving the mind. The volume not only includes two essays on Descartes' own thinking, but there are also (...) examinations of what Spinoza, Malebranche, Locke, Berkeley, Reid, the Cambridge Platonists, and others, have to say about the nature of mind. The aim of the volume is to represent some of the best contemporary research and reflection on mind in early-modern philosophy. The contributors, who teach at a range of universities in mainland Europe, Great Britain and North America, are Margaret Atherton, Miran BozoviÄ, Petr GlombìÄek, Boris Hennig, James Hill, Nicholas Jolley, Jan Palkoska, G. A. J. Rogers, and Anthony Savile. All the essays appear here for the first time. (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)

Could the employment of large language models (LLMs) in place of human advisors improve the problem-solving ability of democratic assemblies? LLMs represent the most significant recent incarnation of artificial intelligence and could change the future of democratic governance. This paper assesses their potential to serve as expert advisors to democratic representatives. While LLMs promise enhanced expertise availability and accessibility, they also present specific challenges. These include hallucinations, misalignment and value imposition. After weighing LLMs’ benefits and drawbacks against human advisors, I (...) argue that time-tested democratic procedures, such as deliberation and aggregation by voting, provide safeguards that are effective against human and machine advisor shortcomings alike. Additional protective measures may include custom training for advisor LLMs or boosting representatives’ competencies in query formulation. Implementation of adversarial proceedings in which LLM advisors would debate each other and provide dissenting opinions is likely to yield further epistemic benefits. Overall, promising interventions that would mitigate the LLM risks appear feasible. Machine advisors could thus empower human decision-makers to make more autonomous, higher-quality decisions. On this basis, I defend the hypothesis that LLMs’ careful integration into policymaking could augment democracy’s ability to address today’s complex social problems. (shrink)

The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC}$ of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in (...) this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property. (shrink)

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.

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)

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)

We ask how to use machine learning to expand observability, which presently depends on human learning that informs conceivability. The issue is engaged by considering the question of correspondence between conceived observability counterfactuals and observable, yet so far unobserved or unconceived, states of affairs. A possible answer lies in importing out of reference frame content which could provide means for conceiving further observability counterfactuals. They allow us to define high-fidelity observability, increasing the level of correspondence in question. To achieve high-fidelity (...) observability, we propose to use generative machine learning models as the providers of the out of reference frame content. From an applied point of view, such a role of generative machine learning models shows an emerging dimension of human-machine cooperation. (shrink)

Compactness is an important property of classical propositional logic. It can be defined in two equivalent ways. The first one states that simultaneous satisfiability of an infinite set of formulae is equivalent to the satisfiability of all its finite subsets. The second one states that if a set of formulae entails a formula, then there is a finite subset entailing this formula as well. In propositional many-valued logic, we have different degrees of satisfiability and different possible definitions of entailment, hence (...) the questions of compactness is more complex. In this paper we will deal with compactness of Gödel, GödelΔ, and Gödel∼ logics. (shrink)

[Aquinas and Cajetan on the analogy of names].

We explored differences in the course of physiological functions and in the subjective evaluations in response to listening to a 7-min recording of the sound of a chainsaw and to the sounds of a forest. A Biofeedback 2000x-pert apparatus was used for continual recording of the following physiological functions in 50 examined persons: abdominal and thoracic respiration and their amplitude and frequency, electrodermal activity, finger skin temperature, heart rate and heart rate variability. The group of 25 subjects listening to the (...) sound of a chainsaw exhibited significantly lower values of blood volume pulse amplitude, lower values in peak alpha frequency HRV and higher values in peak high-frequency HRV. In the time interval from 80 s to 209 s, in which the two groups showed the greatest differences, lower values of blood volume pulse were also recorded while listening to the sound of a chainsaw. Listening to the sound of a chainsaw is associated with a greater feeling of fatigue and higher tension, while listening to the sounds of a forest is even considered to elicit feelings of improved learning abilities. The assumption that listening to the sound of a chainsaw results in higher defense arousal was confirmed. The greater variability which is exhibited by a majority of physiological functions while listening to the forest sounds may also be an innovative finding. It seems that there are two types of arousal following from correlations between physiological functions and subjective assessment. Low values of blood volume pulse amplitude are especially important from the health perspective. They correspond to the amount of vasoconstriction which occurs in the endothelial dysfunction related to increased mortality, incidence of myocardial infarction, leg atherosclerosis and topically to COVID-19. (shrink)

In einem 1923 im Zionistischen Handbuch veröffentlichten Text entfaltet Hans Jonas Überlegungen über »Das jüdische Schulwesen in Palästina«, das damals unter britischem Mandat stand. Jonas beschreibt und diskutiert hierbei kritisch die Entwicklung bis zu diesem Zeitpunkt und formuliert seine Ideen zur Weiterentwicklung jüdischer Schuleinrichtungen.