We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions (...) of ordered fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

We study definably complete locally o‐minimal expansions of ordered groups. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.

Quasi-equational logic concerns with a completeness theorem, i. e. a list of general syntactical rules such that, being given a set of graded quasi-equations Q, the closure Cl Q = Qeq Fun Q can be derived from by the given rules. Those rules do exist, because our consideration could be embedded into the logic of first order language. But, we look for special (quasi-equational) rules. Suitable rules were already established for the (non-functorial) case of partial algebras (...) in Definition 3.1.2 of [27], p. 108, and [28], p. 102. (For the case of total algebras, see [35].) So, one has to translate these rules to the (functorial) language of partial theories .Surprisingly enough, partial theories can be replaced up to isomorphisms by partial Dale monoids (cf. Section 3), which, in the total case are ordinary monoids. (shrink)

Quasi-equational logic concerns with a completeness theorem, i. e. a list of general syntactical rules such that, being given a set of graded quasi-equations Q, the closure Cl Q = Qeq Fun Q can be derived from $Q \subseteq (X:QE)$ by the given rules. Those rules do exist, because our consideration could be embedded into the logic of first order language. But, we look for special (“quasi-equational”) rules. Suitable rules were already established for the (non-functorial) case (...) of partial algebras in Definition 3.1.2 of [27], p. 108, and [28], p. 102. (For the case of total algebras, see [35].) So, one has to translate these rules to the (functorial) language of partial theories $\underline T \in \left| {\underline {\mathcal{T}h} } \right|$ .Surprisingly enough, partial theories can be replaced up to isomorphisms by partial “Dale” monoids (cf. Section 3), which, in the total case are ordinary monoids. (shrink)

If the quasi-realist wants to earn the right to talk like a moral realist, he needs to be able to make sense of moral error. A special form of error—fundamental moral error—is often thought to be u...

The article is devoted to historico-philosophical investigation of the grounds of universalism of special type. This universalism, inherent in transcendental thinking, was radicalized in quasi-transcendental discourse of Jacques Derrida. It is established that explicit critique of universalism in deconstructive philosophy is aimed at “logo-centric” paradigm of universality which is questioned by (quasi)transcendental philosophy. Constitutive function of difference and otherness in establishment of transcendental and especially quasi-transcendental universality was brought to light. It was shown that in ( (...) class='Hi'>quasi)transcendental discourse singularity is involved into the sphere of universal, whereas “dogmatic” universalism brought singularity and/or particularity outside, thus questioning its own claims. Tracing transcendentalist tendency to balance status and significance of universal and particular (singular), the author concludes that relation between them makes possible constituting hyper-universality of special type. Universal implications of the Derrida’s notion “quasi-transcendental” are defined. It was determined that one of the main factors constituting universalism of quasi-transcendental type is the deconstruction of binary thinking, accomplished first of all with the help of principles: differance, insolvability (aporia) and trace. Among them insolvability implies universality revealing the overlap and mutual conditioning of alternative (at a glance) elements. Instead, the trace conditions superiority of logo-centric alternatives “primary-secondary” and “presence-absence”. (shrink)

A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then (...) class='Hi'>quasi-truth [5] is introduced and equally translated as a product of two partial operators. Finally, the reflections proposed around opposition and quasi-truth lead to a third new logical concept: quasi-opposition, borrowing the central feature of partiality and opening the way to a potential field of new investigations into philosophical logic. (shrink)

A canonical Gentzen-type system is a system in which every rule has the subformula property, it introduces exactly one occurrence of a connective, and it imposes no restrictions on the contexts of its applications. A larger class of Gentzen-type systems which is also extensively in use is that of quasi-canonical systems. In such systems a special role is given to a unary connective \ of the language. Accordingly, each application of a logical rule in such systems introduces either (...) a formula of the form \\), or of the form \\), and all the active formulas of its premises belong to the set \. In this paper we investigate the whole class of quasi-canonical systems. We provide a constructive coherence criterion for such systems, and show that a quasi-canonical system is coherent iff it is analytic iff it has a characteristic non-deterministic matrix which is based on some subset of the set of the four truth-values which are used in the famous Dunn–Belnap four-valued matrix for information processing. In addition, we determine when a quasi-canonical system admits cut-elimination. (shrink)

