The algebraic structure of the 8-spinor formalism is discussed, and the general form of the 8-component wave equation, equivalent to the second-order 4-component one, is presented. This allows a canonical formulation that will be the first stage of the future Clebsch parametrization, i.e., a relativistic generalization of the Bohm-Schiller-Tiomno pioneering work on the Pauli equation.

As part of a recent attempt to extend the methods of formal semantics beyond language, it has been claimed that music has an abstract truth-conditional semantics, albeit one that has more in common with iconic semantics than with standard compositional semantics. After summarizing this approach and addressing a common objection, we argue that music semantics should be enriched in three directions by incorporating insights of other areas of Super Semantics. First, it has been claimed by Abusch 2013 that visual narratives (...) make use of discourse referents akin to those we find in language. We argue that a similar conclusion extends to music, and we highlight it by investigating ways in which orchestration and dance may make cross-referential dependencies more explicit. Second, we show that by bringing music semantics closer to the semantics of visual narratives, we can give an account of the semantics of mixed visual and musical sequences. Third, it has been claimed that co-speech gestures trigger characteristic conditionalized presuppositions, called ‘cosuppositions’, and that their semantic status derives from their parasitic character relative to words. We argue that the same conclusion extends to some instances of film and cartoon music: it may trigger cosuppositions that can be revealed by embedding film excerpts or gifs in sentences so as to test presupposition projection. We further argue that under special discourse conditions, pro-speech gestures and pro-speech music alike can trigger cosuppositions as well. These results suggest that new insights can be gained not just by extending the methods of semantics to new objects, but also by drawing new connections among them. (shrink)

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

The Pareto principle states that if the members of society express the same preference judgment between two options, this judgment is compelling for society. A building block of normative economics and social choice theory, and often borrowed by contemporary political philosophy, the principle has rarely been subjected to philosophical criticism. The paper objects to it on the ground that it indifferently applies to those cases in which the individuals agree on both their expressed preferences and their reasons for entertaining them, (...) and those cases in which they agree on their expressed preferences, while differing on their reasons. The latter are cases of "spurious unanimity", and it is normatively inappropriate, or so the paper argues, to defend unanimity preservation at the social level for them, so the Pareto principle is formulated much too broadly. The objection seems especially powerful when the principle is applied in an ex ante context of uncertainty, in which individuals can disagree on both their probabilities and utilities, and nonetheless agree on their preferences over prospects. (shrink)

This research investigates 3- and 5-year-olds' relative fairness in distributing small collections of even or odd numbers of more or less desirable candies, either with an adult experimenter or between two dolls. The authors compare more than 200 children from around the world, growing up in seven highly contrasted cultural and economic contexts, from rich and poor urban areas, to small-scale traditional and rural communities. Across cultures, young children tend to optimize their own gain, not showing many signs of self-sacrifice (...) or generosity. Already by 3 years of age, self-optimizing in distributive justice is based on perspective taking and rudiments of mind reading. By 5 years, overall, children tend to show more fairness in sharing. What varies across cultures is the magnitude of young children's self-interest. More fairness (less self-interest) in distributive justice is evident by children growing up in small-scale urban and traditional societies thought to promote more collective values. (shrink)

Based on the analysis of narrations in Free Indirect Discourse and the Historical Present, we argue that the grammatical notion of context of speech should be ramified into a Context of Thought and a Context of Utterance. Tense and person depend on the Context of Utterance, while all other indexicals are evaluated with respect to the Context of Thought. Free Indirect Discourse and the Historical Present are analyzed as special combinatorial possibilities that arise when the two contexts are distinct, and (...) exactly one of them is presented as identical to the physical point at which the sentence is articulated. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...) abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

« La méthode est seule capable d’empêcher les jugements précipités, de faire en sorte que l’entendement soit informé comme il se doit, qu’il puisse connaître et affirmer le vrai et le bien, avant que la volonté ne donne son acquiescement. Il faut que d’une grande clarté en l’entendement suive une grande inclination en la volonté pour que nous puissions nous croire plus libres, puisque non assujettis aux pulsions et à la contingence, en obéissant à la détermination rationnelle. ».

