Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This paper examines the possible (...) contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

The paper focuses on the part of the Coulomb’s Law that is just a definition and provides one possible mechanism for operationally defining electric charge based on the concept of force. Then a derivation of Coulomb’s law from the definition is presented and the sign of the charges are defined. Finally, the paper concludes with a discussion on the conservation of charge.

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

The official definition of ‘pain’ by the International Association for the Study of Pain (IASP) hasn’t seen much revision since its publication in 1979. There have been various criticisms of the definition in the literature from different quarters: that the definition implies a dubious metaphysical dualism, that it requires a strong form of consciousness as well as linguistic abilities, that it excludes many vulnerable groups that are otherwise perfectly capable of experiencing pain, that it has therefore unacceptable (...) practical as well as ethical consequences, that it is unhelpful to the health-care professional as an operational definition, that it is too narrow, and many others. In my view, most of these criticisms depend on misunderstandings or on uncharitable interpretations. My aim is to go over the definition, clarify some potential ambiguities, and argue that these criticisms don’t cut much ice. At the end, I will present a few slightly reworded versions of the definition that I claim are more felicitous and capture the original intended meaning by the members of the taxonomic committee in a much better and transparent way that avoids all the major extant criticisms in the literature. (Written for interdisciplinary audiences.). (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

In this paper, which discusses data from Gargano Apulian Italo-Romance, I propose that prepositional and non-prepositional genitives are fundamentally two different types of phrases, and that the interpretation of a non-prepositional noun as the possessor is not due to a silent preposition or head-modifier inversion, but rather to an agreement mechanism taking place between the modifier and its head. We propose that, just as a genitive can agree with its head for gender and number features so it can for definiteness, (...) and that agreement for definiteness yields a genitival interpretation of the non-prepositional noun. I.e., definiteness can externalize the syntactic relation between head and modifier. We also propose that in this Apulian variety, non-prepositional genitives are syntactic phases (Chomsky 2001), and that the same holds for non-prepositional ‘qualitative’ predicative phrases in the same language. This would explain the impossibility of accessing the phrase through syntactic operations such as extraction. DOI 10.1111/1467-968X.12229 . (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...) term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...) "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation. (shrink)

Starting from a critical analysis of the clock effect, this paper proposes to deduce different operational definitions of time from the different clocks that we can use to quantify durations. A new interpretation of thermodynamic time, as different from absolute and relativistic, is introduced. The analysis leads to infer the coexistence in physics of different incommensurable operational definitions of time and the need of discuss their coherence and reality.

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Throughout this paper my objective will be to establish and clarify Hume's original intentions in his discussion of causation in Book I of the Treatise. I will show that Hume's views on ontology, presented in Part IV of that book, shed light on his views on causation as presented in Part III. Further, I will argue that Hume's views on ontology account for the original motivation behind his two definitions of 2 cause. This relationship between Hume's ontology and his account (...) of causation explains something which has baffled Hume scholars for some time,- namely, why does Hume's discussion of causation in I, iii, 14 have such a paradoxical air about it? I will show that Hume's views on causation have a paradoxical air about them because they rest on an ontology of "double existence" - an ontology which Hume describes as the monstrous offspring of two principles, which are contrary to each other, which are both at once embrac'd by the mind, and which are unable mutually to destroy each other (T 215) My interpretation will centre on the following two claims: (i) When Hume wrote Section 14, Of the idea of necessary connexion, he was primarily concerned to attack the view that the origin of our idea of necessity was to be discovered in the operations of matter or bodies. Of the suggested sources from which our idea of necessity could be thought to originate this is the source which, initially, interested Hume the most. It is, therefore, of great importance that we interpret Hume's remarks in light of this fact. (ii) Hume offers the first definition of cause as an account of causation as it exists in the material world independent of our thought and reasoning.He offers the second definition as an account of causation as we find it in our perceptions. It will also be argued, in this context, that necessity constitutes "an essential part" of both of Hume's two definitions of cause. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a (...) time machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