It is often said that the ethical, political and religious writings of the later Derrida aren't phenomenological in nature. Contrary to that widespread view, the present essay argues that the central motive of all these writings - Derrida's concept of the event - is driven by the attempt to show the limits of the phenomenological concept of intentionality. This critique revolves around three key-notions: the concepts of teleology, of horizon, and the phenomenological als-Struktur. An event, Derrida maintains, has no horizon (...) and resists every teleological reappropriation, for it never appears as such. It is in that very special, Derridian sense 'im-possible'. This impossibility is nevertheless not to be understood as a logical or metaphysical impossibility, for the impossible, Derrida affirms, happens (in the case of an invention, for example) and when it happens, it leaves traces and produces manifest effects. Indeed, when an event takes place, it affects our world and provokes thereby a reconfiguration of the possible. The impossible is in that sense a condition of possibility (of the possible). This axiomatic principle of Derrida's thinking - impossibility as possibility - leads Derrida to speak occasionally of the quasi transcendental status of deconstruction. The present essay shows how his theory of the event fits in this description and why Derrida should be regarded as a quasi transcendental philosopher. (shrink)

Quasi MV-algebras are a generalization of MV-algebras and they are motivated by the investigation of the structure of quantum logical gates. In the first part, we present relationships between ideals, weak ideals, congruences, and perfectness within MV-algebras and quasi MV-algebras, respectively. To achieve this goal, we provide a comprehensive characterization of congruence relations of a quasi MV-algebra ${\mathcal {A}}$ concerning the congruence relations of its MV-algebra of regular elements of ${\mathcal {A}}$, along with specific equivalence relations concerning (...) the complement of the set of regular elements. In the second part, we concentrate on perfect quasi MV-algebras. We present their representation by symmetric quasi $\ell$ -groups, a special kind of quasi $\ell$ -groups. Moreover, we establish a categorical equivalence of the category of perfect quasi MV-algebras, the category of _n_-perfect quasi MV-algebras, and the category of symmetric quasi $\ell$ -groups. (shrink)

Quasi-classical logic is a propositional logic for reasoning under inconsistency pointed out recently in the literature [3] [21]. Compared with several other paraconsistent logics, it has the nice feature that no special attention needs to be paid to a special form of premises. However, only few is known about its computational behaviour up to now. In this paper, we fill this gap by pointing out a linear time translation that maps every instance of the quasi-classical entailment (...) problem for CNF formulas into an instance of the classical entailment problem. This enables us to show that quasi-classical entailment for CNF formulas is “only” coNP -complete, take advantage of all existing automated reasoning techniques for classical entailment in order to improve quasi-classical inference from the practical side. Especially, tractable classes of formulas for quasi-classical entailment are pointed out. (shrink)

The Special Theory of Relativity: Based on a short course of lectures delivered in the late 1930s, this short book presents the theory of Special Relativity by formulating a redefinition of the measurement of length, and thus will appeal to students of physics who wish to think through Einstein's thought without the encumbrance of quasi-scientific concepts and language. Relativity: A Very Elementary Exposition: This brief lecture, delivered in October 1921 and published for the first time in 1925, (...) offers an explanation of Einstein's theory of Special Relativity for the non-scientist, giving a general overview that does justice both to the actual physics involved, and the wider implications of this revolutionary discovery of the 20th century. (shrink)

To comprehend the special relativity genesis, one should unfold Einstein’s activities in quantum theory first . His victory upon Lorentz’s approach can only be understood in the wider context of a general programme of unification of classical mechanics and classical electrodynamics, with relativity and quantum theory being merely its subprogrammes. Because of the lack of quantum facets in Lorentz’s theory, Einstein’s programme, which seems to surpass the Lorentz’s one, was widely accepted as soon as quantum theory became a recognized (...) part of physics. A new approach to special relativity genesis enables to broaden the bothering “Trinity” group of its creators to include Gilbert N. Lewis. Notwithstanding that the links necessarily existing between all the 1905 papers were obscured by Einstein himself due to the reasons discussed below, Lewis revealed from the very beginning the connections between special relativity and quasi-corpuscular theory of light, as he punctuated: “The consequences which one of us obtained from a simple assumption as to the mass of a beam of light, and the fundamental conservation of mass, energy and momentum, Einstein has derived from the principle of relativity and the electromagnetic theory” (Lewis G.N.& Tolman R.C. “The Principle of Relativity and Non-Newtonian Mechanics”, Philosophical Magazine, 1908). (shrink)

Moore is one of the many law theorists who doubt that omissions can operate as factors in the causation of events and that in cases in which potential agents remain passive in spite of an obligation to intervene ascriptions of responsibility are justified exclusively by non-causal factors. The paper argues that this is an uneasy and essentially unstable position. It also shows that Moore himself, in Causation and Responsibility, does not consistently follow his exclusion of a causal role of omission (...) in the context of casuistic analysis. Though Moore is to be praised for the clear stance he takes on the issue of negative causality, an analysis of the reasons given for the negation of causality by omission shows that these do not carry enough weight to compensate the sacrifice in theoretical coherence made by the special treatment of negative responsibility in cases in special obligations. It is proposed, instead, that the fact that responsibility for omissions is, as a rule, weaker than that for positive acts is better explained by non-causal factors such as the significant, though incomplete, correlation of the active-passive distinction with a number of normatively relevant factors and the greater social significance of moral and legal rules against active over against passive forms of wrongdoing. (shrink)