ASL can express plurals by repeating a noun, in an unpunctuated fashion, in different parts of signing space. We argue that this construction may come with a rich iconic component: the geometric arrangement of the repetitions provides information about the arrangement of the denoted plurality; in addition, the number and speed of the repetitions provide information about the size of the denoted plurality. Interestingly, the shape of the repetitions may introduce a new singular discourse referent when a vertex can be (...) inferred to denote a singular object. Thus one may point towards the first or last iteration of a horizontal repetition of BOOK to denote the left- or right-edge of the corresponding row. This yields a remarkable interaction between iconic semantics and standard logical semantics. We show that our analysis extends to ‘punctuated’ repetitions, which involve clearly individuated iterations of a singular noun. While these may initially look like coordinated indefinites, they are better handled by the same iconic framework as plural, unpunctuated repetitions. Some repetition-based mass terms also give rise to iconic effects, and to different readings depending on whether the repetition is continuous, unpunctuated, or punctuated. Our analysis highlights the need for a formal semantics with iconicity to study the integration of such iconic and logical conditions. It also raises a question: can similar facts be found in spoken language when gestures are taken into account? We suggest that several effects can be replicated, especially when one considers examples involving ‘pro-speech gestures’. (shrink)

When do children become aware of themselves as differentiated and unique entity in the world? When and how do they become self-aware? Based on some recent empirical evidence, 5 levels of self-awareness are presented and discussed as they chronologically unfold from the moment of birth to approximately 4-5 years of age. A natural history of children's developing self-awareness is proposed as well as a model of adult self-awareness that is informed by the dynamic of early development. Adult self-awareness is viewed (...) as the dynamic flux between basic levels of consciousness that develop chronologically early in life. (shrink)

Following a previous elaboration of the concept of weak individuality and some examples of its instances in ecology and biology, the article focuses on general features of the concept, arguing that in any ontological field individuals are understood on the basis of our knowledge of interactions, through the application of these general formulas for extracting individuals from interactions. Then, the specificities of the individuality in the sense of this weak concept are examined in ecology; I conclude by addressing the differences (...) between ecosystems and organisms as they appear in the viewpoint of such concept. (shrink)

Biological individuals are usually defined by evolutionists through a reference to natural selection. This article looks for a concept of individuality that would hold at the same time for organisms and for communities or ecosystems, the latter being unaffected by natural selection. In the wake of Simon’s notion of “quasi-independence,” I elaborate a concept of “weak individuality” defined by probabilistic connections between sub-entities, read off our knowledge of their interactions. This formal scheme of connections allows one to infer what are (...) the individuals in the domain addressed by the theory of the interactions. The article argues that if ecosystems do not have strong individuality, they still possess a weak individuality, ecological theories providing the values of the variables in the formula for individuality. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

We investigate the conflict between the ex ante and ex post criteria of social welfare in a new framework of individual and social decisions, which distinguishes between two sources of uncertainty, here interpreted as an objective and a subjective source respectively. This framework makes it possible to endow the individuals and society not only with ex ante and ex post preferences, as is usually done, but also with interim preferences of two kinds, and correspondingly, to introduce interim forms of the (...) Pareto principle. After characterizing the ex ante and ex post criteria, we present a first solution to their conflict that extends the former as much possible in the direction of the latter. Then, we present a second solution, which goes in the opposite direction, and is also maximally assertive. Both solutions translate the assumed Pareto conditions into weighted additive utility representations, and both attribute to the individuals common probability values on the objective source of uncertainty, and different probability values on the subjective source. We discuss these solutions in terms of two conceptual arguments, i.e., the by now classic spurious unanimity argument and a novel informational argument labelled complementary ignorance. The paper complies with the standard economic methodology of basing probability and utility representations on preference axioms, but for the sake of completeness, also considers a construal of objective uncertainty based on the assumption of an exogeneously given probability measure. JEL classification: D70; D81. (shrink)