This article, the second of a two-part essay, outlines a solution to certain tensions in Thomist philosophical anthropology concerning the interaction of the human person’s immaterial intellectual or noetic operations with the psychosomatic sensory operations that are constituted from the formal organization of the nervous system. Continuing with where the first part left off, I argue that Thomists should not be tempted by strong emergentist accounts of mental operations that act directly on the brain, but should maintain, with Aquinas, that (...) noetic operations directly interact with psychosomatic operations. I develop a Thomist account of noetic–psychosomatic interactions that expands upon the first part’s rapprochement between the new mechanist philosophy of neuroscience and psychology and hylomorphic animalism. I argue that noetic–psychosomatic interactions are best understood as analogous to the way diverse higher and lower order psychosomatic powers interact by actualizing, coordinating, and directing the operations of other psychosomatic powers. I draw on James Ross’s arguments for the immateriality of intellectual operations as realizing definite pure functions in order to elucidate the way noetic operations uniquely actualize, coordinate, and direct the psychosomatic operations they interact with. I conclude with a conjectural sketch of how this presentation of Thomist philosophical anthropology understands the noetic and psychosomatic deficits brought about by damage to the nervous system. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be (...) sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Episodic memory often is conceptualized as a uniquely human system of long-term memory that makes available knowledge accompanied by the temporal and spatial context in which that knowledge was acquired. Retrieval from episodic memory entails a form of first–person subjectivity called autonoetic consciousness that provides a sense that a recollection was something that took place in the experiencer’s personal past. In this paper I expand on this definition of episodic memory. Specifically, I suggest that (a) the core features assumed (...) unique to episodic memory are shared by semantic memory, (b) episodic memory cannot be fully understood unless one appreciates that episodic recollection requires the coordinated function of a number of distinct, yet interacting, “enabling” systems. Although these systems – ownership, self, subjective temporality, and agency – are not traditionally viewed as memorial in nature, each is necessary for episodic recollection and jointly they may be sufficient, and (c) the type of subjective awareness provided by episodic recollection (autonoetic) is relational rather than intrinsic – i.e., it can be lost in certain patient populations, thus rendering episodic memory content indistinguishable from the content of semantic long-term memory. (shrink)

The orientation of this paper is that there is no special science of "business ethics" any more than there is one of "medical ethics" or "legal ethics". While there may be issues that arise in medicine or law that require special treatment, the ways of relating to such issues are derived from a basic ethical stance. Once one has evolved such an ethical stance and thus has incorporated a fundamental mode of relating to her or his fellow human beings, the (...) "how" to deal with various ethical "issues" will follow as a natural consequence of one's ethical stance or modality. It is not necessary, in the formation of one's fundamental ethical stance to know if one is a utilitarian or a deontologist. It is doubtful whether Buddha knew what kind of ethics he was practising. If one conceives of ethics as something extrinsic to various disciplines and attempts to first practise a discipline and then to apply ethics to modify the results of that discipline it is entirely possible that conflicts will result between what is perceived of as the proper pursuit of that discipline and the ethical considerations. The argument of this paper is that it is more efficacious (in addition to being more true) to take ethical considerations into account in the construction of the definition of the discipline. This paper is devoted to showing that business and ethics are not two different and competing fields of interest (thus requiring a discipline of business ethics to be grafted onto the study of business enterprise), but that ethical concerns are part and parcel of the very concept of a business enterprise and the internal operation of a business organization. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

This paper argues that many of the conceptual controversies in evolutionary biology are due to the use of different operational definitions. Since the set of operations is not consistent, then there are many ways to understand, in practice, how concepts should be investigated. In this paper we introduce a formal analysis to study the scope of operationalism and we conclude that the controversial concepts are in fact umbrella variables, that is, a single term can be referring to different processes, (...) phenomena or entities linked by a large ontological commitment driving operationalism. If this is correct, then many of the controversies in evolutionary biology are due, in part, to the operationalization of the objects of study. (shrink)

Benjamin Libet’s work paved the way for the neuroscientific study of free will. Other scientists have praised this research as groundbreaking. In philosophy, the reception has been more negative, often even dismissive. First, I will propose a diagnosis of this striking discrepancy. I will suggest that the experiments seem irrelevant, from the perspective of philosophy, due to the way in which they operationalize free will. In particular, I will argue that this operational definition does not capture free will (...) properly and that it is based on a false dichotomy between internal and external causes. However, I will also suggest that this problem could be overcome, as there are no obvious obstacles to an operationalization of free will that is in accord with the philosophical conception of free will. (shrink)

Contemporary discussions about operational definition often hark back to Stanley Smith Stevens’ classic papers on psychological operationism (1935ab). Still, he was far from the only psychologist to call for conceptual hygiene. Some of Stevens’ direct colleagues at Harvard---most notably B. F. Skinner and E. G. Boring---were also actively applying Bridgman’s conceptual strictures to the study of mind and behavior. In this paper, I shed new light on the history of operationism by reconstructing the Harvard debates about operational (...) definition in the years before Stevens published his seminal articles. Building on a large set of archival evidence from the Harvard University Archives, I argue that we can get a more complete understanding of Stevens’ contributions if we better grasp the operationisms of his former teachers and direct colleagues at Harvard’s Department of Philosophy and Psychology. (shrink)

