Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary [6], Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this (...) to show that natural language has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types. (shrink)

This chapter provides a critical overview of several influential proposals about the epistemic function of higher-order evidence. I start by criticizing accounts of higher-order evidence that appeal to evidential defeat (§1), epistemic conflicts (§2), and unreasonable knowledge (§3). Next, I propose an alternative account that appeals to a combination of improper basing (§4) and non-ideal rationality (§5). Finally, I conclude by summarizing my reasons for preferring this account of higher-order evidence to the alternatives (§6).

Conscious mental states are states we are in some way aware of. I compare higher-order theories of consciousness, which explain consciousness by appeal to such higher-order awareness (HOA), and first-order theories, which do not, and I argue that higher-order theories have substantial explanatory advantages. The higher-order nature of our awareness of our conscious states suggests an analogy with the metacognition that figures in the regulation of psychological processes and behaviour. I argue (...) that, although both consciousness and metacognition involve higher-order psychological states, they have little more in common. One thing they do share is the possibility of misrepresentation; just as metacognitive processing can misrepresent one’s cognitive states and abilities, so the HOA in virtue of which one’s mental states are conscious can, and sometimes does, misdescribe those states. A striking difference between the two, however, has to do with utility for psychological processing. Metacognition has considerable benefit for psychological processing; in contrast, it is unlikely that there is much, if any, utility to mental states’ being conscious over and above the utility those states have when they are not conscious. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this (...) system are polynomial time computable. Finally, we apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory (...) as a foundation of mathematics, recent decades have shown remarkable comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.

Evidentialism as an account of theoretical rationality is a popular and well-defended position. However, recently, it's been argued that misleading higher-order evidence (HOE) – that is, evidence about one's evidence or about one's cognitive functioning – poses a problem for evidentialism. Roughly, the problem is that, in certain cases of misleading HOE, it appears evidentialism entails that it is rational to adopt a belief in an akratic conjunction – a proposition of the form “p, but my evidence doesn't (...) support p” – despite it being the case that believing an akratic conjunction appears to be clearly irrational. In this paper, I diffuse the problem for evidentialism using the distinction between propositional and doxastic rationality. I argue that, although it can be propositionally rational to believe an akratic conjunction (according to evidentialism), one cannot inferentially base an akratic belief in one's evidence, and, thus, one cannot doxastically rationally possess an akratic belief. In addition, I address the worry that my solution to the puzzle commits evidentialists to the possibility of epistemic circumstances in which a proposition, p, is propositionally rational to believe (namely, an akratic conjunction), yet one cannot, in principle, (doxastically) rationally believe p. As I demonstrate, cases of misleading HOE are not the only types of cases that force evidentialists to accept that propositional rationality does not entail the possibility of doxastic rationality. There are no new problems raised by misleading HOE that weren't already present in cases involving purely first-order evidence. (shrink)

Truth predicates are widely believed to be capable of serving a certain logical or quasi-logical function. There is little consensus, however, on the exact nature of this function. We offer a series of formal results in support of the thesis that disquotational truth is a device to simulate higher-order resources in a first-order setting. More specifically, we show that any theory formulated in a higher-order language can be naturally and conservatively interpreted in a first-order (...) theory with a disquotational truth or truth-of predicate. In the first part of the paper we focus on the relation between truth and full impredicative sentential quantification. The second part is devoted to the relation between truth-of and full impredicative predicate quantification. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us (...) to have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature (...) between objects and functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

