Background: Current practice frequently fails to provide care consistent with the preferences of decisionally-incapacitated patients. It also imposes significant emotional burden on their surrogates. Algorithmic-based patient preference predictors (PPPs) have been proposed as a possible way to address these two concerns. While previous research found that patients strongly support the use of PPPs, the views of surrogates are unknown. The present study thus assessed the views of experienced surrogates regarding the possible use of PPPs as a means to help make (...) treatment decisions for decisionally-incapacitated patients. -/- Methods: This qualitative study used semi-structured interviews to determine the views of experienced surrogates [n=26] who were identified from two academic medical centers and two community hospitals. The primary outcomes were respondents’ overall level of support for the idea of using PPPs and the themes related to their views on how a PPP should be used, if at all, in practice. -/- Results: Overall, 21 participants supported the idea of using PPPs. The remaining five indicated that they would not use a PPP because they made decisions based on the patient’s best interests, not based on substituted judgment. Major themes which emerged were that surrogates, not the patient’s preferences, should determine how treatment decisions are made, and concern that PPPs might be used to deny expensive care or be biased against minority groups. -/- Conclusions: Surrogates, like patients, strongly support the idea of using PPPs to help make treatment decisions for decisionally-incapacitated patients. These findings provide support for developing a PPP and assessing it in practice. At the same time, patients and surrogates disagree over whose preferences should determine how treatment decisions are made, including whether to use a PPP. These findings reveal a fundamental disagreement regarding the guiding principles for surrogate decision-making. Future research is needed to assess this disagreement and consider ways to address it. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

Is second-order logic logic? Famously Quine argued second-order logic wasn't logic but his arguments have been the subject of influential criticisms. In the early sections of this paper, I develop a deeper perspective upon Quine's philosophy of logic by exploring his positive conception of what logic is for and hence what logic is. Seen from this perspective, I argue that many of the criticisms of his case against second-order logic miss their mark. Then, in the later sections, I go beyond (...) Quine to develop a novel case that quantification into polyadic predicate position, understood as requiring quantifiers to range over relations, isn't intelligible. (shrink)

It is frequently argued that to address structural injustice, individuals should participate in collective actions organized by civil society organizations (CSOs), but the role and the normative status of CSOs are rarely discussed. In this paper, we argue that CSOs semi-perfect our shared obligation to address structural injustice by defining shared goals as well as taking actions to further them. This assigns a special moral status to CSOs, which in turn gives rise to our duty to support them. Thus, (...) we do not have full discretion when deciding whether to join collective actions or not. Under certain conditions, we can even be forced by others to do our share. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

The broadcast nature of communication in transmission media has driven the rise of network coding’s popularity in wireless networks. Numerous benefits arise from employing network coding in multi-hop wireless networks, including enhanced throughput, reduced energy consumption, and decreased end-to-end delay. These advantages are a direct outcome of the minimized transmission count. This paper introduces a comprehensive framework to employ network coding in these networks. It refines decision-making at coding and decoding nodes simultaneously. The coding-nodes employ optimal stopping theory to find (...) optimal moments for packet transmission. Meanwhile, the decoding-nodes dynamically decide, through SMDP (Semi Markov Decision Process) problem formulation, whether to conserve energy by deactivating radio units or to stay active for improved coding by overhearing packets. The proposed framework, named ENCODE, enables nodes to learn how and when to use network coding over time. Simulation results compare its performance with existing approaches. Our simulation results shed new light on when and how to use network coding in wireless multi-hop networks more effectively. (shrink)

This research explores the effects of globalization to the Malaysian architectural practice in the current situation. The research explores three issues, firstly what are the reasons local architects are taking projects locally (localization) only, and, secondly, what are the factors which motivate local architects to venture into international projects (termed as globalization). It also explores, thirdly, what are the factors which influence foreign architects coming to Malaysia to practice. Research was qualitative in nature using semi-structured interviews. The interviews were (...) transcribed and a thematic analysis was carried out. An online survey was conducted towards the end to a different group from the architecture fraternity to supplement the research and findings. Overall, the reasons uncovered for the first issue are the total lack of opportunities and insufficient capacity due to small practices. Reasons for the second issue are due to the more lucrative fees and the experience and technology transfer which are advancements to their practices. For the third issue, the factors were found to more personal reasons based rather than solely applying to practice. In summary, to go global or stay local is actually up to the individual preference of the architect and also the capacity of their practices. The findings can be used as a resource for architects and architectural students who are still deciding whether to globalize or localize their careers. As it currently the case, many architects are practicing in other countries to replicate architectural styles which may be more conducive to sustainable tourism, for example, hotel designs. (shrink)

