ABSTRACTThe general assumption that people fail to notice discrepancy between their answer and the normative answer in the conjunction fallacy task has been challenged by the theory of Logical Intuition. This theory suggests that people can detect the conflict between the heuristic and normative answers even if they do not always manage to inhibit their intuitive choice. This theory gained support from the finding that people report lower levels of confidence in their choice after they commit the conjunction fallacy compared (...) to when their answer is not in conflict with logic. In four experiments we asked the participants to give probability estimations to the options of the conflict and no-conflict versions of the tasks in the original set-up of the experiment or in a three-option design. We found that participants perceive probabilities for the options of the conflict version less similar than for the no-conflict version. As people are less confident when choosing between more similar options, this simil.. (shrink)

In this study, we investigated whether control of the conflict between incongruent heuristic and analytical answer options in a reasoning task is modulated by the presence of conflict on previous trials. In two experiments, we found that the incongruency of the previous trial has a significant effect on the control exhibited on the current trial. Our data also showed that this adaptation effect is modulated by the incongruency of the previous series of trials. These results demonstrate the same control adaptation (...) effects for a reasoning task as observed for standard response interference tasks. Coinciding control effects in the two research areas suggest that cognitive control might be an important mechanism underlying performance on reasoning tasks. Based on these results we argue that the study of cognitive control in reasoning could potentially facilitate the refinement of empirical predictions and provide a new tool to explore the exertion of top-down control in human thinking. (shrink)

BackgroundThe amount and value of researchers’ peer review work is critical for academia and journal publishing. However, this labor is under-recognized, its magnitude is unknown, and alternative ways of organizing peer review labor are rarely considered.MethodsUsing publicly available data, we provide an estimate of researchers’ time and the salary-based contribution to the journal peer review system.ResultsWe found that the total time reviewers globally worked on peer reviews was over 100 million hours in 2020, equivalent to over 15 thousand years. The (...) estimated monetary value of the time US-based reviewers spent on reviews was over 1.5 billion USD in 2020. For China-based reviewers, the estimate is over 600 million USD, and for UK-based, close to 400 million USD.ConclusionsBy design, our results are very likely to be under-estimates as they reflect only a portion of the total number of journals worldwide. The numbers highlight the enormous amount of work and time that researchers provide to the publication system, and the importance of considering alternative ways of structuring, and paying for, peer review. We foster this process by discussing some alternative models that aim to boost the benefits of peer review, thus improving its cost-benefit ratio. (shrink)

Cognitive control is a set of mechanisms that help us process conflicting stimuli and maintain goal-relevant behaviour. According to the Affective Signalling Hypothesis, conflicting stimuli are aversive and thus elicit (negative) affect, moreover – to avoid aversive signals – affective and cognitive systems work together by increasing control and thus, drive conflict adaptation. Several studies have found that affective stimuli can indeed modulate conflict adaptation, however, there is currently no evidence that phasic affective states not triggered by conflict also trigger (...) improved cognitive control. To investigate this possibility, we intermixed trials of a conflict task and trials involving the passive viewing of emotional words. We tested whether affective states induced by affective words in a given trial trigger improved cognitive control in a subsequent conflict trial. Applying Bayesian analysis, the results of four experiments supported the lack of adaptation to aversive signals, both in terms of valence and arousal. These results suggest that phasic affective states by themselves are not sufficient to elicit an increase in control. (shrink)

This book argues for the case that governments develop with inherent constraints. These constraints support the case for the normative political theoretical defense of moderate governing.

Hawthorne, Landes, Wallmann and Williamson argue that the Principal Principle implies a version of the Principle of Indifference. We show that what the Authors take to be the Principle of Indifference can be obtained without invoking anything which would seem to be related to the Principal Principle. In the Appendix we also discuss several Conditions proposed in the same paper.

Physicalism is often characterized as an empirical hypothesis. But according to an alternative conceptualization, it is instead a stance or an attitude. I analyze Roy Wood Sellars’s materialist philosophy in order to show that it is a counterexample to a specific physicalist empirical hypothesis: the minimal completeness of the physical. However, it is arguably not reducible to a stance: it is a meaningful metaphysical thesis with substantive cognitive content.

