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

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied.

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

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (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)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its (...) associated labelled calculus. (shrink)

The question which this paper examines is that of the correct scope of the claim that extra-linguistic factors (such as gender and social status) can block the proper workings of natural language. The claim that this is possible has been put forward under the apt label of silencing in the context of Austinian speech act theory. The ‘silencing’ label is apt insofar as when one’s ability to exploit the inherent dynamic of language is ‘blocked’ by one’s gender or social status (...) then one might justly be said to be silenced. The notion that factors independent of any person’s linguistic competence might block her ability to exploit the inherent dynamic of language is of considerable social as well as theoretical significance. I shall defend the claim that factors independent of a person’s linguistic competence can indeed block her ability to do things with words but I will show that the cases that have been previously considered to be cases of illocutionary failure are instances of rhetic or locutionary act failure instead. I shall refine the silencing claim as previously advanced in the debate in at least one fundamental respect. I also show that considering the metaphysics of speech acts clarifies many of the issues previously appearing as thorny bones of contention between those who hold that the only notion of silencing that is coherent is that of physically preventing someone from speaking or writing and those who hold the opposite sort of claim sketched above. (shrink)

In bioethics, the predominant categorization of various types of influence has been a tripartite classification of rational persuasion (meaning influence by reason and argument), coercion (meaning influence by irresistible threats—or on a few accounts, offers), and manipulation (meaning everything in between). The standard ethical analysis in bioethics has been that rational persuasion is always permissible, and coercion is almost always impermissible save a few cases such as imminent threat to self or others. However, many forms of influence fall into the (...) broad middle terrain—and this terrain is in desperate need of conceptual refining and ethical analysis in light of recent interest in using principles from behavioral science to influence health decisions and behaviors. This paper aims to address the neglected space between rational persuasion and coercion in bioethics. First, I argue for conceptual revisions that include removing the “manipulation” label and relabeling this space “nonargumentative]influence,” with two subtypes: “reason-bypassing” and “reason-countering.” Second, I argue that bioethicists have made the mistake of relying heavily on the conceptual categories themselves for normative work and instead should assess the ethical permissibility of a particular instance of influence by asking several key ethical questions, which I elucidate, that relate to (1) the impact of the form of influence on autonomy and (2) the relationship between the influencer and the influenced. Finally, I apply my analysis to two examples of nonargumentative influence in health care and health policy: (1) governmental agencies such as the Food and Drug Administration (FDA) trying to influence the public to be healthier using nonargumentative measures such as vivid images on cigarette packages to make more salient the negative effects of smoking, and (2) a physician framing a surgery in terms of survival rates instead of mortality rates to influence her patient to consent to the surgery. (shrink)

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (shrink)

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

This paper introduces a refined single-valued neutrosophic set (RSVNS) and presents a similarity measure of RSVNSs. Then a multicriteria decision-making method with RSVNS information is developed based on the similarity measure of RSVNSs. By the similarity measure between each alternative and the ideal solution (ideal alternative), all the alternatives can be ranked and the best one can be selected as well. Finally, an actual example on the selecting problems of construction projects demonstrates the application and effectiveness of the proposed (...) method. (shrink)

Identity labels like ‘woman’, ‘Black’, ‘mother’, and ‘evangelical’ are pervasive in both political and personal life, and in both formal and informal classification and communication. They are also widely thought to undermine agency by essentializing groups, flattening individual distinctiveness, and enforcing discrimination. While we take these worries to be well-founded, we argue that they result from a particular practice, of using labels to rigidly label others. We identify an alternative practice, of playful self-labeling, and argue that it can (...) function as a tool for combating oppression by expressing and enhancing individual and collective agency. (shrink)

In this paper, the cosine similarity measure of neutrosophic refined (multi-) sets is proposed and its properties are studied. The concept of this cosine similarity measure of neutrosophic refined sets is the extension of improved cosine similarity measure of single valued neutrosophic. Finally, using this cosine similarity measure of neutrosophic refined set, the application of medical diagnosis is presented.