ABSTRACT Attributing different titles to the activity of teaching Turkish to non-native speakers is related to the perspective of those who conduct this activity. If Turkish Language teaching centres are sub-units of Schools of Foreign Languages and Departments of Foreign Languages of our Universities or teachers have a foreign language background, then the title “Teaching Turkish as a Foreign Language” is adopted and claimed to be universal. In determining success at teaching and learning, the psychological perception of the educational activity (...) and the associational power of the words used are far more important factors than the teacher, students, educational environment and educational tools. For this reason, avoiding the negative connotations of the adjective “foreign” in the activity of teaching foreigners Turkish as spoken in Turkey would be beneficial. In order for the activity of Teaching Turkish as Spoken in Turkey to Turkic Speakers to be successful, it is crucial to dwell on the formal and contextual quality of the books written for this purpose. Almost none of the course books and supplementary books in the field of teaching Turkish to non-native speakers has taken Teaching Turkish as Spoken in Turkey to Turkic Speakers into consideration. The books written for the purpose of teaching Turkish to non-speakers should be examined thoroughly in terms of content and method and should be organized in accordance with the purpose and level of readiness of the target audience. Activities of Teaching Turkish as Spoken in Turkey to Turkic Speakers are still conducted at public and private primary and secondary schools and colleges as well as private courses by self-educated teachers who are trained within a master-apprentice relationship. Turkic populations who had long been parted by necessity have found the opportunity to reunite and turn towards common objectives after the dissolution of The Union of Soviet Socialist Republics. This recent state of affairs resulting from the use of various alphabets such as Arabic, Kirill, Latin by Turkic republics that declared independence and by autonomous and semi-autonomous Turkic communities or Turkic minorities living in various regions in the World have risen the need for a common communicative language and alphabet among the cognate people of those communities. For this reason, Activities of Teaching Turkish as Spoken in Turkey to Turkic Speakers have gained a particular significance today. Activities of Teaching Turkish as Spoken in Turkey to Turkic Speakers are still handled within the scope of “Teaching Turkish to Foreigners” and people who have no background of Turkish language are given the same curriculum as Turkic speakers. This causes students who have zero Turkish language background and the ones who have the basic structural knowledge of the language at a native level to be given the same education in the same classroom environment and same tests. In these classrooms where the students’ levels of readiness vary dramatically, half of the students are unable to follow the lesson. While teaching Turkish as spoken in Turkey to the Turkic speakers, the equivalence level of the words in the dialect to be taught must be taken into consideration. You can teach someone who knows nothing about a subject better than the ones that have different or inaccurate knowledge of the subject. The same applies to teaching Turkish spoken in Turkey to Turkic speakers. In order to decide which of The Turkic dialects is to be the common communicative language, we must pay attention to factors such as the geographical size of the land that the dialect is spoken in, the domain, the level of appeal and the power of the dialect in visual and print media. As Turkish spoken in Turkey is number one in almost all of these factors, it should be the common communicative language among Turkic speakers. When taught consciously in a classroom environment, the similarities and associations between the dialects would help Turkic speakers to learn Turkish language more easily; but when neglected, the result would be the opposite. To form the first texts with the common words in Turkic dialects in the books to be written for Teaching Turkish as Spoken in Turkey to Turkic Speakers would facilitate language learning. There is a need for a systematic study in terms of every aspect such as the title, the common alphabet, the books and materials to be produced and teaching methods to be used in Teaching Turkish as Spoken in Turkey to Turkic Speakers. The characteristics of Turkish dialect spoken in Turkey and other Turkic dialects are still not considered in the activities conducted on the subject; and the activity is considered as foreign language teaching instead of teaching another dialect of Turkish language. It is considered that Turkish as spoken in Turkey should be the common communicative language among the Turkish world and for this reason it is crucial to teach it to people who speak other dialects of Turkic languages. First of all, common and similar semantic, vocal and structural units in the dialects must be identified and texts and methods that emphasize these similarities must be determined. Teaching Turkish as spoken in Turkey should be divided into two main sections as “Teaching Turkish as spoken in Turkey to Native Turkic speakers” and “Teaching Turkish as spoken in Turkey to Non-native Speakers” and teaching methods and educational tools should be determined accordingly. “Teaching Turkish as spoken in Turkey to Native Turkic speakers” should also be classified into groups. For example, under the sub title of “Teaching Turkish as spoken in Turkey to Turkic speakers”, specific course books for “Azerbaijan Turks, Kirghiz Turks, Kazakh Turks, Uzbek Turks and Turkman Turks, etc.” should be prepared in order to teach them Turkish as spoken in Turkey. In addition, instead of grammar based methods, techniques that give grammatical knowledge subtly should be preferred in Teaching Turkish as Spoken in Turkey to Turkic Speakers. While teaching Turkish to adults that come from various parts of the world with various language knowledge and skills, we should benefit from the power of pictures and shapes which are considered the common language of humankind. The sentence, which is the basic component that states a meaningful idea, should be taken as basis while teaching the language; and for the ones who do not know the Turkish alphabet, firstly letters, which are the smallest units of written language, should be comprehended by means of alphabets with pictures. Instead of making students memorize words, the meanings and forms of the words should be presented within the sentences while tenses and personal pronouns and endings should be comprehended within the sentence. While teaching sentences; first, correct pronunciation of the sentence, the meaning and correct articulation (first oral and then written) of the sentence, and then how to analyse the sentence structure and produce similar sentences should be taught; stress, intonation and spelling rules should be comprehended by means of sentences. Teaching Turkish as spoken in Turkey to Turkic speakers and Teaching Turkish to foreigners are still considered the same. A state policy has to be formed on this matter; the scope, content and teaching method of teaching Turkish to non-native speakers must be evaluated based on scientific criteria and measures must be taken in terms of professional Turkish language teaching. In a word, new measures must be taken and scientific studies must be conducted for the activity of Teaching Turkish as Spoken in Turkey to Turkic Speakers in terms of fields varying from raising course teachers, producing course books, determining the method and location of the class to the production and selection of educational tools. (shrink)

