Modern health care relies extensively on the use of technologies for assessing and treating patients, so it is important to be certain that health care technologies perform their professed functions in an effective and safe manner. Philosophers of technology have developed methods to assign and evaluate the functions of technological products, the major elements of which are described in the ICE theory. This paper questions whether the standard of evidence advocated by the ICE theory is adequate for ascribing and assessing (...) technologies employed in health care. The paper proposes that the general problem with the standard of evidence embodied in the ICE theory is too permissive for assessing medical technologies, in that it does not take into account the relative benefit and harm of medical technologies in ensuring safe functional performance in patients. The paper illustrates how evidence-based medicine has demonstrated the value of clinical research methods, including observational studies, randomized and non-randomized clinical trials, and formal techniques, such as meta-analysis, to measure therapeutic effectiveness. I argue, therefore, that evidence from clinical research studies should take precedence over the testimonial evidence and other types of non-clinical evidence, in providing justification for health technologies. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? (...) There are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, the Logic of Demonstratives, is shown to contain monsters. For (...) similar reasons, the orthodox lambda-calculus-based semantics for variable binding is argued to be monstrous. This technical point promises to provide some far-reaching implications for our understanding of semantic theory and content. The theoretical upshot of the discussion is at least threefold: (i) the Kaplanian thesis that “directly referential” terms are not shiftable/bindable is unmotivated, (ii) since monsters operate on something distinct from the assertoric content of their operands, we must distinguish ingredient sense from assertoric content (cf. Dummett 1973; Evans 1979; Stanley 1997), and (iii) since the case of variable binding provides a paradigm of semantic shift that differs from the other types, it is plausible to think that indexicals—which are standardly treated by means of the assignment function—might undergo the same kind of shift. (shrink)

Strawson argues that we should understand moral responsibility in terms of our practices of holding responsible and taking responsibility. The former covers what is commonly referred to as backward-looking responsibility , while the latter covers what is commonly referred to as forward-looking responsibility . We consider new technologies and interventions that facilitate assignment of responsibility. Assigning responsibility is best understood as the second- or third-personal analogue of taking responsibility. It establishes forward-looking responsibility. But unlike taking responsibility, it establishes forward-looking (...) responsibility in someone else. When such assignments are accepted, they function in such a way that those to whom responsibility has been assigned face the same obligations and are susceptible to the same reactive attitudes as someone who takes responsibility. One family of interventions interests us in particular: nudges. We contend that many instances of nudging tacitly assign responsibility to nudgees for actions, values, and relationships that they might not otherwise have taken responsibility for. To the extent that nudgees tacitly accept such assignments, they become responsible for upholding norms that would otherwise have fallen under the purview of other actors. While this may be empowering in some cases, it can also function in such a way that it burdens people with more responsibility that they can (reasonably be expected to) manage. (shrink)

Richard Rorty’s conception of literature has been criticised more than acclaimed. While Rorty certainly has impacted literary studies, a comprehensive account of his understanding of literature is still lacking. Moreover, while literature is seen as significant to his later work, the philosophical role this plays in Rortyan thought is underexamined and underappreciated. This paper aims to provide an account of the role of literature and the “literary” in Rorty’s philosophy and the functions he assigns to literature and poetry – in (...) a broad and narrow sense – in democratic cultures. Beginning with an account of Rorty’s conceptions of metaphor and “unfamiliar” language, it draws on this to explain Rorty’s parallel view of literature in the “narrower sense” as playing the same role in culture as metaphors do in language. “Stimulating” literature unsettles settled selves and beliefs and expands human imagination. Using Rorty’s readings of Lolita and 1984 as examples, it shows that to him, literature not only plays a part in increasing empathy and solidarity but has a distinct therapeutic epistemological task: it helps individuals and societies adopt a more pluralist, ironist, post-metaphysical outlook. Both are important democratic functions. For these reasons, Rorty recommends that we work to realise a “literary” culture that rejects any ontologically inflected distinctions between kinds of texts, where philosophy becomes comparative “literary” criticism, and we see literature in the “narrower sense” as equally necessary material for making selves, communities and just institutions as any philosophical or political treatise. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is (...) to treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

This paper focuses on the concept of symbol and tries to outline its function as a means of communication. In order to describe the communicative qualities of symbol, it is necessary to show its ethical nature. The paper analyses the role symbols play in intersubjective relations, in the construction of the individual’s reality, and in the human ability to attribute meanings and assign functions.The conceptual frame- work for the understanding of what symbol is, how it works, and how it (...) is made is a particular combination of phenomenology and pragmatism, which lies on the theory of ‘appresentation’, as we can find it in Alfred Schütz’s viewpoint. The paper invites a reflection on the power of symbol, particularly on its power to communicate the incommunicable. (shrink)

