Abstract: In this paper, I examine the current case against the second-order property view of existence through a discussion of Colin McGinn's up to date statement of this case. I conclude that the second-order property view of existence remains viable.

Recently, Wilcox (JGPS 51: 65–87, 2020) argued against the so-called wide interval view and in favor of the principle of indifference as the correct response to unspecific evidence. Embedded in a formal model of the beliefs of an agent, the former presupposes imprecise probabilities and the latter numerically precise degrees of belief. His argument is illustrated by a thought experiment that comes with a fundamental intuition. According to Wilcox, the wide interval view is incompatible with this intuition and, (...) thus, undermined. In contrast, I show that the intuition behind the thought experiment is, in fact, compatible with the wide interval view if it is embedded into a specific conception of imprecise probabilities as model of belief. This conception is an extension of a framework which I call modified supervaluationism (MSV) and which I recently presented elsewhere (Karge 2021, 175–191). To accommodate the thought experiment’s fundamental intuition, it introduces a notion of second-order beliefs. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is (...) actually a familiar part of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

A normative reason for a person to? is a consideration which favours?ing. A motivating reason is a reason for which or on the basis of which a person?s. This paper explores a connection between normative and motivating reasons. More specifically, it explores the idea that there are second-order normative reasons to? for or on the basis of certain first-order normative reasons. In this paper, I challenge the view that there are second-order reasons so understood. (...) I then show that prominent views in contemporary epistemology are committed to the existence of second-order reasons, specifically, views about the epistemic norms governing practical reasoning and about the role of higher-order evidence. If there are no second-order reasons, those views are mistaken. (shrink)

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-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)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem (...) to be in manifest conflict with each other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

A second-order preference is a preference over preferences. This paper addresses the role that second-order preferences play in a theory of instrumental rationality. I argue that second-order preferences have no role to play in the prescription or evaluation of actions aimed at ordinary ends. Instead, second-order preferences are relevant to prescribing or evaluating actions only insofar as those actions have a role in changing or maintaining first-order preferences. I establish these claims (...) by examining and rejecting the view that second-order preferences trump first-order preferences. I also examine and reject the view that second-order preferences give additional normative force to an agent’s preferred first-order preferences. I conclude by arguing that second-order preferences should be integrated into an agent’s object-level preference ordering, and by explaining how best to make sense of this integration. (shrink)

This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...) coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators. (shrink)

This paper investigates whether there is an acceptable version of Functionalism that avoids commitment to second-order properties. I argue that the answer is "no". I consider two reductionist versions of Functionalism, and argue that both are compatible with multiple realization as such. There is a more specific type of multiple realization that poses difficulties for these views, however. The only apparent Functionalist solution is to accept second-order properties.

Context: The problems that are most in need of interdisciplinary collaboration are “wicked problems,” such as food crises, climate change mitigation, and sustainable development, with many relevant aspects, disagreement on what the problem is, and contradicting solutions. Such complex problems both require and challenge interdisciplinarity. Problem: The conventional methods of interdisciplinary research fall short in the case of wicked problems because they remain first-order science. Our aim is to present workable methods and research designs for doing second-order (...) science in domains where there are many different scientific knowledges on any complex problem. Method: We synthesize and elaborate a framework for second-order science in interdisciplinary research based on a number of earlier publications, experiences from large interdisciplinary research projects, and a perspectivist theory of science. Results: The second-order polyocular framework for interdisciplinary research is characterized by five principles. Second-order science of interdisciplinary research must: 1. draw on the observations of first-order perspectives, 2. address a shared dynamical object, 3. establish a shared problem, 4. rely on first-order perspectives to see themselves as perspectives, and 5. be based on other rules than first-order research. Implications: The perspectivist insights of second-order science provide a new way of understanding interdisciplinary research that leads to new polyocular methods and research designs. It also points to more reflexive ways of dealing with scientific expertise in democratic processes. The main challenge is that this is a paradigmatic shift, which demands that the involved disciplines, at least to some degree, subscribe to a perspectivist view. Constructivist content: Our perspectivist approach to science is based on the second-order cybernetics and systems theories of von Foerster, Maruyama, Maturana & Varela, and Luhmann, coupled with embodied theories of cognition and semiotics as a general theory of meaning from von Uexküll and Peirce. (shrink)

