The famous Allen's interval relations constraint propagation algorithm was intended for linear time. Its 13 primitive relations define all the possible mutual locations of two intervals on the time-axis. In this paper an application of the algorithm for non-linear time is suggested. First, a new primitive relation is added. It is called excludes since an occurrence of one event in a certain course of events excludes an occurrence of the other event in this course. Next, new composition rules for (...) relations between intervals are presented: some of the old rules are extended by the relation excludes, and entirely new ones are formulated for composing the relation excludes with the other relations. Four different composition tables are considered. The choice of a composition table depends on whether time is branching or not, and whether intervals can contain non-collinear subintervals or not. (shrink)

Probabilistic inference forms lead from point probabilities of the premises to interval probabilities of the conclusion. The probabilistic version of Modus Ponens, for example, licenses the inference from \({P(A) = \alpha}\) and \({P(B|A) = \beta}\) to \({P(B)\in [\alpha\beta, \alpha\beta + 1 - \alpha]}\) . We study generalized inference forms with three or more premises. The generalized Modus Ponens, for example, leads from \({P(A_{1}) = \alpha_{1}, \ldots, P(A_{n})= \alpha_{n}}\) and \({P(B|A_{1} \wedge \cdots \wedge A_{n}) = \beta}\) to an according interval for (...) P(B). We present the probability intervals for the conclusions of the generalized versions of Cut, Cautious Monotonicity, Modus Tollens, Bayes’ Theorem, and some SYSTEM O rules. Recently, Gilio has shown that generalized inference forms “degrade”—more premises lead to less precise conclusions, i.e., to wider probability intervals of the conclusion. We also study Adam’s probability preservation properties in generalized inference forms. Special attention is devoted to zero probabilities of the conditioning events. These zero probabilities often lead to different intervals in the coherence and the Kolmogorov approach. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...) we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Cultural evolution, the propagation and transfer of ideas from generation to generation, as well as from one person to another and from one culture to another, is much faster than normal, genetic evolution. This could account for the speedy proliferation of humankind on this planet, at the expense of other life forms.

Consider a general class of structural inference rules such as exchange, weakening, contraction and their generalizations. Among them, some are harmless but others do harm to cut elimination. Hence it is natural to ask under which condition cut elimination is preserved when a set of structural rules is added to a structure-free logic. The aim of this work is to give such a condition by using algebraic semantics. We consider full Lambek calculus (FL), i.e., intuitionistic logic without any structural rules, (...) as our basic framework. Residuated lattices are the algebraic structures corresponding to FL. In this setting, we introduce a criterion, called the propagation property, that can be stated both in syntactic and algebraic terminologies. We then show that, for any set R of structural rules, the cut elimination theorem holds for FL enriched with R if and only if R satisfies the propagation property. As an application, we show that any set R of structural rules can be "completed" into another set R*, so that the cut elimination theorem holds for FL enriched with R*, while the provability remains the same. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with (...) formal grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

This essay enriches causal models capturing the propagation of prejudice, bias, and other aggregative social mechanisms, negative or positive. These explananda include the reinforcement of economic inequality, “mob-like” behavior, peer pressure, and the establishment of social norms. The stage is set by introducing various forms of redundant causation and discussing some difficulties with mainstream preemption. Next the main proposal extends current representations of aggregative social mechanisms in two respects. First, it is more nuanced, as it identifies three distinct kinds (...) of inferences: relevance of causes to effects, degree of redundancy of an effect, and the influence that causes exert on other causes. Second, it offers a quantitative—as opposed to merely qualitative—distinction between the causal contribution of preempting and preempted causes. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a large (...) body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

We show that there is a hidden freedom in quantum many-body theory associated with overcompleteness of the time evolution through the single-particle subspace of a many-body system. To fix the freedom, an additional constraint is necessary. We argue that the appropriate constraint on the time evolution through the subspace is to quantize the propagation of entangled pairs of particles, represented by the single-particle spectral function, instead of individual particles. This solution method creates a surface that indicates the multiplicity of (...) every solution to the inverse problem defined by matching the freedom to the constraint. Upon measurement, the system collapses nonlocally onto a single quantized solution. In addition to a combinatoric multiplicity, each solution acquires a multiplicity due to its stability when subject to a small variation in the microscopic degrees of freedom. Numerical calculations for a two-level system show that our theory improves upon standard theory in the description of non-quasiparticle spectral features. Our reinterpretation of quantum many-body theory is not based on the Born rule and offers a more faithful representation of experiments than current theory by modeling individual, quantized events with an explicit collapse model. (shrink)

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected (...) probabilistic versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to (...) the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the respective bounds on the conclusion for the (non-nested) probabilistic modus ponens. (shrink)

