(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology experimental paradigms which (...) would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (shrink)

For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, (...) and Choice are broached in the formal elaboration of the ‘set of’f {} operation. So it is surprising that, while these notions are unproblematic today, they were once sources of considerable concern and confusion among leading pioneers of mathematical logic like Frege, Russell, Dedekind, and Peano. In the development of modern mathematical logic out of the turbulence of 19th century logic, the emergence of the empty set, the singleton, and the ordered pair as clear and elementary set-theoretic concepts serves as amotif that reflects and illuminates larger and more significant developments in mathematical logic: the shift from the intensional to the extensional viewpoint, the development of type distinctions, the logical vs. the iterative conception of set, and the emergence of various concepts and principles as distinctively set-theoretic rather than purely logical. Here there is a loose analogy with Tarski's recursive definition of truth for formal languages: The mathematical interest lies mainly in the procedure of recursion and the attendant formal semantics in model theory, whereas the philosophical interest lies mainly in the basis of the recursion, truth and meaning at the level of basic predication. Circling back to the beginning, we shall see how central the empty set, the singleton, and the ordered pair were, after all. (shrink)

It has been argued that nonreductive physicalism’s problems with mental causation disappear if we abandon the intuitive but naïve production-based conception of causation in favor of one based on counterfactual dependence and difference-making. In recent years, this response has been thoroughly developed and defended by James Woodward, who contends that Kim’s causal exclusion argument, widely thought to be the most serious threat to nonreductive mental causation, cannot even be given a coherent formulation within Woodward’s preferred interventionist framework. But Woodward has, (...) even more recently, defended a pair of necessary conditions on mental causation and higher-order causation more generally, and it is here that the interventionist framework proves less friendly to nonreductive mental causation. Functionalism is arguably the most important species of nonreductive physicalism concerning specifically mental properties, but, as I argue, functional properties fail both of Woodward’s tests of causal relevance, one of them in two different ways. The problem, moreover, seems unique to functionalism, for other types of higher-order properties appear to pass Woodward’s tests. If functionalism faces defeat even in such friendly territory, its problems with mental causation are not an artifact of naïve metaphysics. They run deep. (shrink)

O artigo recupera o par conceitual pertença/desafeição religiosa, usado nas pesquisas de “sociologia religiosa” nas décadas de 1950 e 1960, para analisar os fatores da perda de fiéis pela igreja católica, como demonstra o Censo IBGE de 2010. Toma como referência dados de uma pesquisa realizada na região metropolitana de Belo Horizonte em 2012. Com base nessa pesquisa, demonstra que a diminuição de fiéis não se deve a conversão mas a simples trânsito do catolicismo a outra religião. A raiz da (...) desafeição religiosa está na perda de fé na necessidade da mediação sacramental da Igreja para a salvação eterna e no caráter sacrificial da missa. Ela pode ser contrabalançada pelos laços familiares de pertença, mas também estes apresentam sinais de enfraquecimento. O artigo conclui afirmando que, no caso do catolicismo, a pertença religiosa supõe laços afetivos, de fé e de compromisso pessoal do fiel com a igreja. Quando os três se enfraquecem, ocorre a desafeição religiosa propriamente dita. Palavras-chave: Pertença religiosa. Desafeição religiosa. Censo IBGE 2010. Belo Horizonte. Sociologia religiosaThe article revisits the religious conceptual pair belonging / disaffection , used by the "sociology of religion" in the 1950s and 1960s, to analyze the factors of loss of faithful by Catholic Church, as shown in the 2010 census. The text is based on data from a survey conducted in the metropolitan region of Belo Horizonte in 2012. Based on this research, the article shows that the decrease of the faithful is not due to conversion but due to the mere transit of Catholicism to another religion. The root of religious disaffection is the loss of faith in the necessity of sacramental mediation of the Church for eternal salvation and in the sacrificial character of the mass. It can be counterbalanced by the family religious belonging, but data signs that they also are weakening. The article concludes that, in the case of Catholicism, the religious affiliation supposes emotional ties, faith and personal commitment of the faithful to the church. When these three factors become weak, the religious disaffection becomes stronger. Keywords : Religious belonging. Religious disaffection. 2010 census. Belo Horizonte. religious sociology. (shrink)

Abstract:This essay performs an anticolonial and poetic methodology of combining Black and Native feminists' deconstruction of metaphor and metaphysics in order to argue for the centrality of colonial metaphor to colonial metaphysics. I combine their analyses of the separate gendered metaphors of Blackness and Indianness and the centrality of these metaphors to the development of a global metaphysics as well as the transference of the terms of metaphysics to whiteness. I then apply this method of combined terms and readings to (...) white colonial writing that compares Black and Native America, which transforms both communities not only into individually potent, gendered metaphors but into an essential poetic pairing, a poetic couplet. Drawing on the work of Black and Native feminists, I further argue that when we take this paired model to evaluate the political concerns of Black and Native America, we come to a more complete and global understanding and refutation of whiteness. The creation, connection, and comparison of the gendered metaphors and archetypical figures of the "African Slave" and "Indian Savage" are important to each other and to the creation of a Western conception of the globe. Colonialism uses gender to compound metaphor's ability to create, by combining metaphors of gender with metaphors of race and colonialism to develop new symbolic amalgamations. This gestalt of metaphors comes together in order to create a fictive European metaphysics used to ameliorate white fears of the diversity of life on planet Earth and to satisfy white desires to control it. In this coupled metaphoric form, Blackness and Indianness are not connected by analogy but by the open-ended cut, the caesura, of poetry and the violence of slavery and conquest. I offer this anticolonial and poetic pairing as a model for political imagining between Black and Native theory. (shrink)

This article sets out to analyse some of the most basic elements of our number concept - of our awareness of the one and the many in their coherence with multiplicity, succession and equinumerosity. On the basis of the definition given by Cantor and the set theoretical definition of cardinal numbers and ordinal numbers provided by Ebbinghaus, a critical appraisal is given of Frege’s objection that abstraction and noticing (or disregarding) differences between entities do not produce the concept (...) of number. By introducing the notion of subject functions, an account is advanced of the (nominalistic) reason why Frege accepted physical, kinematic and spatial properties (subject functions) of entities, but denied the ontic status of their quantitative properties (their quantitative subject function). With reference to intuitionistic mathematics (Brouwer, Weyl, Troelstra, Kreisel, Van Dalen) the primitive meaning of succession is acknowledged and connected to an analysis of what is entailed in the term ‘Gleichzahligkeit’ (‘equinumerosity’). This expression enables an analysis of the connections between ordinality and cardinality on the one hand and succession and wholeness (totality) on the other. The conceptions of mathematicians such as Frege, Cantor, Dedekind, Zermelo, Brouwer, Skolem, Fraenkel, Von Neumann, Hilbert, Bernays and Weyl, as well as the views of the philosopher Cassirer, are discussed in order to arrive at an assessment of the relation between ordinality and cardinality (also taking into account the relation between logic and arithmetic) - and on the basis of this evaluation, attention is briefly given to the definition of an ordered pair in axiomatic set theory (with reference to the set theory of Zermelo-Fraenkel) and to the defmition of an ordered pair advanced by Wiener and Kuratowski. (shrink)

This paper focuses on the relevance of Indian epistemology and the philosophy of language to contemporary Western philosophy. Hence it discusses (1) how perceptual, inferential and verbal cognitions are related to the same object, (2) how to draw the distinction in meaning between transformationally equivalent sentences, such as ‘Brutus killed Caesar’ and ‘Caesar was killed by Brutus’, and (3) why the predicate-expression is to be considered as unsaturated but the subjectexpression as saturated. In order to answer these questions the Nyāya (...) philosophers have discussed the distinction between several pairs of terms, such as ‘subject–predicate’, ‘qualificand–qualifier’ and ‘the first term–the second term’. This paper also deals with the Nyāya conception of inference for others, and the interpretations of the premise called ‘upanaya’ (‘application’) or the cognition called ‘parāmarśa’ (‘operation’). (shrink)

Learning in natural environments is often characterized by a degree of inconsistency from an input. These inconsistencies occur, for example, when learning from more than one source, or when the presence of environmental noise distorts incoming information; as a result, the task faced by the learner becomes ambiguous. In this study, we investigate how learners handle such situations. We focus on the setting where a learner receives and processes a sequence of utterances to master associations between objects and their labels, (...) where the source is inconsistent by design: It uses both “correct” and “incorrect” object‐label pairings. We hypothesize that depending on the order of presentation, the result of the learning may be different. To this end, we consider two types of symbolic learning procedures: the Object‐Label (OL) and the Label‐Object (LO) process. In the OL process, the learner is first exposed to the object, and then the label. In the LO process, this order is reversed. We perform experiments with human subjects, and also construct a computational model that is based on a nonlinear stochastic reinforcement learning algorithm. It is observed experimentally that OL learners are generally better at processing inconsistent input compared to LO learners. We show that the patterns observed in the learning experiments can be reproduced in the simulations if the model includes (a) an ability to regularize the input (and also to do the opposite, i.e., undermatch) and (b) an ability to take account of implicit negative evidence (i.e., interactions among different objects/labels). The model suggests that while both types of learners utilize implicit negative evidence in a similar way, there is a difference in regularization patterns: OL learners regularize the input, whereas LO learners undermatch. As a result, OL learners are able to form a more consistent system of image‐utterance associations, despite the ambiguous learning task. (shrink)

While evenness is understood to be maximal if all types (species, genotypes, alleles, etc.) are represented equally (via abundance, biomass, area, etc.), its opposite, maximal unevenness, either remains conceptually in the dark or is conceived as the type distribution that minimizes the applied evenness index. The latter approach, however, frequently leads to conceptual inconsistency due to the fact that the minimizing distribution is not specifiable or is monomorphic. The state of monomorphism, however, is indeterminate in terms of its evenness/unevenness characteristics. (...) Indeed, the semantic indeterminacy also shows up in the observation that monomorphism represents a state of pronounced discontinuity for the established evenness indices. This serious conceptual inconsistency is latent in the widely held idea that evenness is an independent component of diversity. As a consequence, the established evenness indices largely appear as indicators of relative polymorphism rather than as indicators of evenness. In order to arrive at consistent measures of evenness/unevenness, it seems indispensable to determine which states are of maximal unevenness and then to assess the position of a given type distribution between states of maximal evenness and maximal unevenness. Since semantically, unevenness implies inequality among type representations, its maximum is reached if all type representations are equally different. For given number of types, this situation is realized if type representations, when ranked in descending order, show equal differences between adjacent types. We term such distributions “stepladders” as opposed to “plateaus” for uniform distributions. Two approaches to new evenness measures are proposed that reflect different perspectives on the positioning of type distributions between the closest stepladders and the closest plateaus. Their two extremes indicate states of complete evenness and complete unevenness, and the midpoint is postulated to represent the turning point between prevailing evenness and prevailing unevenness. The measures are graphically illustrated by evenness surfaces plotted above frequency simplices for three types, and by transects through evenness surfaces for more types. The approach can be generalized to include variable differences between types (as required in analyses of functional evenness) by simply replacing types with pairs of different types. Pairs, as the new types, can be represented by their abundances, for example, and these can be modified in various ways by the differences between the two types that form the pair. Pair representations thus consist of both the difference between the paired types and their frequency. Omission of pair frequencies leads to conceptual ambiguity. Given this specification of pair representations, their evenness/unevenness can be evaluated using the same indices developed for simple types. Pair evenness then turns out to quantify dispersion evenness. (shrink)

In this paper, I identify and discuss the following feature of our judgments about hypothetical scenarios concerning the identity of persons: with respect to the vast majority of scenarios, both members of a pair of logically complementary propositions about personal identity are conceivable. I consider a number of explanations of this feature that draw on the metaphysics and the epistemology of personal identity, none of which prove to be satisfactory. I then argue that in order to give an adequate (...) explanation, one needs to recognize an important characteristic of our concept of personal identity: it is such that if there are mental substances (or the like), they constitute personal identity. At the same time, there can still be persons if there are no such substances. Since this finding casts doubts on the way that thought experiments about personal identity are usually set up, I end by outlining its potential consequences for the debate over the identity of persons. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Mental Disorder and Intentional OrderRichard Gipps (bio)Bengt Brülde and Filip Radovic inform the reader that they will assume "there is such a thing as a general category of disorder, of which mental and somatic disorders can be regarded as subcategories" (2006, 100). With this assumption in place, they take up a fascinating discussion of what warrants our categorizations of certain disorders as mental as opposed to physical. The answers (...) they then canvass include the possibilities that it is the mentality of the internal causes, or of the symptomatic effects, of these disorders which renders them mental, or that there is no single answer, or that there is no valid distinction to be drawn.In what follows I wish to question the initial assumption, and then offer an understanding of the nature of mentality that I hope will lead to a different way of answering the question, what is mental about mental disorder? It worries me that the views I develop here may share too little by way of common framework assumptions with the views developed in Brülde and Radovic's paper. I hope that this does not render dialogue impossible, or make the thoughts that were inspired by their thoughtful paper appear just too off field to be seriously entertained.The Concept of DisorderBrülde and Radovic assume that "mental disorders" and "physical disorders" are subtypes of a general category of disorder. (In what follows I describe this as the assumption.) They also distinguish between two questions: (1) What is mental about mental disorder? (in what follows I describe this as the question) and (2) What does it take for a condition to be a disorder? This latter question is, they acknowledge, certainly important, but is set aside for the time being.Mental disorder, physical disorder, and we might perhaps also add social disorder, are then subcategories of disorder. They are perhaps not natural kinds, but nevertheless they are subcategories within a general category. With their assumption in place it makes good sense to reject accounts of the mentality of mental disorders that seem to simply presuppose the concepts of mind and body when they address the question.There is of course a trivial sense in which everyone must agree that mental disorders and physical disorders are to be considered subcategories of disorder. There is what could be described as a logical sense of category and subcategory, in which any noun is said to designate a category and any adjectival qualification of it to introduce a subcategory. However, we can also distinguish what I call a "semantic" sense, in which talk of categories and subcategories is more restricted. Here we rely on there being a unitary sense to the putative category if we are to talk meaningfully of subcategories of this single category. [End Page 117]The philosophy of the individuation of senses is not within my expertise, but I am relying on an intuitive notion spelled out by the following. First, that a good dictionary would elaborate these senses by providing different definitions of the putative category rather than a single definition followed by examples. Second, that when we do not have to do with categories in the semantic sense, we would find ourselves more in want of true understanding of what was being said, and not so much in want of mere further knowledge, if we are offered a description that included the noun (disorder) without the qualifier (mental). Third, that we are less likely to be dealing with subcategories within a general semantic category if we easily can turn the adjective–noun pair (e.g., mental disorder) around to provide two nouns in a short phrase (e.g., disorder of the mind), or if there are verbal and adjectival forms of the second noun that can also be used in conjunction with the first noun (e.g., disordered mind).An example serves to make things clearer. Consider a chemist who has a reaction in her laboratory. What is referred to may be an emotional reaction (to her sudden scientific breakthrough), or a chemical reaction. In this case, I suggest, we do not have to do with a semantic category of "reaction," which... (shrink)

The suppression task challenges classical logic. Classical logic is monotonic. However, in the suppression task, an inference with the form of modus ponendo ponens is inhibited by adding a new premise. Several explanations have been given to account for this fact. The present paper indicates three of them as examples: that of the theory of mental models, that based on logic programming and closed world assumption, and that referring to Carnap's concept of state‐descriptions. Besides, the paper offers one more (...) explanation linked to Carnap's idea of reduction. It proposes sentences akin to a reduction sentence, a pair reduction, and a bilateral reduction sentence. Those sentences are related to the initial conditional in the suppression task. This proposal tries to stay within first‐order predicate logic. (shrink)

In recent years, very little that is new has happened in that branch of particle physics which investigates the structure of particles. In an earlier period, certain doubts had existed about the applicability of quantum electrodynamics at distances of the order of 10-14 cm. Experiments that are universally known, in which pairs of electrons and mu-mesons arose, contradicted the theory somewhat. Later, however, it became clear that all this was a consequence of certain methodological inaccuracies.

1. The problemLewis identifies the monadic property being F with the set of all actual and possible Fs; the dyadic relation R is identified with the set of actual and possible pairs of things that are related by R; and so on . 1 Egan has argued that the fact that some properties have some of their properties contingently leads to trouble: " Let @ be the actual world, in which being green is [someone's] favourite property, and let w be (...) a world in which being green is [nobody's] favourite property. Since being green is somebody's favourite property in @, it must be a member of … being somebody's favourite property. Since being green is not anybody's favourite property in w, it must not be a member of being somebody's favourite property. Contradiction. " Egan suggests identifying properties with functions from worlds to extensions. However, as Lewis and others have complained, this has the drawback of turning monadic properties into relations . 2 In this article, we shall show that the Lewisian has the resources to block the above argument while simultaneously respecting the adicity of the relevant property and the contingency of the predication without changing his theory of properties. However, our analysis reveals a hidden ambiguity in the Lewisian conception of properties, and on either disambiguation the resulting account of properties seems inadequate.2. On ‘being someone's favourite property’The phrase ‘ being someone's favourite property’ is ambiguous. Given Lewis's ontology of possibilia, where the phrase picks out a monadic property it is not one that is possessed contingently; where it picks out a property that is possessed contingently it is not one that is monadic. But the argument works only if being someone's favourite property is both monadic and possessed contingently.Why should …. (shrink)

My contribution will focus on a central issue of Yehuda Elkana's anthropology of knowledge — namely, the role of reflectivity in the development of knowledge. Let me therefore start with a quotation from Yehuda's paper “Experiment as a Second-Order Concept.”.

The ArgumentWhen we actually perform an experiment, we do many different things simultaneously – some belonging to the realm of theory, some to the realms of methodology and technique; however, a great deal of what happens is expressible in terms of socially determined images of knowledge or in terms of concepts of reflectivity – second-order concepts – namely thoughts about thoughts.The emergence of experiment as a second-order concept in late antiquity exemplifies the historical development of second-order concepts; it is (...) shown to be rooted in the Sophists' cunning reason and is followed up in the work of Ptolemy, Copernicus and Galileo.Then, by way of epistemological explication, the three levels of representation of an experiment are shown to be analogous to Baxandall's three levels of representation of a picture.Finally it is shown that such an interpretation only makes sense in terms of two-tier thinking: realism, inside a conceptual framework which is chosen or arrived at, relativistically. (shrink)

Antireductionist philosophers have argued for higher-order classifications of qualia that locate consciousness outside the scope of conventional scientific explanations, viz., by classifying qualia as intrinsic, basic, or subjective properties, antireductionists distinguish qualia from extrinsic, complex, and objective properties, and thereby distinguish conscious mental states from the possible explananda of functionalist or physicalist explanations. I argue that, in important respects, qualia are intrinsic, basic, and subjective properties of conscious mental states, and that, contrary to antireductionists' suggestions, these higher-order classifications are compatible (...) with qualia reduction. I demonstrate this compatibility by examining the putative higher-order properties of qualia and comparing them to the higher-order properties characteristic of connectionist models of cognitive processes. I contend that the higher-order properties characteristic of connectionist networks approximate the putative higher-order properties of qualia sufficiently well to conclude that qualia reductionism can accommodate claims that qualia are intrinsic, basic, and subjective properties, and explain the motivating intuitions for those claims generated by inverted, absent, and alien qualia thought experiments. In this way I argue that the putative higher-order classifications of qualia not only fail to defeat qualia reduction but, ironically, turn out to support it. (shrink)

In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. First, we show that first-order theories of finite signature that have functional non-surjective ordered pairing are definitionally equivalent to extensions in the same language of the basic theory of non-surjective ordered pairing. Second, we show that a first-order theory of finite signature is sequential (is a theory of sequences) iff (...) it is definitionally equivalent to an extension in the same language of a system of weak set theory called WS. (shrink)

The incompleteness of formal systems for arithmetic has been a recognized fact of mathematics. The term “incompleteness” suggests that the formal system in question fails to offer a deduction which it ought to. This chapter focuses on the status of a formal system, Peano Arithmetic, and explores a viewpoint on which Peano Arithmetic occupies an intrinsic, conceptually well-defined region of arithmetical truth. The idea is that it consists of those truths which can be perceived directly from the purely arithmetical content (...) of a categorical conceptual analysis of the notion of natural number. The chapter explores its conceptual stability in light of the apparently destabilizing effect, through extensibility, of the phenomenon of incompleteness. It also offers heuristic and conceptual support for the viewpoint that Peano Arithmetic is the strongest natural first-order system for arithmetic, and that there is a sense in which it is complete with respect to purely arithmetical truth. (shrink)

The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it (...) allows for uniform definitions working equally well in a wide range of models for set theories. In ZFC and closely related theories, the of an ordered pair of two infinite sets under the new definition turns out to be equal to the maximum of the ranks of the sets. (shrink)

We prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved in [Ben Yaacov, Pillay, Vassiliev - Lovely pairs of models] when $T^fP$ is a first order theory are proved for the general case: in particular $T^fP$ is simple and we characterise independence.

This work is the first English monograph on Franciscus Junius's (1545–1602) theology in more than 40 years, and also is the first monograph on Junius’s use of Thomistic moral concepts to date.

We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. We do not treat general concepts, and we do not present any full axiomatizations but rather show how various facts can be expressed.

We prove that for every simple theory T there is a compact abstract theory T.

Relying on a range of now-familiar thought-experiments, it has seemed to many philosophers that phenomenal consciousness is beyond the scope of reductive explanation. (Phenomenal consciousness is a form of state-consciousness, which contrasts with creature-consciousness, or perceptual-consciousness. The different forms of state-consciousness include various kinds of access-consciousness, both first-order and higher-order--see Rosenthal, 1986; Block, 1995; Lycan, 1996; Carruthers, 2000. Phenomenal consciousness is the property that mental states have when it is like something to possess them, or when they have subjectively-accessible feels; (...) or as some would say, when they have qualia (see fn.1 below).) Others have thought that we can undermine the credibility of those thought-experiments by allowing that we possess purely recognitional concepts for the properties of our conscious mental states. This paper is concerned to explain, and then to meet, the challenge of showing how purely recognitional concepts are possible if there are no such things as qualia--in the strong sense of intrinsic (non-relational, non-intentional) properties of experience. It argues that an appeal to higher-order experiences is necessary to meet this challenge, and then deploys a novel form of higher-order thought theory to explain how such experiences are generated. (shrink)

In this note, I present a modified semantic framework for the multi-valued paraconsistent logic LP, which allows for a straightforward preservation of a significant classical intuition about negation, namely that the negation operator reverses truth-value.

Relying on a range of now‐familiar thought‐experiments, it has seemed to many philosophers that phenomenal consciousness is beyond the scope of reductive explanation. (Phenomenal consciousness is a form of state‐consciousness, which contrasts with creature‐consciousness, or perceptual ‐consciousness. The different forms of state‐consciousness include various kinds of access‐consciousness, both first‐order and higher‐order–see Rosenthal, 1986; Block, 1995; Lycan, 1996; Carruthers, 2000. Phenomenal consciousness is the property that mental states have when it is like something to possess them, or when they have subjectively‐accessible (...) feels; or as some would say, when they have qualia (see fn. l below).) Others have thought that we can undermine the credibility of those thought‐experiments by allowing that we possess purely recognitional concepts for the properties of our conscious mental states. This paper is concerned to explain, and then to meet, the challenge of showing how purely recognitional concepts are possible if there are no such things as qualia–in the strong sense of intrinsic (non relational, non‐intentional) properties of experience. It argues that an appeal to higher‐order experiences is necessary to meet this challenge, and then deploys a novel form of higher‐order thought theory to explain how such experiences are generated. (shrink)

Consciousness is arguably the most important area within contemporary philosophy of mind and perhaps the most puzzling aspect of the world. Despite an explosion of research from philosophers, psychologists, and scientists, attempts to explain consciousness in neurophysiological, or even cognitive, terms are often met with great resistance. In The Consciousness Paradox, Rocco Gennaro aims to solve an underlying paradox, namely, how it is possible to hold a number of seemingly inconsistent views, including higher-order thought (HOT) theory, conceptualism, infant and animal (...) consciousness, concept acquisition, and what he calls the HOT-brain thesis. He defends and further develops a metapsychological reductive representational theory of consciousness and applies it to several importantly related problems. Gennaro proposes a version of the HOT theory of consciousness that he calls the "wide intrinsicality view" and shows why it is superior to various alternatives, such as self-representationalism and first-order representationalism. HOT theory says that what makes a mental state conscious is that a suitable higher-order thought is directed at that mental state. -/- Thus Gennaro argues for an overall philosophical theory of consciousness while applying it to other significant issues not usually addressed in the philosophical literature on consciousness. Most cognitive science and empirical works on such topics as concepts and animal consciousness do not address central philosophical theories of consciousness. Gennaro’s integration of empirical and philosophical concerns will make his argument of interest to both philosophers and nonphilosophers. (shrink)

A structure M is pregeometric if the algebraic closure is a pregeometry in all structures elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of Lascar U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding an integral domain, while not pregeometric in general, do have a unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of structures expanding an (...) integral domain and with an existential matroid, and we show that the corresponding theories have natural completions, whose models also have a unique existential matroid. We also extend the above result to dense tuples of structures. (shrink)

In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox to n-tuple semantics, for each fixed n. Moreover, we show that the resulting semantics can accommodate not only LP, but also classical logic as well as strong Kleene logic depending on the set of designated values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive (...) reading advanced by Clemens. (shrink)

One of the most significant discoveries of early twentieth century mathematical logic was a workable definition of ‘ordered pair’ totally within set theory. Norbert Wiener, and independently Casimir Kuratowski, are usually credited with this discovery. A definition of ‘ordered pair’ held the key to the precise formulation of the notions of ‘relation’ and ‘function’ — both of which are probably indispensable for an understanding of the foundations of mathematics. The set-theoretic definition of ‘ordered pair’ (...) thus turned out to be a key victory for logicism, providing one admits set theory is logic. The definition also was instrumental in achieving the appearance of ontological economy — since it seemed only sets were needed — although this feature was emphasized only later. (shrink)

This book explores Hobbes's ideas about the internal pacification of states, the prospect of a peaceful international order, and the connections between civil and international peace. It questions the notion of a negative Hobbesian peace, which is based on the mere suppression of violence, and emphasises his positive vision of everlasting peace in a well-governed commonwealth. The book also highlights Hobbes's ideas about international coexistence and cooperation, which he considers integral to good government. In examining Hobbes's conception of peace, it (...) provides a fresh perspective on his international political thought. The findings also have wider implications for the ways in which we think about Hobbes's relationship to the realist and liberal traditions of international thought, and will appeal to students and scholars of political theory and international relations. (shrink)

The theory of concept lattices is approached from the point of view of fuzzy logic. The notions of partial order, lattice order, and formal concept are generalized for fuzzy setting. Presented is a theorem characterizing the hierarchical structure of formal fuzzy concepts arising in a given formal fuzzy context. Also, as an application of the present approach, Dedekind–MacNeille completion of a partial fuzzy order is described. The approach and results provide foundations for formal concept analysis of vague (...) data—the propositions “object x has attribute y”, which form the input data to formal concept analysis, are now allowed to have also intermediate truth values, meeting reality better. (shrink)