In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...) attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...) Dunn et al. (2005) and Gehrke et al. (2005). (shrink)

In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2007-03-09/10. Session 2: Logical Dynamics of Social Interaction.

In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...) of choice as well. (shrink)

Analyzing the concept of ḥikmah in early Islamic texts, this book brings earliest scholarly materials to the service of modern readers and thus offers a comprehensive contextualization of this subtle and elusive notion in the collective usage of early Muslim authors, especially in the works of lexicographers, exegetes, philosophers, and Sufis.

If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...) used in developing DEL can be used to develop logics that deal with a much wider variety of speech acts. For example, in ECL (Eliminative Command Logic) of Yamada (2007a) and ECL II of Yamada (2007b), similar model updating operations are introduced tointerpret acts of commanding as what update deontic aspects of the situations in which agents are involved. In Yamada (2008a), ECL II is further extended so as to model acts of promising along with acts of commanding. Moreover, in Yamada (2008b), ECL II is combined with a modified version of DEUL (dynamic epistemic upgrade logic) introduced in van Benthem & Liu (2007). In the resulting logic DDPL (dynamic deontic preference logic), illocutionary acts of commanding are differentiated from preference upgrading perlocutionary acts. The development of these logics suggests a recipe for developing logics that deal with various specific speech acts: first, carefully identify the aspects affected by the speech acts you want to study; second, find the modal logic that characterizes the aspects in question; and finally, add dynamic modalities that stand for the types of the speech acts being studied and define model updating operation that interprets these speech acts as what update the very aspects. (shrink)

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.

Background and aim: Professional values are abstract and general behavioral principles that provide basic standards to judge aims and actions, and these principles are formed by strong emotional loyalty of members of the profession. Research was conducted to compare the career choice and professional values of nursing students at two universities in the upper Midwest of the United States and in the middle of Turkey. Materials and Methods: A descriptive and comparative design was used. The participants of the study were (...) comprised nursing students from a university in the upper Midwest of United States and a university in the middle of Turkey. The sample consisted of 728 students in all grades. Data were collected by a questionnaire, The Nurses Professional Values Scale–Revised and Vocational Choices in Entering Nursing Scale. Number, percentage distribution, mean, standard deviation, t test, and one-way variance analysis were used in the analysis of data. Ethical considerations: Ethical approval was obtained from the Ethics Commission. Informed consent was received from the students. Results: The students’ mean age for American students was 24.3 ± 5.6 years, while the mean age for Turkish students was 19.8 ± 1.7 years. Mean score of American students on The Vocational Congruency (a subgroup of the Vocational Choices in Entering Nursing Scale) was 38.5 ± 5.9 and Turkish students was 29.6 ± 8.9 (p < 0.05). Mean score of American students on The Nurses Professional Values Scale–Revised was 109.2 ± 12.3 and that of Turkish students was 101.6 ± 17.0. Conclusion: This study concluded that the majority of nursing students had high professional values, and when students’ scores were compared, American students had higher professional values, and in career choice, they considered primarily fitness of the profession to themselves and their goals, while Turkish students primarily thought of their living conditions. (shrink)

In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic definition of recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum function from (...) the existing ones. We prove that our schematic definition precisely characterizes all functions that can be computable with high success probabilities on well-formed quantum Turing machines in polynomial time, or equivalently uniform families of polynomial-size quantum circuits. Our new, schematic definition is quite simple and intuitive and, more importantly, it avoids the cumbersome introduction of the well-formedness condition imposed on a quantum Turing machine model as well as of the uniformity condition necessary for a quantum circuit model. Our new approach can further open a door to the descriptional complexity of quantum functions, to the theory of higher-type quantum functionals, to the development of new first-order theories for quantum computing, and to the designing of programming languages for real-life quantum computer. (shrink)

Two-player, zero-sum, non-cooperative, blindfold games in extensive form with incomplete information are considered in this paper. Any information about past moves which players played is stored in a database, and each player can access the database. A polynomial game is a game in which, at each step, all players withdraw at most a polynomial amount of previous information from the database. We show resource-bounded determinacy of some kinds of finite, zero-sum, polynomial games whose pay-off sets are computable by non-deterministic polynomial-time (...) function-oracle Turing machines. We call a pay-off set -determined if, for any polynomial game G associated with the given pay-off set, either player has a winning strategy which is in for any subgames of G. We show that there exists an FP-strongly-determined pay-off set which is computed by an exponential-time oracle Turing machine, where FP is the set of polynomial-time computable functions. We also discuss several relationships between the determinacy of polynomial games and recursion-theoretic properties for the classes co-NP and co-NEXP. We show that the polynomial version of the axiom of choice holds under some assumption of polynomial determinacy for a pay-off set which is polynomial-time computable with parallel queries. This principle of choice implies that co-NP has the separation property. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 3.

