We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures. This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most \ non-logical symbols and an axiomatization requiring at most \ variables, if the epimorphisms into structures with at most \ elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable ‘bridge theorems’, matching the surjectivity of all epimorphisms in (...) the algebraic counterpart of a logic \ with suitable infinitary definability properties of \, while not making the standard but awkward assumption that \ comes furnished with a proper class of variables. (shrink)

In the 2005 Kitzmiller v Dover Area School Board case, a federal district court ruled that Intelligent Design creationism was not science, but a disguised religious view and that teaching it in public schools is unconstitutional. But creationists contend that it is illegitimate to distinguish science and religion, citing philosophers Quinn and especially Laudan, who had criticized a similar ruling in the 1981 McLean v. Arkansas creation-science case on the grounds that no necessary and sufficient demarcation criterion was possible and (...) that demarcation was a dead pseudo-problem. This article discusses problems with those conclusions and their application to the quite different reasoning between these two cases. Laudan focused too narrowly on the problem of demarcation as Popper defined it. Distinguishing science from religion was and remains an important conceptual issue with significant practical import, and philosophers who say there is no difference have lost touch with reality in a profound and perverse way. The Kitzmiller case did not rely on a strict demarcation criterion, but appealed only to a “ballpark” demarcation that identifies methodological naturalism as a “ground rule” of science. MN is shown to be a distinguishing feature of science both in explicit statements from scientific organizations and in actual practice. There is good reason to think that MN is shared as a tacit assumption among philosophers who emphasize other demarcation criteria and even by Laudan himself. (shrink)

We investigate the notion of definability with respect to a full satisfaction class σ for a model M of Peano arithmetic. It is shown that the σ-definable subsets of M always include a class which provides a satisfaction definition for standard formulas. Such a class is necessarily proper, therefore there exist recursively saturated models with no full satisfaction classes. Nonstandard extensions of overspill and recursive saturation are utilized in developing a criterion for nonstandard definability. Finally, these techniques yield (...) some information concerning the extendibility of full satisfaction classes from one model to another. (shrink)

In the 2005 Kitzmiller v Dover Area School Board case, a federal district court ruled that Intelligent Design creationism was not science, but a disguised religious view and that teaching it in public schools is unconstitutional. But creationists contend that it is illegitimate to distinguish science and religion, citing philosophers Quinn and especially Laudan, who had criticized a similar ruling in the 1981 McLean v. Arkansas creation-science case on the grounds that no necessary and sufficient demarcation criterion was possible and (...) that demarcation was a dead pseudo-problem. This article discusses problems with those conclusions and their application to the quite different reasoning between these two cases. Laudan focused too narrowly on the problem of demarcation as Popper defined it. Distinguishing science from religion was and remains an important conceptual issue with significant practical import, and philosophers who say there is no difference have lost touch with reality in a profound and perverse way. The Kitzmiller case did not rely on a strict demarcation criterion, but appealed only to a “ballpark” demarcation that identifies methodological naturalism (MN) as a “ground rule” of science. MN is shown to be a distinguishing feature of science both in explicit statements from scientific organizations and in actual practice. There is good reason to think that MN is shared as a tacit assumption among philosophers who emphasize other demarcation criteria and even by Laudan himself. (shrink)

The current article is the first in a series of review articles addressing biosemiotic terminology. The biosemiotic glossary project is inclusive and designed to integrate views of a representative group of members within the biosemiotic community based on a standard survey and related publications. The methodology section describes the format of the survey conducted in November–December 2013 in preparation of the current review and targeted on the terms ‘agent’ and ‘agency’. Next, I summarize denotation, synonyms and antonyms, with special emphasis (...) on the denotation of these terms in current biosemiotic usage. The survey findings include ratings of nine citations defining or making use of the two terms. I provide a summary of respondents’ own definitions and suggested term usage. Further sections address etymology, connotations, and related terms in English and other languages. A section on the notions’ mainstream meaning vs. their meaning in biosemiotics is followed by attempt at synthesis and conclusions. Although there is currently no consensus in the biosemiotic community on what constitutes a semiotic agent, i.e., an agent in the context of semiosis, most respondents agree that core attributes of an agent include goal-directedness, self-governed activity, processing of semiosis and choice of action, with these features being vital for the functioning of the living system in question. I agree that these four features are constitutive of biosemiotic agents, and stipulate that biosemiotic agents fall within three major categories, namely 1) sub-organismic biosemiotic agents, 2) organismic biosemiotic agents and 3) super-organismic biosemiotic agents. (shrink)

