Metaphor was based on similarity. During their history the Arabs adopted different logical systems in their scientific investigations. They shifted from Aristotle's logic accepted by the philosophers to that of the theologians and jurisconsults, and later again back to Aristotle's logic. In all these logical systems the definition of metaphor was dependent on the ever changing meaning of “similarity”. The seemingly unchanging definition of metaphor implies different interpretations in different ages parallel to the changing logical background.
The Harvard University Program in Ethics and Health, 651 Huntington Avenue, 6th floor c/o HSPH, François Xavier Bagnoud Building, Boston, MA 02115, USA. Tel.: +1 617 4327244; Email: andras_miklos{at}hms.harvard.edu ' + u + '@' + d + ' '//--> Abstract When exercising their public health powers, states claim various rights against their subjects and aliens. The paper considers whether public health considerations can help justify some of these rights, and explores some constraints on the justificatory force of public health considerations. (...) I outline two arguments about the moral grounds for states’ rights with regard to public health. The principle of fairness emphasizes that those who benefit from public health measures ought to contribute their fair share in upholding them. Alternatively, states’ rights might be justified by a natural duty of justice to uphold and not to obstruct institutions implementing public health policies. I indicate some reasons for preferring the latter justification. I further argue that the assignment of some rights to states via public health-based justification is undermined on several counts. Domestic political institutions cannot effectively perform some of their functions in protecting public health. Furthermore, transborder public health threats pose collective action problems at the global level. Finally, concerns about human rights work against the assignment of some rights to states. I conclude by arguing that these concerns call for global coordination, and that some rights claimed by states ought instead to be assigned to global institutions. CiteULike Connotea Del.icio.us What's this? (shrink)
Miklos Vetö | Résumé : La philosophie occidentale, depuis ses origines helléniques jusqu’aux grands systèmes postcartésiens, n’a jamais su donner sa place au particulier, au singulier. L’intelligibilité du singulier ne pouvait être exposée en concept qu’à partir de la réhabilitation du temps et de l’image par la philosophie critique. Kant présente le singulier à travers le grand philosophème esthétique du Génie. Chez Hegel le singulier se trouve « déduit » dans la Philosophie du droit à travers la figure du Prince. (...) Et le second Schelling rapatrie quasiment la notion en philosophie théologique avec la monstration de Dieu qui affirme sa personnalité dans l’abandon kénotique de son propre être en faveur de l’être du Monde. |: Western metaphysics, from its Greek origins till the great post-Cartesian systems, has never been able to do justice to the particular, the singular. The intelligibility of the singular could be conceptualized only through the rehabilitation of time and image in the Critical philosophy. It is in the great esthetical philosopheme of Genius that the singular appears in Kant. Hegel “deduces” it in his Philosophy of Law in the guise of the Prince. And the second Schelling brings the notion back into philosophical theology via the manifestation of God affirming his personality by renouncing his own being in favour of the being of the world. (shrink)
We argue that, contrary to some analyses in the philosophy of science literature, ergodic theory falls short in explaining the success of classical equilibrium statistical mechanics. Our claim is based on the observations that dynamical systems for which statistical mechanics works are most likely not ergodic, and that ergodicity is both too strong and too weak a condition for the required explanation: one needs only ergodic-like behaviour for the finite set of observables that matter, but the behaviour must ensure that (...) the approach to equilibrium for these observables is on the appropriate time-scale. (shrink)
the success of classical equilibrium statistical mechanics. Our claim is based on the observations that dynamical systems for which statistical mechanics works are most likely not ergodic, and that ergodicity is both too strong and too weak a condition for the required explanation: one needs only ergodic-like behavior for the finite set of observables that matter, but the behavior must ensure that the approach to equilibrium for these obsersvables is on the appropriate..
Based partly on proving that algebraic relativistic quantum field theory (ARQFT) is a stochastic Einstein local (SEL) theory in the sense of SEL which was introduced by Hellman (1982b) and which is adapted in this paper to ARQFT, the recently proved maximal and typical violation of Bell's inequalities in ARQFT (Summers and Werner 1987a-c) is interpreted in this paper as showing that Bell's inequalities are, in a sense, irrelevant for the problem of Einstein local stochastic hidden variables, especially if this (...) problem is raised in connection with ARQFT. This leads to the question of how to formulate the problem of local hidden variables in ARQFT. By giving a precise definition of hidden-variable theory within the operator algebraic framework of quantum mechanics, it will be argued that the aim of hidden-variable investigations is to determine those classes of quantum theories whose elements represent a statistical content that cannot be reduced in a given way. In some particular way to be stated, a proposition will be stated which distinguishes quantum field theories whose statistical content cannot be reduced without violating some relativistic locality principle. (shrink)
In a pair of articles (1996, 1997) and in his recent book (1998), Miklos Redei has taken enormous strides toward characterizing the conditions under which relativistic quantum field theory is a safe setting for the deployment of causal talk. Here, we challenge the adequacy of the accounts of causal dependence and screening off on which rests the relevance of Redei's theorems to the question of causal good behavior in the theory.
A classical probability measure space was defined in earlier papers \cite{Hofer-Redei-Szabo1999}, \cite{Gyenis-Redei2004} to be common cause closed if it contains a Reichenbachian common cause of every correlation in it, and common cause incomplete otherwise. It is shown that a classical probability measure space is common cause incomplete if and only if it contains more than one atom. Furthermore, it is shown that every probability space can be embedded into a common cause closed one; which entails that every classical probability space (...) is common cause completable with respect to any set of correlated events. The implications of these results for Reichenbach's Common Cause Principle are discussed, and it is argued that the Principle is only falsifiable if conditions on the common cause are imposed that go beyond the requirements formulated by Reichenbach in the definition of common cause. (shrink)
By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff?von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper that (...) the quantum propositional system should be isomorphic to an abstract projective geometry. Looking at the paper now I see, that I forgot to say this, which should be said somewhere in the first ?: That while common logics did apply to quantum mechanics, if the notion of simultaneous measurability is introduced as an auxiliary notion, we wished to construct a logical system, which applies directly to quantum mechanics ? without any extraneous secondary notions like simultaneous measurability. And in order to have such a consequent, one-piece system of logics, we must change the classical class calculus of logics. (J. von Neumann to G. Birkhoff, November 21, 1935). (shrink)
The projection lattices T(Mr), T(M2) of two von Neumann subalgebras Mr, M2 of the von Neumann algebra M are defined to be logically independent if A A B g 0 for any 0 g A E P(&r), 0 g B E 7 (M2). After motivating this notion of independence it is shown that 7 (Mr), 7 (M2) are logically independent if Mr is a subfactor in a finite factor M and T(&r),V'(M2) commute. Also, logical independence is related to the statistical (...) independence conditions called C*-independence W*- independence and strict locality. Logical independence of T(Mr), T(M2) turns out to be equivalent to the C*- independence of (Mr, M2) for mutually commuting Mr, M2, and it is shown that if (Mr, M2) is a pair of (not necessarily commuting) von Neumann subalgebras, then T(&r),V'(M2) are logically independent if (Mr, M2) is a W*-independent pair or if Mr, M2 have the property of strict locality. (shrink)
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)
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 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)
The problem of relation between statistical mechanics (SM) and classical mechanics (CM), especially the question whether SM can be founded on CM, has been a subject of controversies since the rise of classical statistical mechanics (CSM) at the end of 19th century. The first views rejecting explicitly the possibility of laying the foundations of CSM in CM were triggered by the "Wiederkehr-" and "Umkehreinwand" arguments. These arguments played an important role in the debate about Boltzmann's original H-theorem and led to (...) the so called statistical H-theorem proposed by Boltzmann himself. (For the history of these early debates we refer to Brush's monograph (Brush 1976).) After CSM had been brought to "canonical form" by the Ehrenfests, (Ehrenfest and Ehrenfest 1959) the physicists turned away from the foundational problem leaving it to mathematicians to worry about in the form of what has become called the ergodic theory. In retrospect, the physicists' general mood seems to have been the hope that ergodic theory establishes rigorously what is needed to found CSM on CM and which had been expressed essentially by Boltzmann already (Wightman 1985). However, very few physicists followed closely the developments in the mathematical theory of dynamic systems. One of those who did was the Russian physicist N.S. Krylov. (For a brief description of Krylov's personal life we refer to the papers in (Krylov 1979).). (shrink)
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)
If the language is extended by new individual variables, in classical first order logic, then the deduction system obtained is a conservative extension of the original one. This fails to be true for the logics with infinitary predicates. But it is shown that restricting the commutativity of quantifiers and the equality axioms in the extended system and supposing the merry-go-round property in the original system, the foregoing extension is already conservative. It is shown that these restrictions are crucial for an (...) extension to be conservative. The origin of the results is algebraic logic. (shrink)
If $\{{\cal 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 $({\cal A}(V_1),{\cal A}(V_2),\phi)$ is said to satisfy the Weak Reichenbach's Common Cause Principle iff for every pair of projections $A\in{\cal A}(V_1)$, $B\in{\cal A}(V_2)$ correlated in the normal state $\phi$ 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 $({\cal A}(V_1),{\cal A}(V_2),\phi)$ with a locally normal and locally faithful state $\phi$ and open bounded $V_1$ and $V_2$ satisfies the Weak 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)
Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non-commutative case. Mathematical no-go theorems are recalled then which show that, in general, the stability can not be preserved in non-commutative context. Two possible interpretations of the impossibility of generalization of (...) Bayesian statistical inference to the non-commutative case are offered, none of which seems to be completely satisfying. (shrink)
Using a recently introduced entropy-like measure of uncertainty of quantum mechanical states, the problem of hidden variables is redefined in operator algebraic framework of quantum mechanics in the following way: if A, , E(A), E() are von Neumann algebras and their state spaces respectively, (, E()) is said to be an entropic hidden theory of (A, E(A)) via a positive map L from onto A if for all states E(A) the composite state ° L E() can be obtained as an (...) average over states in E() that have smaller entropic uncertainty than the entropic uncertainty of . It is shown that if L is a Jordan homomorphism then (, E()) is not an entropic hidden theory of (A, E(A)) via L. (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.
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)
Internal sets and the Boolean algebras of the collection of the internal sets are of central importance in non-standard analysis. Boolean algebras are the algebraization of propositional logic while the logic applied in non-standard analysis (in non-standard stochastics) is the first order or the higher order logic (type theory). We present here a first order logic algebraization for the collection of internal sets rather than the Boolean one. Further, we define an unusual probability on this algebraization.
Butterfield's (1992a,b,c) claim of the equivalence of absence of Lewisian probabilistic counterfactual causality (LC) to Hellman's stochastic Einstein locality (SEL) is questioned. Butterfield's assumption on which the proof of his claim is based would suffice to prove that SEL implies absence of LC also for appropriately given versions of these notions in algebraic quantum field theory, but the assumption is not an admissible one. The conclusion must be that the relation of SEL and absence of LC is open, and that (...) they may be independent. (shrink)
Abstract Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non?commutative case. Mathematical no?go theorems are recalled then which show that, in general, the stability can not be preserved in non?commutative context. Two possible interpretations of the impossibility of generalization (...) of Bayesian statistical inference to the non?commutative case are offered, none of which seems to be completely satisfying. (shrink)
Dans l'histoire de la philosophie occidentale ce n'est que Kant qui parvient, en la dissociant des phénomènes de la nature, à donner à la liberté un statut métaphysique autonome. Or Malebranche anticipe Kant. Il distingue la volonté qui vient de Dieu de la liberté qui surgit de l'homme. La volonté est une force de quantité déterminée, la liberté est un rien qui n'ajoute rien à cette forme mais en détermine le mouvement. La liberté n'est rien car elle n'est pas elle-même (...) une force, par conséquent, elle permet de fonder une réflexion morale autonome. Kant by separating freedom from the phenomena of nature endows it with an autonomous metaphysical status. Malebranche anticipates Kant. He distinguishes the will which comes from God and freedom which is from man. The will is a force of a given quantity, freedom is a nothing which does not increase or decrease this force but only determines its movement. Freedom is a nothing since it is not a force itself, thus it makes possible an autonomous moral philosophy. (shrink)
Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where 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.
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)
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.
The role of measure theoretic atomicity in common cause closedness of general probability theories with non-distributive event structures is raised and investigated. It is shown that if a general probability space is non-atomic then it is common cause closed. Conditions are found that entail that a general probability space containing two atoms is not common cause closed but it is common cause closed if it contains only one atom. The results are discussed from the perspective of the Common Cause Principle.