I reflect on the commentaries on my ‘skill hypothesis’ from Andrews/westra, Tomasello, Sterelny, and Railton. I discuss the difference between normative cognition and the broader category of action-guiding representation, and I reflect on the relationship between joint intentionality and normative cognition. I then consider Sterelny and Railton’s variants on the skill hypothesis, which highlight some important areas where future evidence could help us refine the account: the relative importance of on-the-fly skill execution vs. longer-term strategizing, the relative importance of toolmaking (...) vs. collaborative foraging, and the question of whether norms are encoded in control models themselves or in the goals and ideals that our control models help us pursue. (shrink)

We argue that the universal recommendations against “off-label” pediatric use of approved COVID-19 issued by the FDA, CDC, and AAP are overbroad. Especially for higher-risk children, vaccination can be ethically justified even before FDA authorization or approval – and similar reasoning is relevant for even younger patients. Legal risks can also be managed, although the FDA, CDC, and Department of Health and Human Services (HHS) should move quickly to provide clarity.

Tenenbaum and Griffiths (2001) have proposed that their Bayesian model of generalisation unifies Shepard’s (1987) and Tversky’s (1977) similarity-based explanations of two distinct patterns of generalisation behaviours by reconciling them under a single coherent task analysis. I argue that this proposal needs refinement: instead of unifying the heterogeneous notion of psychological similarity, the Bayesian approach unifies generalisation by rendering the distinct patterns of behaviours informationally relevant. I suggest that generalisation as a Bayesian inference should be seen as a complement to, (...) instead of a replacement of, similarity-based explanations. Furthermore, I show that the unificatory powers of the Bayesian model of generalisation can contribute to the selection of one of these models of psychological similarity. (shrink)

In this paper, we make a short history about: the neutrosophic set, neutrosophic numerical components and neutrosophic literal components, neutrosophic numbers, neutrosophic intervals, neutrosophic hypercomplex numbers of dimension n, and elementary neutrosophic algebraic structures. Afterwards, their generalizations to refined neutrosophic set, respectively refined neutrosophic numerical and literal components, then refined neutrosophic numbers and refined neutrosophic algebraic structures.

A certain number of cases suggest that our willingness to ascribe “knowledge” can be influenced by practical factors. For revisionary proposals, they indicate that the truth‐values of “knowledge” ascriptions vary with practical factors. For conservative proposals, on the contrary, nothing surprising is happening. Standard pragmatic approaches appeal to pragmatic implicatures and psychological approaches to the idea that belief formation is influenced by practical factors. Conservative proposals have not yet offered a fully satisfactory explanation, though. In this article, I introduce and (...) defend a third conservative proposal which I call “Refined Invariantism”. The two main claims of this proposal are that (1) we should distinguish between high stakes cases in which the subject does not believe (that he knows) the target proposition and those in which he believes (that he knows) the target proposition and that (2) we should adopt a psychological treatment for the first kind of case and a pragmatic treatment based on the epistemic standards for appropriate assertion and action for the second kind of case. I argue that this new combined approach avoids the main pitfalls of its two conservative rivals and that it gives new life to the generality objection levelled against revisionary views. (shrink)

In this paper, we introduce for the first time the neutrosophic quadruple numbers (of the form a + bT + cI + dF) and the refined neutrosophic quadruple numbers. Then we define an absorbance law, based on a prevalence order, both of them in order to multiply the neutrosophic components T, I, F, or their sub-components tJ, Ik, Fl and thus to construct the multiplication of neutrosophic quadruple numbers.

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence (...) G (I), X1, X2, … is the identity, then G (I) is nilpotent. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence (...) of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing measures (...) in refined neutrosophic fuzzy sets. (shrink)

Critics of persuasive advertising argue that it undermines the autonomy of consumers by manipulating their desires in morally problematic ways. My aim is this paper is to refine that argument by employing a conception of autonomy that is not at odds with certain forms of manipulation. I argue that the charge of manipulation is not sufficient for condemning persuasive advertising. On my view, manipulation of an agent’s desires through advertising is justifiable in cases where the agent accepts the process through (...) which the desires were developed. I show how the standard manipulation objection proves too much as it would also condemn cases of that kind. I argue that this distinction is especially important when we consider the implications of “new media.” In addition to increasing vulnerability to manipulation, new media have considerable impacts on well-being. By siding with the traditional autonomy argument, we would be compelled to take an implausible stand against all forms of manipulation through advertising, but I suggest that only a proper subset of those cases are morally problematic. This conclusion opens up a space for persuasive advertising that is permissible while nevertheless condemning cases that violate consumers’ autonomy. (shrink)

Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...) that we can take advantage of dispositional properties in order to develop an ontology for GRW theory, and also in order to ground the objective probabilities which are postulated by it. However, in this paper, I will argue that the dispositional interpretations which have been discussed in the literature so far are either flawed or – at best – incomplete. If we want to endorse a dispositional interpretation of GRW theory we thus need an extended account that specifies the precise nature of those properties and which makes also clear how they can correctly ground all the probabilities postulated by the theory. Thus, after having introduced several different kinds of probabilistic dispositions, I will try to fill the gap in the literature by proposing a novel and complete dispositional account of GRW, based on what I call spontaneous weighted multi-track propensities. I claim that such an account can satisfy both of our desiderata. (shrink)

