[This is a paper that was originally written in 2017 and doesn't represent Silva's current thinking about degrees of confidence, conviction, and rationality.] Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the metaphysical relation between belief and credence. It is generally assumed that a Lockean metaphysics of belief that reduces (...) outright belief to degrees of confidence would immediately effect a unification of coarse-grained epistemology of belief with fine-grained epistemology of confidence. Scott Sturgeon has suggested that the unification is effected by understanding the relation between outright belief and confidence as an instance of the determinable-determinate relation. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of “mistuned knowledge”—knowledge and rational belief in the absence of rational confidence. We contend that there are genuine cases of mistuned knowledge and that, therefore, epistemological unification must forego token identity of belief and high confidence. We show how partial epistemological unification can be secured given determination of outright belief by degrees of confidence even without token-identity. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

A Lockean metaphysics of belief that understands outright belief as a determinable with degrees of confidence as determinates is supposed to effect a unification of traditional coarse-grained epistemology of belief with fine-grained epistemology of confidence. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of (...) “mistuned knowledge” – knowledge in the absence of rational confidence. We show how partial epistemological unification can be secured, even without token identity, given determination of outright belief by degrees of confidence. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

I motivate the concept of styles of scientific investigation, and differentiate two styles, formal and compositional. Styles are ways of doing scientific research. Radically different styles exist. I explore the possibility of the unification of biology and social science, as well as the possibility of unifying the two styles I identify. Recent attempts at unifying biology and social science have been premised almost exclusively on the formal style. Through the use of a historical example of defenders of compositional biological (...) social science, the Ecology Group at the University of Chicago from, roughly, the 1930s to the 1950s, I attempt to show the coherence and possibility, if not utility, of employing the compositional style to effect the synthesis of biology and social science. I also relate the efforts of the Ecology Group to those of investigators in the Sociology Department of the University of Chicago. In my conclusion, I discuss the usefulness both of employing the category of styles of scientific investigation in historical and philosophical studies of science, as well as the concept of compositionality in scientific studies. I end the paper with some tentative suggestions regarding the importance of compositionality for an analysis of human society. (shrink)

Explanatory unification—the urge to “explain much by little”—serves as an ideal of theorizing not only in natural sciences but also in the social sciences, most notably in economics. The ideal is occasionally challenged by appealing to the complexity and diversity of social systems and processes in space and time. This article proposes to accommodate such doubts by making a distinction between two kinds of unification and suggesting that while such doubts may be justified in regard to mere derivational (...) unification (which serves as a formal constraint on theories), it is less justified in the case of ontological unification (which is a result of factual discovery of the actual degree of underlying unity in the world). (shrink)

The object of this paper is to reply to Morrison's ([2000]) claim that while ‘structural unity’ was achieved at the level of the mathematical models of population genetics in the early synthesis, there was explanatory disunity. I argue to the contrary, that the early synthesis effected by the founders of theoretical population genetics was unifying and explanatory both. Defending this requires a reconsideration of Morrison's notion of explanation. In Morrison's view, all and only answers to ‘why’ questions which include the (...) ‘cause or mechanism’ for some phenomenon count as explanatory. In my view, mathematical demonstrations that answer ‘how possibly’ and ‘why necessarily’ questions may also count as explanatory. The authors of the synthesis explained how evolution was possible on a Mendelian system of inheritance, answered skepticism about the sufficiency of selection, and thus explained why and how a Darwinian research program was warranted. While today we take many of these claims as obvious, they required argument, and part of the explanatory work of the formal sciences is providing such arguments. Surely, Fisher and Wright had competing views as to the optimal means of generating adaptation. Nevertheless, they had common opponents and a common unifying and explanatory goal that their mathematical demonstrations served. Introduction: Morrison's challenge Fisher v. Wright revisited The early synthesis Conclusion: unification and explanation reconciled. (shrink)

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.

This paper presents an algorithm that, given a finite set E of pairs of second-order monadic terms, returns a finite set U of ‘substitution schemata’ such that a substitution unifies E iff it is an instance of some member of U . Moreover, E is unifiable precisely if U is not empty. The algorithm terminates on all inputs, unlike the unification algorithms for second-order monadic terms developed by G. Huet and G. Winterstein. The substitution schemata in U use expressions (...) which represent sets of terms that differ only in how many times designated strings of function constants follow themselves. The substitution schemata may contain unresolved ‘identity restrictions’; consequently, the members of U generally do not characterize all the unifiers of E in a completely explicit way. The algorithm is particularly useful for investigating the complexity of formal proofs. (shrink)