The notion of common cause closedness of a classical, Kolmogorovian probability space with respect to a causal independence relation between the random events is defined, and propositions are presented that characterize common cause closedness for specific probability spaces. It is proved in particular that no probability space with a finite number of random events can contain common causes of all the correlations it predicts; however, it is demonstrated that probability spaces even with a finite number of random events can be (...) common cause closed with respect to a causal independence relation that is stronger than logical independence. Furthermore it is shown that infinite, atomless probability spaces are always common cause closed in the strongest possible sense. Open problems concerning common cause closedness are formulated and the results are interpreted from the perspective of Reichenbach's Common Cause Principle. (shrink)

We investigate Maxwell's attempt to justify the mathematical assumptions behind his 1860 Proposition IV according to which the velocity components of colliding particles follow the normal distribution. Contrary to the commonly held view we find that his molecular collision model plays a crucial role in reaching this conclusion, and that his model assumptions also permit inference to equalization of mean kinetic energies, which is what he intended to prove in his discredited and widely ignored Proposition VI. If we take a (...) charitable reading of his own proof of Proposition VI then it was Maxwell, and not Boltzmann, who gave the first proof of a tendency towards equilibrium, a sort of H-theorem. We also call attention to a potential conflation of notions of probabilistic and value independence in relevant prior works of his contemporaries and of his own, and argue that this conflation might have impacted his adoption of the suspect independence assumption of Proposition IV. (shrink)

In this article I offer an interpretation of the fundamental problem of phenomenology in terms of a philosophy of revelation proposing in this way the renewal of the last important development of Western philosophy both in terms of its metaphysical aspiration and scientific relevance. After the general introduction, I outline the philosophical problem of revelation. I show how this philosophy influenced early phenomenology. I explain the underlying subject matter in the history of phenomenology, i.e. the notion of disclosure. I also (...) outline what I term “apocalyptic phenomenology” in order to focus on the understanding of revelation. In this part I offer details of the notion of newness and the appropriate method applied here. Finally, I summarize the scientific relevance of my approach in the context of logic, methodology, disciplinarity with a special emphasis on the study of religion. (shrink)

Name der Zeitschrift: Zeitschrift für kritische Sozialtheorie und Philosophie Jahrgang: 5 Heft: 1 Seiten: 86-102.

Jeffrey conditioning is said to provide a more general method of assimilating uncertain evidence than Bayesian conditioning. We show that Jeffrey learning is merely a particular type of Bayesian learning if we accept either of the following two observations: – Learning comprises both probability kinematics and proposition kinematics. – What can be updated is not the same as what can do the updating; the set of the latter is richer than the set of the former. We address the problem of (...) commutativity and isolate commutativity from invariance upon conditioning on conjunctions. We also present a disjunctive model of Bayesian learning which suggests that Jeffrey conditioning is better understood as providing a method for incorporating unspecified but certain evidence rather than providing a method for incorporating specific but uncertain evidence. The results also generalize over many other subjective probability update rules, such as those proposed by Field and Gallow. (shrink)

We call attention to different formulations of how physical laws relate to what is physically possible in the philosophical literature, and argue that it may be the case that determinism fails under one formulation but reigns under the other. Whether this is so depends on our view on the nature of laws, and may also depend on the inter-theoretical relationships among our best physical theories, or so shall we argue.

We argue that the truth of determinism is not an interpretation-free fact and we systematically overview relevant interpretational choices that are less known in the philosophical literature. After bypassing the well known interpretational problem that arises in quantum mechanics we identify three further questions about the representational role of the mathematical structures employed by physical theories. Finally we point out that even if we settle all representational issues the received view of physical possibility may also allow the truth of determinism (...) to depend on prior philosophical convictions, notably on one's philosophical account of the nature of laws. (shrink)

The volume offers the first-ever synthetic overview of the history of modern political thought in East Central Europe. Covering twenty national cultures and languages wedged between Russia, Turkey, Austria and Germany, it goes beyond the conventional nation-centered narrative and offers a novel vision of transnational intellectual history. The authors focus on the ways political thinkers outside of Western Europe sought to bridge the gap between an idealized Western modernity and their own societies. Mapping these discourses and debates from the Enlightenment (...) to the First World War, the volume helps rethinking some of our basic assumptions about the history of modern European culture and politics. (shrink)

