This short enquiry investigates the relationships between knowledge of English and attitude towards the English language as held by Japanese university students. The goal of this study was to gain a better understanding of how attitude affects the learning of English and whether gender or geographic location of a student ’s hometown plays a role. A random sample of 85 participants completed a 26 item questionnaire which measured background information, attitude to English and knowledge of English. The difference in English (...) knowledge over several prefectures was tested using ANOVA and the results indicated that there was no statistical difference observed. Difference in attitude to English between male and female students was tested using a t-test and no statistical difference was observed. Pearson Correlation was used to test for any relationship between knowledge and attitude to English, but again no statistical different relationship was found. In addition , Multiple Regression was used to determine if there was a linear relationship between knowledge of English, and the 3 variables attitude to English, gender and prefecture. Again there was no statistically significant linear relationship between these variable. (shrink)

This paper represents an attempt to better understand the educational expectations of Japanese university students. Eighty students were asked to indicate whether or not they felt there was some relationship between 24 English words. The results were then added and entered into a table where the number at each intersection of words represented the total number of students that felt there relationship between those two words. This table was then analyzed using Multidimensional Scaling to produce a two dimension plot representing (...) the relationship between these 24 words. Since the distance between the words the plot represents the level of similarity, a study of the result gives some insight into the educational expectations of these students. A description of the data collection and analysis, as well as, one possible interpretation of the results is included. (shrink)

This paper presents the results of an attempt to adapt the technology acceptance model to a questionnaire to indicate whether or not the Moodle content management system was accepted by 147 Japanese University English language students. The questionnaire consisted of 13 items based on the factors of usefulness and ease-of-use. A factor analysis was performed on the results to ensure the number of underlying factors explaining the data. The result indicated that 2 factors explained more than 94% of item variation. (...) In addition, a discussion of the individual participant answers demonstrated that more than 85% of participants of this study accepted the Moodle system as both useful and easy to use. (shrink)

The world is complex, but acknowledging its complexity requires an appreciation for the many roles context plays in shaping natural phenomena. In _Unsimple Truths, _Sandra Mitchell argues that the long-standing scientific and philosophical deference to reductive explanations founded on simple universal laws, linear causal models, and predict-and-act strategies fails to accommodate the kinds of knowledge that many contemporary sciences are providing about the world. She advocates, instead, for a new understanding that represents the rich, variegated, interdependent fabric of many levels (...) and kinds of explanation that are integrated with one another to ground effective prediction and action. Mitchell draws from diverse fields including psychiatry, social insect biology, and studies of climate change to defend “integrative pluralism”—a theory of scientific practices that makes sense of how many natural and social sciences represent the multi-level, multi-component, dynamic structures they study. She explains how we must, in light of the now-acknowledged complexity and contingency of biological and social systems, revise how we conceptualize the world, how we investigate the world, and how we act in the world. Ultimately _Unsimple Truths _argues that the very idea of what should count as legitimate science itself should change. (shrink)

In this paper we present two types of logics and \ ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between the probabilities of (...) α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved. (shrink)

This fine collection of essays by a leading philosopher of science presents a defence of integrative pluralism as the best description for the complexity of scientific inquiry today. The tendency of some scientists to unify science by reducing all theories to a few fundamental laws of the most basic particles that populate our universe is ill-suited to the biological sciences, which study multi-component, multi-level, evolved complex systems. This integrative pluralism is the most efficient way to understand the different and complex (...) processes - historical and interactive - that generate biological phenomena. This book will be of interest to students and professionals in the philosophy of science. (shrink)

The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.

Since approval of the EU General Data Protection Regulation (GDPR) in 2016, it has been widely and repeatedly claimed that the GDPR will legally mandate a ‘right to explanation’ of all decisions made by automated or artificially intelligent algorithmic systems. This right to explanation is viewed as an ideal mechanism to enhance the accountability and transparency of automated decision-making. However, there are several reasons to doubt both the legal existence and the feasibility of such a right. In contrast to the (...) right to explanation of specific automated decisions claimed elsewhere, the GDPR only mandates that data subjects receive meaningful, but properly limited, information (Articles 13-15) about the logic involved, as well as the significance and the envisaged consequences of automated decision-making systems, what we term a ‘right to be informed’. Further, the ambiguity and limited scope of the ‘right not to be subject to automated decision-making’ contained in Article 22 (from which the alleged ‘right to explanation’ stems) raises questions over the protection actually afforded to data subjects. These problems show that the GDPR lacks precise language as well as explicit and well-defined rights and safeguards against automated decision-making, and therefore runs the risk of being toothless. We propose a number of legislative and policy steps that, if taken, may improve the transparency and accountability of automated decision-making when the GDPR comes into force in 2018. (shrink)