The development of a book is an enjoyable task. Whatever the contents of this book might be, I assure you that I would try my best to put things in such a simple language in an easy-to-understand manner. Moreover, I also promise to be as blunt and frank as I could be. -/- I have been thinking of writing this book for quite some time; however, I have decided if I am going to write one book, then I might as (...) well write more books since I am going over the basics of some of my thoughts and theories in this very first book.6 However, my thoughts and theories are the least important since everybody could be wrong, and my thoughts could have been the same as others. -/- Yet, as mentioned earlier, these are only the base of my thoughts, observations, and theories and do not include all the subjects I would love to share. I have written in this very first book a brief introduction to some of my thoughts. -/- Furthermore, they are nothing special since we all think we have something special to say. I might perhaps be under the same impression as everybody else. -/- Also, I have to admit that I am an average person like any other person who could make mistakes. Therefore, I see myself entitled to change of opinion if better logic is provided sufficiently. -/- I have to try writing this book since it is already long overdue, and it is time to share my opinions and7 understandings of the world as simple and as naive that they can be! -/- Moreover, this book will be as I usually say that ''in school, first, you learn a lesson then you have a test, but in life, first, you have a test then you learn a lesson''. -/- So I promise to listen to your criticism and pieces of advice to make myself better and develop into a better and wiser individual. I hope this book helps us both. -/- This book is not about me being right or wrong since I will always look forward to criticism since critics are the ones that help us be better at what we are or what we are trying to accomplish. (shrink)

Of course, salaries were paid in cash because, nowadays, people no longer receive wages in the form of extra pants or a few bottles of fish sauce, which were non-negotiable.

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