Second or higher order probabilities have commonly been viewed with scepticism by those working within the realm of probability and decision theory. The aim of the present note is to show how the notion of second order probabilities can add to our understanding of judgmental and decision processes and how the traditional framework of Bayesian decision theory can be extended in a fruitful way by taking such entities into account. Section one consists of a brief account (...) of arguments put forth against higher order probabilities as well as of counterarguments. In order to provide an example of the applicability of second order probabilities a decision theory encompassing such probabilities will be presented in section two. In section three I will try to emphasize the value of second order probabilities for a deeper and more complete understanding of the notion of risk. (shrink)

Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. (...) Method: We provide the necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

When laypersons are presented with scientific information which seeks to modify their way of life, they are expected to believe, suspend belief, or reject it. Second-order assessment of scientific experts helps laypersons to make an informed decision in such situations. This is an assessment of the trustworthiness of the person making the scientific claim. In this paper I challenge the optimistic view of Anderson, regarding the ease with which laypersons can perform second-order assessment of experts, (...) by pointing out some of the obstacles that may prevent laypersons from arriving at an informed decision through this means. By showing that laypersons cannot easily perform second-order assessment of experts, I make a case for sharing epistemic burdens in science communication by using Lackey's concept of dualism in the epistemology of testimony and Irzik and Kurtulmus’ work on public epistemic trust in science, as a guide. I invite experts to bear a greater share of the epistemic burden when communicating with laypersons because of their privileged epistemic condition vis-à-vis laypersons. (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)

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a (...) starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: [email protected]: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

Some widely accepted arguments in the philosophy of mathematics are fallacious because they rest on results that are provable only by using assumptions that the con- clusions of these arguments seek to undercut. These results take the form of bicon- ditionals linking statements of logic with statements of mathematics. George Boolos has given an argument of this kind in support of the claim that certain facts about second-order logic support logicism, the view that mathematics—or at least part (...) of it—reduces to logic. Hilary Putnam has offered a similar argument for the view that it is indifferent whether we take mathematics to be about objects or about what follows from certain postulates. In this paper I present and rebut these arguments. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

Many think that equality is an intrinsic value. However, this view, especially when based on a consequential foundation, faces familiar objections related to the claim that equality is sometimes good for none and bad for some: most notably the levelling down objection. This article explores a unique (consequential) conception of equality, as part of a more general conception of fairness concerning the resolution of interpersonal conflicts, which is not exposed to these objections.

The target article proposes that people perceive social robots as depictions rather than as genuine social agents. We suggest that people might instead view social robots as social agents, albeit agents with more restricted capacities and moral rights than humans. We discuss why social robots, unlike other kinds of depictions, present a special challenge for testing the depiction hypothesis.

Open peer commentary on the article “The Circular Conditions of Second-order Science Sporadically Illustrated with Agent-based Experiments at the Roots of Observation” by Manfred Füllsack. Upshot: I address Füllsack’s main conclusions in his article regarding the meaning of second-order observations. Especially envisaged are the epistemological and ontological difficulties raised by his scrutiny of the merging between systemic-internal conditions of second-order reflexivity and the thematic-theoretical accounts of selection, intentionality and purposiveness in evolutionary systems.

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the (...) semantic values of predicates than is Lewis’s. (shrink)

A dispute exists about whether bioethics should become a new discipline with its own methods, competency standards, duties, honored texts, and core curriculum. Unique expertise is a necessary condition for disciplines. Using the current literature, different views about the sort of expertise that might be unique to bioethicists are critically examined to determine if there is an expertise that might meet this requirement. Candidates include analyses of expertise based in "philosophical ethics," "casuistry," "atheoretical or situation ethics," "conventionalist relativism," "institutional guidance," (...) "regulatory guidance and compliance," "political advocacy," "functionalism," and "principlism." None succeed in identifying a unique area of expertise for successful bioethicists that could serve as a basis for making it a new discipline. Rather expertise in bioethics is rooted in many professions, disciplines and fields and best understood as a second-order discipline. (shrink)

The paper defends the view that there is a constitutive relation between believing something and believing that one believes it. This view is supported by the incoherence of affirming something while denying that one believes it, and by the role awareness of the contents one’s belief system plays in the rational regulation of that system. Not all standing beliefs are accompanied by higher-order beliefs that self-ascribe them; those that are so accompanied are ones that are “available” in (...) the sense that their subjects are poised to assent to their contents, to use them as premises in reasoning, and to be guided by them in their behavior. The account is compatible with the possibility of negative self-deception—mistakenly believing that one does not believe something—but the closest thing to positive self-deception it allows is believing falsely that a belief with a certain content is one’s dominant belief on a certain matter through failure to realize that one has a stronger belief that contradicts it. The view has implications about Moore’s paradox that contradict widely held views. On this view self-ascriptions of beliefs can be warranted and grounded on reasons—but the reasons are not phenomenally conscious mental states (as held by Christopher Peacocke) but rather available beliefs. (shrink)