The volume, stemming from the long-term cooperation of scholars working on East Central European intellectual history, discusses the patterns of patriotic and national identification in the light of the multiplicity of levels of ethnic, cultural and political allegiances characterizing this region in the early modern period.

The article traces the development of Hungarian intellectual history of the early modern period from the emergence of the national romantic constructions of literary history to the recent turn towards contextualist and conceptual history. One of its main findings is the ideological importance of this period for the formation of the national canon, as it became a central point of reference for the emerging local methodological tradition of intellectual history, even if it was often compartamentalized under other categories. From this (...) perspective, the article puts particular emphasis on ideological constructions seeking to define the nation and depict the emergence of modern national identity. This finding also offers a vantage point for analyzing the interplay between literary history and the socio-culturally focused approaches, which can be considered the main framework for the developments of the last two decades, when these local historiographical traditions entered into an interesting dialogue with the Western European and American schools of intellectual history. Along these lines, while pointing out the discursive continuities with the previous paradigms, which are shaping even the contemporary historiographical production, the article also ponders the ways in which the inherited (post-)romantic constructions can be successfully challenged. (shrink)

Biró, B. and I. Sain, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Annals of Pure and Applied Logic 63 201-225. We show that one can prove the partial correctness of more programs using Peano's axioms for the time frames of three-sorted time models than using only Presburger's axioms, that is it is useful to allow multiplication of time points at program verification and in dynamic and temporal logics. We organized the paper (...) as follows: 1. Preliminaries, 2. The main result, 3. Peano arithmetic with bounded multiplication, 4. Connections with temporal logics and dynamic logics, Acknowledgements, References. (shrink)

Working in constructive set theory we formulate notions of constructive topological space and set-generated locale so as to get a good constructive general version of the classical Galois adjunction between topological spaces and locales. Our notion of constructive topological space allows for the space to have a class of points that need not be a set. Also our notion of locale allows the locale to have a class of elements that need not be a set. Class sized mathematical structures need (...) to be allowed for in constructive set theory because the powerset axiom and the full separation scheme are necessarily missing from constructive set theory. We also consider the notion of a formal topology, usually treated in Intuitionistic type theory, and show that the category of set-generated locales is equivalent to the category of formal topologies. We exploit ideas of Palmgren and Curi to obtain versions of their results about when the class of formal points of a set-presentable formal topology form a set. (shrink)

The ingenious thought of Anton Günther (1783–1863) is rarely mentioned in the annals of nineteenth-century philosophy. However, in the eyes of his contemporaries, Günther belonged to the key thinkers of his age on par with Kant, Fichte, Hegel, and Schelling. Günther was an original writer yet he left many of his insights undeveloped or ambiguously formulated. As a flamboyant and popular debater, he attacked the most influential philosophers of his time. His attacks were aimed especially at what he termed the (...) unavoidable pantheism of these thinkers, a pantheism Günther often identified with monism. Monism, semi-monism, pantheism, and semi-pantheism are recurring charges of Günther against many influential thinkers, including even Descartes, whose thought Günther considered otherwise epoch-making. Based on a reformed Cartesianism, Günther elaborated his antidote he termed dualism. Yet Güntherian dualism turns out to be a synthesis properly termed organicism. On such a basis, Günther carried out a heroic attempt to transcend the horizon of traditional views and open the vista of an I-centered philosophy built on the universal notion of revelation. By re-reading this Bohemia-born thinker, one can have a better understanding of the scope and influence of what we term Austrian Philosophy. (shrink)

Im Allgemeinen widmet sich das vorliegende Buch dem gemeinsamen Problembereich der zeitgenössischen Theologie und Philosophie, aber den konkreten Anlass der hiesigen Beiträgen geben jedoch die Parallelität in der Erscheinung der Enzyklika Fides et Ratio vom Papst Hl. Johannes Paulus II., und die Heiligsprechung Edith Steins (Mitpatronin Europas) von demselben heiligen Papst. Die Autoren des Bandes reflektieren sich auf die Gemeinsamkeit des Denkens dieser zwei Heiligen des 20. Jahrhunderts, auf ihre philosophischen Engagements in der christlichen Philosophie, sowie auf die heutigen Möglichkeiten (...) des gemeinsamen Denkens von Philosophie und Theologie. (shrink)

