This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

This paper argues that participation in an intimate relationship can generate additional or stronger reasons for one to act paternalistically toward the intimate. Moreover, participation in such a relationship can also weaken or cancel some of the presumptive reasons of respect one would otherwise have not to interfere. The paper also reflects, more generally, on the nature of intimate relationships, the normative significance of paternalism, and the normative differences between paternalism in larger-scale institutional contexts and paternalism in closer, interpersonal ones. (...) -/- . (shrink)

Social scientists, political scientists and philosophers debate key concepts such as democracy, power and autonomy. Contested concepts like these pose questions: Are terms such as “democracy” hopelessly ambiguous? How can two theorists defend alternative accounts of democracy without talking past each other? How can we understand debates in which theorists disagree about what democracy is? This paper first discusses the popular strategy to answer these questions by appealing to Rawls’s distinction between concepts and conceptions. According to this approach, defenders of (...) rival conceptions of, e.g. justice can disagree without talking past each other because they share the concept of justice. It is argued that this idea is attractive but limited in application and that it fails to do justice to the dynamic and normative aspects of concept formation. Reflective equilibrium is then suggested as an alternative approach. It replaces the static contrast between a conceptual ‘core’ and competing conceptions by a dynamic perspective of concept formation as a partly normative undertaking: pre-theoretic language use and commitments can provide a shared starting point for developing alternative accounts which yield different concepts of, e.g. justice. This perspective provides a new understanding of how it is possible that different theorists defend rival accounts of, e.g. justice, without talking past each other. (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

Critical reflections on Franklin Perkins' Doing What You Really Want: An Introduction to the Philosophy of Mengzi. Raises some questions related to two main themes in the book: (1) Mengzi’s conception of human nature, and (2) Mengzi’s view of harmony and conflict in human life.

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it incorporates (...) the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals. (shrink)

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

Recently, there have been increasing voices that analytic philosophy of religion is in crisis. In this article, this diagnosis is discussed on the basis of two recent publications on the topic. I argue for the thesis that the current analytic philosophy of religion is less in a crisis than in a transformation process. All resources are available to develop into a global philosophy of religion that takes into account the religious diversity that characterizes modern global society and brings different religious (...) traditions more strongly into a constructive exchange. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

Several non-naturalist philosophers look for ways to maintain the objectivity of morals without making any ontological commitments. Recently Derek Parfit proposed an account of non-ontologically existing irreducible moral properties. My first aim in this paper is to outline that such an account is doomed to fail. My second aim in this paper is to argue that irreducible moral properties can be integrated with adaptions into an ontological framework such as E.J. Lowe’s four-category ontology. If it can be shown that irreducible (...) moral properties have a proper place in such an ontology, then there is no need to distinguish between an ontological and non-ontological mode of existence, which, in turn helps to eschew the obscurities that this distinction brings in its wake. (shrink)

from the back cover: -/- "Searching the faraway origins of philosophy, religion, and science might reshape the accepted foundation of our knowledge. Georges Kassabgi invites us to think anew about starting points and primal elements, material as well as nonmaterial--common to all that exists. With this essay, he sketches a walkway, so often dreamed of but never completed before, connecting these three disciplines, so as to improve the outcome of discussions about some big questions." -/- -- Daniel S. Larange', PhD (...) McGill University, Montreal 2012. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

Abstract of a paper to be presented in an APA symposium on Epistemology and Philosophy of Mind, December 28, 1987, commenting on papers by Alvin I. Goldman and Patricia Smith Churchland.

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared with (...) stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form. (shrink)

_Socrates_ presents a compelling case for some life-changing conclusions that follow from a close reading of Socrates' arguments. Offers a highly original study of Socrates and his thought, accessible to contemporary readers Argues that through studying Socrates we can learn practical wisdom to apply to our lives Lovingly crafted with humour, thought-experiments and literary references, and with close reading sof key Socratic arguments Aids readers with diagrams to make clear complex arguments.

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

What is the role of faith in the familiar practice of supporting intimates in their personal projects? Is there anything distinctly valuable about such faith-based support? I argue that the virtue of being supportive, a characteristic of the good friend or lover, involves a distinctive kind of faith: faith in another persons’ chosen self-expressive pursuit. Support based on such faith enables the supported party to enjoy a more meaningful and autonomous exercise of agency in self-expressive arenas, and engenders a sense (...) of relational unity or solidarity, deepening the normative and emotional bonds of the relationship. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube is (...) ice', and 'Ice is water' all have the form 'A is B'. On the basis of the logical behavior of stuff-names with respect to this univocal copula, definitions are suggested for 'X is a stuff', 'X composes Y', 'X is a material object', and even 'Matter'. Hence an expanded form of logicism. (shrink)

(Added April 2023: This draft is superseded by Briggs, R.A., & George, B.R. (2023). 'What Even Is Gender?'. Routledge. DOI 10.4324/9781003053330, and in particular by the first three chapters thereof. While this much earlier draft remains available for archival purposes, you are encouraged to read and cite the 2023 book and to use its terminology.) -/- This paper presents a new taxonomy of sex/gender concepts based on the idea of starting with a few basic components of the sex/gender system, (...) and exhausting the possible types of simple associations and identities based on these. The resulting system is significantly more fine-grained than most competitors, and helps to clarify a number of points of confusion and conceptual tension in academic and activist conversations about feminism, transgender politics, and the social analysis of gender. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

In this paper, I consider what the growing evidence in parapsychology can tell us about the nature of consciousness. Parapsychology remains controversial because it implies deviations from the understanding that many scientists and philosophers hold about the nature of reality. However, given the difficulties in explaining consciousness, a growing number of philosophers have called for new, possibly radical explanations, which include versions of dualism or panpsychism. In this spirit, I briefly review the evidence on psi to see what explanation of (...) consciousness might best be supported. After a brief survey of the evidence, I conclude that the best explanation would probably be neutral monism. I then explore a framework for neutral monism, using well-known features of quantum mechanics, to develop a ground or bridge between consciousness and matter. This framework, which I believe helps explain the psi evidence, suggests that a non-local proto-conscious field of potential or seed stuff underlies both matter and consciousness. (shrink)

Cicero’s "Academica" offers a particularly rich demonstration of how the unhappy dialectic between stoicism and skepticism engages Roman historical self-consciousness. The Hegelian thesis of philosophy as mediated through historical development is given a clear articulation in the “derivative” Romans, precisely through their reception of a tradition, their experience of philosophy as inseparable from the self-consciousness of historical relation. The dispute happening in the "Academica" between a dogmatic stoicism and academic skepticism thus directly echoes the problems of contemporary 21st century philosophy (...) insofar as the structures of the unhappy consciousness endure in the “academic” give and take between the authority of received doctrine (say, of mainstream post-classical analytic philosophy) and their subversion in skeptical critique. (shrink)

Reflections and projections upon the history of ontology and its meaning for the future of philosophy.

I develop an account of the nature and value of being supportive in interpersonal relationships. In particular, I argue that the virtue of being supportive, construed as a modally demanding value, facilitates the autonomy of one's intimate and promotes a sense of unity in one's relationship. Moreover, the practice of being supportive plays an important role with regard to the familiar need to reconcile the normative demands of one's own projects with one's responsibilities to intimates.

This paper provides arguments for and against M.Lotman’s (2002) contention that Y.Lotman’s seminal concept of semiosphere is of post-modernist (post-structuralist; Posner 2011) orientation. A comparative reading of the definitional components of the semiosphere, their hierarchical relationship and their interactions is undertaken against the two principal axes of space and subjectivity in the light of Kantian transcendental idealism, as inaugural and authoritative figure of modernity, the Foucauldian discursive turn and the Deleuzian (post) radical empiricism (sic), as representative authors of the highly (...) versatile post-modernvernacular. This comparative reading aims at highlighting not only similarities and differences between the Lotmanian conceptualization of the semiosphere and the concerned modernist and postmodernist authors, but the construct’s operational relevance in a post-metanarratives cultural predicament that has been coupled with the so-called spatial turn in cultural studies (Hess- Luttich 2012). (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

Philosophical interest in state power has tended to focus on the state’s coercive powers rather than its expressive powers. I consider an underexplored aspect of the state’s expressive capacity: its capacity to use symbols (such as monuments, memorials, and street names) to promote political ends. In particular, I argue that the liberal state’s deployment of symbols to promote its members’ commitment to liberal ideals is in need of special justification. This is because the state’s exercise of its capacity to use (...) symbols may be in tension with respecting individual autonomy, particularly in cases in which the symbols exert influence without engaging citizens’ rational capacities. But despite the fact that the state’s deployment of symbols may circumvent citizens’ rational capacities, I argue that it may nonetheless be permissible when surrounded by certain liberal institutions and brought about via democratic procedures. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

This article argues that the causal theory of action cannot explain conscious human action adequately. Interpreting actions as bodily movements caused by (mental) states internal to the agent does not do justice to the particular role of the agent herself as ‘performing’ or ‘bringing about’ the action in the light of specific reasons. The only thing one can say about actions being distinct from other bodily movements such as automatic physiological processes or reflexes will employ again the concept of action (...) resp. of the agent doing something consciously. Therefore the thesis is defended that the concept of conscious action resp. human agency is a basic concept referring to the basic capacity of human persons to perform actions consciously. This capacity cannot be reduced to other phenomena within the agent such as mental states and causal mechanisms regulating and guiding human behaviour. If this view of human agency is correct, it sets a limit to attempts of naturalising the human person. (shrink)

In this paper I aim at explaining how analytic philosophical theology developed into a thriving field of research. In doing so, I place analytic philosophical theology into a larger intellectually narrative that is deeply influenced by the philosophy of Enlightenment. This larger framework shows that analytic philosophical theology aims at providing answers to concerns raised by a philosophical tradition that shaped fundamentally the making of our modern Western secular world.

SummaryHolm Tetens develops in his book „Gott denken. Ein Versuch über rationale Theologie“ theoretical and practical arguments against a naturalistic and in favour of a theistic understanding of reality. In my paper I focus on Teten’s claim that we are rationally justified to hope for the truth of classical theism. I distinguish between rationally justified and unjustified forms of hope and argue that we are rationally justified to hope for the redemption of reality as promised by classical theism. However, this (...) hope has a weaker basis of justification than Tetens seems to assume because serious objections to classical theism ought to be taken into consideration as well. (shrink)

This paper draws on the deconstruction(ist) toolbox and specifically on the textual unweaving tactics of supplementarity, exemplarity, and parergonality, with a view to critically assessing institutional (UNESCO’s) and ordinary tourists’ claims to authenticity as regards artifacts and sites of ‘cultural heritage’. Through the ‘destru[k]tion’ of claims to ‘originality’ and ‘myths of origin’, that function as preservatives for canning such artifacts and sites, the cultural arche-writing that forces signifiers to piously bow before a limited string of ‘transcendental signifieds’ is brought to (...) full view. The stench of the aeons is thus forced to evaporate through a post-transcendentalist opening towards originary myths’ original doubles. (shrink)

This article presents a comparative theory of subjective argument strength simple enough for application. Using the axioms and corollaries of the theory, anyone with an elementary knowledge of logic and probability theory can produce an - at least minimally rational - ranking of any set of arguments according to their subjective strength, provided that the arguments in question are descriptive ones in standard form. The basic idea is that the strength of argument A as seen by person x is a (...) function of three values: x ’s degree of belief in the premisses of A; x ’s degree of belief in the conclusion of A under the assumption that all premisses of A are true; and x ’s belief in the conclusion of A under the assumption that not all premisses of A are true. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)

This paper argues that there is a need to reconstruct a new paradigm for poverty policy planning in Africa because Neo-liberalism, Ubuntu ethics and African Socialism as proposed paradigms for Africa’s development are untenable. This is so because the above trio are sexist, androcentric and oblivious to structural injustices that feminize poverty in Africa. The paper further argues that even in the Western world, the neo-liberal GDP metric has been challenged and the search for alternative development indicators and paradigms is (...) on. In addition, there is a fully fledged post-neo-liberalism movement in Latin America and a de-growth and post-growth social movement in the West against neo-liberalism and its nebulous economic growth understanding of wellbeing. The paper contends that Africa cannot afford to remain aloof to all these developments. There is therefore a need to develop Pan African paradigms to articulate an endogenous perspective to African development. The paper thus advocates for the Dignified Humanness Paradigm (DHP) as an alternative to neo-liberalism, Ubuntu ethics and African Socialism. The paper also surmises that the actualization of the DHP requires an immediate awakening of the Pan African Moral Consciousness since this will militate on decolonization of the African mind from the amoral neo-liberal economism. (shrink)

In the history of philosophy, especially its recent history, a number of definitions of necessity have been ventured. Most people, however, find these definitions either circular or subject to counterexamples. I will show that, given a broadly Fregean conception of properties, necessity does indeed have a noncircular counterexample-free definition.