The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher- (...) class='Hi'>order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Many clinical and psychological constructs are conceptualized to have multivariate higher-order constructs that give rise to multidimensional lower-order traits. Although recent measurement models and computing algorithms can accommodate item response data with a higher-order structure, there are few measurement models and computing techniques that can be employed in the context of complex research synthesis, such as meta-analysis of individual participant data or integrative data analysis. The current study was aimed at modeling complex item responses that (...) can arise when underlying domain-specific, lower-order traits are hierarchically related to multiple higher-order traits for individual participant data from multiple studies. We formulated a multi-group, multivariate higher-order item response theory (HO-IRT) model from a Bayesian perspective and developed a new Markov chain Monte Carlo (MCMC) algorithm to simultaneously estimate the (a) structural parameters of the first- and second-order latent traits across multiple groups and (b) item parameters of the model. Results from a simulation study support the feasibility of the MCMC algorithm. From the analysis of real data, we found that a bivariate HO-IRT model with different correlation/covariance structures for different studies fit the data best, compared to a univariate HO-IRT model or other alternate models with unreasonable assumptions (i.e., the same means and covariances across studies). Although more work is needed to further develop the method and to disseminate it, the multi-group multivariate HO-IRT model holds promise to derive a common metric for individual participant data from multiple studies in research synthesis studies for robust inference and for new discoveries. (shrink)

Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Kleene's realizability interpretation for first-order arithmetic was shown by Hyland to fit into the internal logic of an elementary topos, the “Effective topos” . In this paper it is shown, that there is an internal realizability definition in , i.e. a syntactical translation of the internal language of into itself of form “n realizes ” , which extends Kleene's definition, and such that for sentences , the equivalence [harr]n is true in . The internal realizability definition depends on finding (...) separated covers for non-separated objects of . However, for the objects arising in higher-order arithmetic, canonical covers are available, which are definable in higher-order arithmetic. These canonical covers yield “covering axioms”. It is shown that these covering axioms, together with uniformity principles and Extended Church's Thesis, axiomatize a formalized extension of Kleene realizability to a constructive system of higher-order arithmetic. The details are worked out for second and third-order arithmetic, but the method can be extended to any order. As an application, it is shown in the final section that a certain completeness property of the category of “modest sets” can be derived in third-order arithmetic from the realizability axioms. (shrink)

The Self-Intimation thesis has it that whatever justificatory status a proposition has, i.e., whether or not we are justified in believing it, we are justified in believing that it has that status. The Infallibility thesis has it that whatever justificatory status we are justified in believing that a proposition has, the proposition in fact has that status. Jointly, Self-Intimation and Infallibility imply that the justificatory status of a proposition closely aligns with the justification we have about that justificatory status. Self-Intimation (...) has two noteworthy implications. First, assuming that we never have sufficient justification for a proposition and for its negation, we can derive Infallibility from Self-Intimation. Interestingly, there seems to be no equivalently simple way to derive Self-Intimation from Infallibility. This asymmetry provides reason for thinking that bottom-level justification rather than top-level justification drives the explanation for why the levels of justification align. Second, Self-Intimation suggests a counterintuitive treatment of information concerning what justificatory status a proposition has. It follows from Self-Intimation that we always have justification for the truth about whether a proposition is justified for us, and therefore, that higher-order evidence could change what we should believe on this matter only by misleading us. This permits forming beliefs about whether a proposition is justified for us without regard to higher-order evidence, and thus reveals a reason for thinking that top-level justification is evidentially inert. (shrink)

In relativistic classical and quantum mechanics with Poincaré-invariant parameter, particle worldlines are traced out by the evolution of spacetime events. The formulation of a covariant canonical framework for the evolving events leads to a dynamical theory in which mass conservation is demoted from a priori constraint to the status of conserved Noether current for a certain class of interactions. In pre-Maxwell electrodynamics—the local gauge theory associated with this framework —events induce five local off-shell fields, which mediate interactions between instantaneous events, (...) not between the worldlines which represent entire particle histories. The fifth field, required to compensate for dependence of gauge transformations on the evolution parameter, enables the exchange of mass between particles and fields. In the equilibrium limit, these pre-Maxwell fields are pushed onto the zero-mass shell, but during interactions there is no mechanism regulating the mass that photons may acquire, even when event trajectories evolve far into the spacelike region. This feature of the off-shell formalism requires the application of some ad hoc mechanism for controlling the photon mass in two opposite physical domains: the low energy motion of a charged event in classical Coulomb scattering, and the renormalization of off-shell quantum electrodynamics. In this paper, we discuss a nonlocal, higher derivative correction to the photon kinetic term, which provides regulation of the photon mass in a manner which preserves the gauge invariance and Poincaré covariance of the original theory. We demonstrate that the inclusion of this term is equivalent to an earlier solution to the classical Coulomb problem, and that the resulting quantum field theory is renormalized. (shrink)

