Heidegger tries to explain our emotional life applying three schemes: causal explanation, mental internalisation of emotions and metaphorical expression. None of the three schemes explains emotion though. Either because the causal nexus does not always occur or because objects and people in the external world are carriers of emotional agents or because language is already on a metaphorical level. Moreover, how is it possible that there are presently emotions constituting our life without our being aware of their existence? From (...) the analysis of boredom in its three varieties (“bored by X”, “get oneself bored”, and “it is boring”) we will get to the depth where emotions lie, trying to rouse them and to keep them awake. Although it surfaces with the force and energy of the present, every emotion has its past and future constitution. How can we understand the future of a present emotion along with its past? (shrink)

There are many psychic mechanisms by which people engage with their selves. We argue that an important yet hitherto neglected one is self-appraisal via meta-emotions. We discuss the intentional structure of meta-emotions and explore the phenomenology of a variety of examples. We then present a pilot study providing preliminary evidence that some facial displays may indicate the presence of meta-emotions. We conclude by arguing that meta-emotions have an important role to play in higher-order theories of psychic harmony.

The issue of emotion is discussed in three stages in this article. Thus, emotion is built on a realistic and explanatory basis. In the first stage, the relationship between the physiological structure of the human brain and emotion is emphasized. The connection between the lower/primitive brain (the region/emotion center where emotions arise) and the upper/developed brain (mind-logic center, prefrontal lobe) is mentioned. Secondly, the emotional and mental development of human according to Jean Piaget's Mental Development Theory (...) is explained. In the emotional / intuitive period of 4-7 years (Emotional Intuition), while the person is completely under the influence of emotions, at the age of 7-11, he becomes aware of a concrete world accompanying emotions and passes to the Concrete Operations Period. It experiences the universe by "experiment" in the concrete operational period. And at the age of 11-17, the human reaches the Abstract Operations Period with the addition of reason and logic to his mental structure, which he built by putting a concrete universe on the core of emotions. Emotion is one of the most important functions of the human brain, and the reasoning system has evolved as an extension of the emotional system. Emotion plays different roles in the reasoning process. Emotion can increase the weight of a proposition, affecting the result in favor of that proposition. Emotion also helps in the process of remembering the many facts that need to be taken into account in order to make a decision. It has been explained through examples that emotion has a very important function in reasoning and that the mind is also important in controlling emotions. Again, emotion can help the mind / logic process scientific knowledge correctly and make good decisions. (shrink)

The objective of this doctoral dissertation is to interpret the explanation of akrasia that the Dutch philosopher Benedictus Spinoza (1632-1677) gives in his work The Ethics. One is said to act acratically when one intentionally performs an action that one judges to be worse than another action which one believes one might perform instead. In order to interpret Spinoza’s explanation of akrasia, a large part of this dissertation investigates Spinoza’s theory of emotion. The first chapter is introductory and (...) outlines Spinoza’s categorisation of mental states and his conception of the relation between the mind and the body. The second chapter deals with Spinoza’s epistemology and the relation between cognitive mental states and states of the brain. The third chapter argues that Spinoza holds that emotions are non-cognitive mental states that are caused by cognitive mental states. The fourth chapter interprets Spinoza’s discussion of the emotions of Joy and Sadness insofar as they are mental states. The fifth chapter suggests that when Spinoza says that the power of our body is increased or decreased when we are joyful or sad, he means that when we are joyful or sad then, at the same time, our heart and perhaps the organs of our digestive system are affected in such a way that our bodily health is increased or decreased. The sixth chapter points to three problems that concern Spinoza’s definitions of the psychophysical states of pleasure, pain, cheerfulness and melancholy, and offers slightly altered definitions of these states. The seventh chapter interprets the various aspects of Spinoza’s conception of the emotion of Desire, both insofar as it is a state of the mind and insofar it is a state of the body, as well as the relation between the emotion of Desire and man’s striving for self-preservation. The eighth chapter discusses what Spinoza writes on the strength of emotions and the way in which we make value judgments in order to finally interpret why it is, according to Spinoza, that ‘we so often see the better for ourselves but follow the worse’. (shrink)