This paper develops and explores a new framework for theorizing about the measurement and aggregation of well-being. It is a qualitative variation on the framework of social welfare functionals developed by Amartya Sen. In Sen’s framework, a social or overall betterness ordering is assigned to each profile of real-valued utility functions. In the qualitative framework developed here, numerical utilities are replaced by the properties they are supposed to represent. This makes it possible to characterize the measurability and interpersonal comparability of (...) well-being directly, without the use of invariance conditions, and to distinguish between real changes in well-being and merely representational changes in the unit of measurement. The qualitative framework is shown to have important implications for a range of issues in axiology and social choice theory, including the characterization of welfarism, axiomatic derivations of utilitarianism, the meaningfulness of prioritarianism, the informational requirements of variable-population ethics, the impossibility theorems of Arrow and others, and the metaphysics of value. (shrink)

Recent successes of systems biology clarified that biological functionality is multilevel. We point out that this fact makes it necessary to revise popular views about macromolecular functions and distinguish between local, physico-chemical and global, biological functions. Our analysis shows that physico-chemical functions are merely tools of biological functionality. This result sheds new light on the origin of cellular life, indicating that in evolutionary history, assignment of biological functions to cellular ingredients plays a crucial role. In this wider picture, even (...) if aggregation of chance mutations of replicator molecules and spontaneously self-assembled proteins led to the formation of a system identical with a living cell in all physical respects but devoid of biological functions, it would remain an inanimate physical system, a pseudo-cell or a zombie-cell but not a viable cell. In the origin of life scenarios, a fundamental circularity arises, since if cells are the minimal units of life, it is apparent that assignments of cellular functions require the presence of cells and vice versa. Resolution of this dilemma requires distinguishing between physico-chemical and biological symbols as well as between physico-chemical and biological information. Our analysis of the concepts of symbol, rule and code suggests that they all rely implicitly on biological laws or principles. We show that the problem is how to establish physico-chemically arbitrary rules assigning biological functions without the presence of living organisms. We propose a solution to that problem with the help of a generalized action principle and biological harnessing of quantum uncertainties. By our proposal, biology is an autonomous science having its own fundamental principle. The biological principle ought not to be regarded as an emergent phenomenon. It can guide chemical evolution towards the biological one, progressively assigning greater complexity and functionality to macromolecules and systems of macromolecules at all levels of organization. This solution explains some perplexing facts and posits a new context for thinking about the problems of the origin of life and mind. (shrink)

In proxy assertion an individual or group asserts something through a spokesperson. The chapter explains proxy assertion as resting on the assignment of a status role to a person (that of spokesperson) whose utterances acts in virtue of that role have the status function of signaling that the principal is committed in a way analogous to an individual asserting that in his own voice. The chapter briefly explains how status functions and status roles are grounded and then treats, (...) in turn, the case of a spokesperson for an individual and a group and the differences in the significance of what the spokesperson does in each case. Finally, it reviews complications introduced by spokesperson autonomy, where the spokesperson is given leave to represent her principal’s views or positions in her own words and to respond to questions on his behalf. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

To obtain effective fusion results of multi source evidences with different importance, an evidence fusion method with importance discounting factors based on neutrosopic probability analysis in DSmT framework is proposed. First, the reasonable evidence sources are selected out based on the statistical analysis of the pignistic probability functions of single focal elements. Secondly, the neutrosophic probability analysis is conducted based on the similarities of the pignistic probability functions from the prior evidence knowledge of the reasonable evidence sources. Thirdly, the importance (...) discounting factors of the reasonable evidence sources are obtained based on the neutrosophic probability analysis and the reliability discounting factors of the real-time evidences are calculated based on probabilistic-based distances. Fourthly, the real-time evidences are discounted by the importance discounting factors and then the evidences with the mass assignments of neutrosophic empty sets are discounted by the reliability discounting factors. Finally, DSmT+PCR5 of importance discounted evidences is applied. Experimental examples show that the decision results based on the proposed fusion method are different from the results based on the existed fusion methods. Simulation experiments of recognition fusion are performed and the superiority of proposed method is testified well by the simulation results. (shrink)