To create fair and accountable AI and robotics, we need precise regulation and better methods to certify, explain, and audit inscrutable systems.

We study a propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is given by a class |${\scriptsize{\rm Mod}}$| of Kripke-like models with possible worlds. We prove decidability of |$\textbf {PTEL}$| by showing that checking satisfiability of a formula in |${\scriptsize{\rm Mod}}$| is (...) equivalent to checking its satisfiability in a finite set of finitely representable structures. The same procedure can be applied to the class of all synchronous |${\scriptsize{\rm Mod}}$|-models. We give an upper complexity bound for the satisfiability problem for |${\scriptsize{\rm Mod}}$|⁠. (shrink)

A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.

Drawing on everyday telephone and video interactions, this book surveys how English speakers use grammar to formulate responses in ordinary conversation. The authors show that speakers build their responses in a variety of ways: the responses can be longer or shorter, repetitive or not, and can be uttered with different intonational 'melodies'. Focusing on four sequence types: responses to questions, responses to informings, responses to assessments, and responses to requests, they argue that an interactional approach holds the key to explaining (...) why some types of utterances in English conversation seem to have something 'missing' and others seem overly wordy. (shrink)

Participation in deliberation in stable democracies produces effects which are beneficial for democracy, while the results of deliberative innovations in non-democracies are more ambiguous. This article contributes to the debate about the effects of participatory democratic innovations on attitudes, related to democratic commitments, political capacities and political participation, in the increasingly ubiquitous hybrid regimes. We present the evidence collected from the participants before and after deliberative mini publics (DMPs), held in Serbia in 2020. Serbia is an exemplary case of a (...) recent wave of autocratization, which had led to it becoming a hybrid regime, and it had no track record of deliberative innovations. When conducting the mini publics, we introduced an innovation in the standard design, by including active citizens - representatives of local initiatives or social movements particularly interested in the issue of DMPs. We could not find evidence that the democratic innovation affected attitudes of participants regarding democratic commitments, political capacities and political participation. However, we did find that participants of the DMPs became less satisfied with the functioning of the democracy on the local level. We argue that the anti-democratic wider context of hybrid regimes can produce adverse effects when introducing participatory democratic innovations, at least when it comes to this specific dimension of political participation. We conclude with the suggestions for further research, and a call for consideration of the wider political context when designing democratic interventions in hybrid regimes. (shrink)

Political discourse is primarily identified as political action, the discourse of deliberating which course of action to follow in accordance with specific political goals. A pragmatic analysis of various sub-genres of political discourse can identify the preference for particular speech acts. The first aim of this paper is to analyze commissive and expressive illocutionary acts in political speeches, as indicators of personal involvement of political speakers, notorious for vagueness and avoiding commitment. A corpus of Serbian, American and British political speeches (...) that address the issue of economic standard of living has been examined to identify commissive illocutionary acts as indicators of politicians’ explicit commitment to a chosen course of action, and expressive illocutionary acts as indicators of politicians’ explicit attitudes to their own or other politicians’ chosen practices. The analysis classifies subtypes of commissives and expressives in the corpus and identifies illocutionary force indicating devices that constitute them in English and in Serbian, after which the resulting classifications are compared and contrasted. The research results are aimed at explaining the hypothesis that a specific use/lack of commissives and expressives can be the politician’s strategy for adding credibility to their speeches, and in that way, swaying public opinion to serve the politician’s interest; conversely, establishing the relation between the use/lack of these illocutionary acts and the politician’s commitment to actions can be a method for exposing the politician’s lack of credibility and accountability. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

Biological knowledge does not fit the image of science that philosophers have developed. Many argue that biology has no laws. Here I criticize standard normative accounts of law and defend an alternative, pragmatic approach. I argue that a multidimensional conceptual framework should replace the standard dichotomous law/ accident distinction in order to display important differences in the kinds of causal structure found in nature and the corresponding scientific representations of those structures. To this end I explore the dimensions of stability, (...) strength, and degree of abstraction that characterize the variety of scientific knowledge claims found in biology and other sciences. (shrink)