The world of artificial intelligence appears to be in rapid transition, and claims that artificial general intelligence is impossible are competing with concerns that we may soon be seeing Artificial Godlike Intelligence and that we should be very afraid of this prospect. This article discusses the issues from a psychological and social perspective and suggests that with the advent of Generative Artificial Intelligence, something that looks to humans like Artificial General Intelligence has become a distinct possibility as is the idea (...) of making it semi-autonomous: not just responding to discrete external inputs or performing specific tasks but able to prompt itself to create an ongoing stream of cognition that can possess something akin to a ‘purpose’. Add to that the ability of computers to be connected in vast networks, and we can envisage intelligences with staggering amounts of knowledge and reasoning capability, engaging with humans to anticipate and grant wishes. Such Semi-Autonomous Godlike Artificial Intelligences (SAGAIs—meaning ‘engagements’ in Hindi) could end up like Kali, wreaking death and destruction on our species or like Thor, acting as a saviour and protector of humanity. Which of these our SAGAIs most resemble could depend on whose wishes it is designed to serve: a rich oligarchy seeking ever greater wealth and power whatever the cost to others, or a populace that has compassion for each other and for life on the planet. (shrink)

Currently there are at least four sizeable projects going on to establish the gravitational acceleration of massive antiparticles on earth. While general relativity and modern quantum theories strictly forbid any repulsive gravity, it has not yet been established experimentally that gravity is attraction only. With that in mind, the Elementary Process Theory (EPT) is a rather abstract theory that has been developed from the hypothesis that massive antiparticles are repulsed by the gravitational field of a body of ordinary matter: the (...) EPT essentially describes the elementary processes by which the smallest massive systems have to interact with their environments for repulsive gravity to exist. In this paper we model a nonrelativistic, one-component massive system that evolves in time by the processes as described by the EPT in an environment described by classical fields: the main result is a semi-classical model of a process at Planck scale by which a non-relativistic onecomponent system interacts with its environment, such that the interaction has both gravitational and electromagnetic aspects. Some worked-out examples are provided, among which the repulsion of an antineutron by the gravitational field of the earth. The general conclusion is that the semi-classical model of the EPT corresponds to non-relativistic classical mechanics. Further research is aimed at demonstrating that the EPT has a model that reproduces the successful predictions of general relativity. (shrink)

Policy-makers must sometimes choose between an alternative which has somewhat lower expected value for each person, but which will substantially improve the outcomes of the worst off, or an alternative which has somewhat higher expected value for each person, but which will leave those who end up worst off substantially less well off. The popular ex ante Pareto principle requires the choice of the alternative with higher expected utility for each. We argue that ex ante Pareto ought to be rejected (...) because it conflicts with the requirement that, when possible, one ought to decide as one would with full information. We apply our argument in an analysis of US policy on screening for breast cancer. -/- . (shrink)

In this paper, we presented antoher concept of neutrosophic open sets called neutrosophic semi-α-open sets and studied their fundamental poperties in neutrosophic topological spaces. We also present neutrospohic semi-α-interior and neutrosophic semi-α-closure and study some of their fundamental properties.

In this paper, we introduce and investigate a new class of sets and functions between topological space called neutrosophic semi-supra open set and neutrosophic semi-supra open continuous functions respectively.

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

This paper develops a new form of metaethical expressivism according to which the normative judgment that X should Φ consists in a decision that X Φ. When the judgment is first-personal—e.g., my judgment that I should Φ—the view is similar to Gibbard’s plan expressivism, though the state I call “decision” differs somewhat from a Gibbard-style plan. The deep difference between the views shows in the account of third-personal judgments. Gibbard construes the judgment that Mary should Φ as a de se (...) plan on the thinker’s part to Φ if she turns out to be Mary (the Subtle View). I construe the judgment as a decision for Mary that Mary Φ (the Simple View). The main argument for Simple Plan Expressivism is that it solves problems for Gibbard’s approach, resonates with a new and interesting moral psychology, and better makes sense of certain independently plausible constraints on normative judgment. In the end I argue that this account of normative judgment has implications for first-order ethics, implying in particular that rational egoism as standardly formulated is incoherent. (shrink)

According to a consensus view in philosophy, “deciding” and “intending” are synonymous expressions. Researchers have recently challenged this view with the discovery of a counterexample in which ordinary speakers attribute deciding without intending. The aim of this paper is to investigate the strengths and limits of this discovery. The result of this investigation revealed that the evidence challenging the consensus view is strong. We replicate the initial finding against consensus and extend it by utilizing several new measures, materials, and procedures. (...) Together this evidence strongly suggests that “deciding” is not synonymous with “intending” in ordinary language and that the consensus view should be rejected. (shrink)