Many different, seemingly mutually exclusive, theories of categorization have been proposed in recent years. The most notable theories have been those based on prototypes, exemplars, and causal models. This chapter provides “representation theorems” for each of these theories in the framework of probabilistic graphical models. More specifically, it shows for each of these psychological theories that the categorization judgments predicted and explained by the theory can be wholly captured using probabilistic graphical models. In other words, probabilistic graphical models provide a (...) lingua franca for these disparate categorization theories, and so we can quite directly compare the different types of theories. These formal results are used to explain a variety of surprising empirical results, and to propose several novel theories of categorization. (shrink)

Veissière et al. must sacrifice explanatory realism and precision in order to develop a unified formal model. Drawing on examples from cognitive archeology, we argue that this makes it difficult for them to derive the kinds of testable predictions that would allow them to resolve debates over the nature of human social cognition and cultural acquisition.

This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, which means that the reasoning is syntactic and uses as little semantics as possible. New proofs of theorems on unification types are presented and these results are extended to negationless fragments. In particular, a syntactic proof of Ghilardi’s result that $\mathsf {S4}$ has finitary unification is provided. In this approach the relation between classical valuations, projective unifiers, and admissible rules is clarified.

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible (...) with successful representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)

String Theory is the result of the conjunction of three conceptually independent elements: the metaphysical idea of a nomological unity of the forces, the model-theoretical paradigm of Quantum Field Theory, and the conflict resulting from classical gravity in a quantum world - the motivational starting point of the search for a theory of Quantum Gravity. String Theory is sometimes assumed to solve this conflict: by means of an application of the model-theoretical apparatus of Quantum Field Theory, interpreting gravity as the (...) result of an exchange of gravitons, taken here to be dynamical states of the string. But, String Theory does not really solve the conflict. Rather it exemplifies the inadequacy of the apparatus of Quantum Field Theory in the context of Quantum Gravity: After several decades of development it still exists only in an essentially perturbative formulation. And, due to its quantum field theoretical heritage, it is conceptually incompatible with central implications of General Relativity, especially those resulting from the general relativistic relation between gravity and spacetime. All known formulations of String Theory are background-dependent. And no physical motivation is given for this conceptual incompatibility. On the other hand, although String Theory identifies all gauge bosons as string states, it was not even possible to reproduce the Standard Model. Instead, String Theory led to a multitude of internal problems - and to the plethora of low-energy scenarios with different nomologies and symmetries, known as the String Landscape. All attempts to find a dynamically motivated selection principle remained without success, leaving String Theory without any predictive power. The nomological unification of the fundamental forces, including gravity, is only achieved in a purely formal way within the model-theoretical paradigm of Quantum Field Theory - by means of physically unmotivated epicycles like higher dimensionality, Calabi-Yau spaces, branes, etc. Finally, the possibility remains that some of the central assumptions of String Theory are physically wrong. On the one hand, the idea of a nomological unity of the forces could be simply wrong. On the other hand, even if a nomological unity of all fundamental forces should be realized in nature, the possibility remains that gravity is not a fundamental force, but a residual, emergent and possibly intrinsically classical phenomenon, resulting from a quantum substrate without any gravitational degrees of freedom. (shrink)

This paper presents a dialogue system called Lorenzen–Hamblin Natural Dialogue (LHND), in which participants can commit formal fallacies and have a method of both identifying and withdrawing formal fallacies. It therefore provides a tool for the dialectical evaluation of force of argument when players advance reasons which are deductively incorrect. The system is inspired by Hamblin’s formal dialectic and Lorenzen’s dialogical logic. It offers uniform protocols for Hamblin’s and Lorenzen’s dialogues and adds a protocol for embedding them. This unification (...) required a reformulation of the original description of Lorenzen’s system to distinguish “between different stances that a person might take in the discussion”, as suggested by Hodges. The LHND system is compared to Walton and Krabbe’s Complex Persuasion Dialogue using an example of a dialogue. (shrink)

We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the (...) known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relations over S4.3 is countable and distributive and it forms a Heyting algebra. (shrink)