Bird’s Ultimate Argument sought to show that Armstrong’s N relationships involving categorical universals can’t entail nomic regularities. In N’s place Bird offered the non-categorical SR relation. Two kinds of objection have been raised: either Bird’s own alternative metaphysics fails in just the same way as Armstrong’s or the target of Bird’s argument may anyway have a way out of the problem. My aim is to reclaim the victory for Bird. I argue that the responses in defence of Armstong’s N relationships (...) fail to acknowledge that Bird was explicitly concerned with Armstrong’s commitment to a categoricalist view of universals. Moreover, Bird’s alternative account does not suffer the same problem since his metaphysics of properties is essentialist. Nevertheless, Bird’s account does need elaborating on to explainwhySR relationships entail their regularities. I offer Schaffer’s Axiomatic Solution as a candidate for this purpose. (shrink)

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)

Agent-relative reasons are an important feature of any nonconsequentialist moral theory. Many authors think that they cannot be accommodated within a value-first theory that understands all value as agent-neutral. In this paper, I offer a novel explanation of agent-relative reasons that accommodates them fully within an agent-neutral value-first view. I argue that agent-relative reasons are to be understood in terms of second-order value responses: when an agent acts on an agent-relative reason, she responds appropriately to the agent-neutral (...) value of her own appropriate response to some agent-neutral value. This view helps reconcile important elements of deontology and consequentialism. (shrink)