A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch (...) sentences are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

Recent work in cognitive science suggests that conscious thought plays a much less central role in the production of human behavior than most think. Partially on the basis of this work, Peter Carruthers has advanced the claim that humans never consciously decide to act. This claim is of independent interest for action theory, and its potential truth poses a problem for theories of free will and autonomy, which often take our capacity to consciously decide to be of central importance. In (...) this article, I examine the nature of conscious deciding and I argue that Carruthers fails to establish the claim that humans never consciously decide to act. (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)

Williams, Elster and Pears hold that an effort to induce in oneself a belief in the truth of some proposition that one believes to be false can succeed only if one manages, somewhere along the way, to forget that one is engaged in such an effort. Although this view has strong intuitive appeal, it is false, and in this paper it is shown to be false by example.

By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.

Certain apparently simple problems of coming to an agreement are surprisingly difficult to analyze in terms of individually rational behavior with a given set of preferences and beliefs. Though initially the solution appears obvious, the reasoning that would be needed to reach the solution on the part of a pair of rational individuals seems baroque and doubtful. This is used to suggest that a more fruitful tack is to analyze the situation in terms of a kind of joint or shared (...) intentionality. If that can be invoked, what appears simple in practice will turn out to be simple in theory as well. (shrink)

Stipulation gives us a degree of control over meaning. By stipulating how I will use a term I am able to determine the meaning it will receive on future occasions of use. My stipulation will affect the truth conditional content of my future utterances. But the mechanisms of stipulation are mysterious. As Cappelen (2018) argues, meaning is typically determined in an inscrutable way by a myriad of external factors beyond our control. How does stipulation override these factors? And the powers (...) of stipulation are limited. Firstly, the power of stipulation is typically short-lived. Sec-ondly, some stipulations simply don’t get off the ground. What explains the limits of stipulation? I consider two related approaches to stipulation and argue that they are unable to capture stipulation’s metasemantic effects. I then provide an explanation of the metasemantic effects of stipulation: Stipulation determines meaning by determining the word use it is fitting to hold the speaker to. This account is able to capture the mechanisms and limits of stipulation, whilst also explaining why we should care about stip-ulative success. I close by briefly drawing out some lessons for conceptual engineering. -/- . (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of (...) K, using a novel generalisation of the standard semantics. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, (...) in: R.S. Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

A commentary is given on Trevena and Miller . The comparability of their experimental task and of the potential they recorded with those used and recorded by Libet, Gleason, Wright, and Pearl is questioned. An interpretation is given for the similarity of event-related potentials recorded when subjects decided to move and when they decided not to move.

By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...) incorrect. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

Suspension system is used to fulfil the criteria of ride comfort and road handling. In this paper, a quarter car active & semi-active suspension systems are designed using Matlab/Script software. Comparison of active & semi-active suspension systems are done using robust control theory for the control targets suspension deflection, body acceleration and body travel. H infinity controller is selected to compare the two suspensions using time domain analysis. Finally the simulation result prove the effectiveness of the active suspension (...) system by decreasing the body acceleration & sustaining the suspension deflection and body travel outputs. (shrink)

This rich book differs from much contemporary philosophy of mathematics in the author’s witty, down to earth style, and his extensive experience as a working mathematician. It accords with the field in focusing on whether mathematical entities are real. Franklin holds that recent discussion of this has oscillated between various forms of Platonism, and various forms of nominalism. He denies nominalism by holding that universals exist and denies Platonism by holding that they are concrete, not abstract - looking to Aristotle (...) for inspiration. (shrink)

Through most of the twentieth century, life scientists grew increasingly sceptical of the biological significance of folk classifications of people by race. New work on the human genome has raised the possibility of a resurgence of scientific interest in human races. This paper aims to show that the racial sceptics are right, while also granting that biological information associated with racial categories may be useful.