A mathematical framework that unifies the standard formalisms of special relativity and quantum mechanics is proposed. For this a Hilbert space H of functions of four variables x,t furnished with an additional indefinite inner product invariant under Poincare transformations is introduced. For a class of functions in H that are well localized in the time variable the usual formalism of non-relativistic quantum mechanics is derived. In particular, the interference in time for these functions is suppressed; a motion in H (...) becomes the usual Shrodinger evolution with t as a parameter. The relativistic invariance of the construction is proved. The usual theory of relativity on Minkowski space-time is shown to be ``isometrically and equivariantly embedded'' into H. That is, classical space-time is isometrically embedded into H, Poincare transformations have unique extensions to isomorphisms of H and the embedding commutes with Poincare transformations. (shrink)

The paper summarizes, generalizes and reveals the physical content of a recently proposed framework that unifies the standard formalisms of special relativity and quantum mechanics. The framework is based on Hilbert spaces H of functions of four space-time variables x,t, furnished with an additional indefinite inner product invariant under Poincaré transformations. The indefinite metric is responsible for breaking the symmetry between space and time variables and for selecting a family of Hilbert subspaces that are preserved under Galileo transformations. Within (...) these subspaces the usual quantum mechanics with Shrödinger evolution and t as the evolution parameter is derived. Simultaneously, the Minkowski space-time is embedded into H as a set of point-localized states, Poincaré transformations obtain unique extensions to H and the embedding commutes with Poincaré transformations. Furthermore, the framework accommodates arbitrary pseudo-Riemannian space-times furnished with the action of the diffeomorphism group. (shrink)

Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of ‘freshness assumptions’; it is not always possible to ‘choose a fresh variable symbol’ for a nominal term; it is not always possible to ‘α-convert a bound variable symbol’ or to ‘quotient by α-equivalence’; the notion of unifier is not based just on substitution.Permissive nominal terms closely resemble nominal terms but they recover these properties, and in (...) particular the ‘always fresh’ and ‘always rename’ properties. In the permissive world, freshness contexts are elided, equality is fixed, and the notion of unifier is based on substitution alone rather than on nominal terms’ notion of unification based on substitution plus extra freshness conditions.We prove that expressivity is not lost moving to the permissive case and provide an injection of nominal terms unification problems and their solutions into permissive nominal terms problems and their solutions.We investigate the relation between permissive nominal unification and higher-order pattern unification. We show how to translate permissive nominal unification problems and solutions in a sound, complete, and optimal manner, in suitable senses which we make formal. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the (...) utility of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)

Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of ‘freshness assumptions’; it is not always possible to ‘choose a fresh variable symbol’ for a nominal term; it is not always possible to ‘α-convert a bound variable symbol’ or to ‘quotient by α-equivalence’; the notion of unifier is not based just on substitution. Permissive nominal terms closely resemble nominal terms but they recover these properties, and (...) in particular the ‘always fresh’ and ‘always rename’ properties. In the permissive world, freshness contexts are elided, equality is fixed, and the notion of unifier is based on substitution alone rather than on nominal terms’ notion of unification based on substitution plus extra freshness conditions. We prove that expressivity is not lost moving to the permissive case and provide an injection of nominal terms unification problems and their solutions into permissive nominal terms problems and their solutions. We investigate the relation between permissive nominal unification and higher-order pattern unification. We show how to translate permissive nominal unification problems and solutions in a sound, complete, and optimal manner, in suitable senses which we make formal. (shrink)

Polarized unification grammar (PUG) is a linguistic formalism which uses polarities to better control the way grammar fragments interact. The grammar combination operation of PUG was conjectured to be associative. We show that PUG grammar combination is not associative, and even attaching polarities to objects does not make it order-independent. Moreover, we prove that no non-trivial polarity system exists for which grammar combination is associative. We then redefine the grammar combination operator, moving to the powerset domain, in a way (...) that guarantees associativity. The method we propose is general and is applicable to a variety of tree-based grammar formalisms. (shrink)

Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic, and testing whether two Attribute Value Structures unify amounts to testing for modal satisfiability. In this paper we put this observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express re-entrancy, the ability to express generalisations, and the ability to express recursive constraints. (...) Two main techniques are used: either Kripke models with desirable properties are constructed, or modalities are used to simulate fragments of Propositional Dynamic Logic. Further possibilities for the application of modal logic in computational linguistics are noted. (shrink)