In the field theories in physics, any particular region of the presumed space-time continuum and all interactions between elementary objects therein can be objectively measured and/or accounted for mathematically. Since this does not apply to any of thefield theories, or any other neural theory, of consciousness, their explanatory power is limited. As discussed in detail herein, the matter is complicated further by the facts than any scientifically operational definition of consciousness is inevitably partial, and that the phenomenon has (...) no spatial dimensionality. Under the light of insights from research on meditation and expanded consciousness, chronic pain syndrome, healthy aging, and eudaimonic well being, we may conceive consciousness as a source of potential energy that has no clearly defined spatial dimensionality, but can produce significant changes in others and in the world, observable in terms of changes in time. It is argued that consciousness may have evolved to enable the human species to generate such changes in order to cope with unprecedented and/or unpredictable adversity. Such coping could, ultimately, include the conscious planning of our own extinction when survival on the planet is no longer an acceptable option. (shrink)

Research misconduct remains an important problem in health research despite decades of local, national, regional, and international efforts to eliminate it. The ultimate goal of every health research project, irrespective of setting, is to produce trustworthy findings to address local as well as global health issues. To be able to lead or participate meaningfully in international research collaborations, individual and institutional capacities for research integrity are paramount. Accordingly, this paper concerns itself not only with individuals’ research skills but also with (...) institutional and national policies and governance. Such policies and governance provide an ethical scaffold for the production of knowledge and structure incentives. This paper’s operational definition of research therefore draws from Institute of Medicine’s articulation of health research as an inquiry that aims to produce knowledge about the structure, processes, or effects of personal health services; and from an existing health systems framework. The paper reviews the research regulatory environment and the ethics apparatus in Ghana, and describes a project jointly undertaken by Ghanaian researchers in collaboration with New York University to assess the perceived adequacy of current institutional practices, opportunities, and incentives for promoting RI. (shrink)

Veblen's concept of conspicuous consumption, although widely known and commonly invoked, has rarely been examined critically; the associated "theory" has never been tested. It is suggested that the reason for this lies in the difficulty of determining the criterion that defines the phenomenon, a difficulty that derives from Veblen's failure to integrate two contrasting conceptual formulations. These are, first, an interpretive or subjective version that conceives of conspicuous consumption as action marked by the presence of certain intentions, purposes, or motives, (...) and second, a functionalist formulation in which conspicuous consumption is viewed as a form of behavior characterized by particular end results or outcomes. Consideration of each of these strands reveals major difficulties that prevent the construction of an operational definition of conspicuous consumption and hence the extraction of a workable theory from Veblen's discussion. (shrink)

Biological sexes (male, female, hermaphrodite) are defined by different gametic strategies for reproduction. Sexes are regions of phenotypic space which implement those gametic reproductive strategies. Individual organisms pass in and out of these regions – sexes - one or more times during their lives. Importantly, sexes are life-history stages rather than applying to organisms over their entire lifespan. This fact has been obscured by concentrating on humans, and ignoring species which regularly change sex, as well as those with non-genetic or (...) facultatively genetic sex determination systems. But the general point applies equally to humans. Assigning sexes to pre-reproductive life history stages involves ‘prospective narration’ – classifying the present in terms of its anticipated future. Assigning sexes to adult stages of non-reproductive castes or non-reproductive individuals is a complex matter whose biological meaning differs from case to case. The chromosomal and phenotypic ‘definitions’ of biological sex that are contested in philosophical discussions of sex are actually operational definitions which track gametic sex more or less effectively in some species or group of species. Neither ‘definition’ can be stated for species in general except by defining them in terms of gametic sex. The gametic definition of sex also features in widely accepted models which explain why two biological sexes – either in separate individuals or combined in hermaphroditic individuals - are almost universal in multicellular species. Finally, the fact that a species has only two biological sexes does not imply that every member of the species is either male, female or hermaphroditic, or that the sex of every individual organism is clear and determinate. The idea of biological sex is critical for understanding the diversity of life, but ill-suited to the job of determining the social or legal status of human beings as men or women. (shrink)