Following a long-standing philosophical tradition, impartiality is a distinctive and determining feature of moral judgments, especially in matters of distributive justice. This broad ethical tradition was revived in welfare economics by Vickrey, and above all, Harsanyi, under the form of the so-called Impartial Observer Theorem. The paper offers an analytical reconstruction of this argument and a step-wise philosophical critique of its premisses. It eventually provides a new formal version of the theorem based on subjective probability.

The paper analyses economic evaluations by distinguishing evaluative statements from actual value judgments. From this basis, it compares four solutions to the value neutrality problem in economics. After rebutting the strong theses about neutrality (normative economics is illegitimate) and non-neutrality (the social sciences are value-impregnated), the paper settles the case between the weak neutrality thesis (common in welfare economics) and a novel, weak non-neutrality thesis that extends the realm of normative economics more widely than the other weak thesis does.

This book aims to make the pragmatist intellectual framework accessible to organization and management scholars. It presents some fundamental concepts of Pragmatism, their potential application to the study of organizations and the resulting theoretical, methodological, and practical issues.

Simone Weil (1909-1943) foi filósofa, escritora, ativista política e humanista. Nasceu em Paris, no seio de família judaica. Formou-se em filosofia pela Université de Sorbonne e se tornou a primeira mulher catedrática da França. Militou fervorosamente pela causa dos trabalhadores fabris e, posteriormente, lutou na Guerra Civil Espanhola. Faleceu aos trinta e quatro anos por motivos de saúde.[1] [1] Para mais informações, vide texto disponível em:. Acesso em: 25 de junho de 2019.

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

Sign languages are known to display the same general grammatical properties as spoken languages, but also to make greater use of iconic mechanisms. In Schlenker et al.’s ‘Iconic Variables’ :91–149, 2013), it was argued that loci can have an iconic semantics, in the sense that certain geometric relations among loci are preserved by the interpretation function. Here we ask whether plural and height specifications of loci display the formal behavior of phi-features in remaining uninterpreted in focus- and ellipsis-constructions. Data from (...) ASL and LSF show that plural and height specifications may indeed remain uninterpreted in these constructions; furthermore, there are cases in which a single high locus is construed iconically and left uninterpreted in the course of ellipsis resolution. We argue that our data are compatible with two theories. According to the Strong View, plural and height specifications of loci display exactly the behavior of spoken language features. According to the Weak View, our data just show that plural and height specifications share the behavior of features and other non-assertive elements in being separable from the referential terms they specify. Our LSF data are compatible with the Weak View; our ASL data might provide support for the Strong View. While our aim is merely to open the debate about the featural status of iconic specifications, the question is of some importance: if features are innate and primitive elements of grammar, and if some of them have an intrinsically geometric semantics, the signed modality might play a greater role than is usually thought at the very core of Universal Grammar. (shrink)

We provide a systematic recipe for eliminating self-reference from a simple language in which semantic paradoxes (whether purely logical or empirical) can be expressed. We start from a non-quantificational language L which contains a truth predicate and sentence names, and we associate to each sentence F of L an infinite series of translations h 0(F), h 1(F), ..., stated in a quantificational language L *. Under certain conditions, we show that none of the translations is self-referential, but that any one (...) of them perfectly mirrors the semantic behavior of the original. The result, which can be seen as a generalization of recent work by Yablo (1993, Analysis, 53, 251–252; 2004, Self-reference, CSLI) and Cook (2004, Journal of Symbolic Logic, 69(3), 767–774), shows that under certain conditions self-reference is not essential to any of the semantic phenomena that can be obtained in a simple language. (shrink)

