The autonomous person is one who has, in some sense, mastery over their desires. The prevailing way to understand such personal autonomy is in terms of a hierarchy of desires. For Harry Frankfurt, persons not only have first-order desires, but possess the additional capacity to form second-order desires. Second-order desires are formed through reflection on first-order desires and are thus expressive of the rational capacity which is (...) characteristic of persons. Frankfurt's account of freedom of the will is founded on his analysis of persons. It is only because persons possess second-order desires, resulting from their capacity for rational evaluation of first-order desires, that persons (and not those Frankfurt calls 'wantons') are well placed to possess freedom of will. Various objections have been raised in the literature against such second-order desire accounts of freedom of the will or autonomy. In my article, I raise the problem of instrumental second-order desires. I discuss the forms instrumental second-order desires can take and attempt to show that these cannot be the second-order desires that Frankfurt has in mind in his account. I then extend my critique by looking at non-instrumental second-order desires. I consider various forms which non-instrumental second-order desires can take and advance the argument that Frankfurt cannot have second-order desires such as these in mind either. Finally, I note that none of the suggestions considered will deliver a second-order desire account of autonomy, and that it is baffling just what Frankfurt does have in mind. (shrink)

In this article I look at some the issues, problems and self-imposed dilemmas that emerge from Harry Frankfurt’s well-known essay ‘Freedom of the Will and the Concept of a Person’. That essay has exerted a widespread influence on subsequent thinking in ethics and philosophy of mind, especially through its central idea of ‘second-order’ desires and volitions. Frankfurt’s approach promises a third-way solution to certain longstanding issues – chiefly those of free-will versus determinism and the mind/body problem – (...) that have up to now resisted the best efforts of philosophical deliverance or therapy. It looks very much like the kind of answer that would avoid the ‘high priori road’ of any Kantian or suchlike metaphysical approach by adopting a broadly naturalized conception of human moral agency while not going so far down the path toward wholesale ethical naturalism as to lose the benefits that come with the Kantian conception. However I suggest that this appearance is deceptive and that Frankfurt’s way of addressing these issues – especially his leading idea of second-order desires and volitions – lies open to a long-familiar range of objections from both a naturalist and a strong autonomist quarter. More specifically, I show that his notion of moral will as possessing a multiplex structure whereby higher-order volitions can reject or countermand the promptings of unregenerate first-order desire is one that must inherently give rise to various problems of a logical, metaphysical, and – most importantly in this context – ethical character. I conclude that a thoroughgoing naturalism is the only response that can meet the kinds of challenge increasingly mounted from various scientific quarters, notably those of neurophysiology and cognitive psychology.U ovome članku razmatram neka pitanja, probleme i, kako mi se čini, samonametnute dileme koje proizlaze iz dobro poznatog ogleda Harryja Frankfurta “Freedom of the Will and the Concept of a Person”. Taj je ogled izvršio široki utjecaj na kasnije mišljenje u etici i filozofiji uma, naročito svojom središnjom idejom želja i htijenja “drugog reda”. Frankfurtov pristup obećava rješenje u obliku trećeg puta određenih starih problema – uglavnom problema odnosa slobodne volje i determinizma te odnosa uma i tijela – koji su se dosad opirali najboljim naporima filozofskog rješavanja ili terapije. On veoma nalikuje onoj vrsti odgovora koji apriorni put bilo kakva kantovskog ili sličnog metafizičkog pristupa želi izbjeći usvajanjem u širokom smislu naturalizirane koncepcije ljudskog moralnog djelovanja, ali tako da ne ode toliko daleko u smjeru etičkog naturalizma da izgubi prednosti koje su povezane s kantovskim pristupom. Tvrdim, međutim, da takav izgled vara i da je Frankfurtov način pristupanja tim pitanjima – a naročito njegova glavna ideja želja i htijenja drugog reda – podložna odavno poznatim prigovorima koji dolaze kako od strane naturalistâ tako i od strane strogih autonomista . Konkretnije, pokazujem da njegov pojam moralne volje kao nečega što posjeduje kompleksnu strukturu, čime htijenja višeg reda mogu odbaciti ili poništiti poticaje pokvarene želje prvog reda, jest takav da inherentno mora izazvati različite logičke, metafizičke i – što je u ovome kontekstu najvažnije – etičke probleme. Zaključujem da je posvemašnji naturalizam jedini odgovor koji može izaći na kraj s izazovima koji se sve više upućuju iz različitih znanstvenih krugova, naročito iz područja neurofiziologije i kognitivne psihologije. (shrink)