This article presents a case study of the structure and logic of the author’s dissertation, with a focus on theoretical content. Designed for use in proposal writing seminars or research methods courses, the article stresses the value of identifying the originating, specifying and subsidiary research questions; clarifying the subject and object of the research; situating research within a particular research tradition, and using a competing theories approach. The article stresses the need to identify conceptual problems and empirical problems and their (...) associated conceptual and operational definitions. The primary theoretical perspective is drawn from emerging sociology of externalities rooted in ecological theory, within the institutionalist tradition. (shrink)

There are two distinct but related threads in this article. The first is methodological and is aimed at exploring the relative merits and faults of different operational definitions of consciousness. The second is conceptual and is aimed at understanding the prior commitments regarding the nature of conscious content that motivate these positions. I consider two distinct operationalizations: one defines consciousness in terms of dichotomous subjective reports, the other in terms of graded subjective reports. I ultimately argue that both approaches (...) are inadequate and that a third alternative that involves integration of subjective report and task performance should be adopted. (shrink)

We asked college students to make judgments about realistic moral situations presented as dilemmas (which asked for an either/or decision) vs. problems (which did not ask for such a decision) as well as when the situation explicitly included affectively salient language vs. non-affectively salient language. We report two main findings. The first is that there are four different types of cognitive strategy that subjects use in their responses: simple reasoning, intuitive judging, cautious reasoning, and empathic reasoning. We give operational (...) definitions of these types in terms of our observed data. In addition, the four types characterized strategies not only in the whole sample, but also in all of the subsamples in our study. The second finding is that the intuitive judging type comprised approximately 26% of our respondents, while about 74% of our respondents employed one of the three styles of reasoning named above. We think that these findings present an interesting challenge to models of moral cognition which predict that there is either a single, or a single most common, strategy – especially a strategy of relying upon one’s intuitions – that people use to think about moral situations. (shrink)

In this paper, a new Intervention Meditation approach is outlined by the current author. To overcome lack of clarity in defining meditation, a new universal Operational definition of meditation is proposed with elaborative explanation. The new meditation approach has multitude of deeper concepts from Bhagavad Gita and modern psychology and the expert / Guru of the proposed method must be a qualified and experienced before getting trained on this approach specifically. This paper elevates meditation from a casual approach (...) level to a separate systematic branch of psychology level. (shrink)

The History of Western Philosophy enhanced Russell’s broad reputation among members of the public and helped secure his finances. But the academic community was less enthusiastic about the text and tended to treat it with contempt. My paper is a critical investigation of one of the central chapters of Russell’s History: namely, Russell’s rendition of David Hume’s views on the self. My argument is that Russell’s concise treat­ment of le bon David’s provocative views on the self must be read with (...) great care—otherwise a misunderstanding of Russell’s interpreta­tion is likely to be foisted on this popular and influential twentieth­-century text. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has a coreferring G (...) that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...) explored. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting a (...) deflationary understanding of the inductive/deductive distinction; in our view, its content is nothing over and above the answers to two fundamental sorts of questions central to critical thinking. (shrink)

In this paper I defend the “Standard View” of the semantics of ‘I’—according to which ‘I’ is a pure, automatic indexical—from a challenge posed by “deferred reference” cases, in which occurrences of ‘I’ are (allegedly) not speaker-referential, and thus non-automatic. In reply, I offer an alternative account of the cases in question, which I call the “Description Analysis” (DA). According to DA, seemingly deferred-referential occurrences of the first person pronoun are interpreted as constituents of a definite description, whose operator scopes (...) over an open sentence Rxy—where R is a contextually selected relation ranging over pairs of people and objects. The role of intentions is thus limited to the determination of R, which is posterior to the fixation of the reference of ‘I’. In support of the DA I present evidence that, in the cases in question, the (Determiner) phrase containing ‘I’ behaves in relevant ways like a description. I show that the DA can account for the problematic examples, while preserving the simplicity of the standard semantics of ‘I’. Finally, I examine a rival account of the data, offered by Nunberg (Linguist Philos 16:1–43, 1993), and argue for the superiority of the DA. (shrink)

Benjamin Schnieder has argued that several traditional definitions of truth-functionality fail to capture a central intuition informal characterizations of the notion often capture. The intuition is that the truth-value of a sentence that employs a truth-functional operator depends upon the truth-values of the sentences upon which the operator operates. Schnieder proposes an alternative definition of truth-functionality that is designed to accommodate this intuition. We argue that one traditional definition of ‘truth-functionality’ is immune from the counterexamples that Schnieder proposes (...) and is preferable to Schnieder’s alternative. (shrink)