Everyday (mis)uses of deepfakes define prevailing conceptualizations of what they are and the moral stakes in their deployment. But one complication in understanding deepfakes is that they are not photographic yet nonetheless manipulate lens-based recordings with the intent of mimicking photographs. The harmfulness of deepfakes, moreover, significantly depends on their potential to be mistaken for photographs and on the belief that photographs capture actual events, a tenet known as the transparency thesis, which scholars have somewhat ironically attacked by citing digital (...) imaging techniques as counterexamples. Combining these positions, this paper sets out two core points: (1) that conceptions about the nature of photography introduce imperatives about its uses; and (2) that popular cultural understandings of photography imply normative ideas that infuse our encounters with deepfakes. Within this, I further raise the question of what moral ground deepfakes occupy that allows them to have such a potentially devastating effect. I show that answering this question involves reinstating the notion that photographs are popularly conceived of as transparent. The rejoinder to this argument, however, is that to take the sting out of deepfakes we must, once again, become skeptical of the veracity of all images, including photoreal ones. This kind of critical mindedness was warranted before the invention of photography for both pictorial imprints and written accounts from various media sources. Given this, along with the fact that photographic trickery is nothing new, deepfakes need not push us into a post-truth epistemic abyss, for they imply a decidedly old turn. (shrink)

An AI-based “patient preference predictor” (PPP) is a proposed method for guiding healthcare decisions for patients who lack decision-making capacity. The proposal is to use correlations between sociodemographic data and known healthcare preferences to construct a model that predicts the unknown preferences of a particular patient. In this paper, I highlight a distinction that has been largely overlooked so far in debates about the PPP–that between algorithmic prediction and decision-making–and argue that much of the recent philosophical disagreement stems from this (...) oversight. I show how three prominent objections to the PPP only challenge its use as the sole determinant of a choice, and actually support its use as a source of evidence about patient preferences to inform human decision-making. The upshot is that we should adopt the evidential conception of the PPP and shift our evaluation of this technology towards the ethics of algorithmic prediction, rather than decision-making. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision (...) problem for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction.

The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction. ---------------------------------------------------------------------------------------------------- ---- Simulating halt decider H correctly determines that D correctly simulated by H would remain stuck in (...) recursive simulation never reaching its own final state. D cannot do the opposite of the return value from H because this return value is unreachable by every correctly simulated D. This same result is shown to be derived in the Peter Linz Turing machine based proof. (shrink)

When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of Turing Machine (...) Descriptions. (shrink)

Shadmehr and Ahmed’s book is a welcome extension of optimal foraging theory and neuroeconomics, achieved by integrating both with parameters relating to effort and rate of movement. Their most persuasive and prolific data comes from saccades, where times before and after decision are reasonably determinate. Skeletal movements are less likely to exhibit such tidy temporal organisation.

The claim that historians “write from a present-day perspective” does not entail that the past only matters when interpreted by categories of social justice. The past is a set of amorphous events and people, including their actions and motives. So, historians are free to explore various aspects of it to offer meaningful and compelling interpretations without necessarily privileging one category. The past is richer than we can humanely understand. Hence, it is important that new generations of scholars revise it from (...) different angles and without ideological restrictions. (shrink)

Several recent incompatibilist accounts of divine grace and human free will have appealed to the notion of quiescence in an attempt to avoid semi-Pelagianism while retaining the fallen person’s control over coming to faith and thus the agent’s responsibility for failing to come to faith. In this essay I identify three distinct roles that quiescence has been employed to play in the recent literature. I outline how an account of divine grace and human free will may employ quiescence to (...) play one role without playing either of the others. I also note that getting clear about these roles allows us to see that so-called sourcehood accounts of free will do not need to appeal to quiescence to avoid semi-Pelagianism. Far from being a benefit of sourcehood accounts, however, this highlights a serious defect in such accounts; I draw out this defect, developing it into a general argument against sourcehood accounts of free will. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

Discusses who should decide the result of legal trials, focusing on the jury system.

While autonomous vehicles (AVs) are not designed to harm people, harming people is an inevitable by-product of their operation. How are AVs to deal ethically with situations where harming people is inevitable? Rather than focus on the much-discussed question of what choices AVs should make, we can also ask the much less discussed question of who gets to decide what AVs should do in such cases. Here there are two key options: AVs with a personal ethics setting (PES) or an (...) “ethical knob” that end users can control or AVs with a mandatory ethics setting (MES) that end users cannot control. Which option, a PES or an MES, is best and why? This chapter argues, by drawing on the choice architecture literature, in favor of a hybrid view that requires mandated default choice settings while allowing for limited end user control. (shrink)