Imagination has played a major role in theories of numerous aesthetic phenomena: it figures in accounts of the interpretation of art, of our emotional responses to art, and even of what art is, to name but a few topics. But imagination seemingly has a role to play also in aesthetic theorising itself, in particular in aesthetic thought experiments. Thought experiments in general pose an epistemic puzzle: how can a merely imagined scenario yield knowledge? In the paper, I have a look (...) at a special version of this puzzle that some thought experiments in aesthetics occasion. Many thought experiments in aesthetics—e.g. Kendall Walton’s guernica-experiment, or Arthur Danto’s imagined eight-hour long film of the title page of Tolstoy’s War and Peace—involve making judgements regarding the aesthetic properties of merely imagined works of art. But according to a widely accepted principle in aesthetics, one has to be acquainted with a work— seen it, heard it, and so on—in order to be able to judge its aesthetic qualities. But no one has ever seen Danto’s merely imagined film of Tolstoy’s book. So how are we in a position to judge its aesthetic properties? I propose a solution to the puzzle by elaborating on Tamar Gendler’s notion of “quasi-observation,” which she holds to be a common element of thought experimenting. As a coda, I also give a sketch of how aesthetic thought experiments are not only a tool for theorising about art, but often also figure in the production of art. (shrink)

This special issue of the Journal of Applied Logics deals with the logical aspects of the concept of God. It contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to (...) the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

This book illuminates the aesthetically underrated meaningfulness of particular elements in works of art and aesthetic experiences generally. Beginning from the idea of "hooks" in popular song, the book identifies experiences of special liveliness that are of enduring interest, supporting contemplation and probing discussion. When hooks are placed in the foreground of aesthetic experience, so is an enthusiastic “grabbing back” by the experiencer who forms a quasi-personal bond with the beloved singular moment and is probably inclined to share (...) this still-evolving realization of value with others. This book presents numerous models of enthusiastic “grabbing back” that are art-critically motivated to explain how hooks achieve their effects and philosophically motivated to discover how hooks and hook appreciation contribute to a more ideally desirable life. Framing hook appreciation with a defensible general model of aesthetic experience, this book gives an unprecedented demonstration of the substantial aesthetic and philosophical interest of hook-centered inquiry. (shrink)

This book presents a comprehensive analysis of Kant’s justification of the categorical imperative. The book contests the standard interpretation of Kant’s views by arguing that he never abandoned his view about this as expressed in his Groundwork. It is distinctive in the way in which it places Kant’s argument in the context of his transcendental philosophy as a whole, which is essential to understand it as an argument from within human agential self-understanding. The book reviews that existing literature, then presents (...) a logical construction of Kant’s argument, which it defends by examining what Kant has to say about synthetic a priori practical propositions in the context of his transcendental philosophy as a whole, and by a detailed examination of how he presents his argument in the Second Critique and the Groundwork. Particular attention is given to the views of two scholars who share many of the views expressed in this book: Klaus Steigleder and Michael Wolff. Special attention is also given to the views of Owen Ware, who, while sharing many of our arguments has a very different overall view. The concluding chapter provides a statement about the validity of Kant’s argument. (shrink)

In the United States, the federal Individuals with Disabilities Education Act specifies that students with disabilities should be educated in the “least restrictive environment,” yet little is known about how successfully schools have been able to apply appropriate supports, practices and resources so that all students benefit from inclusion. Using a quasi-experimental method and a longitudinal data-set provided by the Florida Department of Education that spans an eight-year panel from 2001 through 2009, this paper analyses the relationship between the (...) density and diversity of peers with special educational needs and general education students’ absence rates in grades three through eight. Results show that a one standard deviation increase in the measure of special education peers is associated with an increase in general education students’ absences of.03 to.43 more days per year, depending on the empirical specification chosen. This represents as much as a five percent increase in the a... (shrink)

Considerations of ethical questions regarding pets should take into account the nature of human-pet relationships, in particular the uniquely combined features of mutual companionship, quasi-family-membership, proximity, direct contact, privacy, dependence, and partiality. The approaches to ethical questions about pets should overlap with those of animal ethics and family ethics, and so need not represent an isolated field of enquiry, but rather the intersection of those more established fields. This intersection, and the questions of how we treat our pets, present (...) several unique concerns and approaches for focused examination. (shrink)