In this paper, we evaluate the project of resurgence of metaphysics based on the pecularity of the quantum domain, a project that is supported by some contemporary philosophers. Beyond the general arguments against scientific realism that are still applicable here, we show that this project is faced with the three following issues that, we believe, make it unrealizable: (a) the problem raised by the realistic interpretation of the wave function, as a description of a ‘concrete physical fact’ of the (...) independent reality; (b) the lack of any experimental counterpart of the (non-local) hidden variables quantum theories, and, in some cases, their incompatibility with the quantum predictions; and (c) the fact that the key-properties of quantum phenomena, like their non-locality, essentially depend on the observables that are used for their description and cannot then be assigned to any ‘independent’ reality. (shrink)

Many welfarists wish to assign to each possible state of the world a numerical value that measures something like its moral goodness. How are we to determine this quantity? This paper proposes a contractualist approach: a legitimate measure of moral goodness is one that could be justified to each member of the population in question. How do we justify a measure of moral goodness to each individual? Each individual recognises the measure of moral goodness must be a compromise between the (...) different levels of well-being within the population. Some compromises are more reasonable than others; and some are better justifiable to a given member of the population than others. Each member recognises that the social chooser's measure of moral goodness is going to have to deviate from the well-being function of at least some of the members of the population. But we can nonetheless justify it to each of them if it doesn't deviate more than is necessary, and if the deviations from each member are given equal weighting in whatever process we use to determine it. This paper proposes that we begin with a measure of the distance from a proposed compromise to an individual's level of well-being, and then say that the moral goodness is the candidate compromise that minimizes the sum of distances from it to the individuals' levels of well-being. I describe a range of such measures of distance and show that some give utilitarianism, others different versions of prioritarianism. (shrink)