This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

This book offers a detailed study of the political philosophies of Thomas Hobbes and Benedict de Spinoza, focussing on their concept of power as potentia, concrete power, rather than power as potestas, authorised power. The focus on power as potentia generates a new conception of popular power. Radical democrats–whether drawing on Hobbes's 'sleeping sovereign' or on Spinoza's 'multitude'–understand popular power as something that transcends ordinary institutional politics, as for instance popular plebsites or mass movements. However, the book argues that these (...) understandings reflect a residual scholasticism which Hobbes and Spinoza ultimately repudiate. Instead, on the book's revisionist conception, a political phenomenon should be said to express popular power when it is both popular (it eliminates oligarchy and encompasses the whole polity), and also powerful (it robustly determines political and social outcomes). Two possible institutional forms that this popular power might take are distinguished: Hobbesian repressive egalitarianism, or Spinozist civic strengthening. But despite divergent institutional proposals, the book argues that both Hobbes and Spinoza share the conviction that there is nothing spontaneously egalitarian or good about human collective existence. From this point of view, the book accuses radical democrats of pernicious romanticism; the slow, meticulous work of organizational design and maintenance is the true centre of popular power. Three minute video summary available via HPBin3. Extended discussion on The Political Theory Review podcast. First chapter open access available via Oxford Scholarship Online. Videos of book talks at National University of Singapore (Centre for Legal Theory) and Universidad de Buenos Aires (Instituto de Investigaciones Gino Germani) available via YouTube. (See links below.). (shrink)

Beatty, Brandon, and Sober agree that biological generalizations, when contingent, do not qualify as laws. Their conclusion follows from a normative definition of law inherited from the Logical Empiricists. I suggest two additional approaches: paradigmatic and pragmatic. Only the pragmatic represents varying kinds and degrees of contingency and exposes the multiple relationships found among scientific generalizations. It emphasizes the function of laws in grounding expectation and promotes the evaluation of generalizations along continua of ontological and representational parameters. Stability of conditions (...) and strength of determination in nature govern projectibility. Accuracy, ontological level, simplicity, and manageability provide additional measures of usefulness. (shrink)

Let $\mathcal M=$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders. Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest (...) condition characterizes, up to definitional equivalence, theories of colored orders expanded by equivalence relations with convex classes. (shrink)

The `fact' of pluralism in science is nosurprise. Yet, if science is representing andexplaining the structure of the oneworld, why is there such a diversity ofrepresentations and explanations in somedomains? In this paper I consider severalphilosophical accounts of scientific pluralismthat explain the persistence of bothcompetitive and compatible alternatives. PaulSherman's `Levels of Analysis' account suggeststhat in biology competition betweenexplanations can be partitioned by the type ofquestion being investigated. I argue that thisaccount does not locate competition andcompatibility correctly. I then defend anintegrative (...) model for understanding pluralism. This view is based on taking seriously both thecomplexity and contingency of biologicalorganization and the idealized character ofbiological models. On this view, explanationbecomes, among other things, the location forthe integration of diverse models. I explicatemy argument by an analysis of explanations ofdivision of labor in social insects. (shrink)

We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, each possible world is equipped with a structure of the form $$\langle H, \mu \rangle $$ that needs not be a probability space. More precisely, though H needs not be a Boolean algebra, the corresponding monotone function (we call it measure) $$\mu : H \longrightarrow [0,1]_{\mathbb {Q}}$$ satisfies the following condition: if $$\alpha $$, $$\beta $$, $$\alpha \wedge \beta $$, (...) $$\alpha \vee \beta \in H$$, then $$\mu (\alpha \vee \beta ) = \mu (\alpha ) + \mu (\beta ) - \mu (\alpha \wedge \beta )$$. Since the range of $$\mu $$ is the set $$[0,1]_{\mathbb {Q}}$$ of rational numbers from the real unit interval, our logic is not compact. In order to obtain a strong complete axiomatization, we introduce an infinitary inference rule with a countable set of premises. The main technical results are the proofs of strong completeness and decidability. (shrink)