For this, the second of four volumes comprising the papers submitted for publication by the invited participants to the Fifth International Congress of Logic, Methodology, and Philosophy of Science, held at the University of Western Ontario in 1975, the editors have selected papers concerned with "foundational problems" in the physical sciences, biology, psychology, and the social sciences. In spite of the wide range of papers included in the volume, the reader never learns exactly what constitutes a foundational problem in the (...) philosophy of science. Would it be reasonable to suppose that foundational problems focus upon the basic logical, epistemological, and metaphysical issues posed by the special sciences, to the exclusion of purely methodological and strictly historical issues? In fact, the contributions to this volume cover the entire scope of metaphysical, epistemological, logical, methodological, historical, and quasi-historical questions that are conventionally classified under the philosophy of science in contemporary academic discourse. There are essays on the genesis of the universe, the methodology of physics, and quantum mechanics; essays on various topics in the philosophy of biology—including the ontological status of species, theories and observation in developmental biology, determinism and teleology, and genetic information; essays on problems in the philosophy of psychology-including consciousness and the brain, causality and action, and methodological problems in the investigation of human activity; three essays on learning theory; and several essays on problems in the philosophy of social science—including methodology, axiological problems, and four papers on the concept of rationality which are principally concerned with J. Harsanyi’s researches on the contribution of Bayesian decision theory and recent developments in game theory to the understanding of rational behavior. (shrink)

Elected politicians—legislators and, in some systems, members of the executive—can choose to exercise authority themselves or to delegate that authority to any number of agencies. Such delegation of power can occur at the constitutional stage, but is most common at the post-constitutional stage. Two categories of delegation can be distinguished: domestic delegation to agencies within the legislators’ jurisdiction, and international delegation to supranational or international bodies. While some research has been done on domestic delegation, especially in the context of delegation (...) to administrative agencies in the U.S., as well as on delegation to supranational bodies, especially with regard to the E.U., these activities have not been analyzed within a unified framework. This paper attempts to inquire into these issues and provide a general picture of the decision-making process regarding whether to delegate authority and to which body to transfer the authority. The past decade has been a period of rapid change in Central and Eastern Europe. Almost all of these countries have either passed entirely new constitutions or substantially modified the old ones. This is a unique situation in which constitutional delegation of powers can be performed almost simultaneously with post-constitutional delegation. The constitutional process in Israel is very different. It has been underway for fifty years. However, it can also be characterized by simultaneous constitutional and post-constitutional choices. In this paper, we examine such delegation choices in nine countries. We describe the main differences among these countries with regard to delegation of power, try to trace their origins and analyze their effects on delegation of powers. One question raised is what are the ramifications of a quasi-simultaneous constitutional and post-constitutional choice? Have constitutional rules been chosen in anticipation of the necessary compatibility with the rules of international organizations that one wants to join? Has membership in international organizations led to a boost in credibility of those governments concerned? (shrink)

Hector-Neri Castaneda claimed in several papers that a proposition expressed by an indexical sentence can be re-expressed by means of an oratio obliqua clause that contains a quasi-indicator. Robert M. Adams and Rogers Albritton have presented a counter-argument that is accepted by Castaneda himself. I will argue that the Adams/Albritton argument is not convincing: The argument uses several assumptions which could be disputed. The paper tries to develop a more direct argument against Castaneda’s central claim. If Castaneda’s thesis is (...) false, what then is achieved by quasi-indexicals in oratio obliqua? Adams and Castaneda answer this question with a picture: the quasi-indexical clause portrays an indexical proposition. I use Perry’s idea that quasi-indicators could be seen as expressions that bind special sense variables to give a less metaphorical account of the functioning of quasi-indicators. Finally, I explore the consequences of this account for iterated knowledge-ascriptions with quasi-indicators and for truth-conditional theories of meaning. (shrink)

A quasi-canonical Gentzen-type system is a Gentzen-type system in which each logical rule introduces either a formula of the form , or of the form , and all the active formulas of its premises belong to the set . In this paper we investigate quasi-canonical systems in which exactly one of the two classical rules for negation is included, turning the induced logic into either a paraconsistent logic or a paracomplete logic, but not both. We provide a constructive (...) coherence criterion for such systems, and show that a quasi-canonical system of the type we investigate is coherent iff it is strongly paraconsistent or strongly paracomplete (in a sense defined in the paper), iff it has a trivalent, non-deterministic semantics of a special type (also defined in the paper) for which it is sound and complete. Finally, we determine when a system of this sort admits cut-elimination, and provide a simple procedure for transforming one which does not into one which does. (shrink)