This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short “logic”), as being connexive, and as being nonmonotonic. The chapter discusses selected argument forms and associated uncertainty propagation rules. Throughout the chapter, the descriptive validity of probability logic is compared to logic, which was used as the gold (...) standard of reference for assessing the rationality of human reasoning in the 20th century. (shrink)

We investigate and develop further two models, the GRW model and the K model, in which the Schrödinger evolution of the wave function is spontaneously and repeatedly interrupted by random, approximate localizations, also called “self-reductions” below. In these models the center of mass of a macroscopic solid body is well localized even if one disregards the interactions with the environment. The motion of the body shows a small departure from the classical motion. We discuss the prospects and the difficulties of (...) observing this anomaly. As far a the influence of the surroundings on submacroscopic objects (like dust particles) is concerned, we show that the estimates obtained recently in the theory of continuous measurements and in the K model are compatible. Also, we elaborate upon the relationship between the models. Firstly, borrowing a line of thought from the K model, we find the transition region between macroscopic and microscopic behaviors in the GRW model. Secondly, we refine the propagation rule of the wave function in the K model with the help of the time-evolution equation proposed in the GRW model. (shrink)

We present a coherence-based probability semantics for (categorical) Aristotelian syllogisms. For framing the Aristotelian syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise and imprecise conditional probability assessments. Then, we define validity of probabilistic inferences and probabilistic notions of the existential import which is required, for the validity of the syllogisms. Based on a generalization of de Finetti's fundamental theorem to conditional probability, we investigate the coherent probability propagation rules of argument (...) forms of the syllogistic Figures I, II, and III, respectively. These results allow to show, for all three Figures, that each traditionally valid syllogism is also valid in our coherence-based probability semantics. Moreover, we interpret the basic syllogistic sentence types by suitable defaults and negated defaults. Thereby, we build a knowledge bridge from our probability semantics of Aristotelian syllogisms to nonmonotonic reasoning. Finally, we show how the proposed semantics can be used to analyze syllogisms involving generalized quantifiers. (shrink)

Some modifications are suggested to recent (1985) generalised phrase-structure grammar which make the formalism more suitable to computational use, and at the same time provide a clear and elegant redefinition for parts of the formalism which are standardly complex and ill-defined. It is shown how the feature-instantiation principles can be represented as explicit rules in a format similar to metarules, and how a grammar of four parts, immediate-dominance rules, linear-precedence rules, metarules, and these new propagation rules, can be used (...) to produce the ordinary GPSG analyses of English. Methods of computational implementation are discussed, in particular it is suggested that the parts of the grammar are most conveniently interpreted as instructions as to how to produce a set of context-free phrase-structure rules which can be used with a simple left-corner parser. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

This paper presents an approach to the belief system based on a computational framework in three levels: first, the logic level with the definition of binary local rules, second, the arithmetic level with the definition of recursive functions and finally the behavioural level with the definition of a recursive construction pattern. Social communication is achieved when different beliefs are expressed, modified, propagated and shared through social nets. This approach is useful to mimic the belief system because the defined functions provide (...) different ways to process the same incoming information as well as a means to propagate it. Our model also provides a means to cross different beliefs so, any incoming information can be processed many times by the same or different functions as it occurs is social nets. (shrink)

Fixpoint semantics are provided for ambiguity blocking and propagating variants of Nute's defeasible logic. The semantics are based upon the well-founded semantics for logic programs. It is shown that the logics are sound with respect to their counterpart semantics and complete for locally finite theories. Unlike some other nonmonotonic reasoning formalisms such as Reiter's default logic, the two defeasible logics are directly skeptical and so reject floating conclusions. For defeasible theories with transitive priorities on defeasible rules, the logics are shown (...) to satisfy versions of Cut and Cautious Monotony. For theories with either conflict sets closed under strict rules or strict rules closed under transposition, a form of Consistency Preservation is shown to hold. The differences between the two logics and other variants of defeasible logic—specifically those presented by Billington, Antoniou, Governatori, and Maher—are discussed. (shrink)