By the start of the twenty-first century, the notion of ‘the sublime’ had come to seem incoherent. In the last ten years or so considerable light has been shed by empirical psychologists on a related notion of ‘awe’, and a fruitful dialogue between aestheticians and empirical psychologists has ensued. It is the aim of this paper to synthesize these advances and to offer what I call a ‘two-tiered’ theory of the sublime that shows it to be a coherent aesthetic category. (...) On this theory, sublime experiences begin in an ‘awe response’ (the ‘thin sublime’) and might, with the additional element of temporally-extended reflection, turn into a ‘thick sublime’ response. Building on accounts of the sublime as a species of ‘aesthetic awe’ (Clewis, 2019a and 2019b; Arcangeli, et al., 2020) I aim to show that this two-tiered theory helps to explain why sublime experiences seem to have a basic, primordial core, but also seem to be historically and culturally quite variable (as Nicolson, 1963 [1959]; Battersby, 2007; and McMahon, 2017 have stressed). On this model, the cultural and historical variability comes in largely at the point of the temporally-extended reflection characteristic of the thick sublime, due to the cognitive stock that the subject brings to the encounter. Thus, sublime experiences really lend themselves to being interpreted quite variously by the subject (as well as by the theorist) of these experiences, as, for example, affording insight into the Divine, our moral vocation, or our metaphysical unity with the entire universe, among other lofty thoughts. (shrink)

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

In Plato's Apology, Socrates says he spent his life examining and questioning people on how best to live, while avowing that he himself knows nothing important. Elsewhere, however, for example in Plato's Republic, Plato's Socrates presents radical and grandiose theses. In this book Sandra Peterson offers a hypothesis which explains the puzzle of Socrates' two contrasting manners. She argues that the apparently confident doctrinal Socrates is in fact conducting the first step of an examination: by eliciting his interlocutors' reactions, (...) his apparently doctrinal lectures reveal what his interlocutors believe is the best way to live. She tests her hypothesis by close reading of passages in the Theaetetus, Republic and Phaedo. Her provocative conclusion, that there is a single Socrates whose conception and practice of philosophy remain the same throughout the dialogues, will be of interest to a wide range of readers in ancient philosophy and classics. (shrink)

The controversy regarding the unit of selection is fundamentally a dispute about what is the correct causal structure of the process of evolution by natural selection and its ontological commitments. By characterizing the process as consisting of two essential steps--interaction and transmission--a singular answer to the unit question becomes ambiguous. With such an account on hand, two recent defenses of competing units of selection are considered. Richard Dawkins maintains that the gene is the appropriate unit of selection and Robert Brandon, (...) in response, argues that the individual organism is better suited to the role. This paper argues that by making explicit the underlying questions that each of these views addresses, the apparent conflict can be resolved. Furthermore, such a resolution allows for a more complete and realistic understanding of the process of evolution by natural selection. (shrink)

This article assesses the proliferation of international accountability standards (IAS) in the recent past. We provide a comprehensive overview about the different types of standards and discuss their role as part of a new institutional infrastructure for corporate responsibility. Based on this, it is argued that IAS can advance corporate responsibility on a global level because they contribute to the closure of some omnipresent governance gaps. IAS also improve the preparedness of an organization to give an explanation and a justification (...) to relevant stakeholders for its judgments, intentions, acts and omissions when appropriately called upon to do so. However, IAS also face a variety of problems impeding their potential to help address social and environmental issues. The contribution of the four articles in this special section is discussed in the context of standards’ problems and opportunities. The article closes by outlining a research agenda to further develop and extend the scholarly debate around IAS. (shrink)

Recently adopted health care practices and policies describe themselves as “patient-centered care.” The meaning of the term, however, remains contested and obscure. This paper offers a typology of “patient-centered care” models that aims to contribute to greater clarity about, continuing discussion of, and further advances in patient-centered care. The paper imposes an original analytic framework on extensive material covering mostly US health care and health policy topics over several decades. It finds that four models of patient-centered care emphasize: patients versus (...) their parts; patients versus providers; patients/providers/states versus “the system”; and patients and providers as persons. Each type is distinguishable along three dimensions: epistemological orientations, practical accommodations, and policy tools. Based on this analysis, the paper recommends that four questions be asked of any proposal that claims to provide patient-centered care: Is this care a means to an end or an end in itself? Are patients here subjects or objects? Are patients here individuals or aggregates? How do we know what patients want and need? The typology reveals that models are neither entirely compatible nor entirely incompatible and may be usefully combined in certain practices and policies. In other instances, internal contradictions may jeopardize the realization of coherent patient-centered care. (shrink)