According to the old feeling theory of emotion, an emotion is just a feeling: a conscious experience with a characteristic phenomenal character. This theory is widely dismissed in contemporary discussions of emotion as hopelessly naïve. In particular, it is thought to suffer from two fatal drawbacks: its inability to account for the cognitive dimension of emotion (which is thought to go beyond the phenomenal dimension), and its inability to accommodate unconscious emotions (which, of course, lack any (...) phenomenal character). In this paper, I argue that the old feeling theory is in reality only a pair of modifications removed from a highly plausible account of the nature of emotion that retains the essential connection between emotion and feeling. These modifications are, moreover, motivated by recent developments in work on phenomenal consciousness. The first development is the rising recognition of a phenomenal character proper to cognition—so-called cognitive phenomenology. The second is the gathering momentum behind various ‘connection principles’ that specify some connection that a given state must bear to phenomenally conscious states in order to qualify as mental. These developments make it possible to formulate a new feeling theory of emotion, which would overcome the two fatal drawbacks of the old feeling theory. According to the new feeling theory, an emotion is a mental state that bears the right connection to conscious experiences with the right phenomenal character (involving, among other elements, a cognitive phenomenology). (shrink)

The main purpose of this work is to examine John Rawls’ views on guilt and shame, as well as briefly review the relationship between his theory of moral development and the problem of stability. First of all, in order to fully reveal the subject, it is important to outline the central views on moral emotions developed in Ethics. So, in the first part of the work, four families of moral emotions developed by Jonathan Haidt and the principal differences between (...) shame and guilt will be studied. The second part will examine John Rawls’ theory of the development of the moral sense of guilt, as well as his reflections on shame. In the final part of the work, Rawls’ theory of the moral development of individuals and the prerequisites for acquiring a sense of justice in conjunction with the problem of stability will be studied in main terms. (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)

Are there are normative reasons to have – or refrain from having – certain emotions? The dominant view is that there are. I disagree. In this paper, I argue for Strong Eliminativism – the view that there are no reasons for emotions. My argument for this claim has two premises. The first premise is that there is a deliberative constraint on reasons: a reason for an agent to have an attitude must be able to feature in that agent’s deliberation to (...) that attitude. My argument for this premise is that in order to have reasons for an attitude, we need to be able to exhibit some relevant form of control over this attitude, and this relevant form of control is deliberative control. The second premise is that no one can deliberate to any emotion. My argument for this premise turns on the claim that there is no deliberative question that is settled by forming (or giving up) an emotion. I contend that this is so due to the well-known phenomenon of recalcitrant emotions: for any deliberative question that can be settled, there is no guarantee that the relevant emotional state will follow (or be revised). Strong Eliminativism follows from these two premises. (shrink)

In The Stubborn System of Moral Responsibility (2015), Bruce Waller sets out to explain why the belief in individual moral responsibility is so strong. He begins by pointing out that there is a strange disconnect between the strength of philosophical arguments in support of moral responsibility and the strength of philosophical belief in moral responsibility. While the many arguments in favor of moral responsibility are inventive, subtle, and fascinating, Waller points out that even the most ardent supporters of moral responsibility (...) acknowledge that the arguments in its favor are far from conclusive; and some of the least confident concerning the arguments for moral responsibility—such as Van Inwagen—are most confident of the truth of moral responsibility. Thus, argues Waller, whatever the verdict on the strength of philosophical arguments for moral responsibility, it is clear that belief in moral responsibility—whether among philosophers or the folk—is based on something other than philosophical reasons. -/- He goes on to argue that there are several sources for the strong belief in moral responsibility, but the following four are particularly influential: First, moral responsibility is based in a powerful “strike back” emotion that we share with other animals. Second, there is a deep-rooted “belief in a just world”—a belief that, according to Waller, most philosophers reject when they consciously consider it, but which has a deep nonconscious influence on what we regard as just treatment and which provides subtle (but mistaken) support for belief in moral responsibility. Third, there is a pervasive moral responsibility system—extending over criminal justice as well as “common sense”—that makes the truth of moral responsibility seem obvious, and makes challenges to moral responsibility seem incoherent. Finally, there is the enormous confidence we have in the power of reason, which mistakenly leads us to believe that our conscious, rational, and critically reflective selves are constantly guiding our behavior in accordance with our deep values. -/- In these comments, I would like to discuss the many points of agreement I have with Waller, providing along the way additional fuel for his skeptical fire (i.e., his moral responsibility skepticism and his skeptical analysis of the source of our strong belief in moral responsibility). I will also discuss, however, my one main point of disagreement—i.e., his desire to preserve the conception of free will. Waller believes free will can “flourish” in the absence of moral responsibility (see Ch.8), while I maintain they that the variety of free will that is of central philosophical and practical importance is the sort required for moral responsibility in a particular but pervasive sense. This sense of moral responsibility is set apart by the notion of basic desert and is purely backward-looking and non-consequentialist (see Pereboom 2001, 2014; Caruso and Morris, forthcoming). Understood this way, the sort of free will at issue in the historical debate is a kind of power or ability an agent must possess in order to justify certain kinds of desert-based judgments, attitudes, or treatments in response to decisions or actions that the agent performed or failed to perform. (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)

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)