In most cases, a wh-question calls for an answer that names an entity in the set denoted by the extension of the wh-complement. However, evidence from questions with necessity modals and questions with collective predicates argues that sometimes a wh-question must be interpreted with a higher-order reading, in which this question calls for an answer that names a generalized quantifier. This paper investigates the distribution and compositional derivation of higher-order readings of wh-questions. First, I argue that (...) the generalized quantifiers that can serve as semantic answers to wh-questions must be homogeneously positive. Next, on the distribution of higher-order readings, I observe that questions in which the wh-complement is singular-marked or numeral-modified can be answered by elided disjunctions but not by conjunctions. I further present two ways to account for this disjunction–conjunction asymmetry. In the uniform account, these questions admit disjunctions because disjunctions may satisfy the atomicity requirement of singular-marking and the cardinality requirement of numeral modification. In the reconstruction account, the wh-complement is syntactically reconstructed, which gives rise to local uniqueness and yields a contradiction for conjunctive answers. (shrink)

Sorensen has argued that one can exploit the vagueness of an ordinary predicate like ‘small’ to induce a sort of vagueness in ‘vague’, by constructing a series of predicates of the form ‘n-small’, where x is n- small if and only if x is small or x n. The resulting ‘Sorensen’ed’ predicates present a Sorites case for ‘vague’ ; hence the vagueness of ‘vague’. Hyde argues that this demonstrates that all vague predicates are higher-order vague. Others doubt whether (...) Sorensen’s series really delivers such a result, claiming Hyde’s argument to be either: unsound, because it misidentifies the true source of vagueness in Sorensen’s Sorites ; invalid, because it fails to generalize to all vague predicates ; or circular, because it presupposes the very thing it tries to prove, namely, higher-order vagueness. This paper contributes to the Sorensen-Hyde vs. Tye-Deas-Hull-Varzi debate by clarifying the relations between vague vagueness and higher-order vagueness. I show how claims of higher-order vagueness are derivable from claims of vague vagueness. This is the missing piece needed to complete Hyde’s argument and overcome the objections presented by Deas, Hull, Tye, and Varzi. I then show how Sorensen’s considerations, once properly generalized, pose more far-reaching consequences about the vagueness of ‘vague’ than either defenders or critics of Hyde’s argument have appreciated. (shrink)

A method is presented for collecting data which yield a scale on which the entities are ranked in preference and all combinations of value distances are ranked. The method is based on the concept of secondary preference, i.e. preference among preferences. This method is compared with a classical method based on 50–50 game comparison. Two empirical studies are presented. The first examines whether both methods yield the same ordering of value distances. The second involves empirical derivation of a higher-ordered (...) metric scale. (shrink)

The first aim of this paper is to introduce a new way of looking at supertasks in the light of special relativity which makes use of the elementary dynamics of relativistic point particles subjected to elastic binary collisions and constrained to move unidimensionally. In addition, this will enable us to draw new physical consequences from the possibility of supertasks whose ordinal type is higher than the usual ω or ω * considered so far in the literature. Thus, the paper (...) shows how an entire collection of infinitely many particles may place itself spontaneously in motion (mechanical self-acceleration) or even reach the speed of light in a way compatible with special relativity. Interesting implications for classical mechanics are also derived, particularly the possibility of a system of particles disappearing spontaneously in spatial infinity even under the condition of the non-existence of non-collision singularities. (shrink)

It is generally supposed that borderline cases account for the tolerance of vague terms, yet cannot themselves be sharply bounded, leading to infinite levels of higher order vagueness. This higher order vagueness subverts any formal effort to make language precise. However, it is possible to show that tolerance must diminish at higher orders. The attempt to derive it from indiscriminability founders on a simple empirical test, and we learn instead that there is no limit to (...) how small higher order tolerance may become. That means there is no limit to how precisely we may draw the boundaries of borderline cases, thus forestalling any requirement for higher order vagueness. (shrink)