It is well known that a degree-of-belief function P is coherent if and only if it satisfies the probability calculus. In this paper, we show that the notion of coherence can be extended to higher order probabilities such as P(P(h)=p)=q, and that a higher order degree-of-belief function P is coherent if and only if it satisfies the probability calculus plus the following axiom: P(h)=p iff P(P(h)=p)=1. Also, a number of lemmata which extend an incomplete probability function (...) to a complete one are established. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since (...) it has to take the theory of αβη-equality into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise (...) from surjective geometric morphisms f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Higher-order theories of consciousness posit that a mental state is conscious by virtue of being represented by another mental state, which is therefore a higher-order representation (HOR). Whether HORs are construed as thoughts or experiences, higher-order theorists have generally contested whether such metarepresentations have any significant cognitive function. In this paper, I argue that they do, focusing on the value of conscious thinking, as distinguished from conscious perceiving, conscious feeling, and other forms of conscious (...) mentality. A thinking process is constituted by propositional-attitude states, and during conscious thinking some or all of these states would be targeted by HORs. Since cases of nonconscious thinking are widely accepted, the question arises as to the use of representing one's thoughts during thinking. Contra the views of Armstrong and Rolls, I argue that HORs do not facilitate first-order thinking. Rather, I propose that such representations enable reasoning about one's act of thinking, and I give various examples of this sort of metacognition in support of the theory. I further argue that the general correlation between complex thinking and its being conscious is merely due to the fact that assessing one's mental act is particularly useful during such thinking, not because consciousness somehow facilitates first-order inference-making, as folk psychology implies. My view is thus consistent with recent empirical evidence that complex thinking sometimes yields better results when nonconscious. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Situation theory, as developed by Barwise and his collaborators, is used to demonstrate the possibility of defining teleology (and related notions, like that of proper or biological function) in terms of higher order causation, along the lines suggested by Taylor and Wright. This definition avoids the excessive narrowness that results from trying to define teleology in terms of evolutionary history or the effects of natural selection. By legitimating the concept of teleology, this definition also provides promising new avenues (...) for solving long standing problems in the philosophy of mind, such as the problems of intentionality and mental causation. (shrink)

A typical interpreted formal language has (first‐order) variables that range over a collection of objects, sometimes called a domain‐of‐discourse. The domain is what the formal language is about. A language may also contain second‐order variables that range over properties, sets, or relations on the items in the domain‐of‐discourse, or over functions from the domain to itself. For example, the sentence ‘Alexander has all the qualities of a great leader’ would naturally be rendered with a second‐order variable (...) ranging over qualities. Similarly, the sentence ‘there is a property that holds of all and only the prime numbers’ has a variable ranging over properties of natural numbers. Third‐order variables range over properties of properties, sets of sets, functions from properties to sets, etc. For example, according to some logicist accounts, the number 4 is the property shared by all properties that apply to exactly four objects in the domain. Accordingly, the number 4 is a third‐order item. Fourth‐order variables, and beyond, are characterized similarly. The phrase ‘higher‐order variable’ refers to the variables beyond first‐order. (shrink)

It has been argued that nonreductive physicalism’s problems with mental causation disappear if we abandon the intuitive but naïve production-based conception of causation in favor of one based on counterfactual dependence and difference-making. In recent years, this response has been thoroughly developed and defended by James Woodward, who contends that Kim’s causal exclusion argument, widely thought to be the most serious threat to nonreductive mental causation, cannot even be given a coherent formulation within Woodward’s preferred interventionist framework. But Woodward has, (...) even more recently, defended a pair of necessary conditions on mental causation and higher-order causation more generally, and it is here that the interventionist framework proves less friendly to nonreductive mental causation. Functionalism is arguably the most important species of nonreductive physicalism concerning specifically mental properties, but, as I argue, functional properties fail both of Woodward’s tests of causal relevance, one of them in two different ways. The problem, moreover, seems unique to functionalism, for other types of higher-order properties appear to pass Woodward’s tests. If functionalism faces defeat even in such friendly territory, its problems with mental causation are not an artifact of naïve metaphysics. They run deep. (shrink)

Since it is hard to see how subjective rationality could be normative, a humbler, purely evaluative account of rationality’s importance has been suggested: rationality is a non-moral virtue, and rational action is good so far as it reveals that an agent ‘functions well’. This paper argues, however, that even this fallback position is threatened by ‘eccentric billionaire’ scenarios: sometimes, flouting purported coherence standards of rationality is maximally virtuous. In defense of the virtue account, I argue that a novel view (...) of rational constraints is called for: rationality requires a certain form of higher-order coherence – as considerations about instrumental coherence can show. (shrink)

This article presents a characterization of higher-order risk preferences such as prudence or temperance in terms of statistical moments. Our results, which are generalizations of Roger :27–44, 2011) and Ekern, 329–333, 1980), give a better understanding of how higher-order risk preferences relate to skewness preference and kurtosis aversion. While they are not based on expected utility theory, an implication within that theory is that all commonly used utility functions exhibit skewness preference and kurtosis aversion.

