We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.

Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.

Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.

We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...) that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...) that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

A condition is formulated in terms of the probabilities of two pairs of correlated events in a classical probability space which is necessary for the two correlations to have a single (Reichenbachian) common-cause and it is shown that there exists pairs of correlated events probabilities of which violate the necessary condition. It is concluded that different correlations do not in general have a common common-cause. It is also shown that this conclusion remains valid even if one weakens slightly Reichenbach's definition (...) of common-cause. The significance of the difference between common-causes and common common-causes is emphasized from the perspective of Reichenbach's Common Cause Principle. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra $\cS$ in a probability measure space $(\cS,p)$ is called a Reichenbachian common cause system for the correlated pair $A,B$ of events in $\cS$ if any two elements in the partition behave like a Reichenbachian common cause and its complement, the cardinality of the index set $I$ is called the size of the common cause system. It is shown that given any correlation in $(\cS,p)$, and given any finite size $n>2$, the probability space (...) $(\cS,p)$ can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size $n$ for the correlation. It also is shown that every totally ordered subset in the partially ordered set of all partitions of \cS$ contains only one Reichenbachian common cause system. Some open problems concerning Reichenbachian common cause systems are formulated. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and given any finite (...) natural number n > 2, the probability space (Ω,p) can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size n for the correlation. (shrink)

The Borel–Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which loses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of conditional expectations is the proper mathematical device to conditionalize and that this theory allows conditionalization with respect to probability zero events. The conditional probabilities (...) on probability zero events in the Borel–Kolmogorov Paradox also can be calculated using conditional expectations. The alleged clash arising from the fact that one obtains different values for the conditional probabilities on probability zero events depending on what conditional expectation one uses to calculate them is resolved by showing that the different conditional probabilities obtained using different conditional expectations cannot be interpreted as calculating in different parametrizations of the conditional probabilities of the same event with respect to the same conditioning conditions. We conclude that there is no clash between the correct intuition about what the conditional probabilities with respect to probability zero events are and the technically proper concept of conditionalization via conditional expectations—the Borel–Kolmogorov Paradox is just a pseudo-paradox. (shrink)

Anything other than paraphrasing the well-known Heraclitean aphorism would not be more appropriate to portray the crux of the contribution of the three philosophers of the Budapest School, Gábor Hofer-Szabó, Miklós Rédei and Lázló E. Szabó, in the ongoing discussion of the principle of the common cause . Indeed, ‘common causes love to hide’ and for that reason critics and aspirant falsifiers of PCC find correlations which, at a first level of analysis, might lack a common cause (...) explanation. But as the authors argue such correlations do not amount to disconfirming evidence for the principle, since PCC does not specify where to search for a common cause of a correlation; it just states that there is one. PCC is neither falsifiable, nor verifiable; it is a metaphysical doctrine that can only be assessed for its plausibility in the light of theories of empirical science. This idea fosters the investigation of the existence of common causes of correlations in two fundamental physical t .. (shrink)

Review by: Maté Szabó The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 110-112, March 2013.

Speaking of “delight of knowledge” al-Māwardī- explains the meaning of knowledge in a sense which is alien to the philosophical tradition, but well known in the ancient Greek rhetoric. Some signs indicate that the Arabic adab-literature is in a certain respect heir to the Greek rhetoric. The presence of some elements of philosophy in al-Māwardī’s writings can be explained by the fact that the traditional rhetoric formation relied on a basic knowledge of philosophy too. This kind of the popular version (...) of philosophy has been conveyed to al-Māwardī, and through him to the Arab readers. One has to take into account the ancient rhetoric and the adab-literature as an alternative channels through which Greek philosophy has been transmitted to the Islam. (shrink)

This article analyzes how five leading Hungarian postdissident liberal thinkers conceptually constructed their view of liberalism in the early years of postcommunism. Studying Beszélő, the most signi cant liberal journal during the early years of representative democracy, it shows how they did so through references to political “threats” and the idea of a “liberal minimum” (János Kis), local liberal and democratic traditions and “progressive patriotism” (Miklós Szabó), the ongoing “liberal-conservative revolution” and the creation of a “new political community” (...) (Gáspár Miklós Tamás), antipolitics and “expertise” (György Konrád), and the “complete catalog of human rights” and the agenda of “modernization” (István Eörsi), respectively. Next to its conceptual analysis of heavily influential individual thinkers, the article discusses the ambition of postdissident Hungarian liberals to harmonize liberal and democratic tenets. Last but not least, it elaborates on the left-wing origins of many of their central concepts that, as suggested here, ultimately hindered liberalism's assumption of a central position in the new political system. (shrink)

