This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...) of modal operators in terms of rules of inference. (shrink)

Purpose of the present work is to attempt to give a glance at the problem of existential and anthropological risk caused by the contemporary man-made civilization from the perspective of comparison and confrontation of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap present between the represented social reality and its representation in perception of works of (...) art and in the political doctrines as well. Methodology of the research is evolutionary anthropologicalcomparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the described semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules. Evolutionary trajectory of all anthropogenesis components including civilization cultural and social-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability, i.e. preservation in the context of consequential transformations of some invariants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature depends not only on the rationalist principles of ethics of Homo species, but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social risk in the evolutionary civilization risk. (shrink)

Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in (...) perception of works of art and in the political doctrines as well. Methodology of the research is evolutionary anthropological comparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the de- scribed semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules (genetic, cultural and techno-rational). Evolutionary trajectory of all anthropogenesis components including civilization cultural and so- cial-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability (sameness), i.e. preservation in the context of consequential transformations of some invari- ants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary (adaptive) strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature de- pends not only on the rationalist principles of ethics of Homo species (the archaism of Jurgen Habermas), but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume (NBIC) technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social (man-made) risk in the evolutionary civilization risk. (shrink)

We examine a proposal for dealing with perhaps the chief difficulty facing holistic theories of meaning—meaning instability. The problem is that, given a robust holism, small changes in a representational system are likely to lead to meaning changes throughout the system. Consequently, different individuals are likely never to mean the same thing. Eric Lormand suggests that holists can avoid this problem—and even secure more stability than non-holists—by positing that symbols have multiple meanings. We argue that the proposal doesn't work, (...) however, since multiple meanings are unstable for much the same reason that single meanings are. (shrink)

Does moral vagueness require ontic vagueness? A central challenge for nonontic treatments of moral vagueness arises from the referential stability of moral terms across small changes in how they are applied: if moral vagueness is not ontic vagueness, it’s hard to explain this referential stability. Pointing to this challenge, Miriam Schoenfield has argued that moral vagueness is ontic vagueness, at least for a moral realist. I disagree. I argue that a moral realist can use a conceptual role semantics (...) for moral terms to give a purely semantic treatment of moral vagueness. (shrink)

I argue that the dispute between two leading theories of interpretation of legal texts, textual originalism and textual evolutionism, depends on the false presupposition that changes in the way a word is used necessarily require a change in the word’s meaning. Semantic externalism goes a long way towards reconciling these views by showing how a word’s semantic properties can be stable over time, even through vicissitudes of usage. I argue that temporal externalism can account for even more (...) class='Hi'>semantic stability, however. Temporal externalism is the theory that the content of an utterance at time t may be determined by developments in linguistic usage subsequent to t. If this semantic theory is correct, then the originalist and evolutionist positions effectively collapse. Originalism is correct in that the original meaning of the text is the meaning that is binding on jurists, but evolutionism is vindicated, as it is the current practices and standards that determine the meaning the text now has, and has always had. Objections to temporal externalism, and to its application to the interpretation of legal texts, are considered and addressed. (shrink)

It is often argued that inferential role semantics (IRS) entails semantic holism as long as theorists fail to answer the question about which inferences, among the many, are meaning-constitutive. Since analyticity, as truth in virtue of meaning, is a widely dismissed notion in indicating which inferences determine meaning, it seems that holism follows. Semantic holism is often understood as facing problems with the stability of content and many usual explanations of communication. Thus, we should choose between giving (...) up IRS, to avoid these holistic entailments, and defending holism against this charge, to rescue IRS. I try to pursue the second goal by analyzing certain patterns of counterfactual reasoning. Wilfrid Sellars and Robert Brandom claim that, to defend IRS, content-constitutive inferences are those counterfactually robust. While it is difficult to assess the goodness of such a view, it nonetheless entails that counterfactually non-robust inferences (which I call “modally ruled out inferences”) are not content-constitutive. If this is true, and if we take certain remarks about the grasp of concepts on board, there is a way to restrict the scope of the holism entailed by IRS to the extent of reshaping problems with the stability of content. (shrink)

In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...) standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

In this paper, I critically assess Mark Richard’s interesting and important development of the claim that linguistic meanings can be fruitfully analogized with biological species. I argue that linguistic meanings qua cluster of interpretative presuppositions need not and often do not display the population-level independence and reproductive isolation that is characteristic of the biological species concept. After developing these problems in some detail, I close with a discussion of their implications for the picture that Richard paints concerning the dangers of (...) conceptual engineering and the prospects for dynamic notions of semantic stability. (shrink)