Is the universe really governed by a small set of unifying fundamental laws, as many thinkers have claimed since ancient times? Philosophers who call themselves naturalists believe that the way to settle such questions is to look carefully at what empirical science tells us. In this book, Margaret Morrison argues that if we really do this, we find that science currently does not give us any reason to believe the common picture of the world in which everything can be reduced (...) to a vanishingly small set of entities and forces. Like Nancy Cartwright and John Dupree, Morrison believes that science reveals a world of numerous different sorts of entities and processes, described by different sorts of explanation. Trying to come up with unified descriptions of phenomena does play an important role in science, says Morrison, but there are different types of unification. The sort in which one set of entities can be reductively identified with another occurs rarely. What we find more often are various ways of subsuming different phenomena under similar mathematical formalisms. An urge to unify, in different guises, is an important research motivator, Morrison argues, but it is not the sort of monolithic engine of science that many make it out to be. (shrink)

The host of SUSY(supersymmetry) based string theories is considered. Superstrings are comprehended as possible candidates on Quantum Gravity basic objects. It is argued that superstring theories constitute mainly mathematical progress and can reconcile general relativity with quantum field theory at best. Yet they cannot provide the genuine synthesis. Superstring unification of all the four forces at hand is a formal one . It is contended that genesis and proliferation of superstrings can better be described not by philosophy of science (...) models but in terms of modern sociology of science. The formal character of gravity and quantum fields fusion and the lack of experimental verification make the transition to superstring theories ad hoc in Lakatosian standards. Possible way of explanation is proposed based on social interests conception of Andrew Pickering. -/- Key words: superstrings, unification, Kaluza-Klein, sociology of science . (shrink)

All of us, including scientists, make judgments about what is true or false, probable or improbable. And in the process, we frequently appeal to concepts such as evidential support or explanation. Bayesian philosophers of science have given illuminating formal accounts of these concepts. This paper aims to follow in their footsteps, providing a novel formal account of various additional concepts: the likelihood-prior trade-off, successful accommodation of evidence, ad hocness, and, finally, consilience—sometimes also called “unification”. Using these accounts, I also (...) provide a new Bayesian analysis of how someone such as Charles Darwin hypothetically could have reasoned in favor of evolution over special creationism. Lastly, I explore how these accounts relate to other topics and accounts in philosophy, and I chart out some areas for further research. (shrink)

Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. (...) However, EL allows the use of the top concept, which represents the whole interpretation domain, whereas the large medical ontology SNOMED CT makes no use of this feature. Surprisingly, removing the top concept from EL makes the unification problem considerably harder. More precisely, we will show that unification in EL without the top concept is PSPACE-complete. In addition to the decision problem, we also consider the problem of actually computing EL−⊤-unifiers. (shrink)

Unification of physical theories is an ambiguous idea. Gravitation is perhaps distinct from “other” interactions. Arguments for a unification can be found, either from an analysis of the nature of time, or from the canonicity of most formalisms used in physics. Space-time continuum requires a physics of fields, but not necessarily of quantized fields. Various notions of space as used in physics show that these spaces—including Newtonian space—are never real spaces, but inventions of the mind not only (...) useful, but necessary for the development of many physical theories. Time is, on the other hand, real. (shrink)

This paper develops a formal model of the subtle meaning differences that exist between grammatical alternatives in socially conditioned variation and how these variants can be used by speakers as resources for constructing personal linguistic styles. More specifically, this paper introduces a new formal system, called social meaning games, which allows for the unification of variationist sociolinguistics and game-theoretic pragmatics, two fields that have had very little interaction in the past. Although remarks have been made concerning the possible usefulness (...) of game-theoretic tools in the analysis of certain kinds of socially conditioned linguistic phenomena :645–668, 1977; Dror et al. in Lang Linguist Compass 7:561–579, 2013; in Lang Linguist Compass 8:230–242, 2014; Clark in Meaningful games: Exploring language with game theory, MIT Press, Cambridge, MA, 2014, among others), a general framework uniting game-theoretic pragmatics and quantitative sociolinguistics has yet to be developed. This paper constructs such a framework through giving a formalization of the Third Wave approach to the meaning of variation using signalling games and a probabilistic approach to speaker/listener beliefs of the kind commonly used in the Bayesian game-theoretic pragmatics framework :3–44, 2016, for recent overviews). (shrink)

