We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be (...) finitely based. (shrink)

In this dissertation I defend the claim, long held by Donald Davidson, that truth is a primitive concept that cannot be correctly or informatively defined in terms of more basic concepts. To this end I articulate the history of the primitive thesis in the 20th century, working through early Moore, Russell, and Frege, and provide improved interpretations of their reasons for advancing and eventually abandoning the primitive thesis. I show the importance of slingshot-style arguments in the work (...) of Frege, Church, Davidson, and Gödel for resisting certain versions of the correspondence theory of truth. I argue that most slingshots fail to convincingly establish a collapsing conclusion, but that a Gödelian version of the slingshot is terminal to certain varieties of the correspondence theory of truth. I then provide a Davidsonian theory of truth and interpretation that is consistent with and makes use of the primitive thesis. Finally, I provide an account of predication, properties, and universals that I argue is both serviceable and consistent with Davidson’s overall program. (shrink)

There is an important debate in the philosophy of mind that has roots in the phenomenological tradition, namely: what are the primitive forms of consciousness, that is, what are the fundamental ingredients or aspects of consciousness. This paper wants to contribute to partially answering this general question by providing an answer to a required sub-question within this question: is emotional phenomenology fundamental? I will answer in the affirmative and will offer an argument focused on contemplative emotions elicited by fiction. (...) Another type of contemplative emotions, namely, esthetic emotions, have been invoked in the literature but I will argue that the phenomenology of emotions elicited by fiction, given their continuity and sameness in kind with the phenomenology of garden variety emotions, are more dialectically efficient vis-à-vis the debate on the irreducibility of emotional phenomenology. (shrink)

: In The Varieties of Consciousness, Kriegel argues that it is possible to devise a method to sort out the irreducible primitive phenomenologies that exist. In this paper I argue that his neutrality notwithstanding, Kriegel assumes a form of realism that leaves unresolved many of the conundrums that characterize the debate on consciousness. These problems are evident in the centrality he assigns to introspection and his characterization of cognitive phenomenology. Keywords : Consciousness; Introspection; Realism; Type-identity; Dispositional Properties I (...) primitivi della coscienza e la loro realtà Riassunto : In The Varieties of Consciousness Kriegel sostiene la possibilità di concepire un metodo per mettere ordine tra le esperienze fenomenicamente primitive effettivamente esistenti, ciascuna nella propria irriducibilità rispetto alle altre. In questo testo intendo sostenere che, nonostante la sua neutralità, Kriegel assume una forma di realismo che lascia aperti molti dei problemi che caratterizzano il dibattito sulla coscienza. Questi problemi diventano evidenti sia nella centralità assegnata all’introspezione sia nella caratterizzazione specifica della fenomenologia cognitiva. Parole chiave : Coscienza; Introspezione; Realismo; Identità di tipo; Proprietà disposizionali. (shrink)

According to Hutto and Satne, 521–536, 2015), an “essential tension” plagues contemporary neo-Pragmatist accounts of mental contents: their explanation of the emergence and constitution of intentional mental contents is circular. After identifying the problem, they also propose a solution: what neo-Pragmatists need to do, to overcome circularity, is to appeal to a primitive content-free variety of intentionality, different from the full-blown intentionality of propositional attitudes. In this paper, I will argue that, in addition to the problem of circularity, there (...) is another important problem that both neo-Pragmatist accounts, and Hutto and Satnes’s refinement of them, should also deal with: their difficulty to accommodate a host of recent empirical evidence and theoretical developments on the interdisciplinary field of animal cognition. I will call this difficulty the objection from animal minds, and I will present several arguments designed to show that, even though the notion of primitive intentionality, introduced by Hutto and Satne, may be useful to account for some of the most basic ways of dealing with the environment of nonhuman animals, it falls short of providing an adequate explanation of the full-range of cognitive capacities and behavioral dispositions that many animal species display. Thus, their proposal ends up being insufficient to help neo-Pragmatist approaches to overcome the problem of animal minds. Finally, I will suggest that overcoming this objection requires attributing to non-human animals some basic, yet content involving, kinds of intentional mental states. (shrink)

LetA≤Bbe structures, and${\cal K}$a class of structures. An elementb∈BisdominatedbyArelative to${\cal K}$if for all${\bf{C}} \in {\cal K}$and all homomorphismsg,g':B → Csuch thatgandg'agree onA, we havegb=g'b. Our main theorem states that if${\cal K}$is closed under ultraproducts, thenAdominatesbrelative to${\cal K}$if and only if there is a partial functionFdefinable by a primitive positive formula in${\cal K}$such thatFB(a1,…,an) =bfor somea1,…,an∈A. Applying this result we show that a quasivariety of algebras${\cal Q}$with ann-ary near-unanimity term has surjective epimorphisms if and only if$\mathbb{S}\mathbb{P}_n \mathbb{P}_u \left( {\mathcal{Q}_{{\text{RSI}}} } (...) \right)$has surjective epimorphisms. It follows that if${\cal F}$is a finite set of finite algebras with a common near-unanimity term, then it is decidable whether the (quasi)variety generated by${\cal F}$has surjective epimorphisms. (shrink)