In this article, we perform a detailed proof theoretic investigation of a wide number of relevant logics by employing the well-established methodology of labelled sequent calculi to build our intended systems. At the semantic level, we will characterise relevant logics by employing reduced Routley-Meyer models, namely, relational structures with a ternary relation between worlds along with a unique distinct element considered as the real (or actual) world. This paper realizes the idea of building a variety of modular labelled calculi by (...) reflecting, at the syntactic level, semantic informations taken from reduced Routley-Meyer models. Central results include proofs of soundness and completeness, as well as a proof of cut- admissibility. (shrink)

In this paper, one extends the single-valued complex neutrosophic set to the subsetvalued complex neutrosophic set, and afterwards to the subset-valued complex refined neutrosophic set.

This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into (...) its English version: Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Boston-London-Dordrecht 1991. (shrink)

In this paper, we define for the first time three neutrosophic actions and their properties. We then introduce the prevalence order on {T, I, F} with respect to a given neutrosophic operator “o”, which may be subjective - as defined by the neutrosophic experts; and the refinement of neutrosophic entities <A>, <neutA>, and <antiA> . Then we extend the classical logical operators to neutrosophic literal logical operators and to refined literal logical operators, and we define the refinement neutrosophic literal (...) space. (shrink)

One way in which bioethicists can benefit the medical community is by clarifying the concept of disorder. Since insurance companies refer to the DSM for whether a patient should receive assistance, one must consider the consequences of one’s concept of disorder for who should be provided with care. I offer a refinement of Jerome Wakefield’s hybrid concept of disorder, the harmful dysfunction analysis. I criticize both the factual component and the value component of Wakefield’s account and suggest how they might (...) be improved. I propose that the factual component should be statistical variation analyzed in multilevel and chronological compilations of physiological data. I propose that the value component should prioritize the individual’s authority regarding the experience of suffering from a physiological condition. My account preserves the insight of using a factual and a value component while avoiding the problems that Wakefield’s original account faces. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

In this short note we show that the so-called Ambiguous Set (2019) is a subclass of the Double Refined Indeterminacy Neutrosophic Set (2017) and is a particular case of the Refined Neutrosophic Set (2013). Also, the Ambiguous Set is similar to the Quadripartitioned Neutrosophic Set (2016), and Belnap’s Four-Valued Logic (1975).

This commentary defends 3 arguments for changing the label of levonorgestrel-based emergency contraception (LNG EC) so that it no longer supports the possibility of a mechanism of action after fertilization. First, there is no direct scientific evidence confirming any postfertilization mechanisms. Second, despite the weight of evidence, there is still widespread public misunderstanding over the mechanism of LNG EC. Third, this FDA label is not a value-free claim, but instead it has functioned like a political tool for reducing contraceptive access. (...) The label is laden with antiabortion values (even though EC is contraception, not abortion), and it imposes these values on potential users, resulting in barriers to access such as with Burwell v. Hobby Lobby. These 3 arguments together provide scientific, social, and ethical grounds for the FDA to take the initiate in changing Plan B's drug label. (shrink)

In this essay, I analyse Howard S. Becker's labelling theory, using Wittgenstein and Foucault to argue that it has significant explanatory power in describing what I term "the hegemonic power of the label". Much of this essay hints at my general thought with regards hegemony at the level of interaction and language. Final grade was first class honours, 2,000 word limit. -/- The ideas expressed herein have matured significantly since. I am working on a quantitative study with my University to (...) analyse the ability of Becker's labelling theory (plus some ideas of my own) to explain the exact process of the social construction of age. I am also working on a revision of the theory of hegemony, of which includes analysis of hegemony at an interactive/linguistic level, which is heavily influenced by Becker's and Wittgenstein's thought. (shrink)