Members of a human group are bound with one another by multiple flows of information. (Here we use “information” in a broad sense that includes not only the content of people’s knowledge, but also that of their beliefs, assumptions, fictions, rules, norms, skills, maps, images, and so on.) This information is materially realized in the mental representations of the people, and in their public productions, that is, their cognitively guided behaviors and the enduring material traces of these behaviors. Mentally represented (...) information is transmitted from individuals to individuals through public productions. Public representations such as speech, gestures, writing, or pictures are a special type of public productions, the function of which is to communicate a content. Public representations play a major role in information transmission. Much information, however, is communicated implicitly, that is, without being publicly represented. Information can also be transmitted without being properly speaking communicated, not even implicitly, as when one individual acquires a skill by observing and imitating the behavior of others. Most information transmitted among humans is about local and transient circumstances, and is not transmitted beyond these. Some information of more general relevance, however, is repeatedly transmitted, and propagates throughout the group. Talk of “culture” (whatever the preferred definition or theory of culture) is about this widely distributed information and about its material realizations inside people’s mind and in their common environment (see Sperber 1996). One can study cultural phenomena in two main ways. One can interpret them, that is, try and make their contents intelligible to people of another culture, or more intelligible to members of the culture in which these phenomena occurs, as do anthropologists and historians. One may also try and explain causally how these cultural phenomena emerge, stabilize and evolve.. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more (...) values that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data (...) and/or checking if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

The current status of localization and related concepts, especially localized statevectors and position operators, within Lorentz-invariant Quantum Theory (LIQT) is ambiguous and controversial.1 Ever since the early work of Newton & Wigner (1949), and the subsequent extensions of their work, particularly by Hegerfeldt (1974, 1985), it has seemed impossible to identify localized statevectors or position operators in LIQT that were not counterintuitive—strange—in one way or another; the most striking strange property being the superluminal propagation of the localized states. The (...) ambiguous and controversial status of these concepts arises from the varied reactions that workers have to the strange properties. Some regard them, particularly the superluminal propagation, as utterly unacceptable, and conclude that no precise concepts of localized statevectors and position operators exist in LIQT (Wigner 1973, p. 325-327; 1983, pp. 310-313; Malament 1996). Others downplay the whole issue, on the grounds that current theoretical and experimental practice has no need of sharply formulated concepts of localization, localized states etc. (Birrell & Davies 1984, pp. 48-59; Haag 1992, p. 34). Still others, including ourselves, believe that the superluminal propagation does not lead to causal contradictions, and is not in conflict with available empirical data: so that it should not be ruled out. We also believe that the other strange properties are merely unfamiliar novelties of LIQT which we must simply learn to accept. (Like the superluminal propagation, they do not lead to causal contradictions, nor conflict with available data.) So in this paper, we aim to help remove the ambiguous and controversial status of localization concepts in LIQT. Overall, our strategy will be to assess a number of localization concepts, and thereby clarify the often complex relationships among them. (shrink)

An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not necessarily equal to the unit (...) interval [0, 1]. Not all logically valid inference rules are probabilistically informative and vice versa. The relationship between logically valid and probabilistically informative inference rules is discussed and illustrated by examples such as the modus ponens or the affirming the consequent. We propose a method to evaluate the strength of CPL inference. (shrink)

Science and engineering rely on the accumulation and dissemination of knowledge to make discoveries and create new designs. Discovery-driven genome research rests on knowledge passed on via gene annotations. In response to the deluge of sequencing big data, standard annotation practice employs automated procedures that rely on majority rules. We argue this hinders progress through the generation and propagation of errors, leading investigators into blind alleys. More subtly, this inductive process discourages the discovery of novelty, which remains essential in (...) biological research and reflects the nature of biology itself. Annotation systems, rather than being repositories of facts, should be tools that support multiple modes of inference. By combining deduction, induction and abduction, investigators can generate hypotheses when accurate knowledge is extracted from model databases. A key stance is to depart from ‘the sequence tells the structure tells the function’ fallacy, placing function first. We illustrate our approach with examples of critical or unexpected pathways, using MicroScope to demonstrate how tools can be implemented following the principles we advocate. We end with a challenge to the reader. (shrink)

People -- Who was Huet? -- The censura : why and when? -- The birth of skepticism -- Malebranche's surprising silence -- The downfall of cartesianism -- Kinds -- Huet a cartesian? -- Descartes and skepticism : the standard interpretation -- Descartes and skepticism : the texts -- Thoughts -- The cogito : an inference? -- The transparency of mind -- The cogito as pragmatic tautology -- Doubts -- The reality of doubt -- The generation of doubt -- The response (...) to doubt -- Rules -- The criterion of truth -- The trump argument -- Circles -- The simple circularity of the meditations -- The inner circle(s) -- Gods -- Gassendist influences -- The objections of objections -- The rejection of intentionality -- Virtues -- Descartes's voice -- Betting the family farm -- The propagation of light -- The heart-beat -- The moving earth -- Faith and reason -- Descartes as methodological academic skeptic. (shrink)