Under so-called primitive ontology approaches, in fully describing the history of a quantum system, one thereby attributes interesting properties to regions of spacetime. Primitive ontology approaches, which include some varieties of Bohmian mechanics and spontaneous collapse theories, are interesting in part because they hold out the hope that it should not be too difficult to make a connection between models of quantum mechanics and descriptions of histories of ordinary macroscopic bodies. But such approaches are dualistic, positing a (...) quantum state as well as ordinary material degrees of freedom. This paper lays out and compares some options that primitive ontologists have for making sense of the quantum state. (shrink)

Recent work on consciousness has featured a number of debates on the existence and character of controversial types of phenomenal experience. Perhaps the best-known is the debate over the existence of a sui generis, irreducible cognitive phenomenology – a phenomenology proper to thought. Another concerns the existence of a sui generis phenomenology of agency. Such debates bring up a more general question: how many types of sui generis, irreducible, basic, primitive phenomenology do we have to posit to just be (...) able to describe the stream of consciousness? This book offers a first general attempt to answer this question in contemporary philosophy. It develops a unified framework for systematically addressing this question and applies it to six controversial types of phenomenal experience, namely, those associated with thought and judgment, will and agency, pure apprehension, emotion, moral thought and experience, and the experience of freedom. (shrink)

Preference, according to many theories of human behaviour, is a very important phenomenon. It is therefore some what surprising that philosophers of mind pay so little attention to it. One question about preference concerns its variety. Is preference always preference for one option or state of affairs rather than another? Or is there also, as ordinary language suggests, object-preference – preferences for one person rather than another, for one country rather than another, for one value rather than another? Another question (...) or rather group of questions concerns the nature of preference. Is it a mental state, disposition, act or episode, a theoretical construct, a purely behavioural phenomenon? If it is a mental state or act, is it an intellectual, affective or a conative phenomenon? If it is an affective phenomenon, does it enjoy a positive or negative “valence”? Is preference to be understood as a relation between a person’s attitudes or is it a primitive phenomenon? (shrink)

The Brentanian idea that every state of consciousness involves a consciousness or awareness of itself (Brentano 1874), which has been a central tenet of the phenomenological school, is a current topic in contemporary philosophical debates about consciousness and subjectivity, both in the continental and the analytic tradition. Typically, the self-awareness that accompanies every state of consciousness is char­acterized as pre-reflective. Most theorists of pre-reflective self-awareness seem to converge on a negative characterization: pre-reflective self-awareness is not a kind of reflective awareness. (...) Whereas reflective self-awareness is attentive and descriptive, pre-reflective self-awareness is non-attentive and non-descriptive.This paper aims to show that the reflective/pre-reflective dichotomy overlooks a finer-grained distinction. The first part is devoted to arguing that the typical use of the adjective ‘pre-reflective’ conflates two properties (non-attentiveness and non-descriptiveness), which are in fact separable. Accordingly, not only can there be non-descriptive and non-attentive self-consciousness (i.e. pre-reflective self-awareness), but also non-descriptive but attentive self-consciousness. I call the latter primitive introspection. The second part of the paper is devoted to arguing that, whereas both pre-reflective self-awareness and primitive introspection enable the subject to apprehend the phenomenology of their experience, the kind of apprehension each allows for is different. By analyzing the notion of apprehension in terms of information acquisition and personal-level availability of information, it is proposed that, although both pre-reflective self-awareness and primitive introspection allow for acquisition of the maximal amount of information about the experience, only primitive introspection makes all such information personal-level available. (shrink)

In this paper, I first of all define various kinds of ontological dependence, motivating these definitions by appeal to examples. My contention is that whenever we need, in metaphysics, to appeal to some notion of existential or identity-dependence, one or other of these definitions will serve our needs adequately, which one depending on the case in hand. Then I respond to some objections to one of these proposed definitions in particular, namely, my definition of (what I call) essential identity-dependence. Finally, (...) I show how a similar approach can be applied in the theory of truthmaking, by offering an account of the truthmaking relation which defines it in terms of a type of essential dependence. I also say why I think that this approach is preferable to one which treats the truthmaking relation as primitive. More generally, my view is that accounts of dependence or ‘grounding’ which treat these notions as primitive are less satisfactory than my own position, which is that in all cases a suitable definition is forthcoming if we look hard enough. (shrink)

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

Uriah Kriegel has attempted to describe the varieties of consciousness, that is, the primitive elements that constitute the phenomenal realm. Perceptual, imaginative, algedonic, cognitive, entertai...

We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

Ludwig Wittgenstein imagines a variety of eccentric social practices—like a tribe trained “to give no expression of feeling of any kind”. But he also speaks of “the common behavior of mankind” that is rooted in “natural/primitive reactions”. This emphasis on the uniformities of human behavior raises questions about the plausibility of some of his imagined language games. Indeed, it suggests the claim of evolutionary psychologists that there are biologically based human universals that shape social practices. But in contrast to (...) E.O. Wilson's belief that “genes hold culture on a leash”, Wittgenstein sees culture as a mediator—rather than a conduit—of “natural reactions”. This suggests that social science can incorporate the claims of evolutionary psychology without scanting the centrality of culture in action and allows that nature can be overwhelmed by culture. (shrink)