In the _Poetics_, Aristotle, defines metaphor as the transfer of a term from a given, foreign domain to another one. If, as does the classical doctrine of tropes, we consider that it substitutes the ‘proper’ term, the metaphor has a purely ornamental value and we can do without it. Modern theories insist, on the contrary, on the cognitive value of the metaphor: because it offers a re-description of the world, the metaphor is “alive”. The question is to what extent this (...) cognitive conception of metaphor, in spite of its classical reception, is already at work in Aristotle’s differentiated analysis of the phenomenon, as Ricœur claims. The answer is ‘yes but rather no’. This is because the cognition Aristotle talks about in relation to metaphor is of a special type, a “quasi-cognition”. (shrink)

Laws in the special sciences are usually regarded to be non-universal. A theory of laws in the special sciences faces two challenges. (I) According to Lange's dilemma, laws in the special sciences are either false or trivially true. (II) They have to meet the ?requirement of relevance?, which is a way to require the non-accidentality of special science laws. I argue that both challenges can be met if one distinguishes four dimensions of (non-) universality. The upshot (...) is that I argue for the following explication of special science laws: L is a special science law just if (1) L is a system law, (2) L is quasi-Newtonian, and (3) L is minimally invariant. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

Einstein's special and general theory of relativity abolished the Newtonian concept of absolute time. Moreover, Einsteinian physics revealed the mutual interdependence of space, time, and matter. Applying general relativity to cosmology leads again to the existence of a preferred time coordinate among the homogeneous and isotropic cosmological models. Einstein referred to this time coordinate as ,,almost absolute time." What is the exact relation between absolute time in relativistic cosmology and absolute time in Newtonian physics? To answer this question firstly (...) we investigate which features are characteristic of Newtonian absolute time. Secondly we show how the preferred time in relativistic cosmology is related to the cosmological principle. After that we compare the two concepts of time. Finally, we consider the concept of time in particular cosmological models like the static Einstein universe, the relation between cosmic time and the evolution of the universe and different possibilities to introduce the time coordinate in oscillating cosmological models. German Die Spezielle und Allgemeine Relativitätstheorie Einsteins räumten mit dem Konzept einer absoluten Zeit, wie es von Newton für seine Physik vorausgesetzt worden war, auf und zeigten die wechselseitige Abhängigkeit von Raum, Zeit und Materie. In Anwendung der Allgemeinen Relativitätstheorie auf das kosmologische Problem ergibt sich jedoch für die üblicherweise herangezogene Klasse der homogenen und isotropen Weltmodelle die Möglichkeit, eine ausgezeichnete Zeitkoordinate einzuführen, die Einstein als ,,quasi-absolute Zeit bezeichnete. Wie verhält sich die absolute Zeit der relativistischen Kosmologie zur absoluten Zeit Newtons? Diese Frage wird beantwortet, indem die wichtigsten Momente der absoluten Zeit Newtons herausgestellt werden, die auf dem Kosmologischen Prinzip basierende Möglichkeit der Einführung einer ausgezeichneten Zeit in der Kosmologie erörtert wird und anschließend beide Zeitkonzepte konfrontiert werden. Abschließend wird der Begriff der Zeit im Rahmen bestimmter kosmologischer Modelle weiter untersucht, vor allem seine Bedeutung im statischen Einstein-Universum, seine Verknüpfung mit der Evolution des Universums und die verschiedenen Möglichkeiten, die Zeit in oszillierenden bzw. zyklischen Modellen zu definieren. (shrink)

Introducing a special issue of a journal is a difficult, but pleasurable task for any editor. One must chose what to say about the themes of the issue, and how to introduce the papers presented. However, this task becomes still more complex when the special issue in question forms the inaugural issue of a new journal. This is the case here as we find ourselves introducing "Questions in Human Enhancement" as the inaugural issue of Studies in Ethics, Law (...) and Technology. As such, this editorial serves two purposes: first we must introduce the journal itself, exploring our motivations for creating a new, quasi-open access, interdisciplinary publishing forum; and second we must introduce a stunning collection of comments, articles and discussion papers that have been written by a range of eminent scholars from across the globe. (shrink)

A new non-traditional quasi-classical description of the particle dynamics (QCDPD) is outlined. The “quasi-classical” attribute is suggested by the closeness—although not identity—to the description of a classical system, in the framework of classical dynamics. Founded on a suitable one-to-one mapping of the timelike 4-vectors of Minkowski's spacetime onto the real 4-dimension vector space, QCDPD is mathematically equivalent to the traditional description of special relativity. However, in QCDPD a new frequency fulfilling the same transformation law as the frequency (...) of an oscillator is employed. It turns out that the special-relativity particle is, in fact, modeled as an oscillator which is essentially classical. The associated wave is a natural consequence of such a model. (shrink)