In Freedom of the Will and the Concept of a Person, Harry Frankfurt put forward a theory that what is essential to be a person is second-order volition. The notion of second-order volition can be used as a key conceptual tool in understanding the conflict between desires. By means of the notion, this paper argues that the conflict between desires in our minds lies in the conflict between second-order volitions, other than the (...) conflict between first-order desires. Based on this claim, this paper suggests that, due to the misunderstanding of the nature of the conflict between desires, the analysis of unwilling addict and wanton addict given by Frankfurt is thus wrong, and in his follow-up articles he made wrong description of the phenomenon concerning the conflict between desires. (shrink)

In what sense do people doubt their understanding of reality when subject to gaslighting? I suggest that an answer to this question depends on the linguistic order at which a gaslighting exchange takes place. This marks a distinction between first-order and second-order gaslighting. The former occurs when there is disagreement over whether a shared concept applies to some aspect of the world, and where the use of words by a speaker is apt to cause hearers (...) to doubt their interpretive abilities without doubting the accuracy of their concepts. The latter occurs when there is disagreement over which concept should be used in a context, and where the use of words by a speaker is apt to cause hearers to doubt their interpretive abilities in virtue of doubting the accuracy of their concepts. Many cases of second-order gaslighting are unintentional: its occurrence often depends on contingent environmental facts. I end the article by focusing on the distinctive epistemic injustices of second-order gaslighting: metalinguistic deprivation, conceptual obscuration, and perspectival subversion. I show how each reliably has sequelae in terms of psychological and practical control. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

We argue that the use of the term “supernatural” is problematic in philosophy of religion in general, and in the contribution by Thornhill-Miller and Millican in particular. We address the disturbing parallel between Hume’s case against the rationality of belief in miracles and his dismissal of reports of racial equality. We do not argue that because Hume was a racist therefore his view against miracles is faulty, but we draw attention to how Hume sets up a framework that, for similar (...) reasons, discounts evidence of black intelligence and divine intelligence. We go on to argue against TMM’s revision of Hume on miracles. We then argue that empirical testing on the veracity of petitionary belief is impossible for there is no control case and that empirical testing can no more evaluate the evidential merits of most religious experiences than it can assess the merits of any robust philosophical position in epistemology, metaphysics, value theory, logic and mathematics. We express doubts about the integrity and scope of how one might enjoy the good of religion without belief. In a final section we offer a defense of the rationality of believing in specific religious traditions based on religious experience along with what we refer to as sufficient philosophical reasoning. (shrink)

Pristine belief/desire psychology has its limitations. Recognizing this, some have attempted to fill various gaps by adding more of the same, but at higher levels. Thus, for example, second-order desires have been imported into a more stream- lined view to explicate such important notions as freedom of the will, personhood, and valuing. I believe that we need to branch out as well as up, augmenting a familiar 'philosophical psychology' with psychological items that are irreducible to beliefs and (...) desires (for support, see Mele 1987 and 1992). That theme will be left largely in the background here, however. The issue to be explored is a narrower one: the place of higher-order desires in a proper conception of continent and incontinent behavior. My guiding question is whether an action's counting as continent or incontinent depends upon the agent's having at the time a pertinent higher-order desire. The answer that I shall defend is, in a word, 'No.'. (shrink)