In the basic modal language and in the basic modal language with the added universal modality, first-order definability of all formulas over the class of all frames is shown. Also, it is shown that the problems of modal definability of first-order sentences over the class of all frames in the languages and are both PSPACE-complete.

This is the second article in a series of review articles addressing biosemiotic terminology. The biosemiotic glossary project is designed to integrate views of members within the biosemiotic community based on a standard survey and related publications. The methodology section describes the format of the survey conducted July–August 2014 in preparation of the current review and targeted on Jakob von Uexküll’s term ‘Umwelt’. Next, we summarize denotation, synonyms and antonyms, with special emphasis on the denotation of this term in current (...) biosemiotic usage. The survey findings include ratings of eight citations defining or making use of the term Umwelt. We provide a summary of respondents’ own definitions and suggested term usage. Further sections address etymology, relevant contexts of use, and related terms in English and other languages. A section on the notion’s Uexküllian meaning and later biosemiotic meaning is followed by attempt at synthesis and conclusion. We conclude that the Umwelt is a centerpiece phenomenon, a phenomenon that other phenomena in the living realm are organized around. To sum up Uexküll’s view, we can characterize an Umwelt as the subjective world of an organism, enveloping a perceptual world and an effector world, which is always part of the organism itself and a key component of nature, which is held together by functional cycles connecting different Umwelten. In order to pay respect to Uexküll’s work, we must move from notion to model, from mention of Uexküll’s Umwelt term to actual application of it. (shrink)

Prospective follow-up studies have shown that even though some children outgrow the disorder, a childhood diagnosis of attention deficit hyperactivity disorder is clearly a risk factor for a broad range of adverse outcomes, with extremes including drug abuse and juvenile delinquency. This article considers the use of several spectrum concepts and some neuroethical issues. It provides a list of criterion symptoms with a threshold set for the number of symptoms required for categorical diagnoses of disorders. It gives a brief review (...) of some brain imaging and pharmacological treatment studies of ADHD to set the stage for a consideration of brain-specific issues related to neuroethics. Studies using reaction time tasks of cognitive control, response inhibition, and conflict have identified interindividual variance in task performance as one of the most prominent aspects of cognitive deficits related to ADHD. (shrink)

The term “mental illness” implies that persons with such illnesses are more likely to be dangerous to themselves and/or others than are persons without such illnesses. This is the source of the psychiatrist’s traditional social obligation to control “harm to self and/or others,” that is, suicide and crime. The ethical dilemmas of psychiatry cannot be resolved as long as the contradictory functions of healing persons and protecting society are united in a single discipline.Life is full of dangers. Our highly developed (...) consciousness makes us, of all living forms in the universe, the most keenly aware of, and the most adept at protecting ourselves from, dangers. Magic and religion are mankind’s earliest warning systems. Science arrived on the scene only about 400 years ago, and scientific medicine only 200 years ago. Some time ago I suggested that “formerly, when religion was strong and science weak, men mistook magic for medicine; now, when science is strong and religion weak, men mistake medicine for magic”.1We flatter and deceive ourselves if we believe that we have outgrown the apotropaic use of language .Many people derive comfort from magical objects , and virtually everyone finds reassurance in magical words . The classic example of an apotropaic is the word “abracadabra,” which The American Heritage Dictionary of the English Language defines as “a magical charm or incantation having the power to ward off disease or disaster”. In the ancient world, abracadabra was a magic word, the letters of which were arranged in an inverted pyramid and worn as an amulet around the neck to protect the wearer against disease or trouble. One fewer letter appeared in each line of the pyramid, until only the letter “a” remained to form the vertex of the triangle. As …. (shrink)