…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

This chapter describes how philosophical theorizing about justice can be connected with empirical research in the social sciences. We begin by drawing on some received distinctions between ideal and non-ideal approaches to theorizing justice along several different dimensions, showing how non-ideal approaches are needed to address normative aspects of real-world problems and to provide practical guidance. We argue that there are advantages to a transitional approach to justice focusing on manifest injustices, including the fact that it enables us to set (...) aside some reasonable disagreements about justice. The ‘bottom-up’ approach we advocate, for which we borrow Wolff’s term ‘real-world political philosophy’, is an empirically-informed normative analysis that attends to specific, identifiable injustices, and thus is partial, though not isolationist. We illustrate our approach by considering how different models of the nature of disability suggest different kinds of remedy for injustices faced by persons living with disabilities. We reflect on the nature and significance of vulnerabilities, and we assess the role of public opinion in normative theorizing, suggesting a particular significance for the opinions and experiences of marginalized groups. We finally reflect on the relevance of European legal and institutional frameworks for theorizing justice in Europe. (shrink)

A fictionalist attitude towards an area of discourse encourages us to assent to certain sentences of that discourse without believing that they are true. Prima facie, this amounts to a suggestion that we should also assent to sentences of the form 'S but I don't believe that S'. Traditional versions of fictionalism have an answer to this challenge, but I argue that the answer is unavailable for a currently popular type of fictionalism. This is bad news for fictionalism in general (...) because the currently popular variety is the one that deals best with the Quine-Putnam indispensability argument. (shrink)

Yablo gives us an account of subject-matter - a characterization of what declarative sentences are about. I argue that this account can be seen as a way of adjusting Frege’s theory of meaning, so as it no longer carries the implausible commitment that declarative sentences refer to their truth-values. I also point out that Yablo’s approach faces an unpleasant choice: give up a uniform compositional semantics for interrogative sentences or abandon the idea that ordinary characterizations of subject matter are literally (...) and unambiguously true. (shrink)

Most philosophers believe that a person can have an obligation only insofar as she is able to fulfil it, a principle generally referred to as “Ought Implies Can”. Arguably, this principle reflects something basic about the ordinary concept of obligation. However, in a paper published recently in this journal, Wesley Buckwalter and John Turri presented evidence for the conclusion that ordinary people in fact reject that principle. With a series of studies, they claimed to have demonstrated that, in people’s judgements, (...) obligations persist irrespective of whether those who hold them have the ability to fulfil them. We argue in this paper that due to some problems in their design, Buckwalter & Turri’s conclusions may not be war- ranted. We present the results of a series of studies demonstrating the problems with their design and showing that, with an improved design, people judge that obligation depends on ability after all. (shrink)

Forthcoming, Journal of Philosophy [pdf manuscript].

Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.

Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation is not (...) among them. (shrink)

Leading scholars in the philosophy of language and theoretical linguistics present brand-new papers on a major topic at the intersection of the two fields, the distinction between semantics and pragmatics. Anyone engaged with this issue in either discipline will find much to reward their attention here. Contributors: Kent Bach, Herman Cappelen, Michael Glanzberg, Jeffrey C. King, Ernie Lepore, Stephen Neale, F. Recanati, Nathan Salmon, Mandy Simons, Scott Soames, Robert J. Stainton, Jason Stanley, Zoltan Gendler Szabo.

This paper argues for a reappraisal of extant scholarship on delegation in the domain of financial regulation. Through an examination of Japan's experience with financial regulation between 1992 and 2003, it is demonstrated that crisis-induced institutional development entails a shift toward a more flexible, trustee-type bureaucratic structure. While the logic presented in this paper is far from a universally applicable theory of institutional change, it calls into question the relevance of more conventional approaches to the origins of delegation of authority, (...) notably the approach that uses unified and divided government as a key variable. A renewed emphasis on the role of extra-political sources of transfers of authority inside the executive, and also between the legislature and the executive, therefore, is in order. (shrink)