In this paper we investigate strong logics of first and second order that have certain absoluteness properties. We begin with an investigation of first order logic and the strong logics ω-logic and β-logic, isolating two facets of absoluteness, namely, generic invariance and faithfulness. It turns out that absoluteness is relative in the sense that stronger background assumptions secure greater degrees of absoluteness. Our aim is to investigate the hierarchies of strong logics of first and (...) second order that are generically invariant and faithful against the backdrop of the strongest large cardinal hypotheses. We show that there is a close correspondence between the two hierarchies and we characterize the strongest logic in each hierarchy. On the first-order side, this leads to a new presentation of Woodin's Ω-logic. On the second-order side, we compare the strongest logic with full second-order logic and argue that the comparison lends support to Quine's claim that second-order logic is really set theory in sheep's clothing. (shrink)

We can understand and act upon the beliefs of other people, even when these conflict with our own beliefs. Children’s development of this ability, known as Theory of Mind, typically happens around age 4. Research using a looking-time paradigm, however, established that toddlers at the age of 15 months old pass a non-verbal false-belief task (Onishi and Baillargeon in Science 308:255–258, 2005). This is well before the age at which children pass any of the verbal false-belief tasks. In this study (...) we present a more complex case of false-belief reasoning with older children. We tested second-order reasoning, probing children’s ability to handle the belief of one person about the belief of another person. We find just the opposite: 7-year-olds pass a verbal false-belief reasoning task, but fail on an equally complex low-verbal task. This finding suggests that language supports explicit reasoning about beliefs, perhaps by facilitating the cognitive system to keep track of beliefs attributed by people to other people. (shrink)

We can understand and act upon the beliefs of other people, even when these conflict with our own beliefs. Children’s development of this ability, known as Theory of Mind, typically happens around age 4. Research using a looking-time paradigm, however, established that toddlers at the age of 15 months old pass a non-verbal false-belief task (Onishi and Baillargeon in Science 308:255–258, 2005). This is well before the age at which children pass any of the verbal false-belief tasks. In this study (...) we present a more complex case of false-belief reasoning with older children. We tested second-order reasoning, probing children’s ability to handle the belief of one person about the belief of another person. We find just the opposite: 7-year-olds pass a verbal false-belief reasoning task, but fail on an equally complex low-verbal task. This finding suggests that language supports explicit reasoning about beliefs, perhaps by facilitating the cognitive system to keep track of beliefs attributed by people to other people. (shrink)

The epsilon substitution method was proposed by D. Hilbert as a tool for consistency proofs. A version for first order predicate logic had been described and proved to terminate in the monograph “Grundlagen der Mathematik”. As far as the author knows, there have been no attempts to extend this approach to the second order case. We discuss possible directions for and obstacles to such extensions.

In this paper, I examine two versions of the so-called “hierarchical” approach to personal autonomy, based on the notion of “second-order desires”. My primary concern will be with the question of whether these approaches provide an adequate basis for understanding the dynamics of autonomy-ascription. I begin by distinguishing two versions of the hierarchical approach, each representing a different response to the oft-discussed “regress” objection. I then argue that both “structural hierarchicalism” (e.g., Frankfurt, Bratman) and “procedural hierarchicalism” (e.g., (...) Dworkin, Christman, Mele) have difficulties accommodating the dynamics of how the attribution of autonomy to persons is claimed, disputed, and resolved. Although they differ in details, both shortcomings can be traced to viewing autonomy as a metaphysical rather than a normative, practical matter. I conclude by suggesting that these difficulties underscore the advantages of a more constructivist and pragmatist. (shrink)

One reliabilist option against the problem of bootstrapping is to argue that circular reasoning is bad, but reliabilism can avoid circular reasoning. Vogel dismisses this option on the grounds that reliabilists need circular reasoning in order to circumvent skepticism. Briesen argues, however, that although reliabilists need circular reasoning to block second-order skepticism, they do not need it to block first-order skepticism. But I argue in this paper that reliabilists cannot legitimately reject first-order skepticism (...) unless they can block second-order skepticism. In particular, I argue that reliabilists cannot meet the non-undermining provision for justification unless they can somehow block second-order skepticism. (shrink)