In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional (...) logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines. (shrink)

Mental state reasoning or theory-of-mind has been the subject of a rich body of imaging research. Although such investigations routinely tap a common set of regions, the precise function of each area remains a contentious matter. With the help of functional magnetic resonance imaging (fMRI), we sought to determine which areas are involved when processing mental state or intentional metarepresentations by focusing on the relational aspect of such representations. Using non-intentional relational representations such as spatial relations between persons and between (...) objects as a contrast, the results ascertained the involvement of the precuneus, the temporal poles, and the medial prefrontal cortex in the processing of intentional representations. In contrast, the anterior superior temporal sulcus and the left temporo-parietal junction were implicated when processing representations that refer to the presence of persons in relational contexts in general. The right temporo-parietal junction, however, was specifically activated for persons entering spatial relations. The level of representational complexity, a previously unexplored factor, was also found to modulate the neural response in some brain regions, such as the medial prefrontal cortex and the right temporo-parietal junction. These findings highlight the need to take into account the critical roles played by an extensive network of neural regions during mental state reasoning. (shrink)

A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of generator programs for computable functions is studied. To motivate these studies partially, it is shown that, in some cases, interesting global properties for computable functions can be proved from suitable generator programs which cannot be proved from any ordinary programs for them. The power (for variants of various learning criteria from the (...) literature) of learning generator programs is compared with the power of learning ordinary programs. The learning power in these cases is also compared to that of learning limiting programs, i.e., programs allowed finitely many mind changes about their correct outputs. (shrink)

I argue that there are different orders of mechanisms with different constitutive relevance and individuation conditions. In common first-order mechanistic explanations, constitutive relevance norms are captured by the matched-interlevel-experiments condition (Craver et al. (2021) Synthese 199:8807–8828). Regarding individuation, we say that any two mechanisms are of the same type when they have the same concrete components performing the same activities in the same arrangement. By contrast, in higher-order mechanistic explanations, we formulate the decompositions in terms of generalized (...) basic components (GBCs). These GBCs (e.g., logic gates) possess causal properties that are common to a set of physical systems. Mechanistic explanations formulated in terms of GBCs embody the epistemic value of horizontal integration, which aims to explain as many phenomena as possible with a minimal amount of abstract components (Wajnerman Paz (2017a) Philos Psychol 30:213–234). Two higher-order mechanisms are of the same type when they share all the same GBCs, and they are organized as performing the same activities with the same interactions. I use this notion of mechanistic order to enhance the mechanistic account of computation (MAC) and provide an account of the epistemic norms of computational explanation and the nature of medium-independent functional properties and mechanisms. Finally, I use these new conceptual tools to address four criticisms of the MAC. (shrink)

Thus, despite the di culty of higher-order automated theorem proving, which has to deal with problems like the undecidability of higher-order uni - cation (HOU) and the need for primitive substitution, there are proof problems which lie beyond the capabilities of rst-order theorem provers, but instead can be solved easily by an higher-order theorem prover (HOATP) like Leo. This is due to the expressiveness of higher-order Logic and, in the special case (...) of Leo, due to an appropriate handling of the extensionality principles (functional extensionality and extensionality on truth values). (shrink)

I discuss whether Michael Tye, in Ten Problems of Consciousness. Cambridge, Massachusetts: MIT Press, 1966, holds that phenomenal properties are neurological properties, but that what gives them their phenomenal property names are their highly complex interconnections with other neurological properties and, most especially, subjects' surroundings. Or, alternatively, whether he holds that they are higher-level, wide functional properties in the sense of being properties of having properties that fill some specified wide or distal roles.

This book reconstructs the impact of Plato's words for the modern reader. In the Republic, Plato presented his schematization of human intellectual development, and called for collaboration between writer and reader. The response presented in this book results in a new theoretical framework for engaging with Plato's dialogues. Susanna Saracco analyzes the epistemic function of Plato's written words and explores Plato's higher order pedagogy, in which students are not mere learners and teachers are not the depositories of the (...) truth. (shrink)