A rich literature has discussed what it is to respond to a reason, e.g., to believe or act on the basis of some consideration or another. In comparison, what it would be to respond to a second-order reason has been underexplored. Yet formulating an account of this is vital for maintaining the existence of second-order reasons in both the practical and epistemic domains. And indeed, there are reasons to doubt this is possible. For example, responding to (...) second-order reasons is meant to be different from simply coming to believe or act for a more richly described first-order reason but it's not clear what this would look like. This paper introduces an account of the second-order basing relation which meets these concerns. It therefore both develops our picture of second-order reasons and helps to defend their existence. (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)

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)

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)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons (...) different from those he thought. (shrink)

In March 2016, an interdisciplinary group met for two days and two evenings to explore the implications for policy making of second-order science. The event was sponsored by SITRA, the Finnish Parliament's Innovation Fund. Their interest arose from their concern that the well-established ways, including evidence-based approaches, of policy and decision making used in government were increasingly falling short of the complexity, uncertainty, and urgency of needed decision making. There was no assumption that second-order science or (...) second-order cybernetics would reveal any practical possibilities at this early stage of enquiry. On the other hand, some members of the group are practioners in both policy and in facilitating change in sectors of society. Thus, the intellectual concepts were strongly grounded in experience. This is an account of the deliberations of that group and some reflections on what came out of the various shared contributions and ensuing dialogues. The overall conclusion of the event is that there definitely are possibilities that are worthy of further research and exploration. (shrink)

The paper sets forth an argument against Kim's distinction between levels and orders.

Aside from the systematic theory of recognition, Honneth’s work in the last decade has also centered around a less commented-upon theme: the critical social theoretic diagnosis of social pathologies. This paper claims first that his diverse diagnoses of specific social pathologies can be productively united through the conceptual structure evinced by second-order disorders, where there are substantial disconnects, of various kinds, between first-order contents and second-order reflexive understandings of those contents. The second major claim (...) of the paper is that once we understand social pathologies as second-order disorders, it becomes apparent that critical social theory must do more than accurately identify and explicate these disorders at the phenomenological and action-theoretic levels. It must further engage in insightful sociological explanations of the social causes of those pathologies in order to further the prognostic and therapeutic tasks implied by the aim of developing a social theory with emancipatory intent. The paper argues that the identificatory and explicative components of diagnostic social theory have been fulfilled by Honneth to a much greater degree than the latter components of explanation, prognosis and therapy. (shrink)

The traditional sciences have always had trouble with ambiguity. Through the imposition of “enabling constraints” -- making a set of assumptions and then declaring ceteris paribus -- science can bracket away ambiguity. These enabling constraints take the form of uncritically examined presuppositions or “uceps.” Second order science examines variations in values assumed for these uceps and looks at the resulting impacts on related scientific claims. After rendering explicit the role of uceps in scientific claims, the scientific method is (...) used to question rarely challenged assertions. This article lays out initial foundations for second order science, its ontology, methodology, and implications. (shrink)

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.

This paper proposes the feasibility of a second-order approach in cosmology. It is intended to encourage cosmologists to rethink standard ideas in their field, leading to a broader concept of self-organization and of science itself. It is argued, from a cognitive epistemology perspective, that a first-order approach is inadequate for cosmology; study of the universe as a whole must include study of the scientific observer and the process of theorizing. Otherwise, concepts of self-organization at the cosmological scale (...) remain constrained by unacknowledged assumptions and biases. Examples of limiting notions are discussed in the context of alternatives. To include the role of the theorist does not mean reducing science to subjective or sociological terms. On the contrary, second-order science would provide a more complete portrait of nature. The work of cosmologist Lee Smolin is discussed as a candidate example of second-order cosmology. (shrink)