The usual equivalence between the Palalini and metric (or affinity and vielbein) formulations of Einstein theory fails in two spacetime dimensions for its “Kaluza-Klein” reduced (as well as for its standard) version. Among the differences is the necessary vanishing of the cosmological constant in the first-order forms. The purely affine Eddington formulation of Einstein theory also fails here.

We prove that PTCN cannot be a model of U12. This implies that there exists a first order sentence of bounded arithmetic which is provable in U12 but does not hold in PTCN.

Ethics, Policy & Environment, Volume 15, Issue 2, Page 248-251, June 2012.

There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for (...) κ a strongly inaccessible ordinal. (shrink)

Snodgrass et al.’s commentary makes explicit one of the major problems in consciousness research; that there seem to be just as many definitions of basic terms are there are people in the field. Although Snodgrass et al.’s position appears at odds with the views expressed in Irvine , many of their arguments are actually consistent with the proposed views, or else fail to engage with them as a consequence of the shifting goal posts of what basic terms mean.

Both motivational internalism and externalism need to explain why sometimes moral judgments tend to motivate us. In this paper, I argue that Dreier’ second-order desire model cannot be a plausible externalist alternative to explain the connection between moral judgments and motivation. I explain that the relevant second-order desire is merely a constitutive requirement of rationality because that desire makes a set of desires more unified and coherent. As a rational agent with the relevant second- (...) class='Hi'>order desire is disposed towards coherence, she will have some motivation to act in accordance with her moral judgments. Dreier’s second-order desire model thus collapses into a form of internalism and cannot be a plausible externalist option to explain the connection between moral judgments and motivation. (shrink)

Recent work on pain focuses on the question ‘what makes pains unpleasant’. Second-order desire views claim that the unpleasantness of pain consists in a second-order intrinsic desire that the pain experience itself cease or stop. This paper considers a significant objection to second-order desire views by considering the case of the masochist. It is argued that various ways in which the second-order desire view might try to account for the case of the (...) masochist encounter problems. The conclusion is that until there is a convincing explanation of how second-order desire views can handle masochistic psychology, theorists should look elsewhere for an account of pains unpleasantness. (shrink)

This paper argues that, given the representational theory of mind, one cannot know a priori that one knows that p as opposed to being incapable of having any knowledge states; but one can know a priori that one knows that p as opposed to some other proposition q.

Some recent views of action have claimed that a correct conceptual account of action must include second-order motivational states. This follows from the fact that first-order motivational states such as desires account for action or mere behavior in which the agent's participation is lacking; thus, first-order motivational states cannot by themselves account for action in which the agent participates, so-called full-blooded action. I argue that representing the agent's participation by means of second- (...) class='Hi'>order states is bound to fail because it misrepresents what an agent is doing when acting in the full-blooded sense. I begin by characterizing full-blooded action and explaining the failure of first-order accounts to explain it. I next show that while second-order accounts have some success in explaining full-blooded action, they fail to distinguish it from action which exhibits motivational alienation. I then argue that even if this problem were resolved, the second-order accounts more fundamentally misrepresent full-blooded action by depicting such action in an introverted manner. I conclude by considering a sketch of agency and full-blooded action that does not rely on second-order states and by addressing a primary concern thought to favor the second-order accounts, the concern of agent causation. (shrink)

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth FS. Briefly, we present (...) some conceptual problems with ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)

The difficulty of a dilemma is often due to the pattern of one's desires: the way in which your wants for different things are related to one another. When one sees how many patterns desires can take one begins to appreciate the real difficulty of decision making. But one also begins to see that dilemmas are not all unfortunate and insoluble traps. There are good and not so good strategies for dealing with them. In dealing with the resulting (...) dilemmas the strategy may find ways of reducing them to more comparable desires, or it may not. Desires of each kind are often fairly easy to compare among themselves. Qualified trumps are a form of incomparable desire. This chapter gives simpler examples of this desire. In some cases, it is much less obvious how a conflict between first and second order desires should be resolved. The chapter discusses such case. (shrink)