(1)Four varieties of primitive affect are distinguishable, characterised by (a) strain, and (b) relaxation in response to a favourable situation, and by (c) strain, and (d) relaxation in response to one unfavourable. Exhilaration, gladness and interest arise from (a); ease, bliss and contentment from (b); uneasiness, distress and repugnance from (c), depression, sadness and apathy from (d). (2)These affects are due to (i) the organic harmony or discord induced by the environment; wherewith are evoked (ii) innately purposive patterns (...) of out-going locomotor and organic activity, partly self-controlled and producing organic sensations; the latter again induce (iii) organic harmony or discord. Self-activity is “affected” by (i), (ii) and (iii). An innate basis is afforded by (i) and (ii) for the affect, which is completely developed by (iii) derived from actual expression. (3)Instincts are integrated from different higher and lower reflexes, emotions from different instincts, sentiments from different emotions organized within progressively higher systems and subjected to control and inhibition, which are important determinants of the accompanying feeling. In the lowest reflexes the self is “affected” only by (iii). The higher reflexes are accompanied by the affects evoked as described above in (2). Instincts, emotions and sentiments are accom panied by their special feelings depending on the integration of dispositions to lower feelings and on (ii) and (iii). (shrink)

A specific variety of formal causation is dispositional essentialism. This chapter argues that dispositional essentialism is incompatible with any trope bundle theory committed to the primitive identity of tropes, such as Keith Campbell’s account and the authors’ own Strong Nuclear Theory. Dispositional essentialism would render at least some tropes identity-dependent on other tropes, while all tropes must be considered identity-independent existents in these trope theories. Furthermore, dispositional essentialism relies on the problematic notion of dispositional essence, and it remains unclear (...) whether dispositional essentialism gains any ontological economy in comparison with the views taking laws of nature as primitive. Finally, the chapter outlines an alternative view based on Deborah Smith’s non-recombinational quidditism. According to it, tropes as determinate particular natures necessarily play certain nomological roles. It is argued that this might be completed with a new conception of tropes as parts of causal processes, which further clarifies the necessary connection between tropes and certain nomological roles. (shrink)

Author: Bogaczyk Małgorzata Title: THE DIFFERENT ART. ON THE PRIMITIVE ART, NAÏVE ART AND ART BRUT (Sztuka Inna. O sztuce prymitywnej, naiwnej i surowej) Source: Filo-Sofija year: 2006, vol:.6, number: 2006/1, pages: 239-256 Keywords: DIFFERENT ART, PRIMITIVE ART, ART BRUT, NAÏVE ART Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail:In the sketch I show some similarities in the artist’s way of perceiving the work of art, the process of artistic creativity, and (...) the fate of work in the inner reality, to quote Proust. The fact that all art is met with wider or narrower reception is the background for my analysis of the general phenomenon of the popularity of art fascinating or being rejected because of its variety. (shrink)

To identify the neural components that make a brain ready for language, it is important to have well defined linguistic phenotypes, to know precisely what language is. There are two central features to language: the capacity to form signs (words), and the capacity to combine them into complex structures. We must determine how the human brain enables these capacities. A sign is a link between a perceptual form and a conceptual meaning. Acoustic elements and content elements, are already brain-internal in (...) non-human animals, but as categorical systems linked with brain-external elements. Being indexically tied to objects of the world, they cannot freely link to form signs. A crucial property of a language-ready brain is the capacity to process perceptual forms and contents offline, detached from any brain-external phenomena, so their “representations” may be linked into signs. These brain systems appear to have pleiotropic effects on a variety of phenotypic traits and not to be specifically designed for language. Syntax combines signs, so the combination of two signs operates simultaneously on their meaning and form. The operation combining the meanings long antedates its function in language: the primitive mode of predication operative in representing some information about an object. The combination of the forms is enabled by the capacity of the brain to segment vocal and visual information into discrete elements. Discrete temporal units have order and juxtaposition, and vocal units have intonation, length, and stress. These are primitive combinatorial processes. So the prior properties of the physical and conceptual elements of the sign introduce combinatoriality into the linguistic system, and from these primitive combinatorial systems derive concatenation in phonology and combination in morphosyntax. Given the nature of language, a key feature to our understanding of the language-ready brain is to be found in the mechanisms in human brains that enable the unique means of representation that allow perceptual forms and contents to be linked into signs. (shrink)

This chapter explores the status of Wittgenstein's methodological remarks about the role of explanation. In §109 Wittgenstein provides one of his most extensive reflections on methodology. In many cases, scientific explanation works by hypothesizing entities whose behavior explains the behavior of familiar things. In hypothesizing entities whose behavior explains the behavior of familiar entities, the scientific explanation is metaphysically promiscuous. The metaphysical promiscuity of explanations that try to ape the scientific variety is signaled in the idea of the “super” order. (...) The claim on offer in §109 is that philosophy only offers insightful descriptions. The sense of fit is the subject's sense that one's own experience has a shape or form in which things occupy a place in which they belong. The idea of the investigations is suggested as an aesthetic project. It leaves space to endorse the idea of primitive normativity, that is, the sense of fit. (shrink)