To construct a synthetic cell we need to understand the rules that permit life. A central idea in modern biology is that in addition to the four entities making reality, matter, energy, space and time, a fifth one, information, plays a central role. As a consequence of this central importance of the management of information, the bacterial cell is organised as a Turing machine, where the machine, with its compartments defining an inside and an outside and its metabolism, reads and (...) expresses the genetic program carried by the genome. This highly abstract organisation is implemented using concrete objects and dynamics, and this is at the cost of repeated incompatibilities (frustration), which need to be sorted out by appropriate «patches». After describing the organisation of the genome into the paleome (sustaining and propagating life) and the cenome (permitting life in context), we describe some chemical hurdles that the cell as to cope with, ending with the specific case of the methionine salvage pathway. (shrink)

#1 NEW YORK TIMES BESTSELLER • A bold work from the author of The Black Swan that challenges many of our long-held beliefs about risk and reward, politics and religion, finance and personal responsibility In his most provocative and practical book yet, one of the foremost thinkers of our time redefines what it means to understand the world, succeed in a profession, contribute to a fair and just society, detect nonsense, and influence others. Citing examples ranging from Hammurabi to Seneca, (...) Antaeus the Giant to Donald Trump, Nassim Nicholas Taleb shows how the willingness to accept one’s own risks is an essential attribute of heroes, saints, and flourishing people in all walks of life. As always both accessible and iconoclastic, Taleb challenges long-held beliefs about the values of those who spearhead military interventions, make financial investments, and propagate religious faiths. Among his insights: • For social justice, focus on symmetry and risk sharing. You cannot make profits and transfer the risks to others, as bankers and large corporations do. You cannot get rich without owning your own risk and paying for your own losses. Forcing skin in the game corrects this asymmetry better than thousands of laws and regulations. • Ethical rules aren’t universal. You’re part of a group larger than you, but it’s still smaller than humanity in general. • Minorities, not majorities, run the world. The world is not run by consensus but by stubborn minorities imposing their tastes and ethics on others. • You can be an intellectual yet still be an idiot. “Educated philistines” have been wrong on everything from Stalinism to Iraq to low-carb diets. • Beware of complicated solutions (that someone was paid to find). A simple barbell can build muscle better than expensive new machines. • True religion is commitment, not just faith. How much you believe in something is manifested only by what you’re willing to risk for it. The phrase “skin in the game” is one we have often heard but rarely stopped to truly dissect. It is the backbone of risk management, but it’s also an astonishingly rich worldview that, as Taleb shows in this book, applies to all aspects of our lives. As Taleb says, “The symmetry of skin in the game is a simple rule that’s necessary for fairness and justice, and the ultimate BS-buster,” and “Never trust anyone who doesn’t have skin in the game. Without it, fools and crooks will benefit, and their mistakes will never come back to haunt them.”. (shrink)

A friend of Galileo and author of the renowned utopia The City of the Sun, Tommaso Campanella (Stilo, Calabria,1568- Paris, 1639) is one of the most significant and original thinkers of the early modern period. His philosophical project centred upon the idea of reconciling Renaissance philosophy with a radical reform of science and society. He produced a complex and articulate synthesis of all fields of knowledge – including magic and astrology. During his early formative years as a Dominican friar, he (...) manifested a restless impatience towards Aristotelian philosophy and its followers. As a reaction, he enthusiastically embraced Bernardino Telesio’s view that knowledge could only be acquired through the observation of things themselves, investigated through the senses and based on a correct understanding of the link between words and objects. Campanella’s new natural philosophy rested on the principle that the books written by men needed to be compared with God’s infinite book of nature, allowing them to correct the mistakes scattered throughout the human ‘copies’ which were always imperfect, partial and liable to revisions. It is in the light of these principles that he defended Galileo’s right to read the book of nature while denouncing the mistake of those – be they Aristotelian philosophers or theologians – who wanted to stop him from carrying on his natural investigations. However, Campanella maintained that the book of nature, far from being written in mathematical characters, was a living organism in which each natural being was endowed with life and a degree of sensibility that was appropriate for its preservation and propagation. Nature as a whole was an organism in which each single part was directed towards the common good. This is the reason why Campanella thought that nature had to be regarded as an ideal model for any political organisation. Political structures were often ruled by injustice and violence precisely because they had departed from that natural model. This book charts Campanella’s intellectual life by showing the origin, development and persistence of some of the fundamental tenets of his thought. (shrink)

We argue against the common view that it is impossible to give a causal account of the distant correlations that are revealed in EPR-type experiments. We take a realistic attitude about quantum mechanics which implies a willingness to modify our familiar concepts according to its teachings. We object to the argument that the violation of factorizability in EPR rules out causal accounts, since such an argument is at best based on the desire to retain a classical description of nature that (...) consists of processes that are continuous in space and time. We also do not think special relativity prohibits the superluminal propagation of causes in EPR, for the phenomenon of quantum measurement may very well fall outside the domain of application of special relativity. It is possible to give causal accounts of EPR as long as we are willing to take quantum mechanics seriously, and we offer two such accounts. (shrink)