Context: Second-order cybernetics and its implications have been understood within the cybernetics community for some time. These implications are important for understanding the structure of scientific endeavor, and for researchers in other fields to see the reflexive nature of scientific research. This article is about the role of context in the creation and exploration of our experience. Problem: The purpose of this article is to point out the fundamental nature of the circularity in cybernetics and in scientific work (...) in general. I give a point of view on the nature of objective knowledge by placing it in the context of reflexivity and eigenform. Method: The approach to the topic is based on logical analysis of the nature of circularity. Mathematics and cybernetics are both fundamentally concerned with the structure of distinctions, but there can be no definition of a distinction without circularity, since such a definition would itself be a distinction. The article proceeds by explicating the structure of reflexive domains D where the transformations of the domain are in one-to-one correspondence with the domain itself. Results: I show that every element of a reflexive domain has a fixed point. This means that eigenforms arise naturally in reflexive domains. Furthermore, a reflexive domain is itself an eigenform (at a higher level. This supports the context of a second-order science that would study domains of science as part of a larger cybernetic landscape. Implications: The value of the article is in its concise reformulation of the scientific endeavor as a search for eigenforms in reflexive domains. This new view of science is promising in that it includes the former worlds of apparent objectivity and it embraces those newer worlds of science where the theories and theorists become active participants in the ongoing process of creating knowledge. Constructivist content: I argue that the perspective of reflexive domains constitutes a new way to think about the practice of science, with observers deeply imbedded, and objectivity understood as the mutual search for eigenforms. (shrink)

Arguments about fallacies generally attempt to distinguish real from apparent modes of argumentation and reasoning. To examine the structure of these arguments, this paper develops a theory of dialectical distinction. First, it explores the connection between Nicholas Rescher's concept of distinction as a "dialectical countermove" and Chaim Perelman and L. Olbrecht-Tyteca's "dissociation of ideas." Next, it applies a theory of distinction to Aristotle's extended arguments about fallacies in De Sophisticis Elenchis, primarily with a view to analyzing its underlying strategies (...) of argumentation. Finally, it examines how second-order distinctions (those designed to challenge previously formulated distinctions) underpin current arguments against the Aristotelian or "Standard Treatment" of the fallacies. (shrink)

We defend Jaegwon Kim’s ‘causal inheritance’ principle from an objection raised by Jurgen Schröder. The objection is that the principle is inconsistent with a view about mental properties assumed by Kim, namely, that they are second-order properties. We argue that Schröder misconstrues the notion of second-order property. We distinguish three notions of second-order property and highlight their problems and virtues. Finally, we examine the consequence of Kim’s principle and discuss the issue of whether (...) Kim’s ‘supervenience argument’ generalizes to all special sciences or not. (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)

Open peer commentary on the article “Designing Academic Conferences in the Light of Second-Order Cybernetics” by Laurence D. Richards. Upshot: Richards’s long history and commitment to cybernetics provides a well-rounded view of the dichotomy between the traditional conference and one aspiring for second-order cybernetic attributes. We examine why traditional conferences have proved so resilient, despite their shortcomings, and discuss some issues that underlie the dynamics of the participation of academics in non-traditional conferences.

Open peer commentary on the article “Design Research as a Variety of Second-Order Cybernetic Practice” by Ben Sweeting. Upshot: This commentary supports Sweeting’s case for the relationship between the design tradition, second-order cybernetics and second-order science. It argues, however, that the extension of this argument to other intellectual traditions and areas of practice is complicated by differing views of material agency.

The aim of this thesis is to examine the debate between Quine and Boolos over the logical status of higher-order logic-with Quine taking the position that higher-logic is more properly understood as set theory and Boolos arguing in opposition that higher-order logic is of a genuinely logical character. My purpose here then will be to stay as neutral as possible over the question of whether or not higher-order logic counts as logic and to instead focus on the (...) exposition of the debate itself as exemplified in the work of Quine and Boolos. Chapter I will be a detailed consideration of Quine's conception of logic and its place within the wider context of his philosophy. Only once this backdrop is in place will I then examine his views on higher-order logic. In Chapter II, I turn to Boolos's response to Quine-his attempt to examine the extent to which we may want to count higher-order logic as logic and the extent to which we may want to count it as set theory. With each point Boolos raises, I attempt to give what I think would have been Quine's reply. Finally, in Chapter III, I consider Boolos's attempt to show that monadic second-order logic should be understood as pure logic as it does not commit us to the existence of classes, as we may take the standard interpretation of MSOL to do. I discuss here some of the major reactions to Boolos's plural interpretation, and conclude with more speculative remarks on what Quine's own response might have been. Throughout this thesis, my primary method has been one of close textual analysis. (shrink)

An exceptional chain of events in science, technology, art and planning took place in Latin America in the 1970s. Does this wonder shed light upon our view of the basic roots of cultural, social and political blooming? This paper intends to adduce evidence on second-order cybernetics processes underlying five outstanding cases in real societies and to disclose the links between democracy and unfettering momentum for freedom and creativity. Namely, Oscar Varsavsky, national projects, styles of development, scientific and (...) technological autonomy; Stefano Varese, cultural and political autonomy of indigenous people; Mario Pedrosa, creation of the Museum of Solidarity in Chile; Stafford Beer, Cybersyn project for cybernetics and self-management in Chile; and Humberto Maturana, concepts of autopoiesis, cognition, language and multiverse. The reasoning counts with the author's direct participation in all cases. The paper sets a similarity worthy of being noticed between Allende’s Unidad Popular in Chile and Pericles’ Golden Age in Greece and outlines why these historic realms albeit far apart have lasting importance and similar historical impetus. Highlights the essential and seminal features of each stream and comes to the conclusion that effective democracy is the necessary condition for participation and creativity. Upsurges in social participation and creativity are neither frequent nor cyclical. Still, such sudden and usually large increase in ingenuity, flair and aim to improve living conditions, although limited in time, remain in our mind as a joy forever. Nowadays, the world witnesses a contrary motion towards sterile art patterns and restrained behaviour. Hence, it becomes even more important to better understand the basic roots of cultural, social and political blooming. (shrink)

Taking Hobbesian logic as my starting point, I argue that Hobbesian diffidence, one of the causes of quarrel in the state of nature, does not disappear once the citizens enter civil society. Rather, diffidence is merely contained by the sovereign. Following Alice Ristroph, I argue that diffidence comes to shape what citizens demand of the state/sovereign in the criminal law. However, I show that Ristroph does not fully appreciate that the concept of diffidence is a racialized one, and as such, (...) race underlies how the citizens understand their own diffidence, what citizens demand of the sovereign, and how they demand it. Further, because diffidence itself is racialized, criminal law need not make explicit appeals to race. Once racialized diffidence becomes embedded in the criminal law, it remains there regardless of any conscious racial animus. I show that racial profiling is a prime example of how this racialized diffidence manifests. Thus, I present Hobbesian diffidence as a framework from which to understand racial oppression. This paper is primarily an application of Hobbes to contemporary issues rather than an exegesis and analysis of Hobbes’s views. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from (...) an ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

The major point of contention among the philosophers and mathematicians who have written about the independence results for the continuum hypothesis (CH) and related questions in set theory has been the question of whether these results give reason to doubt that the independent statements have definite truth values. This paper concerns the views of G. Kreisel, who gives arguments based on second order logic that the CH does have a truth value. The view defended here is that (...) although Kreisel's conclusion is correct, his arguments are unsatisfactory. Later sections of the paper advance a different argument that the independence results do not show lack of truth values. (shrink)

Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its importance (...) in view of Hilbert's program is discussed, as well as applications of our results to functional analysis. (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)

Bioethics is best viewed as both a second-order discipline and also part of public discourse. Since their goals differ, some bioethical activities are more usefully viewed as advancing public discourse than academic disciplines. For example, the “Universal Declaration on Bioethics and Human Rights” sponsored by the United Nations Educational, Scientific, and Cultural Organization seeks to promote ethical guidance on bioethical issues. From the vantage of philosophical ethics, it fails to rank or specify its stated principles, justify controversial principles, (...) clarify key terms, or say what is meant by calling potentially conflicting norms “foundational.” From the vantage of improving the public discourse about bioethical problems and seeking ethical solutions in the public arena, however, this document may have an important role. The goals and relations between bioethics as a second-order discipline and public discourse are explored. (shrink)

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)