Kant’s analysis of the concept of natural purpose in the Critique of judgment captured several features of organisms that he argued warranted making them the objects of a special field of study, in need of a special regulative teleological principle. By showing that organisms have to be conceived as self-organizing wholes, epigenetically built according to the idea of a whole that we must presuppose, Kant accounted for three features of organisms conflated in the biological sciences of the period: adaptation, functionality (...) and conservation of forms..Kant’s unitary concept of natural purpose was subsequently split in two directions: first by Cuvier’s comparative anatomy, that would draw on the idea of adaptative functions as a regulative principle for understanding in reconstituting and classifying organisms; and then by Goethe’s and Geoffroy’s morphology, a science of the general transformations of living forms. However, such general transformations in nature, objects of an alleged ‘archaeology of nature’, were thought impossible by Kant in the §80 of the Critique of judgment. Goethe made this ‘adventure of reason’ possible by changing the sense of ‘explanation’: scientific explanation was shifted from the investigation of the mechanical processes of generation of individual organisms to the unveiling of some ideal transformations of types instantiated by those organisms. (shrink)

This article debunks Bruno Latour’s seemingly pro-scientific and well-intentioned posture. I briefly summarize Latour’s constructivist, relativist, hybridist, and mystic philosophy, insisting on his radicalization in his last two books. I show that Latour’s conception is akin to “pseudo-profound bullshit”, inasmuch as he tries to hide his mysticism behind the invocation of scientific facts. I then concentrate on Latour’s politicization of climate science, showing that it is: self-contradictory from an epistemological point of view, since it presupposes scientifically established facts while at (...) the same time undermining their objectivity; counterproductive, and even dangerous, from the political point of view, since it recommends a full politicization of climate science and ignores its harmful effects. I conclude by advocating a distinction between science and politics, and by showing that Latour’s philosophy fosters our current post-truth predicament. (shrink)

The paper has a twofold aim. On the one hand, it provides what appears to be the first game-theoretic modeling of Napoleon’s last campaign, which ended dramatically on 18 June 1815 at Waterloo. It is specifically concerned with the decision Napoleon made on 17 June 1815 to detach part of his army against the Prussians he had defeated, though not destroyed, on 16 June at Ligny. Military historians agree that this decision was crucial but disagree about whether it was rational. (...) Hypothesizing a zero-sum game between Napoleon and Blücher, and computing its solution, we show that it could have been a cautious strategy on the former's part to divide his army, a conclusion which runs counter to the charges of misjudgement commonly heard since Clausewitz. On the other hand, the paper addresses methodological issues. We defend its case study against the objections of irrelevance that have been raised elsewhere against “analytic narratives”, and conclude that military campaigns provide an opportunity for successful application of the formal theories of rational choice. Generalizing the argument, we finally investigate the conflict between narrative accounts – the historians' standard mode of expression – and mathematical modeling. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

The relations between rationality and optimization have been widely discussed in the wake of Herbert Simon's work, with the common conclusion that the rationality concept does not imply the optimization principle. The paper is partly concerned with adding evidence for this view, but its main, more challenging objective is to question the converse implication from optimization to rationality, which is accepted even by bounded rationality theorists. We discuss three topics in succession: (1) rationally defensible cyclical choices, (2) the revealed preference (...) theory of optimization, and (3) the infinite regress of optimization. We conclude that (1) and (2) provide evidence only for the weak thesis that rationality does not imply optimization. But (3) is seen to deliver a significant argument for the strong thesis that optimization does not imply rationality. (shrink)