Martin and Deutscher’s causal theory of remembering holds that a memory trace serves as a necessary causal link between any genuine episode of remembering and the event it enables one to recall. In recent years, the causal theory has come under fire from researchers across philosophy and cognitive science, who argue that results from the scientific study of memory are incompatible with the kinds of memory traces that Martin and Deutscher hold essential to remembering. Of special note, these critics (...) observe, is that a single memory trace can be shaped by multiple past experiences. This appears to prevent traces from underwriting Martin and Deutscher’s distinction between remembering an event and merely forming an accurate representation of it. This paper accepts such criticisms of the standard causal theory and, through considering the phenomenon forgetting through repetition, raises several others. A substantially revised causal theory is then developed, compatible with the thesis that individual memory traces are shaped by multiple past experiences. The key strategy is to conceive of episodic remembering not as the simple retrieval and projection of a static memory trace, but as a complex quasi-inferential process that makes use of multiple forms of information and cues—“prop-like” memory traces included—in generating the experience known as episodic remembering. When remembering is understood as a multi-componential process, there are a variety of ways in which a representation of the past may be appropriately causally dependent upon a prior experience of the event remembered. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive (...) operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax (...) in Peirce’s logic-as-semiotics. (shrink)

In Moral Knowledge? New Readings in Moral Epistemology, editors Walter Sinnott-Armstrong and Mark Timmons bring together eleven specially commissioned essays by distinguished moral philosophers exploring the nature and possibility of moral knowledge. Each essay represents a major position within the exciting field of moral epistemology in which a proponent of the position presents and defends his or her view and locates it vis-a-vis competing views. The authors include established philosophers such as Peter Railton, Robert Audi, Richard Brandt, and Simon Blackburn, (...) as well as newer voices in the field. Topics covered include moral skepticism, moral truth, projectivism, contractarianism, coherentism, feminist views, quasi-realism, and pragmatism. The lively and clear selections do not presuppose specialized knowledge of philosophy, and the philosophical vocabulary used throughout the anthology is uniform, in order to facilitate understanding by those not familiar with the field. The first chapter includes a sustained critical discussion of the major views represented in the following chapters, thereby furnishing beginning students with appropriate background to understand the selections. The volume is further enhanced by an index and an extensive bibliography. An excellent text for undergraduate and graduate courses, Moral Knowledge provides the most up-to-date work on moral knowledge and justification. (shrink)

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but (...) at the same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

Contemporary philosophical and scienti .c discussions of mind developed from a 'proto-concept of mind ',a mythical,tradition- alistic,animistic and quasi-sensory theory about what it means to have a mind. It can be found in many di .erent cultures and has a semantic core corresponding to the folk-phenomenological notion of a 'soul '.It will be argued that this notion originates in accurate and truthful .rst-person reports about the experiential content of a special neurophenomenological state-class called 'out-of-body experiences '.They can be (...) undergone by every human being and seem to possess a culturally invariant cluster of functional and phenomenal core properties similar to the proto-concept of mind. The common causal factor in the emergence and development of the notion of the soul and the proto-concept of mind may consist in a yet to be determined set of properties realized by the human brain, underlying the cluster of phenomenal properties described in the relevant first-person reports. This hypothesis suggests that such a neurofunctional substrate ed human beings at different times, and in widely varying cultural contexts, to postulate the existence of a soul and to begin developing a theory of mind. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts (...) of computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

The paper aims to put certain basic mathematical elements and operations into an empirical perspective, evaluate the empirical status of various analytic operations widely used within psychology and suggest alternatives to procedures criticized as inadequate. Experimentation shows the "manyness" of items to be a perceptual quality for both young children and animals and that natural operations are performed by naive children analogous to those performed by persons tutored in arithmetic. Number, counting, arithmetic operations therefore can make distinctions that are not (...) inevitably arbitrary, and conceptual operations can obviously have a status as natural events with psychology. If the elements and conceptual operations involved in mathematical systems were not inherent in physiological process, various primitive discriminations could not be possible. Also, since some calculi have a natural status in a given empirical circumstance, the axioms of others can not be satisfied. Therefore the psychologist when acting as an empirical scientist seeks a calculus having a structure whose elements are isomorphic with natural units of stimulus and response and whose operations are isomorphic with whatever natural processes are involved. Measurement poses a special problem for the empirical scientist. It concerns but a single class of natural qualities and this only in a limited way. The concept of quantity has a natural counterpart but quantity and measurement are not wholly analogous. Measurement is defined, as H. S. Leonard suggests, as a theoretical activity. Measurement theory has a formal structure but empirical end. Measurement hypothesizes about the position of a particular quality within a definite range of qualities. It therefore is beholden to definite empirical restrictions. Some hypotheses-making systems use terms and relations per se as the context and starting point for dealing with discriminable events. Such procedures are 'transcendent." In empirical science, questions are part of problem-solving activity and their reference is naturally restricted. In providing description and explanation, psychological researchers frequently use calculi in a transcendent way. This results in theories that are only quasi-empirical and "half" true. The roles measurement plays in psychology are discussed. Of particular concern are those cases in which the results of measuring or a theory of measurement are used to define the "real" units, or the "real" relations involved in problematic psychological events, and thence to describe and explain behaviors of interest. Metaphysical or ontological usages of measurement sometimes occur. The implication of these arguments with regard to a view of empirical science is discussed. (shrink)