Can we conceive of a mind without body? Does, for example, the idea of the soul's immortality make sense? Certain versions of materialism deny such questions; I shall try to prove that these versions of materialism cannot be right. They fail because they cannot account for the mental vocabulary from the language of brains in the vat. Envatted expressions such as "I think", "I believe", etc., do not have to be reinterpreted when we translate them to our language; they are (...) semantically stable. By contrast, physical expressions from the vat language are semantically instable; due to Putnam's externalism they cannot be transported to our language without change. This contrast opens the way to a new understanding of what the immortality of the soul might be like: A brain in a vat (and its mental life) might survive what the brain calls "my physical body's death". (shrink)

Philosophers have long debated ‘substrate’ and ‘bundle’ theories as to how properties hold together in objects ― but have neglected to consider that every chemical entity is defined by closure of relationships among components ― here designated ‘Closure Louis de Broglie.’ That type of closure underlies the coherence of spectroscopic and chemical properties of chemical substances, and is importantly implicated in the stability and definition of entities of many other types, including those usually involved in philosophic discourse ― such (...) as roses, statues, and tennis balls. Characteristics of composites are often presumed to ‘supervene on’ properties of components. This assumption does not apply when cooperative interactions among components are significant. Once correlations dominate, then adequate descriptions must involve different entities and relationships than those that are involved in ‘fundamental-level’ description of similar but uncorrelated systems. That is to say, descriptions must involve different semantics than would be appropriate if cooperative interactions were insignificant. This is termed ‘Closure Henri Poincaré. Networks of chemical reactions that have certain types of closure of processes display properties that make other more-complex coherences possible. This is termed ‘Closure Jacques Cauvin.’ Each of these three modes of closure provides a sufficient basis for warranted recognition of causal interaction, thus each of them has epistemological significance. Other modes of epistemologically-important closure probably exist. It is important to recognize that causal efficacy generally depends on closure of relationships of constituents. (shrink)

It is sometimes argued that ideal theories in political philosophy are a form of ideology. This article examines arguments building on the work of Charles Mills and Raymond Geuss for the claim that ideal theories are cognitively distorting belief systems that have the effect of stabilizing unjust social arrangements. I argue that Mills and Geuss neither succeed in establishing that the content of ideal theories is necessarily cognitively defective in the way characteristic for ideologies, nor can they make plausible which (...) mechanisms ensure the alleged negative effects of the widespread acceptance of ideal theorizing. This does not mean that all hope is lost for the ideology objection, however. By turning to a second Marxian model of ideology, I argue that the ideological character of ideal theories is not so much a matter of their content, but rather of their form. Ideal theories falsely present the normative concepts that they use as semantically practice-independent and thereby block potential challenges from subordinate groups to dominant ideologies. It is therefore not the normative content of ideal theories which proves to be objectionable, but the particular role their concepts play in wider political discourse. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches (...) of this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...) main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