Description courte (Électre, 2019) : Une étude d'un des principaux axes de réflexion du philosophe des sciences et de la nature Raymond Ruyer (1902-1987). À la lumière des découvertes de l'embryogenèse et en s'appuyant par ailleurs sur la théorie de l'information, il proposa une interprétation des concepts unificateurs de la cybernétique mécaniste. -/- Short Descriptor (Electre 2019): A study of one of the main axes of reflection of the French philosopher of science and of nature Raymond Ruyer (1902-1987). Relying on (...) the discoveries about embryogenesis, and also with the use of information theory, Ruyer proposed an interpretation of the main unifying concepts of mechanistic cybernetics. -/- Cet ouvrage propose une étude fouillée d'un des principaux axes de réflexion du philosophe des sciences et de la nature français Raymond Ruyer (1902–1987) : la cybernétique. Après avoir proposé une philosophie structuraliste, Ruyer la modifia à la lumière des découvertes de l'embryogenèse, puis il proposa une interprétation des concepts unificateurs de la cybernétique mécaniste. Réfléchissant sur cette dernière et sur la théorie de l'information, en particulier sur l'origine de l'information, il défendit que cette cybernétique n'était qu'une lecture inversée de la vraie cybernétique, qui nous donnerait de lire dans l'expérience même les traces du pouvoir morphogénétique, appréhendé comme un champ axiologique. Dans un texte résumant son propre parcours, Ruyer affirma finalement que la critique de la théorie de l'information « peut donner […] l'espoir d'aboutir à quelque chose comme une nouvelle théologie. » Les idées directrices de Ruyer sont tout particulièrement contextualisées ici à partir de la question du développement des formes en biologie, et de celles de la génétique, de la genèse stochastique de l'ordre, et de l'identification mentale ou physique de l'information. Il se termine en départageant ce qui est théologique et axiologique dans ce projet de métaphysique qui, bien que resté inachevé, n'en représente pas moins le plus impressionnant conçu en France au siècle dernier. – This book offers an in-depth study of one of the main axes in the reflection of French philosopher of science and nature Raymond Ruyer. In a text summarising his own development, Ruyer stated about the philosophical critique of information theory that it "is what can give the most long-lasting hope of getting to something like a new theology." After propounding a structuralist philosophy, and distinguishing between form and structure, to then modify it in the light of discoveries in embryogenesis, Ruyer offered a re-evaluation of the unifying concepts of mechanistic cybernetics. Thinking about it and about information theory, he defended the idea that this cybernetics was in reality an inverted reading of the real one, which would allow us to read in experience itself traces of the morphogenetic power, apprehended as the axiological field. On some transversal points, the development of forms in biology and genetics, the stochastic genesis of order, the identification of information with either psychological and mental, or physical reality, behaviour, and the access to meaning, this work exposes the main ideas of Ruyer while situating them in the context of the breadth of others' contributions. It ends by determining what is theological and axiological in this project for a metaphysics which, although unfinished, is nevertheless the most impressive effort done in France in the last century. – Available on i6doc dot com (ISBN 978-2-930517-56-8 ; pdf 978-2-930517-57-5). (shrink)

The sense of shared values is a specific aspect of human sociality. It originates from reciprocal social exchanges that include imitation, and empathy, but also negotiation from which meanings, values and norms are eventually constructed with others. Research suggests that this process starts from birth via imitation and mirroring processes that are important foundations of sociality providing a basic sense of social connectedness and mutual acknowledgment with others. From the second month, mirroring, imitative and other contagious responses are bypassed. Neonatal (...) imitation gives way to first signs of reciprocation (primary intersubjectivity), and joint attention in reference to objects (secondary intersubjectivity). We review this development and propose a third level of intersubjectivity, that is the emergence of values that are jointly represented and negotiated with others, as well as the development of an ethical stance accompanying emerging theories of mind from about 4 years of age. We propose that tertiary intersubjectivity is an ontogenetically new process of value negotiation and mutual recognition that are the cardinal trademarks of human sociality. (shrink)

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.

ABSTRACT. The relations between rationality and optimization have been widely discussed in the wake of Herbert Simon’s work, with the common conclusion that the rationality concept does not imply the optimization principle. The paper is partly concerned with adding evidence for this view, but its main, more challenging objective is to question the converse implication from optimization to rationality, which is accepted even by bounded rationality theorists. We discuss three topics in succession: (1) rationally defensible cyclical choices, (2) the revealed (...) preference theory of optimization, and (3) the infinite regress of optimization. We conclude that (1) and (2) provide evidence only for the weak thesis that rationality does not imply optimization. But (3) is seen to deliver a significant argument for the strong thesis that optimization does not imply rationality. (shrink)