Despite its prevalence, the term ‘extreme’ has received little critical attention. ‘Extremity’ is routinely employed in ways that imply its meanings are self-evident. However, the adjective itself offers no such clarity. This article focuses on one particular use of the term – ‘extreme porn’ – in order to illustrate a broader set of concerns about the pitfalls of labelling. The label ‘extreme’ is typically employed as a substitute for engaging with the term’s supposed referents (here, pornographic content). In its contemporary (...) usage, ‘extreme’ primarily refers to a set of context-dependent judgements rather than absolute standards or any specific properties the ‘extreme’ item is alleged to have. Concurrently then, the label ‘extreme’ carries a host of implicit values, and the presumption that the term’s meanings are ‘obvious’ obfuscates those values. In the case of ‘extreme porn’, this obfuscation is significant because it has facilitated the cultural and legal suppression of pornography. (shrink)

This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options to (...) attain a conclusion of a given form within a given figure. I also argue that this picture sheds some light on Aristotle’s clarifications of the final clause in his definition of syllogism. (shrink)

Recent studies have explored the effectiveness of open-label placebos for a variety of conditions, including chronic pain, cancer-related fatigue and irritable bowel syndrome. OLPs are thought to sidestep traditional ethical worries about placebos because they do not involve deception: with an OLP, patients or subjects are told outright that they are not given an active substance. As deception is framed as the primary hurdle to ethical placebo use, the door is ostensibly opened to ethical studies of OLPs. In this article, (...) I suggest that even though OLPs seemingly do not involve deception, there are other ethical considerations in their clinical investigation and subsequent use. Research ethics often focusses on informed consent—of which, deception and honesty are a piece—as a means to justify research practices with human subjects. Yet, it is but one of the ethical considerations that should be taken into account. With research into placebo effects in particular, I argue that the history of clinical placebo use grounds special considerations for OLP research that go beyond respect for the autonomy of individual patients through informed consent and encompass structural concerns about the type of patient for whom a placebo has historically been thought appropriate. (shrink)

The concept of the Dappled World Perspective was first proposed by Nancy Cartwright. I propose a new argument in favour of the Dappled World Perspective, and show how this Perspective can be refined in the model-based model of cognition. Limitations to modeling are not caused by limitations of human cognition, but are limitations built into the very structure of the Universe. At the level of models, we will always have only a patchwork of models, each very restricted in its (...) application scope. (shrink)

One of the key episodes of history of modern physics – Paul Dirac’s startling contrivance of the relativistic theory of the electron – is elicited in the context of lucid epistemological model of mature theory change. The peculiar character of Dirac’s synthesis of special relativity and quantum mechanics is revealed by comparison with Einstein’s sophisticated methodology of the General Relativity contrivance. The subtle structure of Dirac’s scientific research program and first and foremost the odd principles that put up its powerful (...) heuristics is scrutinized with special emphasis on the highly controversial tenet of “mathematical beauty.” It is contended that despite the relentless Dirac’s remarks denigrating the controversial role of philosophy one can trace its indirect influence through Arthur Eddington’s and Hermann Weyl’s whimsical mathematical models. Accordingly, the milestones of Dirac’s research programme realization in the distinctive context of the applied epistemological doctrine are indicated. (shrink)