F. Richman raised the question of whether the following principle of second order arithmetic is valid in intuitionistic higher order arithmetic $\mathbf{HAH}$: $\forall X\lbrack\forall x(x \in X \vee \neg x \in X) \wedge \forall Y(\forall x(x \in Y \vee \neg x \in Y) \rightarrow \forall x(x \in X \rightarrow x \in Y) \vee \forall x \neg(x \in X \wedge x \in Y)) \rightarrow \exists n\forall x(x \in X \rightarrow x = n)\rbrack$, and if not, whether assuming Church's (...) Thesis CT and Markov's Principle MP would help. Blass and Scedrov gave models of $\mathbf{HAH}$ in which this principle, which we call RP, is not valid, but their models do not satisfy either CT or MP. In this paper a realizability topos Lif is constructed in which CT and MP hold, but RP is false. (It is shown, however, that $RP$ is derivable in $\mathbf{HAH} + \mathrm{CT} + \mathrm{MP} + \mathrm{ECT}_0$, so RP holds in the effective topos.) Lif is a generalization of a realizability notion invented by V. Lifschitz. Furthermore, Lif is a subtopos of the effective topos. (shrink)

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...) analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)

Mental disorders in university students are very frequent, therefore higher education institutions have established in-campus mental healthcare centres. These clinics have particular characteristics that differ from other mental health centres, as they report to and represent an educational institution, while at the same time looking after the interests and well-being of patients requesting assistance, thus generating unique bioethical conflicts. Ethics Committees are useful tools to offer support to mental health professionals in making ethical decisions. In order to respond (...) to these issues, it was decided that an Ethics Committee would be created in the mental health clinic of a private university in Mexico City. This article describes the implementation process for this Committee, its duties and scope, as well as the case work and review methodology. A list of the most frequent ethical conflicts is attached, jointly with the ethical analysis of the cases treated throughout the year and a half or work by the Committee. (shrink)

We present a solution to the ghost problem in fourth order derivative theories. In particular we study the Pais–Uhlenbeck fourth order oscillator model, a model which serves as a prototype for theories which are based on second plus fourth order derivative actions. Via a Dirac constraint method quantization we construct the appropriate quantum-mechanical Hamiltonian and Hilbert space for the system. We find that while the second-quantized Fock space of the general Pais–Uhlenbeck model does indeed contain the negative (...) norm energy eigenstates which are characteristic of higher derivative theories, in the limit in which we switch off the second order action, such ghost states are found to move off shell, with the spectrum of asymptotic in and out S-matrix states of the pure fourth order theory which results being found to be completely devoid of states with either negative energy or negative norm. We confirm these results by quantizing the Pais–Uhlenbeck theory via path integration and by constructing the associated first-quantized wave mechanics, and show that the disappearance of the would-be ghosts from the energy eigenspectrum in the pure fourth order limit is required by a hidden symmetry that the pure fourth order theory is unexpectedly found to possess. The occurrence of on-shell ghosts is thus seen not to be a shortcoming of pure fourth order theories per se, but rather to be one which only arises when fourth and second order theories are coupled to each other. (shrink)

A number of arguments purport to show that vague properties determine sharp boundaries at higher orders. That is, although we may countenance vagueness concerning the location of boundaries for vague predicates, every predicate can instead be associated with precise knowable cut-off points deriving from precision in their higher order boundaries. I argue that this conclusion is indeed paradoxical, and identify the assumption responsible for the paradox as the Brouwerian principle B for vagueness: that if p then it's (...) determinate that it's not determinate that not p. Other paradoxes which do not appear to turn on B turn instead on some subtle issues concerning the relation between assertion, belief and higher order vagueness. In this paper a theory of assertion, knowledge and logic is outlined which allows one to avoid any kind of higher order precision. A class of realistic models containing counterexamples to B and a number of weakenings of B are introduced and its logic is shown to support vagueness at every order. (shrink)