Moral behaviour, based on social norms, is commonly regarded as a hallmark of humans. Hitherto, humans are perceived to be the only species possessing social norms and to engage in moral behaviour. There is anecdotal evidence suggesting their presence in chimpanzees, but systematic studies are lacking. Here, we examine the evolution of human social norms and their underlying psychological mechanisms. For this, we distinguish between conventions, cultural social norms and universal social norms. We aim at exploring whether chimpanzees possess evolutionary (...) precursors of universal social norms seen in humans. Chimpanzees exhibit important preconditions for their presence and enforcement: tolerant societies, well-developed social-cognitive skills and empathetic competence. Here, we develop a theoretical framework for recognizing different functional levels of social norms and distinguish them from mere statistical behavioural regularities. Quasi social norms are found where animals behave functionally moral without having moral emotions. In proto social norms, moral emotions might be present but cannot be collectivized due to the absence of a uniquely human psychological trait, i.e. shared intentionality. Human social norms, whether they are universal or cultural, involve moral emotions and are collectivized. We will discuss behaviours in chimpanzees that represent potential evolutionary precursors of human universal social norms, with special focus on social interactions involving infants. We argue that chimpanzee infants occupy a special status within their communities and propose that tolerance towards them might represent a proto social norm. Finally, we discuss possible ways to test this theoretical framework. (shrink)

What is the role of the imagination in scientific practice? Here I focus on the nature and role of invitations to imagine in certain scientific texts as represented by the example of Einstein’s Special Relativity paper from 1905. Drawing on related discussions in aesthetics, I argue, on the one hand, that this role cannot be simply subsumed under ‘supposition’ but that, on the other, concerns about the impact of genre and symbolism can be dealt with, and hence present no (...) obstacle to regarding imagination as appropriately belief-like. By applying the framework of ‘semi- propositional representations’ and ‘quasi-truth’ to this case I thereby offer a new unitary framework for understanding the epistemology of scientific imagination. (shrink)

Four arguments are examined in order to assess the state of the Intelligent Design debate. First, critics continually cite the fact that ID proponents have religious motivations. When used as criticism of ID arguments, this is an obvious ad hominem. Nonetheless, philosophers and scientists alike continue to wield such arguments for their rhetorical value. Second, in his expert testimony in the Dover trial, philosopher Robert Pennock used repudiated claims in order to brand ID as a kind of pseudoscience. His arguments (...) hinge on the nature of methodological naturalism as a metatheoretic shaping principle. We examine the use of such principles in science and the history of science. Special attention is given to the demarcation problem. Third, the scientific merits of ID are examined. Critics rightly demand more than promissory notes for ID to move beyond the fringe. Fourth, although methodological naturalism gets a lot of attention, there is another shaping principle to contend with, namely, conservatism. Science, like most disciplines, tends to change in an incremental rather than revolutionary manner. When ID is compared to other non- or quasi-Darwinian proposals, it appears to be a more radical solution than is needed in the face of the anomalies. (shrink)

Recently, hinge epistemologists have applied Wittgenstein’s metaphor of hinges to religious belief. The most prominent proposal in this context is Pritchard’s “quasi-fideism”. This paper examines some historical precursors of the notion of religious hinges, with the aim of shedding more light on it. After outlining the framework of hinge epistemology and its application to religious belief, I briefly examine the views of Thomas Reid and John Henry Newman as acknowledged forerunners of this framework (or cognate views). Next, I turn (...) to two hitherto unacknowledged forerunners, the pragmatists William James and Charles S. Peirce. I then focus on some insights that the pragmatists offer. On this basis, I conclude that religious beliefs are a special class of hinges. As such, while they can be defended through hinge epistemology, they cannot constitute a model through which we can interpret the nature of hinges in general. (shrink)