This book is an anthology with the following themes. Non-European Tradition: Bussanich interprets main themes of Hindu ethics, including its roots in ritual sacrifice, its relationship to religious duty, society, individual human well-being, and psychic liberation. To best assess the truth of Hindu ethics, he argues for dialogue with premodern Western thought. Pfister takes up the question of human nature as a case study in Chinese ethics. Is our nature inherently good (as Mengzi argued) or bad (Xunzi’s view)? Pfister ob- (...) serves their underlying agreement, that human beings are capable of becoming good, and makes precise the disagreement: whether we achieve goodness by cultivating autonomous feelings or by accepting external precepts. There are political consequences: whether government should aim to respect and em- power individual choices or to be a controlling authority. Early Greek Thinking: Collobert examines the bases of Homeric ethics in fame, prudence, and shame, and how these guide the deliberations of heroes. She observes how, by depending upon the poet’s words, the hero gains a quasi- immortality, although in truth there is no consolation for each person’s inevi- table death. Plato: Santas examines Socratic Method and ethics in Republic 1. There Socrates examines definitions of justice and tests them by comparison to the arts and sciences. Santas shows the similarities of Socrates’ method to John Rawls’ method of considered judgments in reflective equilibrium. McPherran interprets Plato’s religious dimension as like that of his teacher Socrates. McPherran shows how Plato appropriates, reshapes, and extends the religious conventions of his own time in the service of establishing the new enterprise of philosophy. Ac- cording to Taylor, Socrates believes that humans in general have the task of helping the gods by making their own souls as good as possible, and Socrates’ unique ability to cross-examine imposes on him the special task of helping others to become as good as possible. This conception of Socrates’ mission is Plato’s own, consisting in an extension of the traditional conception of piety as helping the gods. Brickhouse and Smith propose a new understanding of Socratic moral psychology—one that retains the standard view of Socrates as an intellectualist, but also recognizes roles in human agency for appetites and passions. They compare and contrast the Socratic view to the picture of moral psychology we get in other dialogues of Plato. Hardy also proposes a new, non-reductive understanding of Socratic eudaimonism—he argues that Socrates invokes a very rich and complex notion of the “Knowledge of the Good and Bad”, which is associated with the motivating forces of the virtues. Rudebusch defends Socrates’ argument that knowledge can never be impotent in the face of psychic passions. He considers the standard objections: that knowledge cannot weigh incom- mensurable human values, and that brute desire, all by itself, is capable of moving the soul to action. Aristotle: Anagnostopoulos interprets Aristotle on the nature and acquisition of virtue. Though virtue of character, aiming at human happiness, requires a complex awareness of multiple dimensions of one’s experience, it is not properly a cognitive capacity. Thus it requires habituation, not education, according to Aristotle, in order to align the unruly elements of the soul with reason’s knowledge of what promotes happiness. Shields explains Aristotle’s doctrine that goodness is meant in many ways as the doctrine that there are different analyses of goodness for different types of circumstance, just as for being. He finds Aristotle to argue for this conclusion, against Plato’s doctrine of the unity of the Good, by applying the tests for homonymy and as an immediate cons- equence of the doctrine of categories. Shields evaluates the issue as unresolved at present. Russell discusses Aristotle’s account of practical deliberation and its virtue, intelligence (phronesis). He relates the account to contemporary philo- sophical controversies surrounding Aristotle’s view that intelligence is neces- sary for moral virtue, including the objections that in some cases it is unnecessary or even impedes human goodness. Frede examines the advantages and disadvantages of Aristotle’s virtue ethics. She explains the general Greek con- ceptions of happiness and virtue, Aristotle’s conception of phronesis and compares the Aristotle’s ethics with modern accounts. Liske discusses the question of whether the Aristotelian account of virtue entails an ethical-psy- chological determinism. He argues that Aristotle’s understanding of hexis allows for free action and ethical responsibility : By making decisions for good actions we are able to stabilize our character (hexis). Hellenistic and Roman: Annas defends an account of stoic ethics, according to which the three parts of Stoicism—logic, physics, and ethics—are integrated as the parts of an egg, not as the parts of a building. Since by this analogy no one part is a foundation for the rest, pedagogical decisions may govern the choice of numerous, equally valid, presentations of Stoic ethics. Piering interprets the Cynic way of life as a distinctive philosophy. In their ethics, Cynics value neither pleasure nor tradition but personal liberty, which they achieve by self-suffi- ciency and display in speech that is frank to the point of insult. Plotinus and Neoplatonism: Gerson outlines the place of ordinary civic virtue as well as philosophically contemplative excellence in Neoplatonism. In doing so he attempts to show how one and the same good can be both action-guiding in human life and be the absolute simple One that grounds the explanation of everything in the universe. Delcomminette follows Plotinus’s path to the Good as the foundation of free will, first in the freedom of Intellect and then in the “more than freedom” of the One. Plotinus postulates these divinities as not outside but within each self, saving him from the contradiction of an external foundation for a truly free will. General Topics: Halbig discusses the thesis on the unity of virtues. He dis- tinguishes the thesis of the identity of virtues and the thesis of a reciprocity of virtues and argues that the various virtues form a unity (in terms of reciprocity) since virtues cannot bring about any bad action. Detel examines Plato’s and Aristotle’s conceptions of normativity : Plato and Aristotle (i) entertained hybrid theories of normativity by distinguishing functional, semantic and ethical normativity, (ii) located the ultimate source of normativity in standards of a good life, and thus (iii) took semantic normativity to be a derived form of normativity. Detel argues that hybrid theories of normativity are—from a mo- dern point of view—still promising. Ho ̈ffe defends the Ancient conception of an art of living against Modern objections. Whereas many Modern philosophers think that we have to replace Ancient eudaimonism by the idea of moral obligation (Pflicht), Ho ̈ffe argues that Eudaimonism and autonomy-based ethics can be reconciled and integrated into a comprehensive and promising theory of a good life, if we enrich the idea of autonomy by the central elements of Ancient eudaimonism. Some common themes: The topics in Chinese and Hindu ethics are perhaps more familiar to modern western sensibilities than Homeric and even Socratic. Anagnostopoulos, Brickhouse and Smith, Frede, Liske, Rudebusch, and Russell all consider in contrasting ways the role of moral character, apart from intellect, in ethics. Brickhouse / Smith, Hardy, and Rudebusch discuss the Socratic con- ception of moral knowledge. Brickhouse / Smith and Hardy retain the standard view of the so called Socratic Intellectualism. Shields and Gerson both consider the question whether there is a single genus of goodness, or if the term is a homonym. Bussanich, McPherran, Taylor, and Delcomminette all consider the relation between religion and ethics. Pfister, Piering, Delcomminette, and Liske all consider what sort of freedom is appropriate to human well-being. Halbig, Detel, and Ho ̈ffe propose interpretations of main themes of Ancient ethics. (shrink)