The linguistic studies written by Anna Wierzbicka have been an occasion for the remarks on the relationship between linguistics and philosophy and for the question whether linguistic enquiries entitle us to put forward philosophical theses. In particular, whether and to what extent we indeed learn something philosophically significant about the world (of culture) and the nature man and his mind by examining language. Defining here position as interdisciplinary, Wierzbicka draws on the studies of the relationship between language and culture, language (...) and mind (language is a mirror of the mind - Leibniz). She claims that philosophy can be made a reliable science, provided it is based on linguistics, and the results of linguistic analyses can be found at the grounds of philosophical theses. Such philosophical references are A. Wierzbicka\'s attempts to combine semantics with generativism (Chomsky). Her intention to bring about a holistic description of language through defining elementary expressions (concepts, meanings), the so-called indefinibilia (\"primitives\") can also be called philosophical in character. They suffice to define all the remaining expressions, and basic universal syntactic constructs in the form of a grammar of elementary units, i.e. the ways of combining elementary units into greater wholes. We think that Wierzbicka\'s procedure, her quest after primary elements (of language) are reducing. A. Wierzbicka\'s main idea, with regard to the relationship between language and mind, may be understood as follows: this is a Janus-faced relationship - one face (empirically accessible) is language, the other one is the mind accessible through investigations on language. Both \"faces\" (spheres) are somehow functionally \"glued together\". In fact, however, Wierzbicka speaks little about the philosophically comprehended nature of man, whereas she speaks much about linguistic varieties and similarities among people. Generally speaking, while she declares herself to be a linguist, she has a philosophical temper and ambitions to generalise, i.e. she conducts linguistic studies with an intention to arrive at philosophical theses (by examining language she wants to obtain knowledge about the world and man). She issues statements which go beyond a purely linguistic knowledge and strictly linguistic data, hence they are not made legitimate by the linguistic material itself. A. Wierzbicka does not explain in more detail her way of understanding philosophy, assuming its intuitive comprehension. From some contexts it can be deduced that she takes it to mean a worldview. Should we call some parts of her reasoning a philosophy, it is then not a realistic philosophy but subject-oriented (first-person philosophising), such that touches upon the problems of the borderline between linguistics and philosophy, more concerned with the axis language-user than language-the world. Simultaneously, it is a non-demarcated and non-autonomic philosophising, exactly within the context of science, for it takes advantage of the results of empirical sciences to pose philosophical theses. The belief that philosophy can be pursued within a linguistic context coincides with the approach of analytical philosophy with its linguistic turn. Despite her declarations to make philosophy more scientific, Wierzbicka\'s arguments on behalf of the generalised (philosophical) theses are more their illustration and explication than a decisive legitimacy. Her belief that one can find some common, primitive linguistic units (simplicia) in the form of a complete set of independent concepts for all languages of the world seems Utopian. It is difficult to do it even in deductive systems, constructed by way of the axiomatic method and with a finite set of initial expressions. (shrink)

An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempotent operation on A satisfying also some additional axioms. Basic algebras are similar algebras that can roughly be characterised as nonassociative (hence, also non-commutative) generalizations of MV-algebras. Basic algebras and commutative basic algebras provide an equivalent algebraic semantics in the sense of Blok and Pigozzi for two recent logical systems. Both are Hilbert-style systems, with implication and negation as the (...) primitive connectives. We present a considerably simpler logic, Lʙ, for basic algebras, where implication and falsum are taken as primitives. We also consider some subvarieties of basic algebras known in the literature, discuss classes of implicational algebras term-equivalent to each of these varieties, and construct axiomatic extensions of Lʙ for which these classes serve as equivalent algebraic semantics. (shrink)

Should laws about sex and pornography be based on social conventions about what is disgusting? Should felons be required to display bumper stickers or wear T-shirts that announce their crimes? This powerful and elegantly written book, by one of America's most influential philosophers, presents a critique of the role that shame and disgust play in our individual and social lives and, in particular, in the law.Martha Nussbaum argues that we should be wary of these emotions because they are associated in (...) troubling ways with a desire to hide from our humanity, embodying an unrealistic and sometimes pathological wish to be invulnerable. Nussbaum argues that the thought-content of disgust embodies "magical ideas of contamination, and impossible aspirations to purity that are just not in line with human life as we know it." She argues that disgust should never be the basis for criminalizing an act, or play either the aggravating or the mitigating role in criminal law it currently does. She writes that we should be similarly suspicious of what she calls "primitive shame," a shame "at the very fact of human imperfection," and she is harshly critical of the role that such shame plays in certain punishments.Drawing on an extraordinarily rich variety of philosophical, psychological, and historical references--from Aristotle and Freud to Nazi ideas about purity--and on legal examples as diverse as the trials of Oscar Wilde and the Martha Stewart insider trading case, this is a major work of legal and moral philosophy. (shrink)