This essay considers how the Zhuangzi 莊子 sheds light on a new direction to the contemporary discussion of desires. Harry Frankfurt proposes an account of personhood based on a hierarchy of desires. He defines a wanton as a being that does not have second-order volitions, the desires that a certain desire of action becomes her will. J. David Velleman proposes, in the context of the Zhuangzi, that when a Daoist sage performs her skills she can (...) be regarded as a “higher” wanton because her actions are spontaneous flows of skillful actions. In this essay, I propose along the line of Velleman a constructive interpretation of the Zhuangzian way to deal with desires from my reading of the Zhuangzi. I argue that there are two roles a Daoist sage can play: the observer and the performer. A Daoist sage can be an observer at a certain time and a performer at other times. Although a performer can be regarded as a higher wanton, it is inappropriate to regard an observer as a wanton. Also, I propose that observation is a means to transform desires—once the practitioner achieves high spirituality, one does not need to possess second-order volitions because one’s first-order desires are transformed such that they are in accordance with the Dao 道. (shrink)

V i 2 ⊢A iff for some term t :S i 2 ⊢ “2 i exists→ A”, a bounded first-order formula, i ≥1. V i 2 is not Π b 1 -conservative over S i 2 . Any model of V 2 not satisfying Exp satisfies the collection scheme BΣ 0 1 . V 1 3 is not Π b 1 -conservative over S 2.

This Article makes three moves. First it suggests and elaborates a distinction—already implicit in the literature—between what I will call the first and second order of arguments for justice (hereinafter FOAJ and SOAJ). In part, it is a distinction somewhat similar to that between just war and justice in war. SOAJ are akin to the rules governing justice in war or rules of engagement, while bracketing the reasons and causes of the conflict. FOAJ on the hand (...) are those principles of justice and arguments that derive their power from the distribution of entitlements, rights and duties of the parties prior to the conflict they are supposed to adjudicate. FOAJ aim in many ways to restore the distribution of entitlements that existed on the eve of the conflict. Thus, all arguments for corrective or historical justice could be viewed as FOAJ. The second move in the paper associates FOAJ with the Palestinians and SOAJ with Zionism first and Israel later on. The more the settler Zionist project became a reality, the more the Palestinian population felt a threat to their national project and exercised resistance, including violent resistance. The more Palestinians showed resistance, the more appealing and more relevant SOAJ of self-defense, security, and emergency. The third move in the paper is to ask questions regarding the relation between FOAJ and SOAJ offer a critique of the distinction itself, and offers a critique of the way the distinction is being deployed in the case of Israel-Palestine. The Israeli claims for self-defense and security(SOAJ) are becoming so pervasive that they threaten to suspend the claims for historical justice forever (FOAJ), to the point that everything, even the regime that is crystallizing in front of our eyes as an Apartheid regime, is being justified as a temporal necessity. Israel deployment of SOAJ is done in bad faith. (shrink)

Although Boyle has been regarded as a champion of the seventeenth century Cartesian mechanical philosophy, I defend the position that Boyle’s views conciliate between a strictly mechanistic conception of fundamental matter and a non-reductionist conception of chemical qualities. In particular, I argue that this conciliation is evident in Boyle’s ontological distinction between fundamental corpuscles endowed with mechanistic properties and higher-level corpuscular concretions endowed with chemical properties. Some of these points have already been acknowledged by contemporary scholars, and I actively engage (...) with their ideas in this paper. However I attempt to contribute to the debate over Boyle’s mechanical philosophy by arguing that Boyle’s writings suggest an emergentist, albeit still mechanistic, notion of chemical properties. I contrast Boyle’s views against those of strict reductionist mechanical philosophers, focusing on the famous debate with Spinoza over the redintegration of niter, and argue that Boyle’s complex chemical ontology provides a more satisfactory understanding of chemical phenomena than is provided by a strictly reductionist and Cartesian mechanical philosophy. (shrink)