This paper discusses the establishment of a governance framework to secure the development and deployment of “good AI”, and describes the quest for a morally objective compass to steer it. Asserting that human rights can provide such compass, this paper first examines what a human rights-based approach to AI governance entails, and sets out the promise it propagates. Subsequently, it examines the pitfalls associated with human rights, particularly focusing on the criticism that these rights may be too Western, too individualistic, (...) too narrow in scope and too abstract to form the basis of sound AI governance. After rebutting these reproaches, a plea is made to move beyond the calls for a human rights-based approach, and start taking the necessary steps to attain its realisation. It is argued that, without elucidating the applicability and enforceability of human rights in the context of AI; adopting legal rules that concretise those rights where appropriate; enhancing existing enforcement mechanisms and securing an underlying societal infrastructure that enables human rights in the first place, any human rights-based governance framework for AI risks falling short of its purpose. (shrink)

This article interrogates the interface between the older Pentecostal movement and politics in Zimbabwe. The country continues to face political violence and a breakdown in rule of law. The Zimbabwean populace is asking whether the Zimbabwean Pentecostal movement is ready and able to exercise its prophetic role in promoting real peace and democracy. Many Zimbabweans are asking this question, because the track record shows that whilst most mainline churches have been consistent in becoming the voice of the voiceless, some (...) Zimbabwean Pentecostal churches seem to have been sitting on the fence for too long by adopting a middle of the road stance, thereby avoiding a head-on confrontation with the corrupt Zimbabwe African National Union–Patriotic Front government. In this article, I argue that for many decades the Zimbabwean Pentecostal movement has taken what one might refer to ironically as a ‘smart approach to politics’–in which the image of the ZANU–PF government is sanitised by espousing what I call a ‘spiritualised political theology.’ I use this critique, whilst remaining cognisant of the fact that the primary motivation of the movement on which I focus in this article, was evangelism, not politics. Thus, for the purpose of this research, the Zimbabwe Assemblies of God Africa of Apostle Ezekiel Guti was sampled to investigate its prophetic voice in a polarised political environment. This article examines the history of Apostle Guti’s political subterfuge based on the reflections of his pastoral letters referred to as the ‘Ten-days prayer letters’ issued since 1975 up to the time of writing this article. It is important at this early stage to outline that these letters were not political statements or meant to address politics only but theological letters addressing different social ills including politics. Thus, reading this letter one shall see that Apostle’s political subterfuge demonstrated a continuous oscillation of a theological position on how the church should relate to politics. Furthermore, I undertake a brief examination of other few millennial Zimbabwean Pentecostal churches to see if this political subterfuge transcended elsewhere thereby propagating a spiritualised political theology.Contribution: What is key to note is the fact that the Zimbabwean Pentecostal movement remained insignificant with regard to democratization agenda even after the removal of President Mugabe. The above claim is evidenced by the Zimbabwean Pentecostal church founders’ continuous political subterfuge authenticated by a propagation of a spiritualized political theology. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

We present a causal model for the EPR correlations. In this model, or better framework for a model, causality is preserved by the direct propagation of causal influences between the wings of the experiment. We show that our model generates the same statistical results for EPR as orthodox quantum mechanics. We conclude that causality in quantum mechanics can not be ruled out on the basis of the EPR-Bell-Aspect correlations alone.

This essay claims that ‘access to justice’ has erroneously been assumed to be synonymous with invisible concepts instead of access to a lawyer’s language. The Paper outlines how a language concerns the relation between signifiers, better known as word-images, on the one hand, with signfieds, better known as concepts, on the other. The signifieds are universal, artificial and empty in content. Taking the Canadian Charter of Rights and Freedoms as an example, officials have assumed that Charter knowledge has involved signifieds (...) (such as rules, principles, doctrines and tests) as if the signifiers were transparent. But any one signifier differs from another signifier without the lawyer ever accessing the invisible signifieds. Ironically, although the lawyer, law professor or law student believes that s/he is studying legal ‘practice’ and although legal knowledge has been considered a matter of signified concepts, the knowledge has really concerned the differentiating relations of signifiers. As a consequence, the moment of accessing the concepts (signifieds) has been forever deferred. ‘Access to justice’ has become access to the special language of signifiers, a language which lawyers alone are privileged to enforce. Turning to the Charter, lawyers claiming to know the special Charter language became indispensable to social life. Even the meaning-constituting human subject became a signifier, better known as ‘the legal person’ defined by Charter rights. Charter language, however, has deferred an access to the invisible concepts such as ‘freedom’ or ‘democracy’, terms in Section of the text. Access to justice’ has become access to the language of the privileged class of lawyers. The lawyer’s language has become a theoretical language in the name of access to justice. And yet, because the theoretical language has been propagated as concerned with ‘practice’, it has been difficult to challenge the social-cultural content of the language of lawyers. (shrink)