This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the compatibility [Vereinbarkeit] (...) relation implicated in Husserl's notorious doctrine of impossible meanings, the essay introduces a compatibility restriction on relations to formulate Husserl's distinction between singular [einheitliche] and plural [mehrheitliche] objects, using plural relating moments to define first-order versions of Husserl's notions of relation complexes (i.e. Sachverhalte), abstracta of n-ary relation complexes, categorial relations, abstract eide as unifications of categorial relations, semantic domains as completions of abstract eide, and material regions as semantic domains which are compatibility upper bounds of categorial relations. These concepts will enable the formal dependence-ontological noetic semantics for two-valued, first-order modal languages introduced in the sequel Two-Valued Logics of Intentionality, the third essay in the sequence. (shrink)

‘Spirit consonance engendering a sense of life’ (Qi Yun Sheng Dong) as the first law of Chinese painting, originally proposed by Xie He (active 500–535?) in his six laws of painting, has been commonly echoed by numerous later Chinese artists up to this day. Tracing back the meaning of each character of ‘Qi Yun Sheng Dong’ from Pre-Qin up to the Six Dynasties, along with a comparative analysis on the renderings of ‘Qi Yun Sheng Dong’ by experts in Western academia, (...) I establish ‘spirit consonance’ as the rendering of ‘Qi Yun’. By examining texts on painting by significant critics in Chinese art history, and by referring to specific works by painters from the Six Dynasties up to the Yuan Dynasty, I present the merits and demerits of the different interpretations by Western experts, and explore the essence of ‘Qi Yun’. Once the painter successfully captures ‘spirit consonance’ as the essential character or ‘internal reality’ of the object, and transmits it into the work, ‘Qi Yun’ further implies the expressive quality of the work beyond formal representation. Additionally, the fusion of expressive and representative functions also leaves space for further explaining the aesthetic interaction among artist, object, work, and audience. From the Six Dynasties onwards, Chinese painters have practised the expressive pursuit beyond epresentation on the basis of the unification of ‘Qi Yun’ (spirit consonance) and formal representation, although spirit consonance was valued more highly than formal likeness. (shrink)

This book develops and defends a new understanding of Kant's account of perceptual representation, showing that it underlies the main doctrines of the Critique of Pure Reason. Intuitions consist of formal unifications by the schematized categories that projectively represent both time and external objects and enable synthetic a priori knowledge.

Introductory remarks.-- pt. 1. Formal unification; or theory of language.-- pt. 2. Concrete unification; or physical science.-- pt. 3. Spiritual unification; or humanics.

The basic theory of scientific understanding presented in Sections 1–2 exploits three main ideas.First, that to understand a phenomenonP (for a given agent) is to be able to fitP into the cognitive background corpusC (of the agent).Second, that to fitP intoC is to connectP with parts ofC (via arguments in a very broad sense) such that the unification ofC increases.Third, that the cognitive changes involved in unification can be treated as sequences of shifts of phenomena inC. How the (...) theory fits typical examples of understanding and how it excludes spurious unifications is explained in detail. Section 3 gives a formal description of the structure of cognitive corpuses which contain descriptive as well as inferential components. The theory of unification is then refined in the light of so called puzzling phenomena, to enable important distinctions, such as that between consonant and dissonant understanding. In Section 4, the refined theory is applied to several examples, among them a case study of the development of the atomic model. The final part contains a classification of kinds of understanding and a discussion of the relation between understanding and explanation. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates (...) proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

étienne Balibar has been one of Europe's most important philosophical and political thinkers since the 1960s. His work has been vastly influential on both sides of the Atlantic throughout the humanities and the social sciences. In We, the People of Europe?, he expands on themes raised in his previous works to offer a trenchant and eloquently written analysis of "transnational citizenship" from the perspective of contemporary Europe. Balibar moves deftly from state theory, national sovereignty, and debates on multiculturalism and European (...) racism, toward imagining a more democratic and less state-centered European citizenship. Although European unification has progressively divorced the concepts of citizenship and nationhood, this process has met with formidable obstacles. While Balibar seeks a deep understanding of this critical conjuncture, he goes beyond theoretical issues. For example, he examines the emergence, alongside the formal aspects of European citizenship, of a "European apartheid," or the reduplication of external borders in the form of "internal borders" nurtured by dubious notions of national and racial identity. He argues for the democratization of how immigrants and minorities in general are treated by the modern democratic state, and the need to reinvent what it means to be a citizen in an increasingly multicultural, diversified world. A major new work by a renowned theorist, We, the People of Europe? offers a far-reaching alternative to the usual framing of multicultural debates in the United States while also engaging with these debates. (shrink)