In my response to Guillermo Rosado-Haddock I discuss the two main issues raised in his paper. The first is that by allowing Henkin’s general models as a legitimate model-theoretic interpretation of second-order logic, I undermine my defense of second-order logic against Quine’s views concerning the primacy of first-order logic. The second is that my treatment of logical truth and logical properties does not take into account various systems of logic and properties of (...) systems of logic such as the Löwenheim-Skolem property.Em minha réplica à Guillermo Rosado-Haddock discuto as duas questões centrais levantadas em seu artigo. A primeira é que ao permitir modelos gerais de Henkin como uma interpretação legítima da lógica de segunda ordem, desvirtuo minha defesa da lógica de segunda ordem contra a visão de Quine respeito à primazia da lógica de primeira ordem. A segunda é que meu tratamento da verdade lógica e das propriedades lógicas não leva em consideração diversos sistemas de lógica e propriedades de sistemas de lógica tais como a propriedade de Löwenheim-Skolem. (shrink)

We study reflection principles in Kelley-Morse set theory with urelements (KMU). We first show that First-Order Reflection Principle is not provable in KMU with Global Choice. We then show that KMU + Limitation of Size + Second-Order Reflection Principle is mutually interpretable with KM + Second-Order Reflection Principle. Furthermore, these two theories are also shown to be bi-interpretable with parameters. Finally, assuming the existence of a κ+-supercompact cardinal κ in KMU, we construct a (...) model of KMU + Second-Order Reflection Principle where Limitation of Size fails. (shrink)

I argue that understanding the self in terms of narrative construction does not preclude the possibility of error concerning one’s own self. Identity is a projection of first and second-order desires and a product of choice in relation to desire. Self-deceit appears in this connection as a response to an identity that one has constructed through choice and/or desire but not acknowledged in one’s self-account, reflecting a conflict between desires or a motivated failure to account. (...) This analysis is applied primarily to acknowledgement of one’s sexual identity. (shrink)

There is a need for all industries, including healthcare, to reduce their greenhouse gas emissions. In anaesthetic practice, this not only requires a reduction in resource use and waste, but also a shift away from inhaled anaesthetic gases and towards alternatives with a lower carbon footprint. As inhalational anaesthesia produces greenhouse gas emissions at the point of use, achieving sustainable anaesthetic practice involves individual practitioner behaviour change. However, changing the practice of healthcare professionals raises potential ethical issues. The purpose of (...) this paper is twofold. First, we discuss what moral duties anaesthetic practitioners have when it comes to practices that impact the environment. We argue that behaviour change among practitioners to align with certain moral responsibilities must be supplemented with an account of institutional duties to support this. In other words, we argue that institutions and those in power have second-order responsibilities to ensure that practitioners can fulfil their first-order responsibilities to practice more sustainably. The second goal of the paper is to consider not just the nature of second-order responsibilities but the content. We assess four different ways that second-order responsibilities might be fulfilled within healthcare systems: removing certain anaesthetic agents, seeking consensus, education and methods from behavioural economics. We argue that, while each of these are a necessary part of the picture, some interventions like nudges have considerable advantages. (shrink)

To see some of the ways of changing desires begin with a comparison with the rather different case of belief. In the case of belief there are 'rational' ways of changing the opinions, by considering arguments and evidence, and 'non‐rational' ones, such as being hypnotized or joining a religious sect. This chapter discusses cases in which someone wants to change their desires. There is then a conflict between their second order desires and their simple, (...) class='Hi'>first order, desires. The chapter also describes how to resolve a conflict between first and second order desires. In evaluating the lives that would follow from possible changes in one's desires one can take account of the pattern as well as the amount or variety of desires that are satisfied. This is inevitable, really, since one's second order as well as one's first order desires have to come under the scope of the shift. (shrink)

