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.
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.
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)
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.
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 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)
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)
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)
Having been invited by editor-in-chief, Professor Anne Wagner, to edit the present special issue, we decided to fulfil a longstanding wish to provide a panorama about the Hungarian Language and Law. Along with other ‘law and …’ movements, Law and Language has attracted a great deal of attention from subsequent generations of Hungarian academic lawyers, because the political transition served as a wonderful subject and context for scholarly papers and text books, for examining the putative or real influence of this (...) or that popular social scientist or for undertaking literature overviews. Unfortunately, there have been relatively few academic papers that have sought to draw general conclusions from empirically well-founded case studies. In order to fill that important gap, this special issue has taken the opportunity to select only those interdisciplinary papers whose goals include an analysis of Hungarian legal discourse written from a critical angle and using critical empirical methodology. At the very outset of the editing process—back in 2018—for the purposes of this special issue we defined as ‘empirical’ any sufficiently coherent fact-based research that reflects the language of legal discourse. And ‘critical’ means an engagement with the values of the Rule of Law. This double methodological and axiological feature is manifest throughout the selected papers classified as ‘law and language’. (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)
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ósSzabó), 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)
Repression has become an empirical fact that is at once obvious and problematic. Fragmented clinical and laboratory traditions and disputed terminology have resulted in a Babel of misunderstandings in which false distinctions are imposed (e.g., between repression and suppression) and necessary distinctions not drawn (e.g., between the mechanism and the use to which it is put, defense being just one). “Repression” was introduced by Herbart to designate the (nondefensive) inhibition of ideas by other ideas in their struggle for consciousness. Freud (...) adapted repression to the defensive inhibition of “unbearable” mental contents. Substantial experimental literatures on attentional biases, thought avoidance, interference, and intentional forgetting exist, the oldest prototype being the work of Ebbinghaus, who showed that intentional avoidance of memories results in their progressive forgetting over time. It has now become clear, as clinicians had claimed, that the inaccessible materials are often available and emerge indirectly (e.g., procedurally, implicitly). It is also now established that the Ebbinghaus retention function can be partly reversed, with resulting increases of conscious memory over time (hypermnesia). Freud's clinical experience revealed early on that exclusion from consciousness was effected not just by simple repression (inhibition) but also by a variety of distorting techniques, some deployed to degrade latent contents (denial), all eventually subsumed under the rubric of defense mechanisms (“repression in the widest sense”). Freudian and Bartlettian distortions are essentially the same, even in name, except for motive (cognitive vs. emotional), and experimentally induced false memories and other “memory illusions” are laboratory analogs of self-induced distortions. Key Words: avoidance; Bartlett; defense; denial; distortion; Ebbinghaus; false-memories; Freud; inhibition; repression; suppression. (shrink)
Unconscious processes, by whatever name they may be known , are invariably operationalized by the dissociation paradigm, any situation involving the dissociation between two indicators , one of availability and the other, of accessibility , such that, ε>α. Subliminal perception has been traditionally defined by a special case of the dissociation paradigm in which availability exceeds accessibility when accessibility is null . Construct validity issues bedevil all dissociation paradigms since it is not clear what might constitute appropriate indicators that, moreover, (...) are pure and exhaustive. Semantic and theoretic drifts in the recent literature—e.g., the confusion of different versions of the dissociation paradigm, the equation of conscious–unconscious with direct–indirect tests, and the foisting of the criterion of qualitative differences—have tended to undermine emerging theoretic parsimony. On the other hand, a crucial factor has been left out of theory development: time. Both ε and α can rise and fall over time, often asynchronously, and so dissociations may wax and wane and, even, reverse over time. Some laboratory evidence suggests that accessibility measures , as they approach chance, may actually dip below chance . If so, d′=0 , could be an averaging artifact of positive and negative d′s. Conscious accessibility is not either–or but more or less, and variable over time. (shrink)
Mutually beneficial exchanges in markets can be exploitative because one party takes advantage of an underlying injustice. For instance, employers of sweatshop workers are often accused of exploiting the desperate conditions of their employees, although the latter accept the terms of their employment voluntarily. A weakness of this account of exploitation is its tendency for over-inclusiveness. Certainly, given the prevalence of global and domestic socioeconomic inequalities, not all exchanges that take place against background injustices should be considered exploitative. This paper (...) offers a framework to identify exploitation in mutually beneficial exchange, focusing on the case of sweatshop labor. It argues that an employer can be viewed as taking unfair advantage of an underlying injustice if and only if the employer’s surplus from the exchange in the unjust state of affairs exceeds the surplus it could maximally obtain in a just state of affairs. The paper illustrates the applicability of this framework using three different conceptions of justice and argues that it is superior to microlevel accounts of exploitation that regard background justice as irrelevant. The paper concludes by describing some normative implications that follow from judging an exchange exploitative. (shrink)
If $\mathcal{A}$ (V) is a net of local von Neumann algebras satisfying standard axioms of algebraic relativistic quantum field theory and V 1 and V 2 are spacelike separated spacetime regions, then the system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) is said to satisfy the Weak Reichenbach's Common Cause Principle iff for every pair of projections A∈ $\mathcal{A}$ (V 1 ), B∈ $\mathcal{A}$ (V 2 ) correlated in the normal state φ there exists a projection C (...) belonging to a von Neumann algebra associated with a spacetime region V contained in the union of the backward light cones of V 1 and V 2 and disjoint from both V 1 and V 2 , a projection having the properties of a Reichenbachian common cause of the correlation between A and B. It is shown that if the net has the local primitive causality property then every local system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) with a locally normal and locally faithful state φ and suitable bounded V 1 and V 2 satisfies the Weak Reichenbach's Common Cause Principle. (shrink)
This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (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)
0. Abstract In this paper, I argue that although the behavior of adjectives in context poses a serious challenge to the principle of compositionality of content, in the end such considerations do not defeat the principle. The first two sections are devoted to the precise statement of the challenge; the rest of the paper presents a semantic analysis of a large class of adjectives that provides a satisfactory answer to it. In section 1, I formulate the context thesis, according to (...) which the content of a complex expression depends on the context of its utterance only insofar as the contents of its constituents do. If the context thesis is false, the content of some complex expression is not compositionally determined. In section 2, using an example due to Charles Travis, I construct an objection to the context thesis based on the behavior of the adjective ‘green’. In section 3 and 4, I look at some of the difficulties surrounding the semantics of ‘good’, which provide the motivation for the thesis that most adjectives are contextually incomplete one-place predicates. In section 5, I discuss how ‘green’ and other color adjectives can be treated within such a semantic theory. Since this theory is compatible with the context thesis, the objection against the compositionality of content looses its force. (shrink)
... of Quantum Physics Book Editors Miklós Rédei1 Michael Stöltzner2 Eötvös University, Budapest, Hungary Institute Vienna Circle, Vienna, University of Salzburg, Vienna, Austria ISSN 09296328 ISBN 9789048156511 ISBN 9789401720120 ...
We study sincere-strategy preference-based approval voting , a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes , with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates the voters' approval strategies are adjusted (...) – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control. (shrink)
Reichenbach's principles of a probabilistic common cause of probabilistic correlations is formulated in terms of relativistic quantum field theory, and the problem is raised whether correlations in relativistic quantum field theory between events represented by projections in local observable algebrasA andA pertaining to spacelike separated spacetime regions V1 and V2 can be explained by finding a probabilistic common cause of the correlation in Reichenbach's sense. While this problem remains open, it is shown that if all superluminal correlations predicted by the (...) vacuum state between events inA andA have a genuinely probabilistic common cause, then the local algebrasA andA must be statistically independent in the sense of C*-independence. (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.
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)
Three classes are introduced which are closely related to the class included in the title. It is proven that the class obtained from by replacing axiom C4 by the commutativity of single substitutions can be considered as the abstract class in the Resek–Thompson theorem, thus it is representable by set algebras. Then the class is defined and it is shown that the necessary and sufficient condition for neat embeddability of an algebra in CAα into is the validity of the merry-go-round (...) properties. Finally, the class is introduced which class is a counterpart of among the polyadic like algebras. (shrink)
We study sincere-strategy preference-based approval voting, a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes, with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates the voters' approval strategies are adjusted – if (...) needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control. (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)
The capacity to represent things to ourselves as possible plays a crucial role both in everyday thinking and in philosophical reasoning; this volume offers much-needed philosophical illumination of conceivability, possibility, and the relations between them.