What is to be learned from the chaotic downfall of the Weimar Republic and the erosion of European liberal statehood in the interwar period vis-a-vis the ongoing European crisis? This book analyses and explains the recurrent emergence of crises in European societies. It asks how previous crises can inform our understanding of the present crisis. The particular perspective advanced is that these crises not only are economic and social crises, but must also be understood as crises of public power, order (...) and authority. In other words, it argues that substantial challenges to the functional and normative setup of democracy and the rule of law were central to the emergence and the unfolding of these crises. The book draws on and adds to the rich ’crises literature’ developed within the critical theory tradition to outline a conceptual framework for understanding what societal crises are. The central idea is that societal crises represent a discrepancy between the unfolding of social processes and the institutional frameworks that have been established to normatively stabilize such processes. The crises at issue emerged in periods characterized by strong social, economic and technological transformations as well as situations of political upheaval. As such, the crises represented moments where the existing functional and normative grid of society, as embodied in notions of public order and authority, were severely challenged and in many instances undermined. Seen in this perspective, the book reconstructs how crises unfolded, how they were experienced, and what kind of responses the specific crises in question provoked. -/- Table of Contents -/- Introduction: European Crises of Public Power: From Weimar until Today, Poul F. Kjaer & Niklas Olsen / Part I: Semantics, Notions and Narratives of Societal Crisis / 1. What Time Frame Makes Sense for Thinking About Crises?, David Runciman / 2. The Stakes of Crises, Janet Roitman / Part II: Weimar and the Interwar Period: Ideologies of Anti-Modernism and Liberalism / 3. The Crisis of Modernity – Modernity as Crisis: Towards a Typology of Crisis Discourses in Interwar East Central Europe and Beyond, Balázs Trencsényi / 4. European Legitimacy Crisis – Weimar and Today: Rational and Theocratic Authority in the Schmitt-Strauss Exchange, John P. McCormick / 5. Crisis and the Consumer: Reconstructions of Liberalism in Twentieth Century Political Thought , Niklas Olsen / Part III: The Causes of Crises: From Corporatism to Governance / 6. The Constitutionalization of Labour Law and the Crisis of National Democracy , Chris Thornhill / 7. The Crisis in Labour Law: From Weimar to Austerity Ruth Dukes / 8. From the Crisis of Corporatism to the Crisis of Governance, Poul F. Kjaer / Part IV: The Euro and the Crisis of Law and Democracy / 9. What is left of the European Economic Constitution II? From Pyrrhic Victory to Cannae Defeat Christian Joerges / 10. Reflections on Europe’s “Rule of Law Crisis”, Jan-Werner Müller. 11. Democracy under Siege: The Decay of Constitutionalisation and the Crisis of Public Law and Public Opinion, Hauke Brunkhorst/ Part V: The Consequences of Crises and the Future of Europe / 12. Crises and Extra-Legality: From Above and From Below, William E. Scheuermann / 13. “We could all go Down the Road of Lebanon” – Crisis Thinking on the Anti-Muslim Far Right, Mikkel Thorup / 14. Conclusions and Perspectives: The Re-Constitution of Europe, Poul F. Kjaer & Niklas Olsen Index . (shrink)