These comments, on the paper by Branden Thornhill-Miller and Peter Millican, and on the critique of that paper by Janusz Salamon, divide into four sections. In the first two sections, I briefly sketch some of the major themes from the paper by Thornhill-Miller and Millican, and then from the critique by Salamon. In the final two sections, I provide some critical thoughts on Salamon’s objections to Thornhill-Miller and Millican, and then on the leading claims made by Thornhill-Miller and Millican. I (...) find much to commend, but also some things to dispute, in both papers. As is so often the way, I shall focus on areas of disagreement. (shrink)

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

A number of widely discussed court decisions on cases of insults against religious feelings in Russia, such as the relatively recent “Pokemon Go” case of blogger Ruslan Sokolovsky or the lawsuit filed against an Orthodox priest by Nikolai Ryabchevsky in Yekaterinburg for comparing Lenin with Hitler, make pertinent the question of why toleration becomes so difficult in matters concerning religion. In this paper, I revise the classical liberal concept of toleration (David Heyd, Peter Nicholson, and John Horton), arguing that it (...) is challenged by contemporary philosophers, who see no room for applying this concept in the “domain of identities”. The most prominent case of “primordial” identity, that is, the notion of identity as a given, is the claim of devoted believers for recognition. Should we replace the principle of toleration by the principle of recognition since the latter better corresponds to identity claims? To address this question, in the first part of the article I describe the mechanism of tolerant attitude (Nicholson, Heyd) and in the second part, I analyze the debates about the possibility or impossibility of inner religious toleration (Avishai Margalit, Cary Nederman, and Maxim Khomyakov) and further compare toleration and recognition as normative principles. In the light of the debates I took part in the conference hosted by the University of Southern Denmark in October 2019 as part of the project “Religious Majority/Minority in Public Space in Russia and Northern Europe: Historical-Cultural Analysis”, I come to the conclusion that the principle of toleration is preferable to the principle of recognition because the “second-order” arguments for toleration in a secular state will be universally acceptable (pragmatic argument) and, therefore, the principle of toleration is more logical (analytical argument). Following Peter John’s thesis about minimal recognition embedded in toleration, it may also be concluded that we need a normatively charged idea of citizenship, which could provide us with universal “second-order” foundation. (shrink)

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

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as (...) being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (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.

Open peer commentary on the article “Constructivist Model Building: Empirical Examples From Mathematics Education” by Catherine Ulrich, Erik S. Tillema, Amy J. Hackenberg & Anderson Norton. Upshot: I argue that radical constructivism poses a series of deep methodological constraints on educational research. We focus on the work of Ulrich et al. to illustrate the practical implications of these constraints.

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

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.

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

This paper puts forward three critiques of pardo’s second-order proof rules thesis. The first criticism states that these rules are not suitable to guide the interpretation of standards of proof rules because they confuse matters of legal interpretation with matters of epistemology. The second criticism states that second-order proof rules are affected by the same indeterminacy problems they are designed to resolve, thereby rendering them unsuitable for the task they are purposely designed for. The third (...) criticism renders pardo’s proposal redundant. a reconceptualization of second-order proof rules is offered. (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)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation (...) of contentrecarving and I show that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

Beginning with a survey of the shortcoming of theories of organology/media-as-externalization of mind/body—a philosophical-anthropological tradition that stretches from Plato through Ernst Kapp and finds its contemporary proponent in Bernard Stiegler—I propose that the phenomenological treatment of media as an outpouching and extension of mind qua intentionality is not sufficient to counter the ̳black-box‘ mystification of today‘s deep learning‘s algorithms. Focusing on a close study of Simondon‘s On the Existence of Technical Objectsand Individuation, I argue that the process-philosophical work of Gilbert (...) Simondon, with its critique of Norbert Wiener‘s first-order cybernetics, offers a precursor to the conception of second-order cybernetics (as endorsed byFrancisco Varela, Humberto Maturana, and Ricardo B. Uribe) and, specifically, its autopoietic treatment of information. It has been argued by those such as Frank Pasquale that neuro-inferential deep learning systems premised on predictive patterning, suchas AlphaGo Zero, have a veiled logic and, thus, are ̳black boxes‘. In detailing a philosophical-historical approach to demystify predictive patterning/processing and the logic of such deep learning algorithms, this paper attempts to shine a light on such systems and their inner workingsàla Simondon. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the (...) second-order domain in terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

Purpose – This study aims to examine the observer’s role in “infant psychophysics”. Infant psychophysics was developed because the diagnosis of perceptual deficits should be done as early in a patient’s life as possible, to provide efficacious treatment and thereby reduce potential long-term costs. Infants, however, cannot report their perceptions. Hence, the intensity of a stimulus at which the infant can detect it, the “threshold”, must be inferred from the infant’s behavior, as judged by observers (watchers). But whose abilities are (...) actually being inferred? The answer affects all behavior-based conclusions about infants’ perceptions, including the well-proselytized notion that auditory stimulus-detection thresholds improve rapidly during infancy. Design/methodology/approach – In total, 55 years of infant psychophysics is scrutinized, starting with seminal studies in infant vision, followed by the studies that they inspired in infant hearing. Findings – The inferred stimulus-detection thresholds are those of the infant-plus-watcher and, more broadly, the entire laboratory. The thresholds are therefore tenuous, because infants’ actions may differ with stimulus intensity; expressiveness may differ between infants; different watchers may judge infants differently; etc. Particularly, the watcher’s ability to “read” the infant may improve with the infant’s age, confounding any interpretation of perceptual maturation. Further, the infant’s gaze duration, an assumed cue to stimulus detection, may lengthen or shorten nonlinearly with infant age. Research limitations/implications – Infant psychophysics investigators have neglected the role of the observer, resulting in an accumulation of data that requires substantial re-interpretation. Altogether, infant psychophysics has proven far too resilient for its own good. Originality/value – Infant psychophysics is examined for the first time through second-order cybernetics. The approach reveals serious unresolved issues. (shrink)

Abstract : The main goal in this work to find the general solution for some kind of linear second order homogenous differential equations with variable coefficients which have the general form , by using the substitution ,which transform form the above equation to Riccati equation .

In this paper, a horizontally moving suspended mass pendulum base is designed and controlled using robust control theory. H  optimal loop shaping with first and second order desired loop shaping function controllers are used to improve the performance of the system using Matlab/Simulink Toolbox. Comparison of the H  optimal loop shaping with first and second order desired loop shaping function controllers for the proposed system have been done to track the desired angular position of (...) the pendulum using step and sine wave input signals and a promising result has been obtained succesfully. (shrink)

Purpose – This paper aims to extend the companion paper on “infant psychophysics”, which concentrated on the role of in-lab observers (watchers). Infants cannot report their own perceptions, so for five decades their detection thresholds for sensory stimuli were inferred from their stimulus-evoked behavior, judged by watchers. The inferred thresholds were revealed to inevitably be those of the watcher–infant duo, and, more broadly, the entire Laboratory. Such thresholds are unlikely to represent the finest stimuli that the infant can detect. What, (...) then, do they represent? Design/methodology/approach – Infants’ inferred stimulus-detection thresholds are hypothesized to be attentional thresholds, representing more-salient stimuli that overcome distraction. Findings – Empirical psychometric functions, which show “detection” performance versus stimulus intensity, have shallower slopes for infants than for adults. This (and other evidence) substantiates the attentional hypothesis. Research limitations/implications – An observer can only infer the mechanisms underlying an infant’s perceptions, not know them; infants’ minds are “Black Boxes”. Nonetheless, infants’ physiological responses have been used for decades to infer stimulus-detection thresholds. But those inferences ultimately depend upon observer-chosen statistical criteria of normality. Again, stimulus-detection thresholds are probably overestimated. Practical implications – Owing to exaggerated stimulus-detection thresholds, infants may be misdiagnosed as “hearing impaired”, then needlessly fitted with electronic implants. Originality/value – Infants’ stimulus-detection thresholds are re-interpreted as attentional thresholds. Also, a cybernetics concept, the “Black Box”, is extended to infants, reinforcing the conclusions of the companion paper that the infant-as-research-subject cannot be conceptually separated from the attending laboratory staff. Indeed, infant and staff altogether constitute a new, reflexive whole, one that has proven too resilient for anybody’s good. (shrink)

This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ entity (...) in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)