Contemporary Complex Cinema. Complex conditions: the resurgence of narrative complexity ; Complex cinema as brain-candy for the empowered viewer ; Narrative taxonomies: simple, complex, puzzle plots -- Cognitive Approach to Contemporary Complex Cinema. Why an (embodied-)cognitive approach? ; Various forms of complexity and their effects on sense making ; Problematizing narrative linearity ; Complicating narrative structures and ontologies ; Under-stimulation and cognitive overload ; Contradictions and unreliabilities ; A cognitive approach to classifying complexity ; Deceptive unreliability and the twist film (...) ; Disorienting but solvable puzzle films ; Impossible puzzle films -- Narrative Complexity and Dissonant Cognitions. The concept of cognitive dissonance ; Cognitions in dissonance: from social psychology to narrative engagement ; Types of dissonance in narrative comprehension ; Narrative incongruities ; Narrative impossibilities ; Cognitive access to impossible storyworlds: immersed and reflected operations ; 'Impossibilities' and embodied cognition ; Disrupting viewers' reliance on image schemas by perceptual impossibility ; Disrupting viewers' reliance on image schemas by formal impossibility -- Taming Dissonance: Cognitive Operations and Interpretive Strategies. Cognitive dissonance versus narrative coherence ; Reducing dissonance: interpretation and naturalization ; Foregrounding ; Narrating agency and authorship ; Artefact emotions and metareflexive appreciation ; Interpretation as dissonance reduction ; Coping with dissonance: frame-switches and poetic and aesthetic readings ; Frame-switching as hermeneutic play in impossible puzzle films ; Switching between narrative and symbolical readings: Enemy and Mulholland Drive ; Cognitive hesitation and the fantastic -- Impossible Puzzle Films: Between Art-Cinema and (Post-) Classical Narration. From art-cinema to puzzle films ; Art-cinema as a narrative mode ; Dissonance in modernist art-cinema ; Art-cinema as a cognitive reception frame ; Narrative complexity and meaning-making in art-cinema ; Impossible puzzle films and (post-)classical narration ; High degree of tellability ; Identification with goal-oriented characters ; Strong reliance on classical genre elements ; Adherence to classical narrative cohesion devices ; Inclusion of quasi-rational frames of naturalization -- Wallowing in Dissonance: The Attractiveness of Impossible Puzzles. Hermeneutic play and interpretive multiplicity ; Orientation, navigation, mapping ; Game logic and the fascination in failure ; Effort justification ; Diegetization of decoupling ; Fascination in infinity ; Destabilized ontological certainty ; Eudaimonic motivations and intrinsic needs. (shrink)

In this paper, I critically analyze Andrea Sangiovanni’s approach to international justice in the EU that he labels Reciprocity-based Internationalism (RBI). I aim to show that the type of reciprocity RBI operates with is not a morally attractive ground for distributive justice because it cannot cope with the case of member states’ inability to reciprocate the production of collective goods at the EU level. I illustrate this with the case of disability. I contrast RBI’s understanding of reciprocity with Christie Hartley’s (...) ‘relationship model’. I argue that the relationship model of reciprocity should characterize the EU, whose two core normative features are fraternity and equal status. The advantage of the relationship model is that it calls for a stronger type of solidarity than RBI does. That not only entails the willingness to support those worse-off members that cannot productively reciprocate other member states’ efforts at the EU level but also calls for a higher redistribution rate within the EU. In the paper, I make three comparisons between RBI’s ‘productive reciprocity’ and the relationship model. The first concerns non-EU-integration-related disadvantages; the second concerns membership cases, such as accession to federations and supranational unions, while the third comparison examines EU-integration-related disadvantages. I argue that the relationship model is a better alternative to RBI in both integration-related and non-integration-related disadvantages. Also, the relationship model can justify accession cases where previous historical ties are relevant, which are outside of the purview of RBI. (shrink)