The view that posterior brain systems engaged in lower-order perceptual functions are activated during sustained retention is challenged by fMRI data, which show consistent retention-related activation of higher-order memory representations for a variety of working-memory materials. Sustained retention entails the dynamic link of these higher-order memories with schemata for goal-oriented action housed by the frontal lobes.

The contribution of action-perception systems of the brain to lexical semantics remains controversial. Here, we used high-definition transcranial direct current stimulation (HD-tDCS) in healthy adults to examine the role of primary (left hand motor area; HMA) and higher-order (left anterior inferior parietal lobe; aIPL) action areas in action-related word processing (action verbs and manipulable nouns) compared to non-action-related control words (non-action verbs and non-manipulable nouns). We investigated stimulation-related effects at three levels of semantic processing: subliminal, implicit, and explicit. (...) Broadly, we found that stimulation of HMA and aIPL resulted in relative facilitation of action-related language processing compared to non-action. HMA stimulation facilitated action verb processing in subliminal and implicit task contexts, suggesting that HMA helps represent action verbs even in semantically shallow tasks. HMA stimulation also facilitated manipulable noun comprehension in an explicit semantic task, suggesting that HMA contributes to manipulable noun comprehension when semantic demands are high. aIPL stimulation facilitated both manipulable noun and action verb processing during an implicit task. We suggest that both HMA and aIPL play a functional role in action semantics. HMA plays a general role in the semantics of actions and manipulable objects, while aIPL is important only when visuo-motor coordination is required for the action. (shrink)

Rolls attributes to consciousness the functions of reflection, planning, and error-correction. Neuropsychologically grounded cybernetic theory provides an analogous, broader conceptualization: consciousness constructs goals (and plans), alters the valence of goal-related phenomena, registers error-signals, and explores unexpected circumstances (reconfiguring goals and plans as necessary). Consciousness plays a fundamental unrecognized ontological role, as well, conferring the status of “discriminable object” on select aspects of otherwise indeterminate “being.”.

Living systems employ several mechanisms and behaviors to achieve robustness and maintain themselves under changing internal and external conditions. Regulation stands out from them as a specific form of higher-order control, exerted over the basic regime responsible for the production and maintenance of the organism, and provides the system with the capacity to act on its own constitutive dynamics. It consists in the capability to selectively shift between different available regimes of self-production and self-maintenance in response to specific (...) signals and perturbations, due to the action of a dedicated subsystem which is operationally distinct from the regulated ones. The role of regulation, however, is not exhausted by its contribution to maintain a living system’s viability. While enhancing robustness, regulatory mechanisms play a fundamental role in the realization of an autonomous biological organization. Specifically, they are at the basis of the remarkable integration of biological systems, insofar as they coordinate and modulate the activity of distinct functional subsystems. Moreover, by implementing complex and hierarchically organized control architectures, they allow for an increase in structural and organizational complexity while minimizing fragility. Finally, they endow living systems, from their most basic unicellular instances, with the capability to control their own internal dynamics to adaptively respond to specific features of their interaction with the environment, thus providing the basis for the emergence of minimal forms of cognition. (shrink)

Living systems employ several mechanisms and behaviors to achieve robustness and maintain themselves under changing internal and external conditions. Regulation stands out from them as a specific form of higher-order control, exerted over the basic regime responsible for the production and maintenance of the organism, and provides the system with the capacity to act on its own constitutive dynamics. It consists in the capability to selectively shift between different available regimes of self-production and self-maintenance in response to specific (...) signals and perturbations, due to the action of a dedicated subsystem which is operationally distinct from the regulated ones. The role of regulation, however, is not exhausted by its contribution to maintain a living system’s viability. While enhancing robustness, regulatory mechanisms play a fundamental role in the realization of an autonomous biological organization. Specifically, they are at the basis of the remarkable integration of biological systems, insofar as they coordinate and modulate the activity of distinct functional subsystems. Moreover, by implementing complex and hierarchically organized control architectures, they allow for an increase in structural and organizational complexity while minimizing fragility. Finally, they endow living systems, from their most basic unicellular instances, with the capability to control their own internal dynamics to adaptively respond to specific features of their interaction with the environment, thus providing the basis for the emergence of minimal forms of cognition. (shrink)

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

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis (...) has important consequences for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. (...) I show that Russell did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