This paper has two goals. First, I offer an interpretation of Nietzsche’s puzzling claims about will to power. I argue that the will to power thesis is a version of constitutivism. Constitutivism is the view that we can derive substantive normative conclusions from an account of the nature of agency; in particular, constitutivism rests on the idea that all actions are motivated by a common, higher-order aim, whose presence generates a standard of assessment for actions. Nietzsche’s version of (...) constitutivism is based on a series of subtle claims about the psychology of willing and the nature of satisfaction, which imply that all actions aim at encountering and overcoming resistance (this is what Nietzsche means by “will to power”). Second, I argue that Nietzsche’s theory, thus interpreted, generates a new, a posteriori version of constitutivism that is not vulnerable to certain familiar objections. If this is right, then we can deploy Nietzschean ideas in order to make a substantive contribution to issues that are currently at the forefront of ethics and action theory. (shrink)

Seeking to derive the manifestly qualitative world of objects and entities without recourse to fundamental categoricity or qualitativity, I offer an account of how higher-order categorical properties and objects may emerge from a pure-power base. I explore the possibility of ‘fields’ whose fluctuations are force-carrying entities, differentiated with respect to a micro-topology of curled-up spatial dimensions. Since the spacetime paths of gauge bosons have zero ‘spacetime interval’ and no time-like extension, I argue that according them the status of (...) fundamental entities would support a pure-power ontology. Such entities, circulating within self-sustaining micro-topological ‘networks’, feasibly maintain definite spatial configurations of conserved physical quantities, including energy-momentum. Perceived as time-like and massy, and representing fermionic entities, they give rise to the manifest world. (shrink)

This is a comment on a translation of Franz von Kutschera's paper ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, which was published in German in 1969. The paper is an important predecessor of what is nowadays called ‘proof-theoretic semantics’, which describes the view that the meaning of logical connectives is determined by the rules governing their use in a proof system. Von Kutschera adopts this view in this paper, and more specifically, a bilateralist view on this subject in that his aim is (...) to give a general framework that provides generalized rule schemata for arbitrary connectives both for proving and refuting and to use this as a reference to prove completeness of certain systems of operators purely proof-theoretically. The main logical system in focus here has been shown to be equivalent to N4, Nelson's constructive logic with strong negation. In order to understand the translated paper better, a contextualizing comment is offered referring and relating it to a preceding paper by von Kutschera. (shrink)

We describe a short model-theoretic proof of an extended normal form theorem for derivations in predicate logic which implies in PRA a normal form theorem for the arithmetic derivations . Consider the Gentzen-type formulation of predicate logic with invertible rules. A derivation with proper variables is one where a variable b can occur in the premiss of an inference L but not below this premiss only in the case when L is () or () and b is its eigenvariable. Free (...) variables of such derivation are eigenvariables and free variables of its last sequent. Then any sequent derivable in predicate logic has a cut-free derivation with proper variables where the main formula of any antecedent rule is underivable. The proof is by a simple modification of the construction of a countermodel of the formula from the open branch of its canonical proof-search tree. It extends to intuitionistic and higher order systems. The proof of the corresponding normalization theorem outlined in [8] uses the passage to the infinitary derivations enriched by finitary derivations. The normal form after a modification to make it decidable can be considered as a realization of Gentzen's idea stated at the end of [2], that his notion of reduction for arithmetic can be extended to other fields of mathematics. (shrink)

Exact solutions of epidemic models are critical for identifying the severity and mitigation possibility for epidemics. However, solving complex models can be difficult when interfering conditions from the real-world are incorporated into the models. In this paper, we focus on the generally unsolvable adaptive susceptible-infected-susceptible epidemic model, a typical example of a class of epidemic models that characterize the complex interplays between the virus spread and network structural evolution. We propose two methods based on mean-field approximation, i.e., the first-order (...) mean-field approximation and higher-order mean-field approximation, to derive the exact solutions to ASIS models. Both methods demonstrate the capability of accurately approximating the metastable-state statistics of the model, such as the infection fraction and network density, with low computational cost. These methods are potentially powerful tools in understanding, mitigating, and controlling disease outbreaks and infodemics. (shrink)