Constructivism is a philosophical current that manifests itself greatly within the realm of contemporary epistemology. Its bases come from the idea that knowledge is not only actively constructed by the observer but also provides a lens through which reality can be interpreted as a result of experiences. This paper traces a brief interdisciplinary curve that outlines some of the most important philosophical approaches that contributed to the consolidation of this school of thought for more than twenty-five centuries.

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

Let “phenomenal dogmatism” be the thesis that some experiences provide some beliefs with immediate justification, and do so purely in virtue of their phenomenal character. A basic question-mark looms over phenomenal dogmatism: Why should the fact that a person is visited by some phenomenal feel suggest the likely truth of a belief? In this paper, I press this challenge, arguing that perceptually justified beliefs are justified not purely by perceptual experiences’ phenomenology, but also because we have justified second-order (...) background beliefs to the effect that the occurrence of certain perceptual experiences is indicative of the likely truth of certain corresponding beliefs. To bring this out, I contrast “perceptual dogmatism” with “moral dogmatism”: the thesis that some emotional experiences provide some moral beliefs with immediate justification, and do so purely in virtue of their phenomenal character. I argue that moral dogmatism is much less antecedently appealing, precisely because the counterpart second-order beliefs here are much less plausible. (shrink)

I aim to develop an alternative theoretical model for the direct cognition of the elementary states of others called the theory of interaction (henceforth TI), also known as the “second person” approach. The model I propose emerges from a critical reformulation of the displaced perception model proposed by FRED DRETSKE (1995) for the introspective knowledge of our own mental states. Moreover, against Dretske, I argue that no meta-representation (second-order representation of a first-order representation as a representation) (...) is involved in the process, but only concepts, rudimentary enough, of others’ emotions: contentment and discontentment. Strictly speaking, all the empirical data and findings in developmental psychology only support the hypothesis that children in the pre-linguistic phase understand perceptual facial expressions of contentment and discontentment. My proposal consists of the following thesis: The direct perception of others' elementary mental states is not a perception in the usual sense of the word according to which we just perceive things, but rather a “perception of facts.” But how to understand that? It is nothing more than an epistemological process that is automatic and reliable at the same time. It is reliable in the epistemological-externalist sense of not involving any inference, reflection, theorizing or epistemic justification: a baby’s perception of her mom’s facial expression of discontentment (in the usual sense of “per- ception”) does not constitute a reason supporting the belief that mommy is discontent. The very word “belief” should not be understood in the usual sense but rather in the sense of a natural inclination for truth. But at the same time, it is automatic because the belief is a result or output of a process entirely subliminal and computational in nature. Thus, for instance, a child perceives that her mom is discontent (fact-awareness) by perceiving consciously (“perception” in the usual sense) a facial expression of discontentment (sensorial input) but recognizes that her mother is discontent as a result (output) of an entirely subliminal process. (shrink)

Rescue workers have a stressful and risky occupation where being engaged is crucial to face physical and emotional risks in order to help other persons. This study aims to estimate work engagement levels of rescue workers (namely comparing nurses, firefighters, and police officers) and to assess the validity evidence related to the internal structure of the Portuguese versions of the UWES-17 and UWES-9, namely, dimensionality, measurement invariance between occupational groups, and reliability of the scores. To evaluate the dimensionality, we (...) compared the fit of the three-factor model with the fit of a second-order model. A Portuguese version of the instrument was applied to a convenience sample of 3,887 rescue workers (50% nurses, 39% firefighters, and 11% police officers). Work engagement levels were moderate to high, with firefighters being the highest and nurses being the lowest engaged. Psychometric properties were evaluated in the three-factor original structure revealing acceptable fit to the data in the UWES-17, although the UWES-9 had better psychometric properties. Given the observed statistically significant correlations between the three original factors, we proposed a 2nd hierarchal structure that we named work engagement. The UWES-9 first-order model obtained full uniqueness measurement invariance, and the second-order model obtained partial (metric) second-order invariance. (shrink)