The paper revisits the rationality principle from the particular perspective of the unity of social sciences. It has been argued that the principle was the unique law of the social sciences and that accordingly there are no deep differences between them (Popper). It has also been argued that the rationality principle was specific to economics as opposed to the other social sciences, especially sociology (Pareto). The paper rejects these opposite views on the grounds that the rationality principle is strictly metaphysical (...) and does not have the logical force required to deliver interesting deductions. Explanation in the social sciences takes place at a level of specialization that is always higher than that of the principle itself. However, what is peculiar about economics is that it specializes the explanatory rational schemes to a degree unparalleled in history and sociology. As a consequence, there is a backward-and-forward move between specific and general formulations of rationality that takes place in economics and has no analogue in the other social sciences. (shrink)

This article critically discusses the concept of economic rationality, arguing that it is too narrow and specific to encompass the full concept of practical rationality. Economic rationality is identified here with the use of the optimizing model of decision, as well as of expected utility apparatus to deal with uncertainty. To argue that practical rationality is broader than economic rationality, the article claims that practical rationality includes bounded rationality as a particular case, and that bounded rationality cannot be reduced to (...) economic rationality as defined here. (shrink)

An introduction to semantics for the general reader. How things mean, from animal communication to music.

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

The informational content conveyed by utterances has two sources:meaning as it is encoded in words and rules of semantic composition (often called literal or semantic meaning) and further inferences that may be obtained by reasoning on the speaker's motives (the conjunction of these inferences with the literal meaning is often called the strengthened or pragmatic meaning of the sentence). While in simple cases the difference can seem obvious enough, in general this is not so, and the investigation of the semantics–pragmatics (...) interface has proven to be one of the most vibrant areas of research in contemporary studies of meaning. We will survey three domains – scalar implicatures, presuppositions, and conventional implicatures – in which there are considerable empirical benefits to be obtained from this enterprise. However, it is also of foundational and methodological interest: knowledge of semantic meaning is part of knowledge of language; by contrast, pragmatic inferences are derived in part from the assumption that the speaker obeys certain rules of behavior – typically ones dictated by rationality (which may, for instance, lead to the maximization of the utility of an utterance to the speaker or to others). Owing to foundational interest in the interaction between language and reasoning, the study of the semantics– pragmatics interface originated in philosophy; however, it quickly became a central topic within linguistics and psycholinguistics, and the convergence of results from these last two fields has resulted in rich cross-disciplinary exchanges. For reasons of space, we do not consider psycholinguistic results in this survey, but it should be said at the outset that they have changed the face of the field by providing new and more reliable data (for instance, on processing and language acquisition) and sometimes by challenging data that had too quickly become solidified on the basis of unsystematic introspection alone. -/- As we will see, the debates are more open than ever. Scalar implicatures, which were usually considered a staple of pragmatic reasoning, have recently been reassigned to the semantics or even to the syntax by proponents of locally computed implicatures (‘localists’ for short). (shrink)

Ecology in principle is tied to evolution, since communities and ecosystems result from evolution and ecological conditions determine fitness values. Yet the two disciplines of evolution and ecology were not unified in the twentieth-century. The architects of the Modern Synthesis, and especially Julian Huxley, constantly pushed for such integration, but the major ideas of the Synthesis—namely, the privileged role of selection and the key role of gene frequencies in evolution—did not directly or immediately translate into ecological science. In this paper (...) I consider five stages through which the Synthesis was integrated into ecology and distinguish between various ways in which a possible integration was gained. I start with Elton’s animal ecology, then consider successively Ford’s ecological genetics in the 1940s, the major textbook Principles of animal ecology edited by Allee et al., and the debates over the role of competition in population regulation in the 1950s, ending with Hutchinson’s niche concept and McArthur and Wilson’s Principles of Island Biogeography viewed as a formal transposition of Modern Synthesis explanatory schemes. I will emphasize the key role of founders of the Synthesis at each stage of this very nonlinear history. (shrink)