Towards the end of the first world war, a “principle of self-determination” was proposed as a foundation for international order. In the words of its chief advocate, U.S. President Woodrow Wilson, it specified that the “settlement of every question, whether of territory, of sovereignty, of economic arrangement, or of political relationship” is to be made “upon the basis of the free acceptance of that settlement by the people immediately concerned and not upon the basis of the material interest (...) or advantage of any other nation or people which may desire a different settlement for sake of its own exterior influence or mastery” (Wilson 1927, 233). The principle played a significant role in deliberations about lands newly liberated by the first world war, and, in the aftermath of the second, it was enshrined within Article 1 of the United Nations Charter which called upon member nations “to develop friendly relations among nations based on respect for the principle of equal rights and self-determination of peoples.” Its status within international law was further heightened by the 1966 Covenants on Civil and Political Rights and on Economic Social and Cultural Rights, whose first articles specify the following: “All peoples have the right of self-determination. By virtue of that right they freely determine their political status and freely pursue their economic, social, and cultural development.” In 1970, General Assembly Resolution 2625 added that, “every state has the duty to respect this right in accordance with the provision of the Charter.”. (shrink)

In this short paper I am concerned with basically two especially important issues in Oswaldo Chateaubriand’s Logical Forms II; namely, the dispute between first- and higher-order logic and his conception of logical truth and related notions, like logical property, logical state of affairs and logical falsehood. The first issue was also present in the first volume of the book, but the last is privative of the second volume. The extraordinary significance of both issues for philosophy (...) is emphasized and, though there is a basic agreement with Chateaubriand’s views, some critical remarks are interspersed.Neste pequeno artigo considero basicamente duas questões particularmente importantes em Logical Forms II de Oswaldo Chateaubriand; a saber, a disputa entre a lógica de primeira e de segunda ordem e sua concepção de verdade lógica e noções relacionadas, como as de propriedade lógica, estado de coisas lógico e falsidade lógica. A primeira questão também estava presente no primeiro volume do livro, mas a última apenas aparece no segundo volume. Enfatizo o significado extraordinário de ambas as questões para a filosofia e, embora haja uma concordância básica com as visões de Chateaubriand, algumas observações críticas são inseridas. (shrink)

Context: This conceptual paper tries to tackle the advantages and the limitations that might arise from including second-order science into global climate change sciences, a research area that traditionally focuses on first-order approaches and that is currently attracting a lot of media and public attention. Problem: The high profile of climate change research seems to provoke a certain dilemma for scientists: despite the slowly increasing realization within the sciences that our knowledge is temporary, tentative, uncertain, and (...) far from stable, the public expectations towards science and scientific knowledge are still the opposite: that scientific results should prove to be objective, reliable, and authoritative. As a way to handle the uncertainty, scientists tend to produce “varieties of scenarios” instead of clear statements, as well as reports that articulate different scientific opinions about the causes and dynamics of change for this specific field of research. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I (...) then examine Williamson’s primitivist approach according to which second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably (...) construed, in accordance with an abundant or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. (...) This can be spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order (...) set theory and second-order logic are not radically different: the latter is a major fragment of the former. (shrink)

This article examines central tensions in cybernetics, defined as the study of self-organization, communication, automated feedback in organisms, and other distributed informational networks, from its wartime beginnings to its contemporary adaptations. By examining aspects of both first- and second-order cybernetics, the article introduces an epistemological standpoint that highlights the tension between its definition as a theory of recursion and a theory of control, prediction, and actionability. I begin by examining the historical outcomes of the Macy Conferences to (...) provide a context for cybernetics’ initial development for scientific epistemology, ethics, and socio-political thought. I draw extensively from Norbert Wiener, Heinz von Foerster, Ross Ashby, and Gregory Bateson, key figures of this movement. I then elaborate upon certain premises of cybernetics to further elucidate an intellectual history from which to begin to construct a cybernetic epistemology. I conclude by offering the second-order cybernetic concept of recursivity as a model and method for ethico-epistemological questioning that can account for both the constructive potential and the limitations of cybernetics in science and society. (shrink)