The dissertation gives a second-order-logic-based explanation of modal incompleteness. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second-order logic, since modal language is basically a second-order language. The development of Kripke-style semantics for modal logic has been underpinned by the conjecture that all modal systems are characterizable by classes of frames defined by first-order conditions on a binary relation. However, the discovery of certain (...) incomplete modal systems has undermined the all-encompassing feature of Kripke-style approach. There are logics not determined by any class of Kripke frames at all. ;In the dissertation I investigate a normal incomplete sentential modal system due to J. F. A. K. Van Benthem, and I address both the formal and the philosophical facets of modal incompleteness from the vantage point that modal logic is essentially second-order in its nature. Modal systems can be analyzed in terms of structures with a domain of second-order individuals that are assigned under an interpretation to propositional variables within languages of sentential modal logic. Hence, the phenomenon of there being incomplete modal systems can be accounted for through the incompleteness of standard second-order logic. ;Since second-order logic plays a crucial role in the explanation, Quine's animadversions upon second-order logic and in particular his views that second-order logic is 'Set Theory in Sheep's Clothing' are examined. Against Quine's stance I will seek to show that a vindication of second-order logic can be gotten provided a proper due is given to the sharp distinction between the logical notion of set which is the concern of second-order logic and the iterative notion of set which lies within the realm of set theory. (shrink)

Context: In this empirical and conceptual paper on the historical, philosophical, and epistemological backgrounds of second-order cybernetics, the emergence of a significant pedagogical component to Heinz von Foerster’s work during the last years of the Biological Computer Laboratory is placed against the backdrop of social and intellectual movements on the American landscape. Problem: Previous discussion in this regard has focused largely on the student radicalism of the later 1960s. A wider-angled view of the American intellectual counterculture is (...) needed. However, this historical nexus is complicated and more often dismissed than brought into clear focus. Method: This essay assembles a historical sequence of archival materials for critical analysis, linked to a conceptual argument eliciting from those materials the second-order cybernetic concepts of observation, recursion, and paradox. Results: In this period, von Foerster found the “positive of the negative” in the social and intellectual unrest of that moment and cultivated those insights for the broader constitution of a new cognitive orientation. Implications: As a successful student of his own continuing course on heuristics, von Foerster left the academic mainstream to ally his constructivist epistemology with the systems counterculture. (shrink)

Any great new theoretical framework has an epistemological and an ontological aspect to its philosophy as well as an axiological one, and one needs to understand all three aspects in order to grasp the deep aspiration and idea of the theoretical framework. Presently, there is a widespread effort to understand C. S. Peirce's (1837–1914) pragmaticistic semeiotics, and to develop it by integrating the results of modern science and evolutionary thinking; first, producing a biosemiotics and, second, by integrating it (...) with the progress in cybernetics, information science, and system theory to create a cybersemiotics. In this paper, we focus on the understanding of the evolution of the universe that Peirce produced as an alternative to the mechanistic view underlying classical physics and try to place man in an evolving universe as a creative, aesthetical agent. It is true that modern non-equilibrium physics has made a modern foundation for a profound physical understanding of the basic evolutionary processes in the universe. But science still has not produced a theory that can explain how the creativity of the universe could produce signification, interpretation, and first-person consciousness. To this end, Peirce's thoughts on agapastic evolution coupled with the aesthetically influence of the growth of ideas and reasonableness on man could make a contribution. (shrink)