There is a well-entrenched schism on the frequency, intensity, and evolutionary significance of warfare among hunter-gatherers compared with large-scale societies. To simplify, Rousseauians argue that warfare among prehistoric and contemporary hunter-gatherers was nearly absent and, if present, was a late cultural invention. In contrast, so-called Hobbesians argue that violence was relatively common but variable among hunter-gatherers. To defend their views, Rousseauians resort to a variety of tactics to diminish the apparent frequency and intensity of hunter-gatherer warfare. These tactics include redefining (...) war, censoring ethnographic accounts of warfare in comparative analyses, misconstruing archaeological evidence, and claiming that outside contact inflates the intensity of warfare among hunter-gatherers. These tactics are subject to critical analysis and are mostly found to be wanting. Furthermore, Hobbesians with empirical data have already established that the frequency and intensity of hunter-gatherer warfare is greater compared with large-scale societies even though horticultural societies engage in warfare more intensively than hunter-gatherers. In the end I argue that although war is a primitive trait we may share with chimpanzees and/or our last common ancestor, the ability of hunter-gatherer bands to live peaceably with their neighbors, even though war may occur, is a derived trait that fundamentally distinguishes us socially and politically from chimpanzee societies. It is a point often lost in these debates. (shrink)

This volume collects some influential essays in which Simon Blackburn, one of our leading philosophers, explores one of the most profound and fertile of philosophical problems: the way in which our judgments relate to the world. This debate has centered on realism, or the view that what we say is validated by the way things stand in the world, and a variety of oppositions to it. Prominent among the latter are expressive and projective theories, but also a relaxed pluralism that (...) discourages the view that there are substantial issues at stake. The figure of the "quasi-realist" dramatizes the difficulty of conducting these debates. Typically philosophers thinking of themselves as realists will believe that they alone can give a proper or literal account of some of our attachments--to truth, to facts, to the independent world, to knowledge and certainty. The quasi-realist challenge, developed by Blackburn in this volume, is that we can have those attachments without any metaphysic that deserves to be called realism, so that the metaphysical picture that goes with our practices is quite idle. The cases treated here include the theories of value and knowledge, modality, probability, causation, intentionality and rule-following, and explanation. A substantial new introduction has been added, drawing together some of the central themes. The essays articulate a fresh alternative to a primitive realist/anti-realist opposition, and their cumulative effect is to yield a new appreciation of the delicacy of the debate in these central areas. (shrink)

Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...) time and space bounds to the elementary functions, with a particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side. (shrink)

Examples growing out of the Newcomb problem have convinced many people that decision theory should proceed in terms of some kind of causal probability. I endorse this view and define and investigate a variety of causal probability. My definition is related to Skyrms' definition, but proceeds in terms of objective probabilities rather than subjective probabilities and avoids taking causal dependence as a primitive concept.

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and RSGs of (...) finite chain length are lattice ordered. We prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, unless their stability index is 1 . We show that Open Problem 1 has a positive answer for the RSG of the field Q . In the final section we explore the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations; we introduce the notion of “parameter-rank” of a positive-primitive first-order formula of the language for special groups. (shrink)

We study a notion ofpartial primitive recursion (p.p.r.) including the concept ofparallelism in the context of partial continuous functions of type level one in the sense of [Krei], [Sco82], [Ers]. A variety of subrecursive hierarchies with respect top.p.r. is introduced and it turns out that they all coincide.

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the (...) form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well (...) as a theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the (...) latter approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

I argue for a novel answer to the question “What is hope?”. On my view, rather than aiming for a compound account, i.e. analysing hope in terms of desire and belief, we should understand hope as an irreducible concept. After criticizing influential compound accounts of hope, I discuss Segal and Textor's alternative of describing hope as a primitive mental state. While Segal and Textor argue that available developments of the standard definition do not offer sufficient conditions for hope, I (...) question the deep‐seated idea that desire and belief are even necessary conditions for hope. My suggestion is that we should take seriously the fact that we hope in a great variety of ways and should question the search for elements that are common to all cases. A promising alternative follows the Wittgensteinian idea that cases of hope are related in terms of family resemblance, i.e. are multiply realizable on the ontological level while falling under the non‐definable concept of hope. (shrink)

Language Turned on Itself examines what happens when language becomes self-reflexive; when language is used to talk about language. Those who think, talk, and write about language are habitual users of various metalinguistic devices, but reliance on these devices begins early: kids are told, 'That's called a "rabbit"'. It's not implausible that a primitive capacity for the meta-linguistic kicks in at the beginning stages of language acquisition. But no matter when or how frequently these devices are invoked, one thing (...) is clear: they present theorists of language with a complex data pattern. Herman Cappelen and Ernest Lepore show that the study of these devices and patterns not only represents an interesting and neglected project in the philosophy of language, but also carries important consequences for other parts of philosophy. Part I is devoted to presenting data about various aspects of our metalinguistic practices. In Part II, the authors examine and reject the four leading metalinguistic theories, and offer a new account of our use of quotation in a variety of different contexts. But the primary goal of this book is not to promote one theory over another. Rather, it is to present a deeply puzzling set of problems and explain their significance. (shrink)