Let be a finite collection of finite algebras of finite signature such that SP( ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection 1 of finite algebras of the same signature, , such that SP( 1) is finitely axiomatizable.We show also that if , then SP( 1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract (...) indicates. (shrink)

Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document} be a finite collection of finite algebras of finite signature such that SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}) has meet semi-distributive congruence lattices. We prove that there exists a finite collection \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1 of finite algebras of the same signature, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}_1 \supseteq (...) \mathcal{K}$$ \end{document}, such that SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1) is finitely axiomatizable.We show also that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$HS(\mathcal{K}) \subseteq SP(\mathcal{K})$$ \end{document}, then SP(\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{K}$$ \end{document}1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract indicates. (shrink)

Standard derivations of the Bell inequalities assume a common common cause system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper (Grasshoff et al., 2005) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect correlations can be reduced to the assumptions (...) of common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabó's (2000) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a delta δ-neighborhood of perfect EPR correlations. (shrink)

Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...) correlations can be reduced to the assumptions of a common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabo's ) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a δ-neighborhood of perfect EPR correlations. (shrink)

Moti Mizrahi provides experimental evidence according to which subjects judge that a person ought to ? even when she cannot ?. He takes his results to constitute a falsification of the alleged intuitiveness of the ‘Ought Implies Can’ principle. We point out that in the light of the fact that (a) ‘ought’ is multiply ambiguous, that (b) only a restricted set of readings of ‘ought’ will be relevant to the principle, and that (c) he did not instruct his subjects appropriately (...) – or otherwise ensure that in their ‘ought’ judgements they applied the relevant concept(s) – Mizrahi’s conclusions appear premature. We suggest two ways in which the experimental design could be adjusted or supplemented. First, Mizrahi could instruct (or prime) subjects to read the ‘ought’ question in a particular way. Second, he could complement his experiment by asking follow-up questions aimed at uncovering the implications for blame of subjects’ judgements. Once these adjustments are applied, an experiment with a similar outcome would be more significant. (shrink)

I introduce and argue for the importance of a cognitive state that I call alief. An alief is, to a reasonable approximation, an innate or habitual propensity to respond to an apparent stimulus in a particular way. Recognizing the role that alief plays in our cognitive repertoire provides a framework for understanding reactions that are governed by nonconscious or automatic mechanisms, which in turn brings into proper relief the role played by reactions that are subject to conscious regulation and deliberate (...) control. (shrink)

On one standard reading, Plato's works contain at least two distinct views about the structure of the human soul. According to the first, there is a crucial unity to human psychology: there is a dominant faculty that is capable of controlling attention and behaviour in a way that not only produces right action, but also ‘silences’ inclinations to the contrary—at least in idealized circumstances. According to the second, the human soul contains multiple autonomous parts, and although one of them, reason, (...) normatively dominates the others, it may fail to do so descriptively: even in the face of full, explicit, well‐reasoned, conscious awareness of the truth of a claim, a person may continue to feel residual inclinations towards disavowed, inappropriate and misguided experiences and courses of action. In this paper, I will argue that even the second of these views does not fully capture the ways in which reflective commitment fails to guide human action. Whereas the traditional multi‐part soul view is well suited to explaining phenomena that involve a cognitive conflict between our reflective attitudes and our non‐reflective endorsements, it falls short when we turn to the full array of human patterns of response, because it neglects a further source of challenge to reason's rule, namely, the mediation of associative and heuristic processes. These processes introduce complications for which the simple faculty psychology view cannot adequately account. Because they produce challenges to reason's rule that are phenomenologically invisible, traditional strategies for self‐regulation cannot be straightforwardly applied to their management. (shrink)

It is known that every α-dimensional quasi polyadic equality algebra (QPEA α ) can be considered as an α-dimensional cylindric algebra satisfying the merrygo- round properties . The converse of this proposition fails to be true. It is investigated in the paper how to get algebras in QPEA from algebras in CA. Instead of QPEA the class of the finitary polyadic equality algebras (FPEA) is investigated, this class is definitionally equivalent to QPEA. It is shown, among others, that from every (...) algebra in a β-dimensional algebra can be obtained in QPEA β where , moreover the algebra obtained is representable in a sense. (shrink)

I will argue that Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality since, for the argument to be effective, operators must be uniquely associated with measur...