ObjectiveVirtual reality grasping exercise training helps patients participate actively in their recovery and is a critical approach to the rehabilitation of hand dysfunction. This study aimed to explore the effects of active participation and VR grasping on brain function combined with the kinematic information obtained during VR exercises.MethodsThe cerebral oxygenation signals of the prefrontal cortex, the motor cortex, and the occipital cortex were measured by functional near-infrared spectroscopy in 18 young people during the resting state, grasping movements, and VR grasping (...) movements. The EPPlus plug-in was used to collect the hand motion data during simulated interactive grasping. The wavelet amplitude of each cerebral cortex and the wavelet phase coherence of each pair of channels were calculated by wavelet analysis. The total difference in acceleration difference of the hand in the VR grasping movements was calculated to acquire kinematic characteristics. The cortical activation and brain functional connectivity of each brain region were compared and analyzed, and a significant correlation was found between VR grasping movements and brain region activation.ResultsCompared with the resting state, the WA values of LPFC, RPFC, LMC, RMC, and ROC increased during the grasping movements and the VR grasping movements, these changes were significant in LPFC and LMC. The WA values of LMC in the VR grasping movements were significantly higher than those in the grasping movements. The WPCO of the cerebral cortex increased during grasping exercise compared with the resting state. Nevertheless, the number of significant functional connections during VR grasping decreased significantly, and only the WPCO strength between the LPFC and LMC was enhanced. The increased WA of the LPFC, RPFC, LMC, and RMC during VR grasping movements compared with the resting state showed a significant negative correlation with KCs.ConclusionThe VR grasping movements can improve the activation and FC intensity of the ipsilateral brain region, inhibit the FC of the contralateral brain region, and reduce the quantity of brain resources allocated to the task. Thus, ordered grasping exercises can enhance active participation in rehabilitation and help to improve brain function. (shrink)

The most widely endorsed philosophical and scientific theories of consciousness assume that it contributes a single functional capacity to an organism’s information processing toolkit. However, conscious processes are a heterogeneous class of psychological phenomena supported by a variety of neurobiological mechanisms. This suggests a plurality of functional contributions of consciousness (FCCs), in the sense that conscious experience facilitates different functional capacities in different psychological domains. In this paper, I first develop a general methodological framework for isolating the psychological functions (...) that are associated with conscious experience. I then use this to show that the leading accounts—Global Workspace Theories, Higher Order Thought Theory and Information Integration Theory—all fail to acknowledge this functional pluralism, which limits their applicability as theories of consciousness. (shrink)

It has been suggested that moods are higher order-dispositions. This proposal is considered, and various shortcomings uncovered. The notion of a higher-order disposition is replaced by the more general notion of a higher-order functional state. An account is given in which moods are higher-order functional states, and the overall system of moods is a higher-order functional description of the mind. This proposal is defended in two ways. First, it is shown (...) to capture some central features of our pre-scientific conception of moods. Secondly, it is argued that the account is more likely to be psychologically realistic (in a sense to be defined) than accounts which are behaviourally equivalent, but which do not employ a hierarchy of functional descriptions. It is suggested that the hierarchical structure of the model mirrors a feature of the physical states that realise moods and emotions. (shrink)

The coronavirus outbreak has led to abrupt changes in people’s daily lives as many state governments have restricted individuals’ movements in order to slow the spread of the virus. We conducted a natural experiment in the United States of America in April 2020, in which we compare responses from states with “stay-at-home orders” and no such orders. We surveyed 458 participants and examined the effects of these government-imposed restrictions on social, mental, physical, and financial well-being as well as the (...) mediating role of resilience. Structural equation modeling reveals that resilience buffers stay-at-home orders’ potential side-effects on well-being. Specifically, individuals living in states with stay-at-home orders report lower functional well-being than individuals living in states without such orders, which negatively relates to resilience. Resilience in turn is associated with higher social, mental, physical, and financial well-being. Thus, resilience can be seen as an effective means of buffering stay-at-home orders’ potential negative effects on the components of well-being. Our results indicate the central role of resilience, which is crucial in dampening the effects of stay-at-home orders on well-being. Following our results, governments and policymakers should focus their efforts on strengthening individuals’ resilience, which is a key predictor of social, mental, financial, and physical well-being. (shrink)