Can we conceive of disorder in a positive sense? We organize our desks, we discipline our children, we govern our polities--all with the aim of reducing disorder, of temporarily reversing the entropy that inevitably asserts itself in our lives. Going all the way back to Hesiod, we see chaos as a cosmogonic state of utter confusion inevitably reigned in by laws of regularity, in a transition from fearful unpredictability to calm stability. In contrast to a similar early Chinese notion (...) of chaotic disorder (luan), early Daoists posit a type of chaos that is to be cultivated rather than feared. This chaos is a primal disorder, akin to Hesiod's, but rather than threatening disruption, it is replete with creative potential and through spontaneous action yields orderly processes that proceed from the concretion of things to their dissolution and back, in a complex web of relations. This processional activity, although taken in one sense as cosmogonic, in a more important sense is immanent at every moment of activity. This article identifies terms of chaos, such as dun dun 沌 沌, hundun 渾 沌, and xingming 涬 溟 in Laozi and Zhuangzi and examines the passages in which they occur. Analyzing these passages brings us to a better understanding of "chaos" in a Chinese sense and to a familiarity with related terms in its semantic field, such as xuan 玄 (dark, mysterious), miao 妙 (subtle/profound), wei 微 (minute/inchoate), xiao 小 (small/minute), and pu 樸 (uncarved block). We see that the Daoist ideal is to return to a chaotic inchoateness by melding with the cosmos and there finding a repository of creative potential. This notion of chaos as the inchoate is used a springboard into understanding the origins of Daoist spontaneity. (shrink)

The study is focused on analysing formalism which is a strategy of applying laws by stressing the formal features of the law, even if the consequences of the strategy like that are difficult to accept in light of legal principles and the general requirement of equity. Contrary to the common view presented in the legal literature, the study sets out arguments that the formalism is neither justified in the tradition of legal positivism, neither in the idea of the rule of (...) law. In particular it is not true that formalism secures stability and predictability of laws application. On the other hand, a non-formalistic approach to applying laws, consisting in a simultaneous application of strict rules and general principles and in acknowledging the purpose and the function of the law as important factors, allows for realising the values that are traditionally linked with legal positivism. That non-formalistic approach to applying laws, called in the study 'interpretative holism', was supported by a wide use of contemporary philosophy of language, in particular the Kripke-Putnam semantics and the findings of the contemporary philosophy of law and legal theory. -/- Praca jest poświęcona analizie zjawiska formalizmu, które jest strategią stosowania prawa, podlegająca na podkreśleniu wagi formalnych cech prawa, nawet jeśli strategia taka prowadzi do rezultatów trudnych do zaakceptowania z punktu widzenia zasad prawa albo ogólnych wymogów słuszności. Przeciwnie do dotychczasowych stanowisk reprezentowanych w literaturze, w pracy przedstawione są argumenty, że formalistyczne podejście do stosowania prawa nie ma uzasadnienia, ani w koncepcji pozytywizmu prawniczego, ani w koncepcji rządów prawa. Z drugiej strony nieformalistyczne podejście do stosowania prawa, które polega głównie na współstosowaniu reguł i zasad oraz na uwzględnianiu celu i funkcji prawa, pozwala na realizację wartości tradycyjnie przypisywanych koncepcji pozytywizmu prawniczego. Ta nieformalistyczna strategia stosowania prawa, nazywana w pracy holizmem interpretacyjnym, została w pracy uzasadniona poprzez szerokie wykorzystanie współczesnej filozofii języka, w szczególności tzw. semantyki Kripkego-Putnama oraz współczesnego dorobku polskiej i zagranicznej teorii i filozofii prawa.". (shrink)

In this paper, I will first try to provide a new argument in favour of the contextualist position on the semantics/pragmatics divide. I will argue that many puns, notably multi-stable ones, cannot be dealt with in the non-contextualist way, i.e., as displaying a phenomenon that effectively involves wide context, the concrete situation of discourse, yet only in a pre-, or at least inter-, semantic sense. For, insofar as they involve ambiguous utterances rather than ambiguous sentences, these puns show that (...) the wide context affecting them has a semantic role: it provides many truth-conditions for a single utterance. Moreover, I will try to show that the contextualist can provide a unitary account of the general phenomenon of puns. On the one hand, this account explains multi-stable puns as well as those puns the non-contextualist claims to deal with successfully, i.e., the ones involving a speaker-induced removal of a well-grounded misunderstanding. On the other hand, it also explains zeugmatic puns, i.e., those involving an ‘impossible’ meaning. (shrink)

An attractive form of social stability is realized when the members of a well-ordered society give that society’s organizing principles their free and reflective endorsement. However, many political philosophers are skeptical that there is any requirement to show that their principles would engender this kind of stability. This skepticism is at the root of a number of objections to political liberalism, since arguments for political liberalism often appeal to its ability to be stable in this way. The aim (...) of this paper is to address skepticism about the stability condition by putting forward a novel defense of it. My defense builds on the claim that stable principles are necessary to secure the full autonomy of those who live under them. (shrink)