A new philosophy of nature is urgently needed. The received ontological view, physicalism, is unable to account for experiential phenomena and in particular for consciousness in all its varieties. We shall outline the concept of experiencing which should figure as a new conceptual primitive in natural philosophy. Experiencing refers to a process which comprises the interaction of an agent with its world through action based on phenomenal experience. This process can be viewed under two different aspects. One regards (...) the subjective aspect of experiencing, the other one regards it in terms of physical objects. The first case illustrates the “what-it-is-likeness„ of experiencing, the second illustrates how experiencing gets “objectified„ in nature. We furthermore wish to delineate our concept of experiencing from the concept of (meta-cognitive) awareness. Scientific theories that explain how awareness comes about in sufficiently organized brains should respect the distinction between experiencing and awareness. We also sketch how experiencing could be related to theoretical biology in terms of information processing by organisms. Experiencing is non-exclusive; it refers to a primitive and a-personal natural process and not to a property possessed only by humans or other persons. (shrink)

“The Will to Believe” defines the religious question as forced, living and momentous, but even in this article James asserts that more objective factors are involved. The competing religious hypotheses must both be equally coherent and correspond to experimental data to an equal degree. Otherwise the option is not a live one. “If I say to you ‘Be a theosophist or be a Mohammedan’, it is probably a dead option, because for you neither hypothesis is likely to be alive.” James, (...) WB, p. 3. Analogously, in A Pluralistic Universe James is at pains to convince the reader that his own religious hypothesis is just as “objective,” makes just as much sense, etc. as alternative possibilities: the “only thing I emphatically insist upon is that it [pluralistic pantheism] is a fully coordinate hypothesis with monism. This world may, in the last resort, be a block universe; but on the other hand, it may be a universe only strung along, not rounded in and closed. Reality may exist distributively just as it sensibly seems to, after all. On that possibility I do insist.”William James, A Pluralistic Universe (New York: Longmans, Green, and Co., 1909) p. 328.Here, once again, before the will to believe can be employed, the objective factors of competing hypotheses, their equal coherence and correspondence, must be brought out.When reconstructed, James' overall outlook has a “qausi Kuhnian” taint to it- though obvious differences remain. Much of what goes on in evaluating competing scientific hypotheses is either not forced, or not living, or not momentous, but rather “typical,” “dead,” and “avoidable,” in short very “normal.” But there are moments in the history of science where the decision between hypotheses might well be forced, living and momentous, and sometimes James comes close to recognizing this.Analogously, a good deal of what goes on in religion is not forced, not living or not momentous - in short it is all too “normal”. In The Varieties of Religious Experience for example, James proposes to ignore the institutional branch of the religious domain and to concentrate on personal and psychological factors, his reason being that the institutional aspect concentrates on the routine, the normal. “Worship and sacrifice, procedures for working on the dispositions of the deity, theology and ceremony and ecclesiastical organization, are the essentials of religion in the institutional branch. Were we to limit our view to it, we should have to define religion as an external art, the art of winning the favor of the gods.” James, VRE, p. 29. and again “The word ‘religion,’ as ordinarily used, is equivocal. A survey of history shows us that, as a rule, religious geniuses attract disciples, and produce groups of sympathizers. When these groups get strong enough to ‘organize’ themselves, they become ecclesiastical institutions with corporate ambitions of their own. The spirit of politics and the lust of dogmatic rule are then apt to enter and to contaminate the originally innocent thing; so that when we hear the word ‘religion’ nowadays, we think inevitably of some ‘church’ or other.” Clearly here religion has a normal, i.e. trivial side, just as does science. On the other hand, there are revolutionary moments in religion, such as that of choosing between theism and materialism in Pragmatism, or choosing among theism, monistic pantheism and pluralistic pantheism in A Pluralistic Universe. Such moments involve the will to believe and are clearly more personal than their counterparts in the domain of normal institutionalized religion. Going further, there are no doubt differences of degree between the will to believe decisions in science and the will to believe decisions in religion. These have been explicated in more specific terms by Ian Barbour in his article, “Paradigms in Science and Religion.” ...each of the ‘subjective’ features of science... is more evident in the case of religion: (1) the influence of interpretation on data, (2) the resistance of comprehensive theories of falsification, and (3) the absence of rules for choice among paradigms. Each of the corresponding ‘objective’ features of science is less evident in the case of religion: (1) the presence of common data on which disputants can agree, (2) the cumulative effect of evidence for or against a theory, and (3) the existence of criteria which are not paradigm-dependent. It is clear that in all three respects religion is a more ‘subjective’ enterprise than science. But in each case there is a difference of degree - not an absolute contrast between an ‘objective’ science and a ‘subjective’ religion. Ian Barbour, “Paradigms in Science and Religion,” in Paradigms and Revolutions, edited by Gary Gutting (Notre Dame: University of Notre Dame Press, 1980) pp. 242–43. Barbour correctly notes that the “...choice is not between religion and science, but between theism, pantheism, and naturalism, let us say, as each is expressed in a particular historical tradition. No basic beliefs are capable of demonstrable proof.”Ibid., p. 243. James sometimes comes close to recognizing this but his oscillation on the status of the everyday world of common sense, or the perceptual world, causes him not to see the issue clearly. When the animated world of the perceptual is taken as the all inclusive ‘really real,’ science is viewed as an abstract, second class citizen. But James offers what we would consider a more sophisticated and adequate perspective when he views the world of common sense, having become linguistified, as itself suspicious, and consequently views all three tiers - common sense, scholastic philosophy, and science - as “regional ontologies”, or “language games” in Wittgenstein's terminologySee Ludwig Wittgenstein, Philosophical Investigations, translated by G.E.M. Anscombe (New York: The Macmillan Company, 1953), paragraph 7, paragraph 23. For the notion of “regional ontology” see Edmund Husserl, Ideas, translated by W.R. Boyce Gibson (New York: Collier Books, Macmillan Publishing Company, Inc., 1962) p. 57ff; p. 158ff. - and opposes all three to a more primordial or prereflexive level. When James takes this second approach it is easier to see that the basic distinction he began to make in “The Will to Believe” was between the scientific and religious domain where the will to believe was to be employed, and the domain of “ordinary” religion and science. Finally this position anticipates his ultimate metaphysical outlook, viz. “pure experience” as approachable through language on a series of diverse regional levels, but nonetheless not completely describable within language. It is important to recall that in The Varieties of Religious Experience James distinguishes between the science of religions and what he calls living religion: [T] he science of religions may not be an equivalent for living religion; and if we turn to the inner difficulties of such a science, we see that a point comes when she must drop the purely theoretic attitude, and either let her knots remain uncut, or have them cut by active faith. James, VRE, p. 489. The study of religion, in short is not the activity of religion; the latter is animated, personal, and, we would argue, necessitates a commitment in terms of the will to believe. Once again, however, James hesitates over offering the same two-fold delineation in other areas of science. On the one hand he tells the reader that “science-has ended by utterly repudiating the personal point of view.”Ibid., p. 491. On the other hand, he offers the following comment a few pages later on in a footnote: ...the divorce between scientist facts and religious facts may not necessarily be as eternal as it at first sight seems, nor the personalism and romanticism of the world, as they appeared to primitive thinking, be matters so irrevocably outgrown. The final opinion may, in short, in some manner now impossible to forsee, revert to the more personal style, just as any path of progress may follow a spiral rather than a straight line. If this were so, the rigorously impersonal view of science might one day appear as having been a temporarily useful eccentricity rather than the definitely triumphant position which the sectarian scientist at present so confidently announces it to be.Ibid., p. 501, Footnote. The burden of this paper has been to indicate that when James' two-fold outlook on perception and/or common sense is properly reconstructed, the raproachment between science and religion is not so “impossible to forsee.”. (shrink)