Having considered the role of ethics in Indian mystical teachings in a previous, related, essay I would like to consider the same question in its western religious contexts in the present paper, beginning with the Christian mystical tradition. As is the case with Asian traditions charges of moral unconcern are widely directed at Christian mystics, but they are false. Christian mystics are not indifferent to morality nor do they disconnect morality from an intrinsic relationship to their mystical quest. Augustine would (...) already teach that the story of Leah and Rachel was an instructive allegory in which the active life represented by Leah was intrinsic to the contemplative life represented by Rachel while Gregory the Great would unambiguously assert: ‘We ascend to the heights of contemplation by the steps of the active life’, defining the active life as: ‘to dispense to all what they need and to provide those entrusted to us with the means of subsistence’. These representative early samples of the salience of ethical behaviour to the life of contemplation could be multiplied at great length, and almost without exception in the teaching of the major Christian mystics. This historical exegetical exercise, however, is in the present circumstances, both out of place and I hope unnecessary. Instead, the more general, more enigmatic, more repercussive, issues raised by the place and significance of morality within the Christian mystical tradition need attending to. (shrink)

Recently, several philosophers have moved from a classical account of divine omniscience according to which God knows all truths to a restricted account of divine omniscience according to which God knows all knowable truths. But an important objection offered by Alexander Pruss threatens to show that if God knows all knowable truths, God must also know all truths. In this paper, I show that there is a way out of Pruss’s objection for the advocate of restricted omniscience if she will (...) define her view in terms of ways of knowing rather than in terms of logical possibilities. (shrink)

In an attempt to provide some clarification in the abortion issue it has recently been proposed that since 'brain death' is used to define the end of life, 'brain life' would be a logical demarcation for life's beginning. This paper argues in support of this position, not on empirical grounds, but because of what it reflects of what is valuable about the term 'life'. It is pointed out that 'life' is an ambiguous concept as it is used in English, obscuring (...) the differences between being alive and having a life, a crucial distinction for bioethical questions. The implications of this distinction for the moral debate about abortion are discussed. (shrink)

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (shrink)

Discussions of the relationship between perception and cognition often proceed without a definition of these terms. The sensory-modality specific nature of low-level perceptual processes provides a means of distinguishing them from cognitive processes. A more explicit definition of terms provides insight into the nature of the evidence that can resolve questions about the relationship between perception and cognition.

The complex spectral representation of the Liouville operator introduced by Prigogine and others is applied to moderately dense gases interacting through hard-core potentials in arbitrary d-dimensional spaces. Kinetic equations near equilibrium are constructed in each subspace as introduced in the spectral decomposition for collective, renormalized reduced distribution functions. Our renormalization is a nonequilibrium effect, as the renormalization effect disappears at equilibrium. It is remarkable that our renormalized functions strictly obey well-defined Markovian kinetic equations for all d, even though the ordinary (...) distribution functions obey nonMarkovian equations with memory effects. One can now define transport coefficients associated to the collective modes for all dimensional systems including d = 2. Our formulation hence provides a microscopic meaning of the macroscopic transport theory. Moreover, this gives an answer to the long-standing question whether or not transport equations exist in two-dimensional systems. The non-Markovian effects for the ordinary distribution function, such as the long-time tails for arbitrary n-mode coupling, are estimated by superposition of the Markovian evolutions of the dressed distribution functions. (shrink)

The four principles approach to medical ethics plus specification is used in this paper. Specification is defined as a process of reducing the indeterminateness of general norms to give them increased action guiding capacity, while retaining the moral commitments in the original norm. Since questions of method are central to the symposium, the paper begins with four observations about method in moral reasoning and case analysis. Three of the four scenarios are dealt with. It is concluded in the “standard” Jehovah’s (...) Witness case that having autonomously chosen the authority of his religious institution, a Jehovah’s Witness has a reasonable basis on which to refuse a recommended blood transfusion. The author’s view of the child of a Jehovah’s Witness scenario is that it is morally required—not merely permitted—to overrule this parental refusal of treatment. It is argued in the selling kidneys for transplantation scenario that a fair system of regulating and monitoring would be better than the present system which the author believes to be a shameful failure. (shrink)

LetL 3 c be the smallest set of propositional formulas, which containsCpCqpCCCpqCrqCCqpCrpCCCpqCCqrqCCCpqppand is closed with respect to substitution and detachment. Let $\mathfrak{M}_3^c $ be Łukasiewicz’s three-valued implicational matrix defined as follows:cxy=min (1,1−x+y), where $x,y \in \{ 0,\tfrac{1}{2},1\}$ . In this paper the following theorem is proved: $$L_3^c = E( \mathfrak{M}_3^c )$$ The idea used in the proof is derived from Asser’s proof of completeness of the two-valued propositional calculus. The proof given here is based on the Pogorzelski’s deduction theorem fork-valued (...) propositional calculi and on Lindenbaum’s theorem. (shrink)