Thomas Hobbes has been hailed as the philosopher of power par excellence; however, I demonstrate that Hobbes’s conceptualization of political power is not stable across his texts. Once the distinction is made between the authorized and the effective power of the sovereign, it is no longer sufficient simply to defend a doctrine of the authorized power of the sovereign; such a doctrine must be robustly complemented by an account of how the effective power commensurate to this authority might be achieved. (...) Nor is this straightforward: for effective political power can fluctuate, sometimes severely. In this light, the prevalent juridical reading of Hobbes’s political philosophy is inadequate. (shrink)

In a rare full-length volume, renowned feminist thinker Sandra Lee Bartky brings together eight essays in one volume, Sympathy and Solidarity. A philosophical work accessible to an educated general audience, the essays reflect the intersection of the author's eye, work, and sometimes her politics. Two motifs connect the works: first, all deal with feminist topics and themes; second, most deal with the reality of oppression, especially in the disguised and subtle ways it can be manifested.

This authored book provides an innovative and systematic account of key debates within the social psychology of knowledge, using the theory of social representations as a guide. This account is then elaborated and integrated into a conceptually coherent theoretical framework to further the social psychological dimensions of the relationship between representations, knowledge and context. Jovchelovitch highlights the social psychological components of the process of knowledge formation and their impact in the constitution of communities, culture and public spheres. Whilst this exploration (...) contributes to an understanding of the genesis, logic and function of knowledge in social life, it also shows that context is essential to understanding the dynamics of representation and emphasises the fundamental unity between the two. This book offers a significant and stimulating contribution to the field of social representations and will make essential reading for those wanting to follow this debate at thecutting edge of social, cultural and developmental psychology as well as sociology, anthropology and cultural studies. (shrink)

Although the adverse implications of physician advertising are the subject of a fierce and sustained debate, there is almost no scholarly discussion on the ethical repercussions of physician advertising bans. The present paper draws attention to these repercussions as they exist today in most of the world, with particular focus on three serious implications for the public: uncertainty about the physician's interests, namely, that patients must trust the physician to put patient wellbeing ahead of possible gains when taking medical decisions; (...) uncertainty about alternative treatments, namely, that patients must trust in the physician's treatment decisions; and uncertainty about the exclusive patient–physician relationship, namely, that patients must develop and maintain a good relationship with one physician. Physician advertising bans continue to tell the public in most of the modern world that these are irrelevant or inappropriate issues, meaning that they are effectively left to the public to resolve. (shrink)

Although high-performance human resource practices do not directly affect corporate social performance strengths, they do positively affect CSP strengths in companies that are highly innovative or have high levels of slack. High-performance human resource management practices also directly and negatively affect CSP concerns. Drawing on the resource-based view and using secondary data from an objective, third-party database, the authors develop and test hypotheses about how high-performance HRM affects a company’s CSP strengths and concerns. Findings suggest that HRM and innovation are (...) important capabilities because they create and enhance other capabilities. (shrink)

We discuss the bearing of Daniel Kahneman and Amos Tversky's Prospect Theory on some central issues in ethics. It has been argued that the theory provides a better explanation of our intuitive responses to some important ethical decision cases—like some famous cases put by Philippa Foot and others—than traditional and widely acknowledged ethical principles do. In this way, Prospect Theory contributes to the new wave of skepticism, emanating from the social sciences, about the role of intuitive judgments in ethical theory (...) and philosophy more generally. We focus on Kahneman and Tversky's famous Asian Disease Problem. We show that the case fails to support Prospect Theory over traditional ethical theory as an explanation of the most common intuitive responses to the case, and, moreover, fails as an account of the most common intuitive responses to Foot's famous trolley case and related cases. We maintain that careful critical attention to all these cases shows that Prospect Theory has not made a successful incursion into ethics, whatever it may have established about non-ethical decision-making. (shrink)

In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with (...) the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

This paper presents a novel analysis of Sluicing, an ellipsis construction first described by Ross (1969) and illustrated by the bracketed portion ofI want to do something, but I'm just not sure [what _]. Starting from the assumption that a sluice consists of a displaced Wh-constituent and an empty IP, we show how simple and general LF operations fill out the empty IP and thereby provide it with an interpretable Logical Form. The LF operations we appeal to rely on the (...) influential theory of indefinites developed by Irene Heim and Hans Kamp, and are in harmony with certain aspects of Chomsky's Minimalist Program for linguistic theory. The analysis accounts directly for the familiar properties of Sluicing, as well as some facts which have not previously been observed. (shrink)