The article presents the first results we have obtained studying natural reasoning from a proof-theoretic perspective. In particular we focus our attention on monotonic reasoning. Our system consists of two parts: (i) A Formal Grammar – a multimodal version of classical Categorial Grammar – which while syntactically analysing linguistic expressions given as input, computes semantic information (In particular information about the monotonicity properties of the components of the input string are displayed.); (ii) A simple Natural Logic which derives (monotonicity) inferences (...) using as vehicle the parsed output. The monotonicity markers assigned in the lexicon are propagated through the proofs via a combination of the structural and the logical rules for the unary operators of Multimodal Categorial Grammar (MMCG) [Moo97]. We have chosen to work with an expressive ‘grammar logic’, in order to avoid the use of extra-logical marking devices and extra-logical structural reasoning. Having MMCG as parser, our system is able to make the derivations simply within the logic. This new approach makes the implementation of the theory an easier task. We have implemented the theoretical results, so far obtained, using Grail, a theorem prover for Categorial Grammar Logics [Moo98]. (shrink)

The chapter focusses on the Scottish natural philosophy of the late eighteenth century represented by John Anderson (1726–1796) and John Robison (1739–1805), which is considered a link between Newton’s natural philosophy and nineteenth-century physics in Britain (Kelvin and Maxwell). Anderson and Robison have to be seen in a tradition of Scottish Newtonians established in the seventeenth century by David Gregory and John Keill and specifically shaped in the Mid-eighteenth century through the chemical-physical work of Joseph Black and the common-sense philosophy (...) of Thomas Reid. These latter Newtonians built on Newton’s theory of matter and short-range forces as indicated in Query 31 of his Opticks (Black) but also on his Rules of Reasoning of the second edition of his Principia (Black and Reid) and in this way created the theoretical framework in which Anderson and Robison developed their natural philosophy. In the center of their natural philosophy, which was oriented on experimental investigations, were the manifold open questions of the Baconian sciences of that time - theories of heat, light, electricity, magnetism as well as the understanding of the phlogiston. The chapter thus provides insight into the specific way in which the Newtonian camp participated in early modern natural philosophical speculations about minute particles of matter, fluids, or the propagation of light and heat. (shrink)

This paper studies general numerical networks with support and attack. Our starting point is argumentation networks with the Caminada labelling of three values 1=in, 0=out and ½=undecided. This is generalised to arbitrary values in [01], which enables us to compare with other numerical networks such as predator?prey ecological networks, flow networks, logical modal networks and more. This new point of view allows us to see the place of argumentation networks in the overall landscape of networks and import and export ideas (...) to and from argumentation networks. We make a special effort to make clear how general concepts in general networks relate to the special case of argumentation networks. We pay special attention to the handling of loops and to the special features of numerical support. We find surprising connections with the Dempster?Shafer rule and with the cross-ratio in projective geometry. This paper is an expansion of our 2005 paper and so we also consider higher level features such as numerical attacks on attacks, and propagation of numerical values.We conclude with a brief view of temporal numerical argumentation and with a detailed comparison with related papers published since 2005. (shrink)

Where does the particular form or configuration of a pattern come from, and how is it propagated from pattern to pattern? Templets and the Explanation of Complex Patterns provides a natural language for analysing such questions. Using it, the organisational forces that underlie the fabrication of any pattern can be divided into two classes. First, there are the 'universal laws' of pattern assembly, the configurational rules and constraints inherent within the fabric of the pattern elements themselves. Second, there are the (...) 'templets' - external, situational constraints imposed on the pattern elements. From the perspective of templeting, simple patterns can be directly contrasted with complex patterns: the former are completely determined by their universal laws, whereas the latter also require extensive templets. Natural patterns range along the entire spectrum from simple to complex, and the most complex of these include both random patterns and many biological patterns. (shrink)