On the surface, bi- and multilingualism would seem to be an ideal context for exploring questions of typological proximity. The obvious intuition is that the more closely related two languages are, the easier it should be to implement the two languages in one mind. This is the starting point adopted here, but we immediately run into the difficulty that the overwhelming majority of cognitive, computational, and linguistic research on bi- and multilingualism exhibits a monolingual bias (i.e., where monolingual grammars are (...) used as the standard of comparison for outputs from bilingual grammars). The primary questions so far have focused on how bilinguals balance and switch between their two languages, but our perspective on typology leads us to consider the nature of bi- and multi-lingual systems as a whole. Following an initial proposal from Hsin ( 2014 ), we conjecture that bilingual grammars are neither isolated, nor (completely) conjoined with one another in the bilingual mind, but rather exist as integrated source grammars that are further mitigated by a common, combined grammar (Cook, 2016 ; Goldrick et al., 2016a, b ; Putnam and Klosinski, 2017 ). Here we conceive such a combined grammar in a parallel, distributed, and gradient architecture implemented in a shared vector-space model that employs compression through routinization and dimensionality reduction. We discuss the emergence of such representations and their function in the minds of bilinguals. This architecture aims to be consistent with empirical results on bilingual cognition and memory representations in computational cognitive architectures. (shrink)

Theism is sometimes defined by reference to the contrasted doctrines of Deism and Pantheism. Deism, it is said, lays stress on God's transcendence, while Pantheism emphasizes his immanence to the exclusion of his transcendence. Theism, on the other hand, mediates between these two one-sided doctrines and affirms that God is at once both immanent and transcendent. He is in the world and yet beyond it. This definition, however, can only be accepted with qualification because some forms of Pantheism are arrived (...) at by stressing, not the immanence, but the transcendence of God. According to Neo-Platonism, for example, the ineffable Absolute is so transcendent in existence and value that the world is reduced to the humble status of a mere illusory appearance and all veritable reality is absorbed in the Divine. This complication of the matter means that when studying the nature of Theism it is necessary to consider the opposition between Cosmism and Acosmism as well as that between transcendence and immanence The cosmistic tendency is to affirm, whereas the acosmistic tendency is to deny, the ultimate reality of the finite individual's effective autonomy. Theism is cosmistic, in the sense that it refuses to reduce the finite individual to a mere dependent mode of God. Nevertheless, the acosmistic tendency is very evident in many so-called theistic systems—so much so in some cases, indeed, that what is alleged to be Theism really amounts to Pantheism in disguise. (shrink)

An analysis is presented of the significance and consequent limitations on the applicability of the von Neumann measurement postulate in quantum mechanics. Directly observable quantities, such as the expectation value of the velocity operator, are distinguished from mathematical constructs, such as the expectation value of the canonical momentum, which are not directly observable. A simple criterion to distinguish between the two types of operators is derived. The non-observability of the electromagnetic four-potentials is shown to imply the non-measurability of the canonical (...) momentum. The concept of a mechanical gauge is introduced and discussed. Classically the Lagrangian is nonunique within a total time derivative. This may be interpreted as the freedom of choosing a “mechanical” (M) gauge function. In quantum mechanics it is often implicitly assumed that the M-gauge vanishes. However, the requirement that directly observable quantities be independent of the arbitrary mechanical gauge is shown to lead to results analogous to those derived from the requirement of electromagnetic gauge independence of observables. The significance of the above to the observability of transition amplitudes between field-free energy eigenstates in the presence (and absence) of electromagnetic fields is discussed. E- and M-gauge independent transition amplitudes between field-free energy eigenstates in the absence of electromagnetic fields are defined. It is shown that, in general, such measurable amplitudes cannot be defined in the presence of externally applied time-dependent fields. Transition amplitudes in the presence of time-independent fields are discussed. The path dependence of previous derivations of E-gauge independent Hamiltonians and/or transition amplitudes in the presence of electromagnetic fields are related to the inherent M-gauge dependence of these quantities in the presence of such fields. (shrink)

This paper introduces a logical analysis of convex combinations within the framework of Łukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Łukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As (...) an illustration of the applicability of our framework we present a logical version of the Anscombe–Aumann representation result. (shrink)