This study describes the results of experiments motivated by an attempt to understand spectral processing in the cerebral cortex (DeValois and DeValois, 1988; Pribram, 1971, 1991). This level of inquiry concerns processing within a restricted cortical area rather than that by which spatially separate circuits become synchronized during certain behavioral and experiential processes. We recorded neural responses for 55 locations in the somatosensory (barrel) cortex of the rat to various combinations of spatial frequency (texture) and temporal frequency stimulation of their (...) vibrissae. The recordings obtained from single and multi-unit bursts of spikes were mapped as surface distributions of local dendritic potentials. The distributions showed a variety of patterns that are asymmetric with respect to the spatial and temporal parameters of stimulation, and were, therefore, not simply reflecting whisker flick rate. Next, a simulation of our results showed that these surface distributions of local dendritic potentials can be described by Gabor-like functions much as in the visual system. The results provide support for a model of distributed cortical processing that imposes a physiologically derived frame (the limited extent of a dendritic patch) and an anatomically derived (axonal) sampling of the distributed process. This combination provides a complex Gabor wavelet that encodes phase, which is necessary to processing such details as edges and texture in a scene. The synchronization across cortical areas that make the Gabor wavelet processes within restricted cortical areas available to one another (the binding problem) proceed at a ''higher order'' level of integration. Both levels of distributed processing accomplish computation in the conjoint spacetime and spectral domain. (shrink)

A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and (...) adding an axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