1. Historically, our sense of smell has been deemed informationally impoverished, not very discerning, subjective, ineffable, and generally of little value (for an overview, see e.g., Barwich, 2020...

In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements (...) which are binary predicates on state variables. Then, the statement representing the set of goal states can be partitioned into its subsets each of which becomes a subgoal of the resulting strategy. The techniques involved in partitioning a goal into its subgoals are presented with examples. (shrink)

Voltaire has presented in his Letters on the English different themes, from religious ethics, literacy, politics, to dramas and science. The letters present us a comparison between England and France. In this parallel we shall present how Voltaire was concerned in evaluate a high standard of taste and refinements. This paper will review some of the last letters of those, which testify about this criterion of taste as a modern point of view. We shall present in Voltaire the eminence of (...) modernity in taste, refinements and on liberty of enjoying the ecstasies of a cosmopolitan life fulfilled with entertainments and luxury. We shall present how Voltaire fought against barbarism in benefit of civilization and some how against religiosity in benefit of an ethic hedonism. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

Contemporary theories of consciousness can be divided along several major fault lines, but one of the most prominent concerns the question of whether they accept the principle that a mental state's being conscious involves essentially its subject being aware of it. Call this the awareness principle: For any mental state M of a subject S, M is conscious only if S is aware of M. Although analytic philosophers divide sharply on whether to accept the principle, the philosophy-of-mind literature appears to (...) contain mainly arguments against it, rather than for it. One reason is that those who accept the principle often find themselves in a certain dialectical... (shrink)

Abstract: The development of technology pushes human to increase productivity by changing manual system to automatic system. Modernization affect almost all aspect especially in art. Batik is a ancestor legacy of indonesian people that recogized by UNESCO as culture legacy of Indonesia yet batik industries are not develop as much. Modernization in batik art is expected to optimize its productivity. This research design algorithm and the program in MATLAB that used for controlling movement protype of batik maker 2 dof cartesian (...) robot. The input data is a picture that will be processed to obtain the order of coordinate edge. Then it procesed and sent to plantby using MATLAB based on Graphical User Interface (GUI). The 2 dof Cartesian robot and a pen (end effector) is used to draw a pattern. A servo motor is installed to activate end effector and two stepper motor coupled with thread mechanic that used to move it towards the X and Y axis. Testing is done by sending coordinat orders to the plant or by observing drawing process order. Obtained error from program and algorithm testing is 2,32% . (shrink)

Concept maps are found to be useful in eliciting knowledge, meaningful learning, evaluation of understanding and in studying the nature of changes taking place during cognitive development, particularly in the classroom. Several experts have claimed the effectiveness of this tool for learning science. We agree with the claim, but the effectiveness will improve only if we gradually introduce a certain amount of discipline in constructing the maps. The discipline is warranted, we argue, because science thrives to be an unambiguous and (...) rigorously structured body of knowledge. Since learning science may be seen as a process where a novice is expected to be transformed into an expert, we use the context of learning science for making the proposal. Further, we identify certain anomalies in the evaluation of concept maps, and suggest that the evaluation should be based on semantics of the linking words (relation types) and not on graphical criteria alone. (shrink)

The study, designed to find out the gender outcome, gender roles, and labeling of labels in the department's head examination, was conducted using 194 study participants recruited from lecturers at Dire Dawa University in Ethiopia 116 women and 78 were males aged 29.23. The following five labels are used: Department head in general, efficient male Department head, efficient female Department head, inefficient male Department head, and inefficient female Department head) were responded to by the research participants. Seven different (...) hypotheses were tested using ANOVA. Findings revealed that gender role orientation had a significant effect on the evaluation of the Department head. Furthermore, there were no significant effects of gender, and attachment of labels on the evaluation of Department head and no interaction effects of gender and gender role orientation, gender and attachment of labels and gender, gender role orientation, and attachment of labels on the evaluation of Department head. (shrink)

Building on past constructive criticism, the present study provides further methodological development focused on the elimination of bias that may occur during first-person observation. First, various sources of errors that may accompany introspection are distinguished based on previous critical literature. Four main errors are classified, namely attentional, attributional, conceptual, and expressional error. Furthermore, methodological recommendations for the possible elimination of these errors have been determined based on the analysis and focused excerpting of introspective scientific literature. The following groups of methodological (...) recommendations were determined: 1) a better focusing of the subject’s attention to their mental processes, 2) providing suitable stimuli, and 3) the sharing of introspective experience between subjects. Furthermore, the potential of adjustments in introspective research designs for eliminating attentional, attributional, conceptual, and expressional error is discussed. (shrink)

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by (...) different mathematical languages (the instruments of investigation). Together with traditional mathematical languages using such concepts as ‘enumerable sets’ and ‘continuum’ a new computational methodology allowing one to measure the number of elements of different infinite sets is used in this paper. It is shown how mathematical languages used to describe the machines limit our possibilities to observe them. In particular, notions of observable deterministic and non-deterministic Turing machines are introduced and conditions ensuring that the latter can be simulated by the former are established. (shrink)