I am trying to develop a specific methodology of understanding nature of aims and intentions. There are three groups of the main problems. Firstly, the principal openness of the future and, in particular, the idea of self-organization require new methodology - the so called synergetic one. According to the synergetical approach the aim and idea have attractive power and are very important mechanisms of human activity and they They include the energetic capacity and can berepresented as peculiar energetic resource of (...) human behaviour. Secondly, it would be especially important to consider positive and creative contents of aims and a high level of culture mentality and way of thinking. On the contrary - without aims acts - the man as a rational being acts in a spontaneous and unpredictable way, forgets its previous states and loses his systemic memory. The third group of problems concerns an important idea of human reflection as an open non-equilibrium information system. The evolution prospect of such systems allows numerous combinations of the development. The mental image of the aimcan be understood as an intensive directional resource for actions. The meaning of the conception charisma is analyzed in this article. The charisma is defined as a type of social energy. I try to explain the relationships between charismatical persons and other people. (shrink)

The action for a massive particle in special relativity can be expressed as the invariant proper length between the end points. In principle, one should be able to construct the quantum theory for such a system by the path integral approach using this action. On the other hand, it is well known that the dynamics of a free, relativistic, spinless massive particle is best described by a scalar field which is equivalent to an infinite number of harmonic oscillators. We clarify (...) the connection between these two—apparently dissimilar—approaches by obtaining the Green function for the system of oscillators from that of the relativistic particle. This is achieved through defining the path integral for a relativistic particle rigorously by two separate approaches. This analysis also shows a connection between square root Lagrangians and the system of harmonic oscillators which is likely to be of value in more general context. (shrink)

An interpretation is offered of thrasymachus' account of the nature of justice and just action in book I of the 'republic' which is internally consistent throughout on all important points. Just action is not defined in terms of its practical consequences, As many commentators assume, But rather in terms of its logical consequences 'vis-A-Vis' just agents. When one man acts justly towards another, The performance of the just act renders the just agent vulnerable to unfair or unjust exploitation by those (...) with whom he deals. The "strong man", In thrasymachus' sense, Would thus never be a just man. It is argued that socrates addresses himself to this position, But that, While the textual thrasymachus is silenced, Socrates' best arguments are, In fact, Inadequate to refute thrasymachus. (shrink)

Though it enjoys widespread support, the claim that perceptual experiences possess nonconceptual content has been vigorously disputed in the recent literature by those who argue that the content of perceptual experience must be conceptual content. Nonconceptualism and conceptualism are often assumed to be well-defined theoretical approaches that each constitute unitary claims about the contents of experience. In this paper I try to show that this implicit assumption is mistaken, and what consequences this has for the debate about perceptual experience. I (...) distinguish between two different ways that nonconceptualist (and conceptualist) proposals about perceptual content can be understood: as claims about the constituents that compose perceptual contents or as claims about whether a subject. (shrink)

It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety generated by the Rieger-Nishimura lattice, and all of its (locally finite) subvarieties that contain the original counter-example K . It is known that, whenever a variety of Heyting algebras has finite depth, then it has surjective epimorphisms. In contrast, we show that (...) for every integer $n \geq 2$ , the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerčiu variety (i.e., the variety generated by finite linear sums of one-generated Heyting algebras), we describe exactly the subvarieties that have surjective epimorphisms. This yields new positive examples, and an alternative proof of epimorphism surjectivity for all varieties of Gödel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics. (shrink)

Two reports have shown that mammalian artificial chromosomes (MAC) can be constructed from cloned human centromere DNA and telomere repeats, proving the principle that chromosomes can form from naked DNA molecules transfected into human cells. The MACs were mitotically stable, low copy number and bound antibodies associated with active centromeres. As a step toward second-generation MACs, yeast and bacterial cloning systems will have to be adapted to achieve large MAC constructs having a centromere, two telomeres, and genomic copies of mammalian (...) genes. Available construction techniques are discussed along with a new P1 artificial chromosome (PAC)-derived telomere vector (pTAT) that can be joined to other PACs in vitro, avoiding a cloning step during which large repetitive arrays often rearrange. The PAC system can be used as a route to further define the optimal DNA elements required for efficient MAC formation, to investigate the expression of genes on MACs, and possibly to develop efficient MAC-delivery protocols. BioEssays 1999;21:76–83. © 1999 John Wiley & Sons, Inc. (shrink)