The aim of our paper is to show that there is a sense of body that is enactive in nature and that enables to capture the most primitive sense of self. We will argue that the body is primarily given to us as source or power for action, i.e., as the variety of motor potentialities that define the horizon of the world in which we live, by populating it with things at hand to which we can be directed and (...) with other bodies we can interact with. We will show that this sense of body as bodily self is, on the one hand, antecedent the distinction between sense of agency and sense of ownership, and, on the other, it enables and refines such distinction, providing a conceptual framework for the coherent interpretation of a variety of behavioral and neuropsychological data. We will conclude by positing that the basic experiences we entertain of our selves as bodily selves are from the very beginning driven by our interactions with other bodies as they are underpinned by the mirror mechanism. (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)

This article describes an implemented architecture for intermediate vision. By integrating a variety of Intermediate visual mechanisms and putting them to use in support of concrete activity, the implementation demonstrates their utility. The sytem, SIVS, models psychophysical discoveries about visual attention and search. It is designed to be efficiently implementable in slow, massively parallel, locally connected hardware, such as that of the brain.SIVS addresses five fundamental problems. Visual attention is required to restrict processing to task-relevant locations in the image. Visual (...) search finds such locations. Visual routines are a means for nonuniform processing based on task demands. Intermediate objects keep track of intermediate results of this processing. Visual operators are a set of relatively abstract, general-purpose primitives for spatial analysis, out of which visual routines are assembled. (shrink)

Modern microscopes create a capacity to see and act at the scale where unassisted human senses are powerless. Images of nanoscale phenomena represent a world that effectively intervenes in human life while remaining distant and ineffable. This combination of an unbridgeable distance between man and technology with a real power of the latter over the human condition is characteristic, not only of nanotechnology, but also of the theology of sacred icons that mediate in the knowledge of divine reality. We draw (...) an anthropological analogy between nanotechnological images and sacred icons, and we employ it to analyze the functioning of such images in society. The questions that we study include: a) the art of mediation in representing the ineffable and its necessity; b) the effects provoked by such images; c) primitive comprehension of nanoscale images. This work has repercussions for a wide variety of disciplinary accounts and practices, from the anthropologist and the philosopher to the laboratory scientist, the art critic, and the engineer who conceives and designs nanoscale instruments. (shrink)

Empirical discussions of mental representation appeal to a wide variety of representational kinds. Some of these kinds, such as the sentential representations underlying language use and the pictorial representations of visual imagery, are thoroughly familiar to philosophers. Others have received almost no philosophical attention at all. Included in this latter category are analogue magnitude representations, which enable a wide range of organisms to primitively represent spatial, temporal, numerical, and related magnitudes. This article aims to introduce analogue magnitude representations to a (...) philosophical audience by rehearsing empirical evidence for their existence and analysing their format, their content, and the computations they support. 1 Background1.1 Evidence of analogue magnitude representations1.2 Weber’s law1.3 Scepticism about analogue magnitude representations2 Format2.1 Carey’s analogy2.2 Neural realization2.3 Analogue representation2.4 Analogue magnitude representation components3 Content3.1 Do analogue magnitude representations have representational content?3.2 What do analogue magnitude representations represent?3.3 What content types do analogue magnitude representations have?4 Computations4.1 Arithmetic computation4.2 Practical deliberation5 Conclusion. (shrink)