Schrödinger’s equation says that the Hamiltonian is the generator of time translations. This seems to imply that any reasonable definition of time operator must be conjugate to the Hamiltonian. Then both time and energy must have the same spectrum since conjugate operators are unitarily equivalent. Clearly this is not always true: normal Hamiltonians have lower bounded spectrum and often only have discrete eigenvalues, whereas we typically desire that time can take any real value. Pauli concluded that constructing a general (...) a time operator is impossible. Here we show how the Pauli argument fails when one uses an external system to track time, so that time arises as correlations between the system and the clock. In this case, the time operator is conjugate to the clock Hamiltonian and not to the system Hamiltonian, but its eigenvalues still satisfy the Schrödinger equation for arbitrary system Hamiltonians. (shrink)

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and (...) sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

La Logique ou L'Art de Penser (LAP), also known as the Port-Royal Logic, is generally presented as a "logic of ideas" in which the idea, the central epistemological entity, is the starting point of this logic based on Cartesian ontology. Structured around the four main operations of the mind - conceiving, judging, reasoning and ordering - the first part of the LAP contains "reflections on ideas". The idea, "the form by which we represent things [objects]", thus takes the place of (...) the concept in Aristotelian-inspired logic. Some of the chapters in this first part deal with the problems raised in scholasticism by the theory of _proprietates terminorum_, which means that it is also a semantics of terms. The word 'term' itself must be understood in its logical and grammatical dimensions. The analyses of the 'Messieurs' of Port-Royal often have a logico-grammatical character, because, according to the anthropology of the authors, men need to make their thoughts heard by one another through language (institutional signs) and, therefore, "it is necessary in logic to consider ideas joined to words, and words joined to ideas". In this text, we shall endeavour to show the importance and innovative character of the semantics of terms in this logic of ideas which makes LAP a pivotal moment in the evolution of the language sciences, reviving the tradition and allowing dialogue with future developments (extension vs. comprehension, explanation, determination of terms, etc.). We will pay particular attention to the chapters on definition, "a remedy for the confusion that arises in our thoughts and speech from the confusion of words". (shrink)

The paper analyses some parts of the GKN Industrial Plan. While not appearing to be an authentic industrial document, the tool performs a valuable narrative function of developing a political strategy to benefit the trade union groups that still operate within the factory. The plan that aims to demonstrate the existence of a different socially integrated factory model shows the need for radical change on a global scale. Through the definition of potential factory forms, the plan describes the potential (...) economic and financial transformations of the Florentine system, beginning with workers' democratic involvement in the production process. (shrink)

This article examines the operation of “reasonable steps” as a statutory standard for analysis of the availability of the defence of belief in consent in sexual assault cases and concludes that application of section 273.2(b) of the Criminal Code, as presently worded, often undermines the legal validity and correctness of decisions about whether the accused acted with mens rea, a guilty, blameworthy state of mind. When the conduct of an accused who is alleged to have made a mistake about whether (...) a complainant communicated consent is assessed by the hybrid subjective-objective reasonableness standard prescribed by s. 273.2, many decision-makers rely on extra-legal criteria and assumptions grounded on their personal experience and opinion about what is reasonable. In the midst of debate over what the accused knew and what steps were “reasonable” given what the accused knew, the legal definition of consent in section 273.1 is easily over-looked and decision-makers focus on facts that are legally irrelevant and prejudice rational deliberation. -/- That is precisely what we see here; the result is often failure to enforce the law. The author proposes: -/- (a) that section 273.2 be amended to reflect the significant developments achieved in sexual consent jurisprudence since enactment of the provision in 1992; and -/- (b) that, in the interim, the judiciary act with resolve to make full and proper use of the statutory and common law tools that are presently available to determine whether the accused acted with mens rea in relation to the absence of sexual consent. (shrink)

The need for the definite article to express a singular kind ("the cat") in the Germanic languages is predicted by Borer's (2005) structural approach to the mass-count distinction. Chierchia's (1998) "down" operator can apply to nPs to derive mass kinds ("rice") and to DivPs to derive plural kinds ("cats"), but there is no determinerless structure that exclusively denotes properties of atomic individuals to which this same operator can apply to derive singular kinds. The only alternative is the process that Chierchia (...) proposes for plural kinds in Romance, where the definite article returns a maximal individual that can be intensionalized into a kind. In articleless languages like Mandarin, this account allows for a universal property-denoting denotation of nP and simultaneously captures the fact that singular kinds have the same distribution as mass kinds. (shrink)

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...) was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)