A probability aggregation rule assigns to each profile of probability functions across a group of individuals (representing their individual probability assignments to some propositions) a collective probability function (representing the group's probability assignment). The rule is “non-manipulable” if no group member can manipulate the collective probability for any proposition in the direction of his or her own probability by misrepresenting his or her probability function (“strategic voting”). We show that, except in trivial cases, no probability aggregation rule (...) satisfying two mild conditions (non-dictatorship and consensus preservation) is non-manipulable. (shrink)

Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic characterisations of each class (...) of pooling functions (most of them classic, but one new) and argue that linear pooling can be justified procedurally, but not epistemically, while the other two pooling methods can be justified epistemically. The choice between them, in turn, depends on whether the individuals' probability assignments are based on shared information or on private information. We conclude by mentioning a number of other pooling methods. (shrink)

The ability to perceive the shapes of things as enduring through changes in how they stimulate our sense organs is vital to our sense of stability in the world. But what sort of capacity is shape constancy, and how is it reflected in perceptual experience? This paper defends a pluralist account of shape constancy: There are multiple kinds of shape constancy centered on geometrical properties at various levels of abstraction, and properties at these various levels feature in the content of (...) perceptual experience, governing patterns of apparent shape similarity. I propose that the varieties of shape constancy are subserved by the syntactic complexity of perceptual shape representations. By assigning discrete constituents to various abstract shape parameters, these representations attune us to the preservation of certain abstract shape properties through changes in more determinate shape properties. Finally, I draw broader lessons concerning the nature and function of perceptual constancy. (shrink)

Since the release of OpenAI's ChatGPT, the world has entered a race to develop more capable and powerful AI, including artificial general intelligence (AGI). The development is constrained by the dependency of AI on the model, quality, and quantity of training data, making the AI training process highly costly in terms of resources and environmental consequences. Thus, improving the effectiveness and efficiency of the AI training process is essential, especially when the Earth is approaching the climate tipping points and planetary (...) boundaries. It is evident that AI can function better when trained to mimic certain human mental processes. Based on insights from quantum mechanics and the informational entropy-based notion of value, we suggest AI developers can enhance the AI training processes' effectiveness and efficiency by creating and implementing parameter systems that are capable of effectively assigning probabilities to informational quanta. Such systems can help reduce entropy within the system, which lowers the energy required for data storage and processing while decreasing the likelihood of information loss during training. Successfully applying the concept of information entropy-based value in AI development will be crucial for advancing generative AI and achieving AGI in a sustainable manner. (shrink)

Conceptual engineering is the enterprise of evaluating and improving our representational devices. But how should we conduct this enterprise? One increasingly popular answer to this question proposes that conceptual engineering should proceed in terms of the functions of our representational devices. In this paper, we argue that the best way of understanding this suggestion is in terms of normative functions, where normative functions of concepts are, roughly, things that they allow us to do that matter normatively (for example, things in (...) virtue of which we have normative reasons to have these concepts). Not only does this introduce a novel view about functions to the literature. This proposal also fits more naturally than the alternatives with conceptual engineering as a normative enterprise, and it allows functions to play all of the explanatory roles assigned to them in the conceptual engineering literature. Our discussion of the explanatory advantages of normative functions also advances the understanding of the ways in which concepts can be authoritative, what this means for conceptual engineering, and highlights the importance of political philosophy for thinking about conceptual engineering in practice. Furthermore, the paper explicates what kind of role considerations about function can and should actually play in conceptual engineering. (shrink)

A longstanding issue in attempts to understand the Everett (Many-Worlds) approach to quantum mechanics is the origin of the Born rule: why is the probability given by the square of the amplitude? Following Vaidman, we note that observers are in a position of self-locating uncertainty during the period between the branches of the wave function splitting via decoherence and the observer registering the outcome of the measurement. In this period it is tempting to regard each branch as equiprobable, but (...) we argue that the temptation should be resisted. Applying lessons from this analysis, we demonstrate (using methods similar to those of Zurek's envariance-based derivation) that the Born rule is the uniquely rational way of apportioning credence in Everettian quantum mechanics. In doing so, we rely on a single key principle: changes purely to the environment do not affect the probabilities one ought to assign to measurement outcomes in a local subsystem. We arrive at a method for assigning probabilities in cases that involve both classical and quantum self-locating uncertainty. This method provides unique answers to quantum Sleeping Beauty problems, as well as a well-defined procedure for calculating probabilities in quantum cosmological multiverses with multiple similar observers. (shrink)

Like (ὃμοιος) has the following functions in Aristotle’s philosophy: 1. We know from Aristotle that some thinkers believed that ‘like is known by like.’ (ἡ δέ γνῶσις τοῦ ὁμοίου τῷ ὁμοίῳ). (Met. , B, 1000b5-6 and So., A, 5, 410a27-29 about Empedocles; So., A, 2, 404b16-18 about Plato; So., A, 2, 405b12-16 and b26-28 about those who define the soul by its power of knowing) This, however, is a problematic theory in Aristotle’s point of view. One major problem is that (...) it is in contradiction with saying that like is not capable of being affected by like (though there are some who believe in this: So., B, 5, 416b35-36) simply because knowing and thinking are ways of being affected on their own views. (So., A, 5, 410a23-26) Another reason being that this theory entails that error must be a ‘contact with the unlike’ because it is the opposite of the knowing of like by like. (So., Γ, 3, 427a26-b5) Aristotle also mentions that some thinkers believe that like is fed by like, though there are some others who believe in its converse. (So., B, 4, 416a29-32) He also mentions a theory he assigns to ‘Antisthenes and other such uneducated people’ based on which it is not possible to say what a thing is (τί μέν ἐστι) and its definition but it is possible to say what a thing is like’ (ὃτι δ᾿ οἷον καττίτερος). (Met., H, 1043b23-28) 2. Aristotle posits likeness as distinguished from sameness: things are the same whose substance is one but those are like whose quality is one.’ (Met., Δ, 1021a11-12) Quality is the only basis of similarity and dissimilarity: ‘It is only based on one of the qualities that things are called similar and dissimilar (ὃμοια δὲ καὶ ἀνόμοια κατὰ μόνας τὰς ποιότητας λέγεται). A thing is not similar to another in virtue of anything but that in virtue of which it is qualified.’ (ὃμοιον γὰρ ἓτερον ἑτέρῳ οὐκ ἔστι κατ᾿ ἂλλο οὐδὲν ἢ καθ᾿ ὃ ποιόν ἐστιν) (Cat., 8, 11a15-18) Also, things that are not without difference in their compound substances and thus are not absolutely the same but are the same in their form, are called alike. (Met., I, 1054b3-7) 3. Family resemblance. Aristotle says that some kinds of sameness that are not one due to the sameness of species ought still to be ranked in the same class because they seem to be one family based on a certain likeness and resemblance. (To., I, 7, ^103a10-25) 4. Aristotle distinguishes between two kinds of likeness: a) Likeness between things belonging to different genera with such a formula: as one is to one thing, so is another to something else (e.g. knowledge to object of knowledge and perception to object of perception). (To., I, 17, 108a7-10) b) Likeness between things belonging to the same genus: they are alike in so far as they have any identical attribute. (To., I, 17, ^108a14-17) 5. The contrary of likeness and unlikeness seems to be at least an alternative for primary difference and contrariness. Aristotle asserts that all contraries refer to the primary differences and contraries: ‘Since everything that is may become referring to some one common nature, each of the contraries also may become referring to primary differences and contraries of being, whether the first differences of being are plurality any unity or likeness and unlikeness, or some other differences.’ (Met., K, 1061a10-15; cf Met., K, 1061b11-15; Met., Γ, 1005a6-8) . (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

John Searle has proposed one of the most influential contemporary accounts of social ontology. According to Searle, institutional facts are created by the collective assignment of a specific kind of function —status-function— to pre-existing objects. Thus, a piece of paper counts as money in a certain context because people collectively recognize it as money, and impose a status upon it, which in turn enables that piece of paper to deliver certain functions (means of payment, etc.). The first (...) part of this essay presents Searle’s theory of social ontology and summarizes his views on money. The second part centers on criticisms of his views and compares his theory with its main competitors, including the theories of Tuomela, Guala and Hindriks, and Smit, Buekens and Duplessis. The conclusion attempts to see what may remain of Searle’s theory after careful examination. (shrink)

Apollonius Dyscolus’ use of ambiguity in grammatical problem-solving has in recent years had the benefit of two scholarly studies. David Blank, in the course of his analysis of the Syntax as a whole , has described the broad functions which Apollonius assigns to ambiguity. Jean Lallot's 1988 paper, ‘Apollonius Dyscole et l'ambigüité linguistique: problemes et solutions’, is devoted exclusively to the treatment of linguistic ambiguity in Apollonius’ work. Yet it is to be feared that the flood of light thrown by (...) these scholars on what had been an unregarded corner of ancient grammar has shown up rather more than Apollonius would have cared to admit, both about the nature, and about the prospects for success, of the enterprise on which he was engaged. At the same time, certain structural features of ancient grammar, at least of the ancient grammar which Apollonius himself constructed, have come into sharper focus: features clear enough with the benefit of hindsight, but glimpsed, it appears, all too dimly by Apollonius himslf. It is now worryingly clear not only that ambiguity was ambiguous for Apollonius, but also that the ambiguity of ambiguity represented a genuine threat to the coherence and value of his work. In this paper I set out to justify both these claims. (shrink)

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper (...) names. A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

This paper analyses the section of Nemesius of Emesa’s treatise On the Nature of Man dedicated to fate. The main objective is to analyse Nemesius’s response to the supporters of a notion of fate within the framework of astral determinism, Stoicism, and Middle Platonism. Following a mainly descriptive method, the paper focuses on Nemesius’s own thought and not just on his treatment of his sources, as much of the existing literature has done until now. Without pretending to give a definitive (...) answer on the originality of his own philosophy, we examine how Nemesius assigns some of the functions of fate in one of his Middle Platonic sources to divine providence. In doing so, he develops a personal theology in which he gives an innovative prominence to divine free will and transcendence in the traditional philosophical problem of providence. (shrink)

How surprising is the insight, that being equals I in the 15th lecture of the Doctrine of Science 1804/II? It might have been indeed an unexpected turn for his contemporaries in Berlin listening to Fichte for the first time, but should it be surprising for us, having at least since 2012 (the year the last volume of [Gesamtausgabe] appeared) access to all his published and unpublished works? I want to propose a way of reading Fichte, which bypasses two popular and (...) contradictory interpretations of his philosophy in the post-Jena period: (a) the Absolute is the new first principle (hence the I is just a shadow of the much higher being) and (b) his system basically remains unchanged (hence the being is nothing more than the I). At first, I analyze the functions of later Fichte’s improved version of the Kantian and Reinholdian abstract subject-object-symbolism and assign specific content to it. This will shed light on the structure and the first principle of the Doctrine of Science 1804/II. In the second section I give reasons why Fichte calls both God and I “absolute” and “pure being” and explain their relation to each other referring to a thought experiment sometimes used by Kant—an analogy between the divine and human (pure) reason. The analogical thinking of this kind remains within the borders of transcendental philosophy as long as it is used only for certain didactic purposes. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

It is widely agreed that fiction is necessarily incomplete, but some recent work postulates the existence of universal fictions—stories according to which everything is true. Building such a story is supposedly straightforward: authors can either assert that everything is true in their story, define a complement function that does the assertoric work for them, or, most compellingly, write a story combining a contradiction with the principle of explosion. The case for universal fictions thus turns on the intuitive priority we (...) assign to the law of non-contradiction. My goal in this paper is to show that our critical and reflective literary practices set constraints on story-telling which preclude universal fictions. I will raise four stumbling blocks for universal fictionalists: the gap between saying and making true, our actual interpretive reactions to story-level contradictions, the criteria we accept for what counts as a story in our literary practices, and the undesirability of the universal fictionalist’s closure principles. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

Several areas of welfare economics seek to evaluate states of affairs as a function of interpersonally comparable individual utilities. The aim is to map each state of affairs onto a vector of individual utilities, and then to produce an ordering of these vectors that can be represented by a mathematical function assigning a real number to each. When this approach is used in intertemporal contexts, a central theoretical question concerns the evaluative weight to be applied to utility coming (...) at different times. This question concerns the rate of pure time preference, which is one key determinant of the social discount rate. This article argues that the standard philosophical account of pure time preference is mistaken, because it ascribes to economists a methodological commitment they need not, and often do not, accept. This in turn undercuts the most common philosophical objection to pure time preference, which traces at least to Rawls’s A Theory of Justice. The article then evaluates three further objections to pure time preference, concluding that it might still be defensible under certain circumstances. The article closes by articulating a final argument that is suggested by the “Social, Economic and Ethical Concepts and Methods” chapter of the most recent Intergovernmental Panel on Climate Change report. If this further argument is sound, it would constitute a decisive objection to pure time preference as it currently figures in much intertemporal welfare economics. (shrink)

Deontological theories face difficulties in accounting for situations involving risk; the most natural ways of extending deontological principles to such situations have unpalatable consequences. In extending ethical principles to decision under risk, theorists often assume the risk must be incorporated into the theory by means of a function from the product of probability assignments to certain values. Deontologists should reject this assumption; essentially different actions are available to the agent when she cannot know that a certain act is in (...) her power, so we cannot simply understand her choice situation as a “risk-weighted” version of choice under certainty. (shrink)

The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to which (...) this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (shrink)

In line with familiar portrayals of Kant's ethics, interpreters of his philosophy of education focus essentially on its intellectual dimension: the notions of moral catechism, ethical gymnastics and ethical ascetics, to name but a few. By doing so, they usually emphasise Kant's negative stance towards the role of feelings in moral education. Yet there seem to be noteworthy exceptions: Kant writes that the inclinations to be honoured and loved are to be preserved as far as possible. This statement is not (...) only at odds with Kant's general claim that education should not encourage feelings, but more importantly, it encourages a feeling that is in many ways paradigmatically un-Kantian. How are we to understand the fact that of all feelings, the love of honour should be preserved? To answer this question, I begin by clarifying the reasons behind Kant's negative stance towards feelings in moral education. I then turn to his account of the feeling of love of honour. After distinguishing between its good and its bad forms, I consider two ways of making sense of the positive role Kant assigns to it. The first, modest reading will suggest that the feeling of love of honour is morally useful because it has two functions: an epistemic one, and a motivational one. The second, more ambitious reading will suggest that the feeling of love of honour enables the child to experience her inner worth as bearer of value. (shrink)

Within the causal modeling literature, debates about the Causal Faithfulness Condition have concerned whether it is probable that the parameters in causal models will have values such that distinct causal paths will cancel. As the parameters in a model are fixed by the probability distribution over its variables, it is initially puzzling what it means to assign probabilities to these parameters. I propose that to assign a probability to a parameter in a model is to treat that parameter as a (...) function of a variable in an augmented model. By combining this proposal with widely adopted principles regarding which variables must be included in a model, I argue that the various proposed counterexamples to CFC involving coordinated parameters are not genuine counterexamples. I then consider the cases in which CFC fails due not to coordination, but by coincidence, and propose explanatory and predictive bases for ruling out such coincidences without presuming that they are improbable. The aim of the proposed defenses is not to show that CFC never fails, but rather to argue that its use in a particular context may be defended using general modeling assumptions rather than by relying on claims about how often it fails. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

ABSTRACT Our ascriptions of content to past utterances assign to them a level of conceptual continuity and determinacy that extends beyond what could be grounded in the usage up to their time of utterance. If one accepts such ascriptions, one can argue either that future use must be added to the grounding base, or that such cases show that meaning is not, ultimately, grounded in use. The following will defend the first option as the more promising of the two, though (...) this ultimately requires understanding the relation between use and meaning as ‘normative’ in two important ways. The first way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between actual and correct use. The second sort of normativity is unique to theories that extend the grounding base into the future. In particular, if meaning is partially a function of future use, we can see our commitment to the ‘determinacy’ of meaning as a practical commitment that structures our linguistic practices rather than a theoretical commitment that merely describes them. (shrink)

The second volume of “Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond” presents a deep exploration of the progress in uncertain combinatorics through innovative methodologies like graphization, hyperization, and uncertainization. This volume integrates foundational concepts from fuzzy, neutrosophic, soft, and rough set theory, among others, to further advance the field. Combinatorics and set theory, two central pillars of mathematics, focus on counting, arrangement, and the study of collections under defined rules. Combinatorics excels in handling (...) uncertainty, while set theory has evolved with concepts such as fuzzy and neutrosophic sets, which enable the modeling of complex real-world uncertainties by addressing truth, indeterminacy, and falsehood. These advancements, when combined with graph theory, give rise to novel forms of uncertain sets in "graphized" structures, including hypergraphs and superhypergraphs. Innovations such as Neutrosophic Oversets, Undersets, and Offsets, as well as the Nonstandard Real Set, build upon traditional graph concepts, pushing both theoretical and practical boundaries. The synthesis of combinatorics, set theory, and graph theory in this volume provides a robust framework for addressing the complexities and uncertainties inherent in both mathematical and real-world systems, paving the way for future research and application. In the first chapter, “A Review of the Hierarchy of Plithogenic, Neutrosophic, and Fuzzy Graphs: Survey and Applications”, the authors investigate the interrelationships among various graph classes, including Plithogenic graphs, and explore other related structures. Graph theory, a fundamental branch of mathematics, focuses on networks of nodes and edges, studying their paths, structures, and properties. A Fuzzy Graph extends this concept by assigning a membership degree between 0 and 1 to each edge and vertex, representing the level of uncertainty. The Turiyam Neutrosophic Graph is introduced as an extension of both Neutrosophic and Fuzzy Graphs, while Plithogenic graphs offer a potent method for managing uncertainty. The second chapter, “Review of Some Superhypergraph Classes: Directed, Bidirected, Soft, and Rough”, examines advanced graph structures such as directed superhypergraphs, bidirected hypergraphs, soft superhypergraphs, and rough superhypergraphs. Classical graph classes include undirected graphs, where edges lack orientation, and directed graphs, where edges have specific directions. Recent innovations, including bidirected graphs, have sparked ongoing research and significant advancements in the field. Soft Sets and their extension to Soft Graphs provide a flexible framework for managing uncertainty, while Rough Sets and Rough Graphs address uncertainty by using lower and upper approximations to handle imprecise data. Hypergraphs generalize traditional graphs by allowing edges, or hyperedges, to connect more than two vertices. Superhypergraphs further extend this by allowing both vertices and edges to represent subsets, facilitating the modeling of hierarchical and group-based relationships. The third chapter, “Survey of Intersection Graphs, Fuzzy Graphs, and Neutrosophic Graphs”, explores the intersection graph models within the realms of Fuzzy Graphs, Intuitionistic Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. The chapter highlights their mathematical properties and interrelationships, reflecting the growing number of graph classes being developed in these areas. Intersection graphs, such as Unit Square Graphs, Circle Graphs, and Ray Intersection Graphs, are crucial for understanding complex graph structures in uncertain environments. The fourth chapter, “Fundamental Computational Problems and Algorithms for SuperHyperGraphs”, addresses optimization problems within the SuperHypergraph framework, such as the SuperHypergraph Partition Problem, Reachability, and Minimum Spanning SuperHypertree. The chapter also adapts classical problems like the Traveling Salesman Problem and the Chinese Postman Problem to the SuperHypergraph context, exploring how hypergraphs, which allow hyperedges to connect more than two vertices, can be used to solve complex hierarchical and relational problems. The fifth chapter, “A Short Note on the Basic Graph Construction Algorithm for Plithogenic Graphs”, delves into algorithms designed for Plithogenic Graphs and Intuitionistic Plithogenic Graphs, analyzing their complexity and validity. Plithogenic Graphs model multi-valued attributes by incorporating membership and contradiction functions, offering a nuanced representation of complex relationships. The sixth chapter, “Short Note of Bunch Graph in Fuzzy, Neutrosophic, and Plithogenic Graphs”, generalizes traditional graph theory by representing nodes as groups (bunches) rather than individual entities. This approach enables the modeling of both competition and collaboration within a network. The chapter explores various uncertain models of bunch graphs, including Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. In the seventh chapter, “A Reconsideration of Advanced Concepts in Neutrosophic Graphs: Smart, Zero Divisor, Layered, Weak, Semi, and Chemical Graphs”, the authors extend several fuzzy graph classes to Neutrosophic graphs and analyze their properties. Neutrosophic Graphs, a generalization of fuzzy graphs, incorporate degrees of truth, indeterminacy, and falsity to model uncertainty more effectively. The eighth chapter, “Short Note of Even-Hole-Graph for Uncertain Graph”, focuses on Even-Hole-Free and Meyniel Graphs analyzed within the frameworks of Fuzzy, Neutrosophic, Turiyam Neutrosophic, and Plithogenic Graphs. The study investigates the structure of these graphs, with an emphasis on their implications for uncertainty modeling. The ninth chapter, “Survey of Planar and Outerplanar Graphs in Fuzzy and Neutrosophic Graphs”, explores planar and outerplanar graphs, as well as apex graphs, within the contexts of fuzzy, neutrosophic, Turiyam Neutrosophic, and plithogenic graphs. The chapter examines how these types of graphs are used to model uncertain parameters and relationships in mathematical and real-world systems. The tenth chapter, “General Plithogenic Soft Rough Graphs and Some Related Graph Classes”, introduces and explores new concepts such as Turiyam Neutrosophic Soft Graphs and General Plithogenic Soft Graphs. The chapter also examines models of uncertain graphs, including Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Graphs, all designed to handle uncertainty in diverse contexts. The eleventh chapter, “Survey of Trees, Forests, and Paths in Fuzzy and Neutrosophic Graphs”, provides a comprehensive study of Trees, Forests, and Paths within the framework of Fuzzy and Neutrosophic Graphs. This chapter focuses on classifying and analyzing graph structures like trees and paths in uncertain environments, contributing to the ongoing development of graph theory in the context of uncertainty. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand (...) class='Hi'>function of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

Shuford, Albert and Massengill proved, a half century ago, that the logarithmic scoring rule is the only proper measure of inaccuracy determined by a differentiable function of probability assigned the actual cell of a scored partition. In spite of this, the log rule has gained less traction in applied disciplines and among formal epistemologists that one might expect. In this paper we show that the differentiability criterion in the Shuford et. al. result is unnecessary and use the resulting simplified (...) characterization of the logarithmic rule to give novel arguments in favor of it. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

We analyze Case in terms of independent constraints on syntactic structures — namely, the Projection Principle (inherent Case), the ECP (marked structural Case), and the theory of extended projections (the nominative, a Caseless nominal projection). The resulting theory accounts for (1) the government constraint on Case assignment, (2) all major Case systems (accusative, ergative, active, three-way, and split), (3) Case alternations (passive, antipassive, and ECM), and (4) the Case of nominal possessors. Structural Case may correlate with pronominal agreement because (...) the former can, and the latter must, involve antecedent-government by a functional head. However, neither phenomenon implies the other. (shrink)

Some propositions are more epistemically important than others. Further, how important a proposition is is often a contingent matter—some propositions count more in some worlds than in others. Epistemic Utility Theory cannot accommodate this fact, at least not in any standard way. For EUT to be successful, legitimate measures of epistemic utility must be proper, i.e., every probability function must assign itself maximum expected utility. Once we vary the importance of propositions across worlds, however, normal measures of epistemic utility (...) become improper. I argue there isn’t any good way out for EUT. (shrink)

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: (...) a standard by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)

This paper introduces Resolution Matrix Semantics (RMS), a novel truth-value-based framework for modal logic, offering a substantive alternative to Kripke’s relational semantics of possible worlds. Inspired by Y. Ivlev’s substantive semantics, RMS employs a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, KT4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By assigning truth values directly via an interpretation (...) function and resolving indeterminacy through sub-interpretations, RMS validates formulas without accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s flexibility extends to applications in deontic logic, artificial intelligence, and quantum computing, modeling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, illuminating modal reasoning’s nuances through a truth-centric lens. (shrink)

Despite the prevalence of externalization, much work in the ethics of immigration continues to assume that the admission of immigrants is determined by state immigration officials who decide whether to admit travelers at official crossings. This assumption neglects how decisions about entrance have been increasingly relocated abroad – to international waters, consular offices, airports, or foreign territories – often with non-governmental or private actors, as well as foreign governments functioning as intermediaries. Externalization poses a fundamental challenge to achieving just migration (...) policies. It reliably harms vulnerable people, prevents refugees from receiving protection, leads to human rights abuses, and dissipates blame and accountability, creating a serious lacuna in assigning moral responsibility. (shrink)

A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements (...) about a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only “metaphorically”. It will demolish transmitting the result “literally”, i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different “signs” in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)