In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further (...) development of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion and, with Mark Twain, that denial is more than a river in Egypt. (shrink)

The intention of the presented paper is to establish within a certain modal semantic based on the situational ontology a description of the phenomenon of substantial change, which originally had been formulated within Aristotelian metaphysics – a theory based in reistic ontology. We understand substantial changesto be such changes whose subjects are primary substances (πρωται ουσι αι ) conceived as actually existing individual essences. The analysed changeability is of an existential character - it pertains to the existence of those substances. (...) The formalised description of the chosen changes, constructed in part (1) of the study, takes into consideration the necessary condition for their occurrence: the disappearing and coming into being of successively becoming substances. Part (2) presents the manner in which it is possible to reformulate the obtained characteristic of substantial change in order to create a description of a particular variety of situational changes, which belong, in turn, to the intended interpretation of modal sentential logic of change LCG - a calculus in which change is a primitive concept precised with the help of two one-argument operators C and G, read respectively as: it changes that…, a change is enabled by this, that ….. (shrink)

Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...) to higher-level cognitive representations of structures, systems of knowledge, and algorithmic processes. This theory implements a version of conceptual role semantics by positing an internal universal representation language in which learners may create mental models to capture dynamics they observe in the world. The theory formalizes one account of how truly novel conceptual content may arise, allowing us to explain how even elementary logical and computational operations may be learned from a more primitive basis. I provide an implementation that learns to represent a variety of structures, including logic, number, kinship trees, regular languages, context-free languages, domains of theories like magnetism, dominance hierarchies, list structures, quantification, and computational primitives like repetition, reversal, and recursion. This account is based on simple discrete dynamical processes that could be implemented in a variety of different physical or biological systems. In particular, I describe how the required dynamics can be directly implemented in a connectionist framework. The resulting theory provides an “assembly language” for cognition, where high-level theories of symbolic computation can be implemented in simple dynamics that themselves could be encoded in biologically plausible systems. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed (...) by a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

The article deals with panpsychic conceptions in contemporary analytical philosophy of mind. According to some influential philosophers, panpsychism has theoretical resources for solving both the old riddle of R. Descartes about the causal relationship between the realms of the mental and the physical, and the hard problem of consciousness by D. Chalmers — "Why do some physical systems generate conscious experience?". In the second half of the twentieth century, there were heated discussions in analytical philosophy about whether certain aspects of (...) conscious metal states, the phenomenal properties of experience, are irreducible to anything physical or functional. The strategy of contemporary supporters of panpsychic conceptions is to try to reasonably expand our ontology. They add to the microlevel a primitive analogue of the conscious experience possessed by such fundamental physical entities as elementary particles. Thus, phenomenal consciousness in its microform not only becomes a fundamental and irreducible element of reality, but also receives its causal relevance at the macro level. Nevertheless, all varieties of panpsychism face the combination problem: "How does the combination of the experience of fundamental physical entities lead to the emergence of consciousness?". The article assesses the plausibility of the main responses to different variations of the combination problem. It is shown that after revision, panpsychic conceptions lose their advantage over dualism and physicalism for various reasons. In the case of emergent and autonomous panpsychism, the concept of micro-experience becomes theoretically useless. S. Coleman's answer through the elimination of microsubjects leads to the rejection of panpsychism, and the idea of a phenomenal combination of P. Goff is burdened by the fact that we are, in principle, epistemically closed to its understanding. The author comes to the conclusion that the difficult problem of consciousness is not solvable due to the inevitability of its epistemological component, and not metaphysical or empirical. Until then, the question of the form is "does object X really have a phenomenal first-person perspective?" makes sense, we will somehow be inclined to believe that the hard problem of consciousness has not yet been solved. (shrink)

Franz Brentano upheld the medieval Aristotelian doctrine of intentionality as a mark of the mental, distinguishing physical from psychological phenomena by the intentionality of the psychological and nonintentionality of the physical. But to implement, even to fully understand and appreciate Brentano’s thesis, it is necessary to know when intentionality does or does not obtain. The task of formulating satisfactory criteria of intentionality has proved elusive. The magnitude of difficulty is indicated by the number and variety of criteria proposed and defeated (...) by counter examples. Intentionality may be a primitive irreducible property incapable of reductive conceptual analysis. But nonreductive criteriological characterizations of intentionality demonstrate an equally stubborn resistance to philosophical methods. (shrink)

Examples growing out of the Newcomb problem have convinced many people that decision theory should proceed in terms of some kind of causal probability. I endorse this view and define and investigate a variety of causal probability. My definition is related to Skyrms' definition, but proceeds in terms of objective probabilities rather than subjective probabilities and avoids taking causal dependence as a primitive concept.