One of the more controversial uses of preimplantation genetic diagnosis (PGD) involves selecting embryos with a specific tissue type so that the child to be born can act as a donor to an existing sibling who requires a haematopoietic stem cell transplant. PGD with HLA tissue typing is used to select embryos that are free of a familial genetic disease and that are also a tissue match for an existing sibling who requires a transplant. Preimplantation HLA tissue typing (...) occurs when parents select embryos that are not at risk of a familial genetic disease to be a match for an existing sibling who requires a transplant. In Victoria, Australia, applications to use PGD with HLA tissue typing are reviewed by the Infertility Treatment Authority on a case by case basis. Preimplantation HLA tissue typing is prohibited prima facie because the embryo to be tested would not be at risk for a genetic abnormality or disease. Arguments for or against the use of PGD/HLA tissue typing are based on several key issues including the commodification and welfare of the donor child. This essay aims to show that that the same arguments apply to both PGD with HLA tissue typing and Preimplantation HLA tissue typing, and that the policy distinction between the two procedures is therefore ethically inconsistent. (shrink)
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses (...) of this phenomenon. (shrink)
In this paper I consider Kenneth Schaffner''s(1998) rendition of ''''developmentalism'''' from the point of viewof bacteriophage biology. I argue that the fact that a viablephage can be produced from purified DNA and host cellularcomponents lends some support to the anti-developmentalist, ifthey first show that one can draw a principled distinctionbetween genetic and environmental effects. The existence ofhost-controlled phage host range restriction supports thedevelopmentalist''s insistence on the parity of DNA andenvironment. However, in the case of bacteriophage, thedevelopmentalist stands on (...) less firm ground than when organismswith nervous systems, such as Schaffner''s C. elegans, areconsidered. (shrink)
One of the main aspects of a neurobiological theory of language is the problem of meaning (or semantic content) in the brain. A full explanation of meaning requires a combined approach to semantic typing and the semantic success of cerebral states or processes. Pulvermüller presents his Hebbian model of language in the brain (HML) as an account of semantic success. If his proposal turns out to be viable, however, it may also promote a theory of semantic typing.
A BSTRACT. We present Property Theory with CurryTyping (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a typetheoretic approach to pronominal anaphora that avoids some of the difficulties that undermine (...) previous type-theoretic analyses of this phenomenon. (shrink)
This case for discussion highlights some of the ethical difficulties that may arise in the use of molecular typing techniques in the control of infectious diseases. Molecular typing techniques offer evidence (stronger than regular epidemiological exploration of sources and contacts) for claims about infection routes. Such evidence will mean that public health authorities need to think about how to respond ethically to causal responsibility for contagion. In this context, questions are raised about the use of molecular typing (...) methods for source and contact tracing in the control of infectious diseases. (shrink)
We present Property Theory with CurryTyping (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic (...) analyses of this phenomenon. (shrink)
This response to Rump and Woonink (2012) on ethical questions concerning the use of molecular typing techniques in the control of infectious diseases examines the use of typing in Canada and the legal framework that will govern its increasing use for source and contact tracing in provincial health systems. It examines whether current public health and privacy laws and constitutional protections provide the appropriate balance between public and individual interests in the control of infectious diseases.
Guided by the work of William Alston, Jonathan Adler and Michael Levin propose a solution to the generality problem for reliabilism. In some respects their proposal improves on those we have discussed. We argue that the problem remains unsolved.
The primary impediment to formulating a general theory for adaptive evolution has been the unknown distribution of fitness effects for new beneficial mutations. By applying extreme value theory, Gillespie circumvented this issue in his mutational landscape model for the adaptation of DNA sequences, and Orr recently extended Gillespie's model, generating testable predictions regarding the course of adaptive evolution. Here we provide the first empirical examination of this model, using a single-stranded DNA bacteriophage related to phiX174, and find that our (...) data are consistent with Orr's predictions, provided that the model is adjusted to incorporate mutation bias. Orr's work suggests that there may be generalities in adaptive molecular evolution that transcend the biological details of a system, but we show that for the model to be useful as a predictive or inferential tool, some adjustments for the biology of the system will be necessary. (shrink)
Guided by the work of William Alston, Jonathan Adler and Michael Levin propose a solution to the generality problem for reliabilism. In some respects their proposal improves on those we have discussed. We argue that the problem remains unsolved.
The ecology movement has recently attempted to reinvigorate the image of Earth in terms of Lovelock and Epton’s “Gaia hypothesis.” I analyze the shortcomings of using Gaia imagery in the works of Lovelock, deep ecologists, feminists, and ecological poets, and conclude that while the hypothesis serves to alter consciousness, naming it Gaia reinforces the oppressive hierarchical patterns of patriarchal gender stereotypes that it opposes. We are moving toward a new paradigm of nonpatriarchal pluralistic co-evolution, but if deep ecology is going (...) to promote fully its development, it needs to recast or cast aside Gaia imagery. (shrink)
This paper argues that there is no possible structural way of drawing a distinction between objects of different types, such as individuals and properties of different adicities and orders. We show first that purely combinatorial information (information about how objects combine to form states of affairs) is not sufficient for doing this. We show that for any set of such combinatorial data there is always more than one way of typing them – that is, there are always several ways (...) of classifying the different constituents of states of affairs as individuals and properties. Therefore, contrary to received ontological opinion, no object is essentially of any specific type. In the second part we argue that taking into account logical information does not help either, since logic presupposes the very distinction we are trying to draw. Furthermore, this distinction is not even essential for logic, since logic can function perfectly well without it. We conclude that certain distinctions which have been traditionally regarded as ontologically basic (such as that between individuals and properties) cannot be as fundamental as is often supposed. (shrink)
In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the type-identity (...) theory. (shrink)
Chalmers has provided a dilemmatic master argument against all forms of the phenomenal concept strategy. This paper explores a position that evades Chalmers's argument, dubbed Type Bb: it is for Type B physicalists who embrace horn b of Chalmers's dilemma. The discussion concludes that Chalmers fails to show any incoherence in the position of a Type B physicalist who depends on the phenomenal concept strategy.
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)
It is commonly believed that there is a fundamental incompatibility between multiple realization and type identity in the philosophy of mind. This claim can be challenged, however, since a single neural type may be realized by different microphysical types. In this case, the identity statement would connect the psychological and the neural type, while the neural type, in turn, could be multiply realized by different microphysical types. Such a multiple realization of higher level types occurs quite frequently even within physics (...) and it should be acceptable for physicalism in general. (shrink)
The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)
This paper advances a version of physicalism which reconciles the “a priori entailment thesis” (APET) with the analytic independence of our phenomenal and physical vocabularies. The APET is the claim that, if physicalism is true, the complete truths of physics imply every other truth a priori. If so, “cosmic hermeneutics” is possible: a demon having only complete knowledge of physics could deduce every truth about the world. Analytic independence is a popular physicalist explanation for the apparent “epistemic gaps” between phenomenal (...) and physical truths. The two are generally seen as incompatible, since the demon’s deductions seem to presuppose analytic connections between physical and phenomenal terms. I begin by arguing, in support of the APET, that implications from the complete truths of physics to phenomenal truths cannot be a posteriori. Such implications are (according to the physicalist) necessarily true. But they cannot be Kripke-style a posteriori necessities, since (according to the physicalist) the complete truths of physics fix any relevant a posteriori facts about the reference of terms. I then show how the physicalist can turn the tables: the demon can exploit the physical fixing of reference to bridge the gap between the vocabularies, by deducing when phenomenal and physical terms co-refer. This opens the way for a “type-C” physicalism, which accepts in-principle deducibility while still appealing to analytic independence to explain why we (who are not demons) find it impossible to see phenomenal-physical connections a priori. (shrink)
The Knowability Paradox is a logical argument to the effect that, if there are truths not actually known, then there are unknowable truths. Recently, Alexander Paseau and Bernard Linsky have independently suggested a possible way to counter this argument by typing knowledge. In this article, we argue against their proposal that if one abstracts from other possible independent considerations supporting reasons for typing knowledge and considers the motivation for a type-theoretic approach with respect to the Knowability Paradox alone, (...) there is no substantive philosophical motivation to type knowledge, except that of solving the paradox. Every attempt to independently justify the typing of knowledge is doomed to failure. (shrink)
In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...
We discuss a previously unnoticed resemblance between the theory of relations and predicates in The Philosophy of Logical Atomism [TPLA] by Russell and the theory of objects and names in the Tractatus Logico-Philosophicus [TLP] by Wittgenstein. Points of likeness are detected on three levels: ontology, syntax, and semantics. This analogy explains the prima facie similarities between the informal presentation of the theory of types in TPLA and the sections of the TLP devoted to this same topic. Eventually, we draw some (...) consequences concerning both sides of the analogy: for what concerns Russell, the contextual pertinence of this surprising fragment of Tractarian metaphysics and semantics is questioned on several grounds; about Wittgenstein, the interpreters who do not identify Tractarian objects with particulars are in a better position to make sense of the analogy here discovered. (shrink)
Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...
This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...
An appropriate characterization of property types is an important topic for measurement science. On the basis of a set-theoretic model of evaluation and measurement processes, the paper introduces the operative concept of property evaluation type, and discusses how property types are related to, and in fact can be derived from, property evaluation types, by finally analyzing the consequences of these distinctions for the concepts of ‘property’ used in the International Vocabulary of Metrology – Basic and General Concepts and Associated Terms (...) (VIM3). (shrink)
Th e type identity theory, according to which types of mental state are identical to types of physical state, fell out of favour for some years but is now being considered with renewed interest. Many philosophers are critically re-examining the arguments which were marshalled against it, fi nding in the type identity theory both resources to strengthen a comprehensive, physicalistic metaphysics, and a useful tool in understanding the relationship between developments in psychology and new results in neuroscience. Th is volume (...) brings together leading philosophers of mind, whose essays challenge in new ways the standard objections to type identity theory, such as the multiple realizability objection and the modal argument. Other essays show how cognitive science and neuroscience are lending new support to type identity theory, and still others provide, extend and improve traditional arguments concerning the theory’s explanatory power. -/- Introduction Simone Gozzano and Christopher S. Hill; 1. Acquaintance and the mind-body problem Katalin Balog; 2. Identity, reduction, and conserved mechanisms: perspectives from circadian rhythm research William Bechtel; 3. Property identity and reductive explanation Ansgar Beckermann; 4. A brief history of neuroscience's actual influences on mind-brain reductionism John Bickle; 5. Type-identity conditions for phenomenal properties Simone Gozzano; 6. Locating qualia: do they reside in the brain or in the body and the world? Christopher S. Hill; 7. In defense of the identity theory Mark I Frank Jackson; 8. The very idea of token physicalism Jaegwon Kim; 9. About face: philosophical naturalism, the heuristic identity theory, and recent findings about prosopagnosia Robert McCauley; 10. On justifying neurobiologicalism for consciousness Brian McLaughlin; 11. The causal contribution of mental events Alyssa Ney; 12. Return of the zombies? John Perry; 13. Identity, variability, and multiple realization in the special sciences Lawrence Shapiro and Thomas Polger; Bibliography; Index. (shrink)
In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...) (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)
College of Medicine, University of South Alabama Mobile, AL 36688-0002, USA wbp501{at}jaguar1.usouthal.edu ' + u + '@' + d + ' '//--> Abstract Recent work in viral genomics has shown that bacteriophages exhibit a high degree of mosaicism, which is most likely due to a long history of prolific horizontal gene transfer (HGT). Given these findings, we argue that each of the most plausible attempts to properly classify bacteriophages into distinct species fail. Mayr's biological species concept fails because there is (...) no useful viral analog to sexual reproduction. Phenetic species concepts fail because they obscure the mosaicism and the rich reticulated viral histories. Phylogenetic species concepts, even when extended to take into account reticulation, fail because there is no non-arbitrary distinction between recombination events that create a new viral species and those that do not. There is good reason to think that bacteriophages, arguably the Earth's most abundant biological agent, evolve without forming species. Introduction The Biology of Viruses 2.1 Bacteriophage life cycles 2.2 Mechanisms of HGT The Species Problem and Species Concepts 3.1 Phenetic species concepts 3.2 The biological species concept 3.3 Phylogenetic species concepts 3.4 The ecological species concept 3.5 Homeostatic property cluster species Viruses and Species Taxonomy Reticular Phylogenies Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)
Formal principals are isolated to reveal a structure embedded in a wide range of studies, each of which partitions a domain of individuals into types and categories. It is thought that any reasonable theory of types should include these principles.
An appropriate characterization of property types is an important topic for measurement science. This paper proposes to derive them from evaluation types, and analyzes the consequences of this position for the VIM3.
This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a (...) type theory, in which we show the embedding of the modal operators into standard group knowledge operators. (shrink)
The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. Some extensions to the type theory are discussed, type polymorphism, and enriching the system with sufficient number theory to account for quantifiers of proportion, such as “most.”.
We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic identification in discourse of type constraints on their semantic representations. The content of these conditions is recovered in context from an antecedent expression. The constraints define separation types (sub-types) in Property Theory with <span class='Hi'>Curry</span> Typing (PTCT), an expressive first-order logic with <span class='Hi'>Curry</span> typing that we have proposed as a formal framework for natural language semantics.
This paper described a formal theory of type judgments for propositional logic notations of PM; I felt the need of my own automated type checker to check their examples. The type checker I wrote did indeed serve to help me referee the paper, but also took a rather different approach to notation and typing for propositional functions of PM, which proved worth writing up independently in our own paper: Holmes, M. Randall, “Polymorphic type– checking for the ramified theory of (...) types of Principia Mathematica”, in Fairouz Kamareddine, ed., Thirty–five Years of Automating Mathematics, Kluwer, 2003, pp. 173-215. (shrink)
The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of conjunctive terms. (...) Such terms can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (shrink)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t , and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ (...) that rigidly returns the value that $\alpha_a$ receives at the i -world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s , or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)
The paper presents Property Theory with CurryTyping (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of conjunctive (...) terms. Such terms can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (shrink)
Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)
The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these systems it is (...) undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] that this emptiness problem is decidable for the sytem including (η), but without ( $\wedge$ I). The aim of this paper is to classify intersection type systems lacking some of ( $\wedge$ I), ( $\wedge$ E) and (η), into equivalence classes according to their strength in typing λ-terms and also according to their strength in possessing inhabitants. This classification is used in a later paper to extend the above (un)decidability results to two of the five inhabitation-equivalence classes. This later paper also shows that the systems in two more of these classes have decidable inhabitation problems and develops algorithms to find such inhabitants. (shrink)
The paradox of propositiOns, presented in Appenclix B of Russell's The Principies of Mathernatics (1903), is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types. I argue that this view is mistaken. A closer study of Russell's correspondence with Frege reveals that Russell carne to adopt a very different resolution of the paradox, calling into question not the simplicity of his early type theory but the simplicity of his early (...) theory of propositions. (shrink)
In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)
This paper explores the ontology of musical improvisation (MI). MI, as process in which creative and performing activities are one and the same generative occurrence, is contrasted with the most widespread conceptual resource used in inquiries about music ontology of the Western tradition: the type/token duality (TtD). TtD, which is used for explaining the relationship between musical works (MWs) and performances, does not fit for MI. Nonetheless MI can be ontologically related to MWs. A MW can ensue from MI and (...) MI can be required for performing a MW faithfully. As performance on a MW, MI can offer versions of a MW, manifest a MW, and, especially, use it as one of its ‘ingredients’. Recordings of MI present special challenges and an unexpected ontological revival. (shrink)
While concerns of the mental being causally excluded by the physical have persistently plagued non-reductive physicalism, such concerns are standardly taken to pose no problem for reductive type physicalism. Type physicalists have the obvious advantage of being able to countenance the reduction of mental properties to their physical base properties by way of type identity, thereby avoiding any causal competition between instances of mental properties and their physical bases. Here, I challenge this widely accepted advantage of type physicalism over non-reductive (...) physicalism in avoiding the causal exclusion of the mental. In particular, I focus on Jaegwon Kim’s influential version of the causal exclusion argument, namely, his supervenience argument. I argue that type physicalism’s advantage is undermined by the following two things: (1) the generalizability of the supervenience argument, and (2) type physicalism’s incompatibility with mental properties at the fundamental level. This involves evaluating the generalization objection to the supervenience argument, probing the metaphysics of physicalism, and showing how (1) and (2) combine in a way that appears underappreciated given the general confidence in type physicalism’s advantage. (shrink)
We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.
In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither (...) is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)
Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...) Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto. DOI:10.5007/1808-1711.2011v15n2p225. (shrink)
Although it seems plausible to say that the same story can be retold in different media, it is difficult to say exactly what this would entail. The primary difficulty is in coming up with an acceptable theory of story identity. In this article I present several theories of story identity and explore their weaknesses. I argue that in the end we are left with two unattractive options: a strict theory that implies that the same story can almost never be retold (...) and a lenient theory that has trouble differentiating between a general story type and the same story. (shrink)
Are works of music types of performance or are they continuants? Types are unchanging entities that could not have been otherwise; continuants can undergo change through time and could have been different. Picking up on this distinction, Guy Rohrbaugh has recently argued that musical works are continuants rather than performance-types. This paper replies to his arguments and, in the course of so doing, elaborates and defends the conception of musical works as types of performance. I end the article by arguing (...) that the conception of musical works as continuants is under-motivated and, ultimately, obscure. (shrink)
Godfrey-Smith ( 2001 ) has distinguished three types of adaptationism. This article builds on his analysis, and revises it in places, by distinguishing seven varieties of adaptationism. This taxonomy allows us to clarify what is at stake in debates over adaptationism, and it also helps to cement the importance of Gould and Lewontin’s ‘Spandrels’ essay. Some adaptationists have suggested that their essay does not offer any coherent alternative to the adaptationist programme: it consists only in an exhortation to test adaptationist (...) hypotheses more thoroughly than was usual in the 1970s. Here it is argued that the ‘Spandrels’ paper points towards a genuinely non-adaptationist methodology implicit in much evolutionary developmental biology. This conclusion helps to expose the links between older debates over adaptationism and more recent questions about the property of evolvability. (shrink)
In this paper I refute an apparently obvious objection to Frankfurt-type counterexamples to the Principle of Alternate Possibilities according to which if in the counterfactual scenario the agent does not act, then the agent could have avoided acting in the actual scenario. And because what happens in the counterfactual scenario cannot count as the relevant agent’s actions given the sort of external control that agent is under, then we can ground responsibility on that agent having been able to avoid acting. (...) I illustrate how this objection to Frankfurt’s famous counterexample is motivated by Frankfurt’s own ‘guidance’ view of agency. My argument consists in showing that even if we concede that the agent does not act in the counterfactual scenario, that does not show that the agent could have avoided acting in the actual scenario. This depends on the crucial distinction between ‘not φ-ing’ and ‘avoiding φ-ing’. (shrink)
This is a book about sensory states and their apparent characteristics. It confronts a whole series of metaphysical and epistemological questions and presents an argument for type materialism: the view that sensory states are identical with the neural states with which they are correlated. According to type materialism, sensations are only possessed by human beings and members of related biological species; silicon-based androids cannot have sensations. The author rebuts several other rival theories (dualism, double aspect theory, eliminative materialism, functionalism), and (...) explores a number of important issues: the forms and limits of introspective awareness of sensations, the semantic properties of sensory concepts, knowledge of other minds, and unity of consciousness. The book is a significant contribution to the philosophy of mind, and has much to say to psychologists and cognitive scientists. (shrink)
Most materialist responses to the zombie argument against materialism take either a ?type-A? or ?type-B? approach: they either deny the conceivability of zombies or accept their conceivability while denying their possibility. However, a ?type-Q? materialist approach, inspired by Quinean suspicions about a priority and modal entailment, rejects the sharp line between empirical and conceptual truths needed for the traditional responses. In this paper, I develop a type-Q response to the zombie argument, one stressing the theory-laden nature of our conceivability and (...) possibility intuitions. I argue that our first-person access to the conscious mind systematically misleads us into thinking that the distinctive qualities of conscious experience?qualia?are nonfunctional. Qualia, I contend, are functional, even though they do not seem to be. To support my claim, I introduce the ?meditations? of Rene Descartes? zombie twin. This establishes the plausibility of an appearance/reality distinction for consciousness and it undermines various anti-materialist objections based on privileged first-person access. I conclude that the best overall theory posits an appearance/reality distinction for qualia, and this, for the type-Q materialist, is decisive. (shrink)
This article argues that previous research on the outcomes of corporate responsibility should be refined in two ways. First, although there is abundant research that addresses the link between corporate responsibility (CR) and financial performance, hardly any studies scrutinize whether the type of corporate responsibility makes a difference to this link. Second, while the majority of CR research conducted within business studies concentrates on the financial outcomes for the firm, the societal outcomes of CR are left largely unexplored. To tackle (...) these two deficiencies, this article extends the different conceptualizations of corporate responsibility and elaborates both the financial and the societal outcomes of different types of CR. (shrink)
In this paper I defend an account of the nature of propositional content according to which the proposition expressed by a declarative sentence is a certain type of action a speaker performs in uttering that sentence. On this view, the semantic contents of proper names turn out to be types of reference acts. By carefully individuating these types, it is possible to provide new solutions to Frege’s puzzles about names in identity- and belief-sentences.
Abstract: Type-B materialism is the thesis that though phenomenal states are necessarily identical with physical states, phenomenal concepts have no a priori connections to physical or functional concepts. Though type-B materialists have invoked this conceptual independence to counter a number of well-known arguments against physicalism (e.g. the conceivability of zombies, the ignorance of Mary, the existence of an 'explanatory gap'), anti-physicalists have raised objections to this strategy. My aim here is to defend type-B materialism against these objections, by arguing that (...) they share the common problem of not taking the central features of the view sufficiently seriously. However, I will end by noting that type-B materialism raises other questions, and suggesting that what stands in the way of an adequate naturalistic account of phenomenal states may be the propensity to take type-B materialism more seriously than it deserves. (shrink)
A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the presence of a perfectly reliable indicator (or prior sign ) of what an agent will freely do if left to act on his own, are guilty of begging the question against incompatibilists, since such indicators seem to presuppose a deterministic relation between an agent’s free action and its causal antecedents. Objections (...) of this sort have given rise to considerable efforts to construct alternative Frankfurt-type counterexamples that do not rely on prior signs of this kind and so do not presuppose determinism in a way that incompatibilists should find objectionable. One consequence of this shift in the way Frankfurt-type counterexamples are formulated is that it provides an opportunity for the forceful resurgence of certain versions of the so-called flicker defense of PAP. In this paper I develop two versions of the flicker defense, indicate their advantages over other versions of this strategy, and defend them against objections. Insofar as either of these is successful, it will show not only that PAP has yet to be falsified by any of the modified Frankfurt-type counterexamples currently on offer but that cases of this sort are in principle incapable of falsifying PAP. (shrink)
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montague-style semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a well-known theory of that field. We then propose and justify our own model of the Generative Lexicon Theory, based upon a variation of classical compositional semantics, and outline its formalization. Additionally, we discuss (...) the theoretical place of informational, knowledge-related data supposed to exist within the lexicon as well as within discourse and other linguistic constructs. The formalization of the structure of natural language utterances around a surface form (phenogrammatics), a deep structure (tectogrammatics) and the meaning thereof as a logical form (semantics) has developed from the original theories of Curry and Montague to form coherent, type-driven models. Most of these new theories rely upon variations of the compositional analysis of the sentence: from pheno to tectogrammatics, and then to semantics. Our contribution to this work aims at giving such a model a means to overcome the problems posed by polysemous lexical units during the semantical analysis of the tectogrammatical form. Building upon an assumed “deep structure”, we formalize parts of Pustejovsky’s Generative Lexicon Theory, linguistically motivated in Pustejovsky (The generative lexicon, MIT Press, Cambridge, MA, 1995), in a pre-processing of the semantics of the sentence. The mechanisms of Lexical Semantics we propose are an additional layer of classical Montague compositional semantics, and, as such, integrate smoothly within such an analysis; we proceed by converting the lexical data to modifiers of the logical form. This treatment of Lexical Semantics furthermore induces us to think that some sort of non-evident background knowledge of the common use of words is necessary to perform a correct semantic analysis of an utterance. This “commonsense metaphysics” would therefore not be strictly confined to pragmatics, as is often assumed. (shrink)
The sense of embodiment is vital for self recognition. An examination of anosognosia for hemiplegia—the inability to recognise that one is paralysed down one side of one’s body—suggests the existence of ‘online’ and ‘offline’ representations of the body. Online representations of the body are representations of the body as it is currently, are newly constructed moment by moment and are directly “plugged into” current perception of the body. In contrast, offline representations of the body are representations of what the body (...) is usually like, are relatively stable and are constructed from online representations. This distinction is supported by an analysis of phantom limb—the feeling that an amputated limb is still present—phenomena. Initially it seems that the sense of embodiment may arise from either of these types of representation; however, an integrated representation of the body seems to be required. It is suggested information from vision and emotions is involved in generating these representations. A lack of access to online representations of the body does not necessarily lead to a loss in the sense of embodiment. An integrated offline representation of the body could account for the sense of embodiment and perform the functions attributed to this sense. (shrink)
Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...) literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism. (shrink)
This essay treats the convert as as social type with four specifiable formal properties: biographical reconstruction; adoption of a master attribution scheme; suspension of analogical reasoning; and embracement of the convert role. These properties are derived from the talk and reasoning of converts to a culturally transplanted Buddhist movement and from accounts of other proselytizers and converts. We conclude that it is the convert's rhetoric rather than institutional context or ideological content that denotes the convert as a social type.
According to John Rawls, self-respect is the most important of the primary goods and is essential for the construction of the just society. Self-respect, however, remains a concept which is inadequately theorised, being closely linked to other concepts such as dignity, shame, pride, autonomy and security. Most usually self-respect is considered to be just the self-reflection of the respect we receive from others. In this paper I argue that self-respect consists of both a self-evaluative and a social reflexive element. Using (...) Darwall’s distinction between two types of respect as a building block, I argue that it is worth considering self-respect as having three dimensions. Broadly these are human recognition, status recognition and appraisal. (shrink)
In this paper, I try to uncover the role played by Wittgenstein's context principle in his criticism of Russell's theory of types. There is evidence in Wittgenstein's writings that a syntactical version of the context principle in connection with the theory of symbolism functions as a good reason for his dispensing with the theory of types.
The paper argues that a functional reduction of ordinary psychology to neuropsychology is possible by means of constructing fine-grained functional, mental sub-types that are coextensive with neuropsychological types. We establish this claim by means of considering as examples the cases of the disconnection syndrome and schizophrenia. We point out that the result is a conservative reduction, vindicating the scientific quality of the mental types of ordinary psychology by systematically linking them with neuroscience. That procedure of conservative reduction by means of (...) functional sub-types is in principle repeatable down to molecular neuroscience. (shrink)
In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...) which is its characterization of transitions from first potentiality to first actuality, e.g., learning, not as `ordinary', but rather as acquisitions of natural dispositions or faculties. (shrink)
In Naming and Necessity' Saul A. Kripke gives two types of examples of contingent truths knowable a priori. So he disagrees with the first leg of the thesis. As we will see later, his examples depend on the direct designation theory of names. While there have been attempts to provide examples of the contingent a priori that do not depend on that theory, most of those examples should be viewed as expansions, or modifications, of Kripke's examples. Philip Kitcher, for example, (...) gives an interesting example that has nothing to do with theories of names, but is produced using the indexical 'actual'.2 His example, however, is a variation of Kripke's Neptune Type example.' In what follows I will focus on Kripke's two types of examples and modifications of them. I will argue that although both types of example fail, it is possible to modify his Standard Metre example in such a way that we have an example of the contingent a priori. (shrink)
In this paper I discuss a certain kind of 'type confusion' which involves use of expressions of the wrong grammatical category, as in the string 'runs eats'. It is (nearly) universally accepted that such strings are meaningless. My purpose in this paper is to question this widespread assumption (or as I call it, 'the last dogma'). I discuss a range of putative reasons for accepting the last dogma: in §II, semantic and metaphysical reasons; in §III, logical reasons; and in §IV, (...) syntactic reasons. I argue that none of these reasons is conclusive, and that consequently we should be willing to question this last dogma of type confusions. (shrink)
The notion of cognitive act is of importance for an epistemology that is apt for constructive type theory, and for epistemology in general. Instead of taking knowledge attributions as the primary use of the verb ‘to know’ that needs to be given an account of, and understanding a first-person knowledge claim as a special case of knowledge attribution, the account of knowledge that is given here understands first-person knowledge claims as the primary use of the verb ‘to know’. This means (...) that a cognitive act is an act that counts as cognitive from a first-person point of view. The method of linguistic phenomenology is used to explain or elucidate our epistemic notions. One of the advantages of the theory is that an answer can be given to some of the problems in modern epistemology, such as the Gettier problem. (shrink)
Secondly, all five authors are thinkers of the highest rank, so it is reasonable to suppose that the types of ethical theory which they favoured will be ...
In this paper I distinguish two types of mental causation, called 'higher-level causation' and 'exploitation'. These notions superficially resemble the traditional problematic notions of supervenient causation and downward causation, but they are different in crucial respects. My new distinction is supported by a radically externalist competitor of the so-called Standard View of mental states, i.e. the view that mental states are brain states. I argue that on the Alternative View, the notions of 'higher-level causation' and 'exploitation' can in combination dissolve (...) the problem of mental causation as standardly discussed. (shrink)
Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)
In recent years the question of whether moral dilemmas are conceptually possible has received a fair amount of attention. In arguing for or against the conceptual possibility of moral dilemmas authors have been almost exclusively concerned with obligation dilemmas, i.e., situations in which more than one action is obligatory. Almost no one has been concerned with prohibition dilemmas, i.e., situations in which no feasible actions is permissible. I argue that the two types of dilemmas are distinct, and that a much (...) stronger case can be made against the conceptual possibility of obligation dilemmas than against the conceptual possibility of prohibition dilemmas. (shrink)
I assess Robert Kane's view that global Frankfurt-type cases don't show that freedom to do otherwise is never required for moral responsibility. I first adumbrate Kane's indeterminist account of free will.This will help us grasp Kane's notion of ultimate responsibility, and his claim that in a global Frankfurt-type case, the counterfactual intervener could not control all of the relevant agent's actions in the Frankfurt manner, and some of those actions would be such that the agent could have done otherwise. Appealing (...) to considerations of responsibility and luck, I then show that the global cases survive Kane's objections. (shrink)
This paper features a detailed philosophical classification of the four types of deists that Samuel Clarke presents in the second series of the Boyle Lectures for promoting Christianity (1705). In the course of this paper I determine, for each type of deist, the truth values of twelve important propositions, and I show that these four types of deists may be categorized as (1) ‘no-providence’, (2) ‘physical-laws-providence’, (3) ‘moral-but-no-afterlife’, and (4) ‘moral-and-afterlife’. Using an accompanying table of propositions as a visualization tool, (...) I also show that Clarke's account of these four types of deists may be thought of as ‘progressively Christian’: for each type of deist, from lower-number deists to higher-number deists, there is an increasing number of truth values that are Christian-like. (shrink)
In 1903, in The Principles of Mathematics (PoM), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before PoM even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)
Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)
In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman’s own theory, but any broadly type versus token based account of notational structure. Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, word, or other (...) notational item. Such a view is strongly supported by the completely conventional relation between inscriptions and notation, as shown by encryption techniques etc. (shrink)
The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim’s argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of realizer. By this means, (...) a conservative theory reduction is in principle possible despite multiple realization. We link this account with Nagelian reduction as well as Kim’s functional reduction. (shrink)
The development of the certified Fair Trade market was initiated by a group of indigenous communities in Mexico. Over time, their vision of Fair Trade as a different type of market has become increasingly marginalized by an emphasis on poverty reduction. This article presents their understanding of what Fair Trade should and should not be. It presents the key principles of the Fair Trade market as effectiveness, ecological sustainability, social sustainability, and more direct producer-consumer relationships. The key challenges that confront (...) Fair Trade in living up to these principles are the need to democratize the formal structures of Fair Trade so as to give a greater voice to small producers and to link with other social movements to confront the dominant neo-liberal trade regime. (shrink)
The literature on causation distinguishes between causal claims relating properties or types and causal claims relating individuals or tokens. Many authors maintain that corresponding to these two kinds of causal claims are two different kinds of causal relations. Whether to regard causal relations among variables as yet another variety of causation is also controversial. This essay maintains that causal relations obtain among tokens and that type causal claims are generalizations concerning causal relations among these tokens.
It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a conceptual account of (...) truth. This defense is developed in four stages. In the first stage I present a distinction between two types of deflationism, conceptual and metaphysical. This is the central stage of the argument and its main conclusion is that conceptual deflationism when joined with the principle of bivalence is inconsistent with metaphysical deflationism, that is, conceptual deflationism together with bivalence entails a non-deflationary metaphysical account of truth. In the second and third stages of the argument I argue that the totality of the Tarskian biconditionals, when interpreted as definitional biconditionals, offers a description of the nature of truth. In the fourth, and final, stage of the argument I advance a positive case for conceptual deflationism. I explain how the revision theory of truth provides this sort of deflationism with its best evidence: a clear demonstration of its consistency and a compelling argument for its material adequacy. (shrink)
Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)
The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim's argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of realizer. By this means, (...) a conservative theory reduction is in principle possible, despite multiple realization. We link this account with Nagelian reduction, as well as with Kim's functional reduction. (shrink)
This paper spells out and discusses four assumptions of the deficit model type of thinking. The assumptions are: First, the public is ignorant of science. Second, the public has negative attitudes towards (specific instances of) science and technology. Third, ignorance is at the root of these negative attitudes. Fourth, the public’s knowledge deficit can be remedied by one-way science communication from scientists to citizens. It is argued that there is nothing wrong with ignorance-based explanations per se. Ignorance accounts at least (...) partially for many cases of opposition to specific instances of science and technology. Furthermore, more attention needs to be paid to the issue of relevance. In regard to the evaluation of a scientific experiment, a technology, or a product, the question is not only who knows best?, but also what knowledge is relevant and to what extent?. Examples are drawn primarily from the debate on genetic engineering in agriculture. (shrink)
A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view.
I criticize Julian Dodd's Platonist conception of musical works as discovered eternal types, and defend and elaborate upon Jerrold Levinson's conception of musical works as creatable indicated types. I raise broadly three sorts of worries for Dodd. First, I argue that Dodd conflates types with Platonist universals in claiming that types are eternal and discovered. Secondly, I raise worries for Dodd's Platonist claim that musical works are discovered not created. Here I argue that Dodd's claim goes against our current musical (...) practice. I then argue that Dodd's view leads to a false divide across the arts, and defend this claim from Dodd's criticisms. I also defend the claim that Dodd's view robs artists of the special status we give to them as creators, not merely creative discoverers. I suggest also that musical works can not only be created but can also plausibly cease to exist, which Dodd's Platonism would seem to deny. Thirdly and finally, I defend the conception of musical works as indicated types from Dodd's criticisms. Here I argue that Dodd's view is ontologically profligate. I also submit that Dodd is mistaken in thinking that indicated types have times as their constituents and thus must be events. (shrink)