We propose an original use of techniques from random graph theory to find a Monadic ∑ 1 1 sentence without an asymptotic probability. Our result implies that the 0-1 law fails for the logics ∑ 1 1 and ∑ 1 1 . Therefore we complete the classification of first-order prefix classes with or without equality, according to the existence of the 0-1 law for the corresponding ∑ 1 1 fragment. In addition, our counterexample can be viewed as a single (...) explanation of the failure of the 0-1 law of all the fragments of existential second-order logic for which the failure is already known. (shrink)

This article examines two current debates in Denmark—assisted suicide and the prioritization of health resources—and proposes that such controversial bioethical issues call for distinct philosophical analyses: first-order examinations, or an applied philosophy approach, and second-order examinations, what might be called a political philosophical approach. The authors argue that although first-order examination plays an important role in teasing out different moral points of view, in contemporary democratic societies, few, if any, bioethical questions can be resolved satisfactorily (...) by means of first-order analyses alone, and that bioethics needs to engage more closely with second-order enquiries and the question of legitimacy in general. (shrink)

Open peer commentary on the article “Design Research as a Variety of Second-Order Cybernetic Practice” by Ben Sweeting. Upshot: This commentary highlights the relevance of understanding design research as a variety of second-order cybernetic practice. It does so by illustrating possible contributions of this view to several concrete issues surrounding the introduction of neuroscientific framework to architectural design. Based on the implications of Sweeting’s article, I suggest that the specific case of an interdisciplinary dialogue between (...) architecture and cognitive science can provide a plausible testing ground as a new research field for second-order cybernetic practice and second-order science. (shrink)

Arthur Bispo do Rosário created separate realities inspired by the objects of his surroundings. He intended to summon up everything and report to God. The objects he found or got from other inmates were waste of the Juliano Moreira Colony where he lived in seclusion because the lords of order categorised him as mentally ill. Bispo began by unravelling the uniforms of his seafaring days and Colony clothing and with the threads he wove maps and banners. He collected old (...) shoes, empty milk bags, gears, tools, toys, cutlery, bottles, mugs to shape into powerful amalgams of odd aesthetic narrative. As pieces of the Colony waste were given to Bispo by other inmates and as he turned the scraps into art, his creative strength was offered to the hospital’s population and now to museums and art galleries. The observation of this cycle of stunning wonder between Bispo and his fellow inmates suggests the view of unravelling second-order cybernetic processes. Simple things of the world turned into art got new significance in the eyes of the observers. Their poor world became thrilled in delight. As an inmate of a psychiatric ward in Rio de Janeiro, he never stopped his intense and endless work building an inventory of embroidery, assemblages and objects deemed to present the Lord. His work captured the aesthetic sensibility of the Colony population who started viewing the common things of the world redeemed by Bispo as sacred uncaged tokens with divine destination. A virtuous unending cycle of human sensibility and creativity. As observers, we make the distinction of evolving processes in the realm of second-order cybernetics. (shrink)

We show that the spectrum of a sentence ϕ in Counting Monadic Second Order Logic (CMSOL) using one binary relation symbol and finitely many unary relation symbols, is ultimately periodic, provided all the models of ϕ are of clique width at most k, for some fixed k. We prove a similar statement for arbitrary finite relational vocabularies τ and a variant of clique width for τ-structures. This includes the cases where the models of ϕ are of tree width (...) at most k. For the case of bounded tree-width, the ultimate periodicity is even proved for Guarded Second Order Logic GSOL. We also generalize this result to many-sorted spectra, which can be viewed as an analogue of Parikh's Theorem on context-free languages, and its analogues for context-free graph grammars due to Habel and Courcelle. Our work was inspired by Gurevich and Shelah (2003), who showed ultimate periodicity of the spectrum for sentences of Monadic Second Order Logic where only finitely many unary predicates and one unary function are allowed. This restriction implies that the models are all of tree width at most 2, and hence it follows from our result. (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)