In this article we present symmetric diffusion networks, a family of networks that instantiate the principles of continuous, stochastic, adaptive and interactive propagation of information. Using methods of Markovion diffusion theory, we formalize the activation dynamics of these networks and then show that they can be trained to reproduce entire multivariate probability distributions on their outputs using the contrastive Hebbion learning rule (CHL). We show that CHL performs gradient descent on an error function that captures differences between desired (...) and obtained continuous multivariate probability distributions. This allows the learning algorithm to go beyond expected values of output units and to approximate complete probability distributions on continuous multivariate activation spaces. We argue that learning continuous distributions is an important task underlying a variety of real‐life situations that were beyond the scope of previous connectionist networks. Deterministic networks, like back propagation, cannot learn this task because they are limited to learning average values of independent output units. Previous stochastic connectionist networks could learn probability distributions but they were limited to discrete variables. Simulations show that symmetric diffusion networks can be trained with the CHL rule to approximate discrete and continuous probability distributions of various types. (shrink)

The central limit theorem has been found to apply to random vectors in complex Hilbert space. This amounts to sufficient reason to study the complex–valued Gaussian, looking for relevance to quantum mechanics. Here we show that the Gaussian, with all terms fully complex, acting as a propagator, leads to Schrödinger’s non-relativistic equation including scalar and vector potentials, assuming only that the norm is conserved. No physical laws need to be postulated a priori. It thereby presents as a process of irregular (...) motion analogous to the real random walk but executed under the rules of the complex number system. There is a standard view that Schrödinger’s equation is deterministic, whereas wavefunction “collapse” is probabilistic —we have now a demonstrated linkage to the central limit theorem, indicating a stochastic picture at the foundation of Schrödinger’s equation itself. It may be an example of Wheeler’s “It from bit” with “No underlying law”. Reasons for the primary role of \ are open to discussion. The present derivation is compared with recent reconstructions of the quantum formalism, which have the aim of rationalizing its obscurities. (shrink)

The preceding chapter listed the measures Ch'in Shih-huang took to consolidate the unification. Before all this, the state of Ch'in, through Shang Yang's reforms, had eliminated the hereditary privileges of the aristocracy, dealt a severe blow to the power of the slave-owning aristocracy, instituted the system of landownership by the landlords, established the system of commanderies, unified weights and measures, and carried out the policy of "emphasizing agriculture and restricting commerce," so as to enable the landlord economy to achieve greater (...) expansion in the state of Ch'in. Now Ch'in Shih-huang went a step further to propagate Shang Yang's Legalist policies, liquidated the aristocracy in the six states to the east, abolished the system of installing hereditary nobles to rule their domains throughout the country, and universally implemented the system of commanderies and prefectures. He also abolished the old aristocratic political structures maintained by the six states, established a centralized feudal system of dictatorship, and thus dealt a blow to the landownership system of the remnant slave-owning aristocracy. By means of laws and regulations, he established throughout the country the system of landownership by landlords and continued to adhere to the policy of "emphasizing agriculture and restricting commerce," promoted the development of the landlord economy, abolished the divergent laws and regulations of the six states, and put into effect throughout the country new laws and regulations representing the interests of the newly rising landlord class. He also standardized weights and measures, unified the written language, and fixed the length of axles of all carts. Generally speaking, during the first stage of the establishment of a unified, centralized feudal state, Ch'in Shih-huang, as the general representative of the newly rising landlord class, carried out a series of measures that "emphasized the present while slighting the past" and initiated a series of important political, economic, and cultural reforms. The "present" he "emphasized" was the newly rising landlord class, and the "past" he "slighted" was the declining old aristocracy. As a result, the Ch'in dynasty was able to exert a definite stimulating influence in the process of monumental historical transformation, to put an end to the prolonged period of division and rivalry among the feudal states, to unify our great multinational country, and to set up the largest centralized feudal state up to that time. To be sure, the Ch'in dynasty was after all a political regime of the landlord class. It was a machine of the landlord class to exploit and oppress the peasant masses. This is something we must recognize. (shrink)

Publication date: 25 October 2017 Source: Author: Olga Posudiyevska This article presents the study of Rudyard Kipling’s early pieces of writing. The author proposes an alternative view to the consideration of the writer’s literary heritage from the position of jingoism and propagation of the civilizing mission of the British Empire, which can still be encountered in academic research. The analysis of Plain Tales from the Hills suggests that the praise of British imperialism was not the main idea of Kipling’s (...) early works. The researcher comes to the conclusion that Kipling did not regard India as a conquered barbarous land which the British people had to civilize. This remote exotic country became a motherland for a representative of Anglo-Indian society, who was born in Indian environment. Kipling’s love for India is felt in his strive to give a detailed description of exotic locations and ethnographic peculiarities and even to restore the manner of speech of Indian population. The reader of Plain Tales from the Hills can perceive the author’s respect for the English and Indian people, working in harsh climate, his interest and great sympathy with the aboriginal population, living in hard social conditions under the British rule. The sarcastic remarks of his characters, which reflect Kipling’s doubt in the beneficial role of the British Empire in the lives of the Indian people, finally refute the statement about the writer’s glorification of the imperialistic policy of Great Britain as the main aim of his creative art. (shrink)