Epistemic trespassing, science denial, refusal to guard against bias, mishandling higher-order evidence, and the development of vice are troubling intellectual behaviors. In this paper, I advance work done by psychologists on moral self-licensing to show how all of these behaviors can be explained in terms of a parallel phenomenon of epistemic self-licensing. The paper situates this discussion at the intersection of three major epistemological projects: epistemic explanation and intervention (the project of explaining troubling intellectual phenomena in the hopes (...) of deriving ameliorative strategies), hostile epistemology (the study of how intellectual vulnerabilities might be exploited), and the promise of higher- order evidence (the hope that higher-order evidence leads to epistemic improvement). Analyzing epistemic licensing allows us to explain and offer modest interventions aimed at mitigating these behaviors, while illuminating exploitable vulnerabilities and tempering optimism about the promise of higher-order evidence. -/- . (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability (...) of being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Melchizedek is one of the most mysterious characters of the book of Genesis. As priest of God Almighty he blessed Abraham, the patriarch returning from war, and received tithes from him. The Epistle to the Hebrews presents Jesus Christ as high priest according to Melchizedek’s priestly order, based on God’s oath found in Psalm 110:4. While Christ’s priestly order according to Melchizedek is higher than Aaron’s priestly order, it is important to remember that Christ is greater (...) than Melchizedek. In other words, Melchizedek derives his pattern from the preexistent Christ, and not the other way around. It is the purpose of this paper to bring to attention that the superiority of the characteristics of and blessings derived from Christ’s priesthood according to Melchizedek’s order is best understood only within this frame. (shrink)

This is a comment on a translation of Franz von Kutschera's paper ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, which was published in German in 1969. The paper is an important predecessor of what is nowadays called ‘proof-theoretic semantics’, which describes the view that the meaning of logical connectives is determined by the rules governing their use in a proof system. Von Kutschera adopts this view in this paper, and more specifically, a bilateralist view on this subject in that his aim is (...) to give a general framework that provides generalized rule schemata for arbitrary connectives both for proving and refuting and to use this as a reference to prove completeness of certain systems of operators purely proof-theoretically. The main logical system in focus here has been shown to be equivalent to N4, Nelson's constructive logic with strong negation. In order to understand the translated paper better, a contextualizing comment is offered referring and relating it to a preceding paper by von Kutschera. (shrink)

In von Kutschera 1968 a propositional semantics was outlined which takes valid inferences to be defined by derivability relations in calculi.1 It was pointed out that from this approach it is desir...

An adaptive fractional-order nonsingular terminal sliding mode controller for a microgyroscope is presented with uncertainties and external disturbances using a fuzzy neural network compensator based on a backstepping technique. First, the dynamic of the microgyroscope is transformed into an analogical cascade system to guarantee the application of a backstepping design. Then, a fractional-order nonsingular terminal sliding mode surface is designed which provides an additional degree of freedom, higher precision, and finite convergence without a singularity problem. The proposed (...) control scheme requires no prior knowledge of the unknown dynamics of the microgyroscope system since the fuzzy neural network is utilized to approximate the upper bound of the lumped uncertainties and adaptive algorithms are derived to allow online adjustment of the unknown system parameters. The chattering phenomenon can be reduced simultaneously by the fuzzy neural network compensator. The stability and finite time convergence of the system can be established by the Lyapunov stability theorem. Finally, simulation results verify the effectiveness of the proposed controller and the comparison of root mean square error between different fractional orders and integer order is given to signify the high precision tracking performance of the proposed control scheme. (shrink)

ABSTRACTWhat is the source of the adulation of the rich-and-powerful? It cannot be benevolence. But then what is the criterion that delineates adulation from benevolence? This paper argues that the criterion resides in the set of inputs of the utility function: Does the set includes only interests, i.e. bundles of goods and resources? If so, the product is benevolence. But if the set includes aspiration, i.e. the desire to attain some imagined higher station, the product is adulation. Relying on (...) Smith's theory, aspiration first amounts to the immersion of the self with the desired higher station. Second, aspiration becomes supplanted with adulation, the basking under the achievements of the more successful rich-and-powerful as second best, i.e. when the decision maker fails to attain the aspired station. The proposed interests-aspiration distinction, as the ground of the benevolence-adulation distinction, has one important payoff. The origin of the adulation of higher rank, and the consequent stability of the political order, should be traced to aspiration-derived inputs, not exclusively to interests. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it (...) is equivalent to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

The goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, though (...) related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

We introduce a new version of the perceptual retouch model. This model was used for explaining properties of temporal interaction of successive objects in reaching conscious representation. The new model incorporates two interactive binding operations – binding features for objects and binding the bound feature-objects with a large scale oscillatory system that corresponds to perceptual consciousness. Here, the typical result of masking experiments – second object advantage in conscious perception – is achieved by applying the effects of a common synchronizing (...) oscillator with a delay. This delayed modulation of each of the feature-binding first-order oscillators that represent emerging and decaying neural activities of each of the objects guarantees that the oscillating synchrony of the feature-neurons of the following object is higher than the synchrony of the feature-neurons of the first presented object. Thus we model the fact that the following object dominates the preceding object in conscious perception. We also show the capacity of the model to simulate illusory misbinding of features from different objects. The third qualitative effect, the relative release of the first object from backward masking is achieved by priming the non-specific oscillatory modulation ahead in time. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to (...) Graham, Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Are fanatical beliefs rational? This paper examines this question. After outlining two arguments for the rationality of fanatical beliefs, based respectively on what I call the "crippled epistemology" explanation and the "echo chambers" explanation, the paper rejects these arguments by appeal to considerations related to higher-order evidence. Then it explains what defending the rationality of fanatical beliefs actually requires. From this, it derives the practical conclusion that radicalization can be prevented and the growth of fanaticism stalled by preventing (...) the encroachment of "fragile values.". (shrink)

This paper represents a theoretical-methodological incursion on the requirements of higher education institutions to achieve sustainability. The relevance of the topic derives from the need to assess the potential of higher education institutions in order to achieve sustainability. The aim of the research is to assess the potential of universities in the context of sustainability. The paper focuses on making an approach to achieving educational performance, in terms of assessing the human, innovative potential of higher education (...) institutions which represents a vital factor in achieving university sustainability. Universities as active actors in sustainable development must demonstrate the necessary training, competent human potential, viable educational policies, and effective tools to achieve sustainability. The research methodology focused on the use of the following methods such as: analysis, synthesis, qualitative research, scientific abstraction, which contributed to a comprehensive and complex study on the training of Moldovan universities to achieve sustainability. In conclusion, we reiterate that universities as “vectors of change” are demanded to develop successful strategies to achieve sustainability, in terms of certain effective activities that would ensure their sustainable development. The undertaken research allowed us to elucidate that Moldovan universities do not have a model for achieving university sustainability. In this context, we can point out the need to develop a viable tool for assessing the steps taken by universities to achieve sustainability. (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)

This thesis explores the possibility of theoretically conceiving consciousness as an activity of the brain. Objections, based on the concept of qualia, to the identification of consciousness with a brain activity are refuted. Phenomenal consciousness is identified with access-consciousness. Consciousness is conceived as a higher order processing of informational states of the brain. The state of consciousness represents an integration of prior nonconscious states. Libet’s research on the timing of conscious experience is reviewed and analyzed. His hypothesis of (...) backward referral is rejected. Since specific brain activity (the readiness potential) precedes the conscious intention, the implications of this fact on the concepts of volition and free will are discussed. Non-deliberate voluntary acts are performed without a prior consciousness of the intention to perform them. Conversely, the decision to perform a deliberate act is influenced by consciousness of the intention. Free will is viewed as compatible with the causal determination of mental processes. The theory is successfully applied to the different contents of consciousness: consciousness of perceptions, of bodily sensations, of actions, of memories, of ideas, of thoughts, of language, of affective states, of beliefs, of desires, of oneself and consciousness of being conscious. The relation between the theory of consciousness and psychoanalysis is also explored. Psychoanalysis is seen as compatible with the proposed theory, which is able to enlighten some aspects of the process of becoming conscious in psychoanalytic treatment. The general approach is interdisciplinary : the theory must take into account constraints derived from philosophy, neurophysiology, psychology, neuropsychology, etc. Consciousness is conceived, not as a property of some mental states, but as a specific higher-order activity, based on lower-order nonconscious activities. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

Elsewhere I and others have argued that evidence one should have had can bear on the justification of one's belief, in the form of defeating one's justification. In this paper, I am interested in knowing how evidence one should have had (on the one hand) and one's higher-order evidence (on the other) interact in determinations of the justification of belief. In doing so I aim to address two types of scenario that previous discussions have left open. In one (...) type of scenario, there is a clash between a subject's higher-order evidence and the evidence she should have had: S's higher-order evidence is misleading as to the existence or likely epistemic bearing of further evidence she should have. In the other, while there is further evidence S should have had, this evidence would only have offered additional support for S's belief that p. The picture I offer derives from two “epistemic ceiling” principles linking evidence to justification: one's justification for the belief that p can be no higher than it is on one's total evidence, nor can it be higher than what it would have been had one had all of the evidence one should have had. Together, these two principles entail what I call the doctrine of Epistemic Strict Liability: insofar as one fails to have evidence one should have had, one is epistemically answerable to that evidence whatever reasons one happened to have regarding the likely epistemic bearing of that evidence. I suggest that such a position can account for the battery of intuitions elicited in the full range of cases I will be considering. (shrink)

There has been considerable puzzlement over how to respond to higher-order evidence. The existing dilemmas can be defused by adopting a ‘two-dimensional’ representation of doxastic attitudes which incorporates not only substantive uncertainty about which first-order state of affairs obtains but also the degree of conviction with which we hold the attitude. This makes it possible that in cases of higher-order evidence the evidence sometimes impacts primarily on our conviction, rather than our substantive uncertainty. I argue (...) that such a two-dimensional representation is naturally developed by making use of imprecise probabilities. (shrink)

Higher‐order theories purport to account for the conscious character of such states in terms of higher‐order representations. This chapter focuses on three classes of higher‐order theory of phenomenal consciousness, including inner‐sense theory, actualist higher‐order thought theory, and dispositionalist higher‐order thought theory. All three of these higher‐order theories purport to offer reductive explanations of phenomenal consciousness. Inner‐sense theory has important positive virtues, but faces problems; whereas actualist higher‐order (...) thought theory avoids those problems, but at the cost of losing the positive virtues. Actualist higher‐order thought theory has the advantage that no special organs or mechanisms need to be postulated. Dispositionalist higher‐order thought theory claims to split the difference, providing an account that has all of the advantages of inner‐sense theory with none of the flaws. The success of dispositionalist higher‐order thought theory is premised upon the existence of dual analog contents. (shrink)

The higher-order thought (HOT) theory of consciousness is a reductive representational theory of consciousness which says that what makes a mental state conscious is that there is a suitable HOT directed at that mental state. Although it seems that any neural realization of the theory must be somewhat widely distributed in the brain, it remains unclear just how widely distributed it needs to be. In section I, I provide some background and define some key terms. In section II, (...) I argue against the view that HOT theory should treat first-order (i.e. world-directed) conscious states as requiring prefrontal cortical activity though it is reasonable to suppose that conscious states are realized in the brain. In section III, I then explore some of the key background metaphysical issues involved in understanding the nature of consciousness, such as the debate between realism and idealism as well as the prospects for solving the so-called “hard problem” of consciousness. Some of the differences in question often mirror the traditional differences between Western and Eastern perspectives on the nature of consciousness. Overall, I argue that some form of realism and physicalism is more plausible than the opposing views. I also argue that materialists (and especially HOT theorists) can offer plausible replies to the hard problem. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, (...) fine-grained structures. I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)