From the end of the 19th century until his death, one of history's most brilliant mathematicians languished in an asylum. The Mystery of the Aleph tells the story of Georg Cantor (1845-1918), a Russian-born German who created set theory, the concept of infinite numbers, and the "continuum hypothesis," which challenged the very foundations of mathematics. His ideas brought expected denunciation from established corners - he was called a "corruptor of youth" not only for his work in mathematics, but for his (...) larger attempts to meld spirituality and science. (shrink)

A particular subject-matter in Franz Brentano's philosophy is his approach to the history of philosophy. I shall consider the evolution of his concept of the history of philosophy, the sources of this concept, and, finally, its relationship to Edmund Husserl's understanding of the history of philosophy. Brentano's scheme of the four phases of the history of philosophy can serve as a principle of evaluation of what comes after Brentano's era in the history of philosophy.

Divine revelation as a subject matter cannot be properly considered in the framework of theology, as theology already presupposes revelation. In order to conceive revelation in a non-theological way, we need a philosophical approach. Thus we can recognize the need for a renewed understanding of revelation as God’s self-revelation. In this paper I argue for the understanding of God’s self-revelation as radical revelation, which is opposed to partial understandings ofrevelation, such as the propositional one. A given notion of divine revelation (...) goes together with a given notion of human persons; and as soon as it becomes clear that divine revelation is properly understood as radical revelation, the need of a radical understanding of human persons can be recognized too. Human persons can be determined in terms of their ad se or ad aliud dimensions, but it is the former that leads to a proper understanding of human persons as being basically related to the radically self-revealing God. (shrink)

In this note a T1 formal space is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a formal space, and prove that the class of points of a weakly set-presentable formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties for constructive topological spaces , strengthening separation properties discussed elsewhere. Finally we relate (...) the properties for ct-spaces with corresponding properties of formal spaces. (shrink)

We introduce a new axiom scheme for constructive set theory, the Relation Reflection Scheme . Each instance of this scheme is a theorem of the classical set theory ZF. In the constructive set theory CZF–, when the axiom scheme is combined with the axiom of Dependent Choices , the result is equivalent to the scheme of Relative Dependent Choices . In contrast to RDC, the scheme RRS is preserved in Heyting-valued models of CZF– using set-generated frames. We give an application (...) of the scheme to coinductive definitions of classes. (shrink)

Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary refinement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary refinement implies that the class of detachable subsets of a set form a set. Binary refinement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was sufficient to prove that the (...) Dedekind reals form a set. Here we show that the Cauchy reals also form a set. More generally, binary refinement ensures that one remains in the realm of sets when one starts from discrete sets and one applies the operations of exponentiation and binary product a finite number of times. (shrink)

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on (...) the problem whether there are (enough) injective sets in CZF. We show that no two element set is injective unless the law of excluded middle is admitted for negated formulas, and that the axiom of power set is required for proving that “there are strongly enough injective sets”. The latter notion is abstracted from the singleton embedding into the power set, which ensures enough injectives both in every topos and in IZF. We further show that it is consistent with CZF to assume that the only injective sets are the singletons. In particular, assuming the consistency of CZF one cannot prove in CZF that there are enough injective sets. As a complement we revisit the duality between injective and projective sets from the point of view of intuitionistic type theory. (shrink)

The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory . Arithmetical CST is just strong enough to represent the class of von Neumann natural numbers and its arithmetic so as to interpret Heyting Arithmetic. Rudimentary CST is a very weak subsystem that is just strong enough to represent a constructive version of Jensenʼs rudimentary set theoretic functions and their theory. The paper is a contribution to the study (...) of formal systems for CST that capture significant stages in the development of constructive mathematics in CST. (shrink)

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

This paper is a further consideration of Hemmo and Shenker’s ideas about the proper conceptual characterization of macrostates in statistical mechanics. We provide two formulations of how macrostates come about as elements of certain partitions of the system’s phase space imposed on by the interaction between the system and an observer, and we show that these two formulations are mathematically equivalent. We also reflect on conceptual issues regarding the relationship of macrostates to distinguishability, thermodynamic regularity, observer dependence, and the general (...) phenomenon of measurement. (shrink)