This study investigates the influence of formal and informal institutions on firm innovation in transitional economies of Central and Eastern Europe (CEEs) by explicitly differentiating between corruption and bribery as distinct informal institutions. We integrate institutional theory and legitimacy theory to explain that the failure of formal institutions creates an environment of corruption which encourages firms to use bribes to facilitate economic exchange. We test our hypotheses on the innovation performance of a sample (n = 1603) of firms in 11 (...) CEEs. The results show that weak rule of law and ineffective business regulations in CEEs propagate the perception of corruption that inhibits firm innovation. However, the use of bribery enables firms to transform this environment of corruption into innovation outcomes. The policy and managerial implications of our research for differentiating between corruption and bribery and our findings that bribery acts as the glue that binds formal and informal institutions are fully discussed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy—Aesthetics—Education:Reflections on DanceTyson Lewis (bio)To create is to lighten, to unburden life, to invent new possibilities of life. The creator is legislator—dancer.—Gilles Deleuze, Pure ImmanenceThe Italian philosopher Giorgio Agamben is perhaps best known for his ongoing interest in the problem of "biopower." Taking up where Michel Foucault ended, Agamben argues that the principle political and philosophical questions of the moment concern the connections between life and power. In this (...) sense, he stands in diametric opposition to one of the leading French intellectuals of our times: Alain Badiou. For Badiou, the key question of the present is not so much power and the body as it is the ethics of truth. According to Agamben, Badiou's project has abandoned thinking about the biopolitics of life and as such is both philosophically and politically suspect. But does Agamben's critique prematurely dismiss Badiou? In other words, does his critique prevent us from recognizing the precise location of biopolitics in Badiou's work? It is my contention that we must read Badiou not against but from within a biopolitical framework in order to realize both the validity of Agamben's criticism and its limitations. In fact, it is through the critical lens of biopolitical theory that we can begin to see the unique links in Badiou's thinking between aesthetics, the body, and education. In conclusion, I argue that Agamben provides insights missed by Badiou's reduction of the animal body to the disavowed grounds for the grace and beauty of truth, while at the same time Badiou provides Agamben's own theory of biopolitics with a unique educative practice: the practice of dance.Here I would like to justify this philosophical inquiry for educational theorists. With the fate of art-based educational programs uncertain in the [End Page 53] face of standardization, it is perhaps time to reassess legitimating claims for retaining arts education programs. By reading Badiou through Agamben, I hope to provide a new reason for advocating the centrality of dance in educational programs and assert the inherently educative qualities of movement-based curricula. Second, I hope to suggest in my conclusion that dance is an important form of educational practice antithetical to current forms of capitalist "bioproduction." As such, I will link together my own theory of dance education with the critical pedagogical tradition in order to anchor the "utopian imagination" in a practice of the body. This is an attempt to fill in a rather vague sphere of critical pedagogical research and theory: aesthetic practice. Overall, this article will bring together two important philosophical traditions—Agamben's biopolitical theory and Badiou's theory of truth—in order to examine their relation to education and, in turn, how education is a central concept for thinking through contemporary continental philosophical traditions.Biopower and Event: Situating the Subject in Relation to TruthMichel Foucault first coined the theoretical concept "biopower" in his work on the history of sexuality.1 In order to understand Foucault's meaning we must first separate biopower from sovereign power, which is characterized by the "right to decide life and death."2 The sovereign—which for Foucault is not simply a form of territorial rule but is a principle of power relations—decides who lives and who dies. Power here is the power of the sword that marks the body directly through overt forms of public torture and violence. But in the classical age and with the rise of capitalist social relations, the form and function of power switched. Famously, Foucault wrote that the highest function of power "was perhaps no longer to kill, but to invest life through and through."3 This new form of power—whose concern was no longer death but the maintenance and regulation of life—operates on two interconnected levels. First, biopower conceives of the body as a machine, which must be disciplined in order to be made more efficient. Here, power acts as microphysics, training the individual body in order to reach a high level of social efficiency. Second, on the macro level, biopower transforms the populous into a population that has to be carefully regulated in terms of propagation rates, health levels... (shrink)

The conditional probability interpretation of quantum gravity has been criticized for violating the constraints of the theory and also not giving the correct expression for the propagator. We have shown that following Page’s proposal of constructing an appropriate projector for the stationary state of a closed system, we can arrive at the correct expression for the propagator by using conditional probability rule. Also, it is shown that a unitary evolution of states of a subsystem at local level may be (...) a consequence of non-unitary projection of appropriate states at global level. (shrink)