Correct chromosome segregation in mitosis relies on chromosome biorientation, in which sister kinetochores attach to microtubules from opposite spindle poles prior to segregation. To establish biorientation, aberrant kinetochore–microtubule interactions must be resolved through the error correction process. During error correction, kinetochore–microtubule interactions are exchanged (swapped) if aberrant, but the exchange must stop when biorientation is established. In this article, we discuss recent findings in budding yeast, which have revealed fundamental molecular mechanisms promoting this “swap and stop” process for error correction. (...) Where relevant, we also compare the findings in budding yeast with mechanisms in higher eukaryotes. Evidence suggests that Aurora B kinase differentially regulates kinetochore attachments to the microtubule end and its lateral side and switches relative strength of the two kinetochore–microtubule attachment modes, which drives the exchange of kinetochore–microtubule interactions to resolve aberrant interactions. However, Aurora B kinase, recruited to centromeres and inner kinetochores, cannot reach its targets at kinetochore–microtubule interface when tension causes kinetochore stretching, which stops the kinetochore–microtubule exchange once biorientation is established. (shrink)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

Since the realisation that the antigen‐binding regions of antibodies, the variable (V) regions, can be uncoupled from the rest of the molecule to create fragments that recognise and abrogate particular protein functions in cells, the use of antibody fragments inside cells has become an important tool in bioscience. Diverse libraries of antibody fragments plus in vivo screening can be used to isolate single chain variable fragments comprising VH and VL segments or single V‐region domains. Some of these are interfering antibody (...) fragments that compete with protein‐protein interactions, providing lead molecules for drug interactions that until now have been considered difficult or undruggable. It may be possible to deliver or express antibody fragments in target cells as macrodrugs per se. In future incarnations of intracellular antibodies, however, the structural information of the interaction interface of target and antibody fragment should facilitate development of binding site mimics as small drug‐like molecules. This is a new dawn for intracellular antibody fragments both as macrodrugs and as precursors of drugs to treat human diseases and should finally lead to the removal of the epithet of the ‘undruggable’ protein‐protein interactions. (shrink)

This study investigates the individual outcomes of irrational thinking, including belief in the paranormal and non-scientific thinking. These modes of thinking are identified through factor analysis of eleven questions asked in a large-scale survey conducted in Japan in 2008. Income and happiness are used as measures of individual performance. We propose two hypotheses. Previous studies in finance lead us to consider Hypothesis 1 that both higher belief in the paranormal and non-scientific thinking are associated with lower income. Literature on the (...) association between religion, the paranormal, and happiness suggest Hypothesis 2 that higher belief in the paranormal is associated with greater happiness, while higher non-scientific thinking is associated with greater unhappiness. To examine these hypotheses, we regress income and happiness on belief in the paranormal and non-scientific thinking with appropriate control variables. We employ the Mincer-type wage function as the income equation. Income, sex, and age are controlled in the happiness equation. Analysis supports both hypotheses, which highlights the complex features of irrationality. Although irrationality results in diminishing financial profitability, the component of belief in the paranormal improves the psychological state. (shrink)

O Transtorno do Espectro Autista (TEA) é caracterizado pela presença de déficits persistentes na comunicação e interação social, além de padrões restritos e repetitivos de comportamentos, interesses e atividades. Como forma de viabilizar a inclusão das crianças autistas no ambiente escolar, a orientação dos professores que atuam com este público é de suma importância. O objetivo do estudo é apresentar a experiência de orientação feita para os professores que lecionam para alunos autistas, acompanhados pelo Núcleo de Atenção ao TEA, da (...) cidade de Monte Alto-SP, no período de junho de 2022 a junho de 2023. Trata-se de um estudo descritivo, do tipo relato de experiência, embasado na ciência ABA (Análise do Comportamento Aplicada) e relacionado às vivências com os professores em orientações, realizadas mensalmente. Como resultado, observou-se a dificuldade dos docentes em acolher estes alunos, direcionar atividades, lidar com comportamentos disruptivos e no manejo das atividades de vida diária. Discute-se a importância de uma ferramenta de apoio para proporcionar aos docentes maior respaldo teórico à prática com alunos autistas, para contribuir na inclusão, aprendizagem e socialização no ambiente escolar. Esta experiência ampliou as vivências sobre a perspectiva do professor na inclusão escolar de crianças com TEA, lançando luz sobre a necessidade de formação teórica e instrumentalização dos docentes, considerando as particularidades de neurodesenvolvimento e comportamento desta população e contribuindo para a maior eficácia da assistência educacional inclusiva. (shrink)