We address the question whether there is an explanation for the fact that as Fodor put it the micro-level “converges on stable macro-level properties”, and whether there are lessons from this explanation for other issues in the vicinity. We argue that stability in large systems can be understood in terms of statistical limit theorems. In the thermodynamic limit of infinite system size N → ∞ systems will have strictly stable macroscopic properties in the sense that transitions between different macroscopic (...) phases of matter (if there are any) will not occur in finite time. Indeed stability in this sense is a consequence of the absence of fluctuations, as (large) fluctuations would be required to induce such macroscopic transformations. These properties can be understood in terms of coarse-grained descriptions, and the statistical limit theorems for independent or weakly dependent random variable describing the behaviour averages and the statistics of fluctuations in the large system limit. We argue that RNG analyses applied to off-critical systems can provide a rationalization for the applicability of these limit theorems. Furthermore we discuss some related issues as, for example, the role of the infinite-system idealization. (shrink)

Much recent work on explanation in the interventionist tradition emphasizes the explanatory value of stable causal generalizations—i.e., causal generalizations that remain true in a wide range of background circumstances. We argue that two separate explanatory virtues are lumped together under the heading of `stability’. We call these two virtues breadth and guidance respectively. In our view, these two virtues are importantly distinct, but this fact is neglected or at least under-appreciated in the literature on stability. We argue that (...) an adequate theory of explanatory goodness should recognize breadth and guidance as distinct virtues, as breadth and guidance track different ideals of explanation, satisfy different cognitive and pragmatic ends, and play different theoretical roles in helping us understand the explanatory value of mechanisms. Thus keeping track of the distinction between these two forms of stability yields a more accurate and perspicuous picture of the role that stability considerations play in explanation. (shrink)

I investigate the role of stability in cosmology through two episodes from the recent history of cosmology: Einstein’s static universe and Eddington’s demonstration of its instability, and the flatness problem of the hot big bang model and its claimed solution by inflationary theory. These episodes illustrate differing reactions to instability in cosmological models, both positive ones and negative ones. To provide some context to these reactions, I also situate them in relation to perspectives on stability from dynamical systems (...) theory and its epistemology. This reveals, for example, an insistence on stability as an extreme position in relation to the spectrum of physical systems which exhibit degrees of stability and fragility, one which has a pragmatic rationale, but not any deeper one. (shrink)

This paper develops an update semantics for weak necessity modals like ‘ought’ and ‘should’. I start with the basic approach to the weak/strong necessity modal distinction developed in Silk 2018: Strong necessity modals are given their familiar semantics of necessity, predicating the necessity of the prejacent of the actual world (evaluation world). The apparent “weakness” of weak necessity modals derives from their bracketing the assumption that the relevant worlds in which the prejacent is necessary (deontically, epistemically, etc.) need be candidates (...) for actuality. ‘Should φ’ can be accepted without needing to settle that the relevant considerations (norms, preferences, expectations, etc.) that actually apply, given the facts, verify the necessity of φ. I formalize these ideas within an Update with Centering framework. The meaning of ‘Should φ’ is explained, fundamentally, in terms of how its use updates attention toward possibilities in which φ is necessary. The semantics is also extended to deontic conditionals. The proposed analyses capture various contrasting logical properties and discourse properties of ‘should’ and ‘must’ — e.g., in sensitivities to standing contextual assumptions, entailingness, and force — and provide an improved treatment of largely neglected data concerning information-sensitivity. (shrink)

In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we give to (...) those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)

In this article, I argue that stability is one of the enabling conditions for epistocratic arrangements to function well and justify their claim right to rule. Against this backdrop, I demonstrate that advocates of strategies to allocate exclusive decision-making power to knowledgeable citizens fail to demonstrate that in a context marked by the fact of pluralism, liberal epistocracies will be stable. They could argue that liberal epistocracies will be stable because epistocratic arrangements are better equipped than democratic decision-making bodies (...) to produce outcomes that approximate the common good. They could argue that liberal epistocracies will be stable because there is a shared meritocratic set of values and ideas. Furthermore, they could opt for two standard liberal strategies, such as overlapping consensus and modus vivendi. Yet, in all cases, the argument for the stability of liberal epistocracies is not persuasive. (shrink)

Bourrat and Griffiths :33, 2018) have recently argued that most of the evidence presented by holobiont defenders to support the thesis that holobionts are evolutionary individuals is not to the point and is not even adequate to discriminate multispecies evolutionary individuals from other multispecies assemblages that would not be considered evolutionary individuals by most holobiont defenders. They further argue that an adequate criterion to distinguish the two categories is fitness alignment, presenting the notion of fitness boundedness as a criterion that (...) allows divorcing true multispecies evolutionary individuals from other multispecies assemblages and provides an adequate criterion to single out genuine evolutionary multispecies assemblages. A consequence of their criterion is that holobionts, as conventionally defined by hologenome defenders, are not evolutionary individuals except in very rare cases, and for very specific host-symbiont associations. This paper is a critical response to Bourrat and Griffiths’ arguments and a defence of the arguments presented by holobiont defenders. Drawing upon the case of the hologenomic basis of the evolution of sanguivory in vampire bats, I argue that Bourrat and Griffiths overlook some aspects of the biological nature of the microbiome that justifies the thesis that holobionts are evolutionarily different to other multispecies assemblages. I argue that the hologenome theory of evolution should not define the hologenome as a collection of genomes, but as the sum of the host genome plus some traits of the microbiome which together constitute an evolutionary individual, a conception I refer to as the stability of traits conception of the hologenome. Based on that conception I argue that the evidence presented by holobiont defenders is to the point, and supports the thesis that holobionts are evolutionary individuals. In this sense, the paper offers an account of the holobiont that aims to foster a dialogue between hologenome advocates and hologenome critics. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis (...) into a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

This paper offers a critique of an account of explanatory integration that claims that explanations of cognitive capacities by functional analyses and mechanistic explanations can be seamlessly integrated. It is shown that achieving such explanatory integration requires that the terms designating cognitive capacities in the two forms of explanation are stable but that experimental practice in the mind-brain sciences currently is not directed at achieving such stability. A positive proposal for changing experimental practice so as to promote such (...) class='Hi'>stability is put forward and its implications for explanatory integration are briefly considered. (shrink)

This paper argues for contrastivism about the deontic modals, 'ought', 'must', and 'may'. A simple contrastivist semantics that predicts the desired entailment relations among these modals is offered.

In this article, I explain why stabilizing constructs is important to the success of the Research Domain Criteria Project and identify one measure for facilitating such stability.

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

Ian Hacking instigated a revolution in 20th century philosophy of science by putting experiments (“interventions”) at the top of a philosophical agenda that historically had focused nearly exclusively on representations (“theories”). In this paper, I focus on a set of conceptual tools Hacking (1992) put forward to understand how laboratory sciences become stable and to explain what such stability meant for the prospects of unity of science and kind discovery in experimental science. I first use Hacking’s tools to understand (...) sources of instability and disunity in rodent behavioral neuroscience. I then use them to understand recent grass-roots collaborative open science initiatives aimed at establishing stability in this research area and tease out some implications for unity of science and kind creation and discovery in cognitive neuroscience. -/- . (shrink)

Epistemic Contextualism is the view that “knows that” is semantically context-sensitive and that properly accommodating this fact into our philosophical theory promises to solve various puzzles concerning knowledge. Yet Epistemic Contextualism faces a big—some would say fatal—problem: The Semantic Error Problem. In its prominent form, this runs thus: speakers just don’t seem to recognise that “knows that” is context-sensitive; so, if “knows that” really is context-sensitive then such speakers are systematically in error about what is said by, or how (...) to evaluate, ordinary uses of “S knows that p”; but since it's wildly implausible that ordinary speakers should exhibit such systematic error, the expression “knows that” isn't context-sensitive. We are interested in whether, and in what ways, there is such semantic error; if there is such error, how it arises and is made manifest; and, again, if there is such error to what extent it is a problem for Epistemic Contextualism. The upshot is that some forms of The Semantic Error Problem turn out to be largely unproblematic. Those that remain troublesome have analogue error problems for various competitor conceptions of knowledge. So, if error is any sort of problem, then there is a problem for every extant competitor view. (shrink)

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...) small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while working (...) with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

Human creativity generates novel ideas to solve real-world problems. This thereby grants us the power to transform the surrounding world and extend our human attributes beyond what is currently possible. Creative ideas are not just new and unexpected, but are also successful in providing solutions that are useful, efficient and valuable. Thus, creativity optimizes the use of available resources and increases wealth. The origin of human creativity, however, is poorly understood, and semantic measures that could predict the success of (...) generated ideas are currently unknown. Here, we analyze a dataset of design problem-solving conversations in real-world settings by using 49 semantic measures based on WordNet 3.1 and demonstrate that a divergence of semantic similarity, an increased information content, and a decreased polysemy predict the success of generated ideas. The first feedback from clients also enhances information content and leads to a divergence of successful ideas in creative problem solving. These results advance cognitive science by identifying real-world processes in human problem solving that are relevant to the success of produced solutions and provide tools for real-time monitoring of problem solving, student training and skill acquisition. A selected subset of information content (IC Sánchez–Batet) and semantic similarity (Lin/Sánchez–Batet) measures, which are both statistically powerful and computationally fast, could support the development of technologies for computer-assisted enhancements of human creativity or for the implementation of creativity in machines endowed with general artificial intelligence. (shrink)

The last two decades have seen a rising interest in (a) the notion of a scientific phenomenon as distinct from theories and data, and (b) the intricacies of experimentally producing and stabilizing phenomena. This paper develops an analysis of the stabilization of phenomena that integrates two aspects that have largely been treated separately in the literature: one concerns the skills required for empirical work; the other concerns the strategies by which claims about phenomena are validated. I argue that in order (...) to make sense of the process of stabilization, we need to distinguish between two types of phenomena: phenomena as patterns in the data ( surface regularities ) and phenomena as underlying (or hidden ) regularities. I show that the epistemic relationships that data bear to each of these types of phenomena are different: Data patterns are instantiated by individual data, whereas underlying regularities are indicated by individual data, insofar as they instantiate a data pattern. Drawing on an example from memory research, I argue that neither of these two kinds of phenomenon can be stabilized in isolation. I conclude that what is stabilized when phenomena are stabilized is the fit between surface regularities and hidden regularities. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, (...) their definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...) discusses the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske‐Grice approach: meaningful and well‐formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth‐values (...) do not supervene on semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo‐information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo‐information. As a consequence, SDI is revised to include a necessary truth‐condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition. (shrink)

One important thesis Ásta defends in Categories We Live By is that social properties and categories are somehow dependent on our thoughts, attitudes, or practices—that they are inventions of the mind, projected onto the world. Another important aspect of her view is that the social properties are related to certain base properties; an individual is placed in a category when the relevant base properties are thought to hold of them. I see the relationship between the social and the base as (...) connected to the problem of explaining how the social properties are sufficiently stable so as to be taken seriously, both in theoretical endeavors as well as in practical matters of how we relate to each other. In this light, I identify stability constraints for an adequate account of social categories. I argue that certain distinctive aspects of Ásta's conferralist view of social categories, such as the radical contextualism in her account of gender, undermine the stability of categories and are at odds with taking social categories seriously. I end with the suggestion that a distinctive “sheltered” form of normativity might help us do justice to Ásta's insights while avoiding some of the destabilizing elements of conferralism. (shrink)

Temporal Externalism posits the counterintuitive claim that the semantic properties of terms are influenced not only by present and past linguistic practices but also by future linguistic practices. In this paper, I primarily introduce a new challenge to Temporal Externalism, arguing that it presupposes a meta-belief about future linguistic practices but fails to explain how this belief relates to future properties. I then briefly highlight that Jussi Haukioja’s recent defense of Temporal Externalism still does not address the challenges posed (...) by this meta-belief. Therefore, I conclude that Temporal Externalism is untenable. (shrink)

Success semantics holds, roughly, that what it is for a state of an agent to be a belief that P is for it to be disposed to combine with her desires to cause behaviour that would fulfill those desires if P. J. T. Whyte supplements this with an account of the contents of an agent's “basic desires” to provide an attractive naturalistic theory of mental content. We argue that Whyte's strategy can avoid the objections raised against it by restricting “basic (...) desires” to sensory inclinations that cause us to do things independently of our beliefs about their contents. -/- La sémantique du succès soutient, en gros, que ce qu'il faut pour qu'un état d'un agent soit une croyance en P, c'est que cet état soit disposé à se combiner avec ses désirs pour provoquer un comportement qui répondrait à ces désirs si P. J. T. Whyte complète cela par un compte-rendu du contenu des « désirs de base » d'un agent pour fournir une théorie naturaliste attrayante du contenu mental. Nous soutenons que la stratégie de Whyte peut éviter les objections qui lui sont faites en restreignant les « désirs de base » aux inclinations sensorielles qui nous font agir indépendamment de nos croyances sur leur contenu. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes (...) it canonically serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks (...) drawing semantic distinctions between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)