LET ME BEGIN this inquiry with the simple but fundamental fact that the flow of time, or passage, as it is also known, is given in experience, that it is as indubitable an aspect of our perception of the world as the sights and sounds that come in upon us, even though it is not the peculiar property of a special sense. Consider, by way of illustration, that I am now sitting at the desk in my study. This particular (...) event was not present at any earlier time, nor will it be present shortly as I become involved in other activities. The present, as I experience it, is regularly associated with later and later events. It does not hop about capriciously from here to a later time, to a previous time, and then to a much later time, or trace out some other such indiscriminate pattern; instead I find it always in association with the next moment, and as I look backward and inward, so to speak, I find that the prior moment was present and that this next-later moment is present. Quite often this condition is expressed by means of imagery. We are asked to envision either a moving present racing along a fixed track of moments or events from earlier to later, or alternatively a fixed present through which stream a series of moments or events, first the earlier and then the later ones. One is in truth hard-pressed to find references to passage which do not employ quasi-poetical tropes and metaphors, and while these do help in some sense to say what we mean, great caution is required when handling them because of their ready tendency to draw us away from the actual phenomenon requiring explanation. (shrink)

Moral behaviour, based on social norms, is commonly regarded as a hallmark of humans. Hitherto, humans are perceived to be the only species possessing social norms and to engage in moral behaviour. There is anecdotal evidence suggesting their presence in chimpanzees, but systematic studies are lacking. Here, we examine the evolution of human social norms and their underlying psychological mechanisms. For this, we distinguish between conventions, cultural social norms and universal social norms. We aim at exploring whether chimpanzees possess evolutionary (...) precursors of universal social norms seen in humans. Chimpanzees exhibit important preconditions for their presence and enforcement: tolerant societies, well-developed social-cognitive skills and empathetic competence. Here, we develop a theoretical framework for recognizing different functional levels of social norms and distinguish them from mere statistical behavioural regularities. Quasi social norms are found where animals behave functionally moral without having moral emotions. In proto social norms, moral emotions might be present but cannot be collectivized due to the absence of a uniquely human psychological trait, i.e. shared intentionality. Human social norms, whether they are universal or cultural, involve moral emotions and are collectivized. We will discuss behaviours in chimpanzees that represent potential evolutionary precursors of human universal social norms, with special focus on social interactions involving infants. We argue that chimpanzee infants occupy a special status within their communities and propose that tolerance towards them might represent a proto social norm. Finally, we discuss possible ways to test this theoretical framework. (shrink)

Bayesian inference is limited in scope because it cannot be applied in idealized contexts where none of the hypotheses under consideration is true and because it is committed to always using the likelihood as a measure of evidential favouring, even when that is inappropriate. The purpose of this article is to study inductive inference in a very general setting where finding the truth is not necessarily the goal and where the measure of evidential favouring is not necessarily the likelihood. I (...) use an accuracy argument to argue for probabilism and I develop a new kind of argument to argue for two general updating rules, both of which are reasonable in different contexts. One of the updating rules has standard Bayesian updating, Bissiri et al.’s general Bayesian updating, Douven’s IBE-based updating, and Vassend’s ]) quasi-Bayesian updating as special cases. The other updating rule is novel. (shrink)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. (...) Cut elimination is proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

This paper emphasizes the crucial role of variation, at several different levels, for a detailed historical understanding of the development of the biomedical sciences. Going beyond valuable recent studies that focus on model organisms, experimental systems and instruments, we argue that all of these categories can be accommodated within our approach, which pays special attention to organismal and cultural variation. Our empirical examples are drawn in particular from recent historical studies of nineteenth- and early twentieth-century genetics and physiology. Based (...) on the quasi-paradoxical conclusion that biological and cultural variation both constrains and enables innovation in the biomedical sciences, we argue that more attention should be paid to variation as an analytical category in the historiography of the life sciences. (shrink)

This paper analyses the structure of evolutionary theory as a quasi-Newtonian theory and the need to establish a Zero-Cause Law. Several authors have postulated that the special character of drift is because it is the default behaviour or Zero-Cause Law of evolutionary systems, where change and not stasis is the normal state of them. For these authors, drift would be a Zero-Cause Law, the default behaviour and therefore a constituent assumption impossible to change without changing the system. I (...) defend that drift's causal and explanatory power prevents it from being considered as a Zero-Cause Law. Instead, I propose that the default behaviour of evolutionary systems is what I call the Principle of Stasis, which posits that an evolutionary system where there is no selection, drift, mutation, migration, etc., and therefore no difference-maker, will not undergo any change (it will remain in stasis). (shrink)