We give an algorithm for deciding whether an embedding of a finite partial order [Formula: see text] into the enumeration degrees of the [Formula: see text]-sets can always be extended to an embedding of a finite partial order [Formula: see text].

We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair.

This study aims to introduce a modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC as a Gentzen-type sequent calculus and prove the Kripke-completeness and cut-elimination theorems for M4CC. The logic M4CC is also shown to be decidable and embeddable into the normal modal logic S4. Furthermore, a subsystem of M4CC, which has some characteristic properties that do not hold for M4CC, is introduced and the Kripke-completeness and cut-elimination theorems for this subsystem are proved. This (...) subsystem is also shown to be decidable and embeddable into S4. (shrink)

An attempt is made to include the axioms of Mackey for probabilities of experiments in quantum mechanics into the calculus x0 of ukasiewicz. The obtained calculusQ contains an additional modal signQ and four modal rules of inference. The propositionQx is read x is confirmed. The most specific rule of inference may be read: for comparable observations implication is equivalent to confirmation of material implication.The semantic truth ofQ is established by the interpretation with the help of physical objects obeying to the (...) rules of quantum mechanics. The embedding of the usual quantum propositional logic inQ is accomplished. (shrink)

We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose (...) a corresponding timeout tableau for satisfiability checking of the ToLTL formulas. Further we prove that the validity checking for such an extended logic remains PSPACE-complete. Under discrete time semantics, with bounded timeout increments, the model-checking problem which verifies if a ToLTL-formula holds in a timeout Kripke structure is also shown to be PSPACE complete. We further prove that ToLTL, when interpreted over discrete time, can be embedded in the monadic second-order logic with.. (shrink)

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained in this fashion (`unfoldable cardinals') lie in the boundary of the propositions consistent with `V = L' and the existence of 0 ♯ . We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various forcing constructions.

Savage denied that Bayesian decision theory applies in large worlds. This paper proposes a minimal extension of Bayesian decision theory to a large-world context that evaluates an event E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document} by assigning it a number π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} that reduces to an orthodox probability for a class of measurable events. The Hurwicz criterion evaluates π\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi (...) $$\end{document} as a weighted arithmetic mean of its upper and lower probabilities, which we derive from the measurable supersets and subsets of E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document}. The ambiguity aversion reported in experiments on the Ellsberg paradox is then explained by assigning a larger weight to the lower probability of winning than to the upper probability. However, arguments are given here that would make anything but equal weights irrational when using the Hurwicz criterion. The paper continues by embedding the Hurwicz criterion in an extension of expected utility theory that we call expectant utility. (shrink)

The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are (...) sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes. (shrink)

Removing a black hole conic singularity by means of Kruskal representation is equivalent to imposing extensibility on the Kasner–Fronsdal local isometric embedding of the corresponding black hole geometry. Allowing for globally non-trivial embeddings, living in Kaluza–Klein-like M 5 × S 1 (rather than in standard Minkowski M 6 ) and parametrized by some wave number k, extensibility can be achieved for apparently “forbidden” frequencies ω in the range ω 1 (k) ≤ ω ≤ ω 2 (k). As k → (...) 0, ω 1, 2 (0) → ωH (e.g., ωH = 1/4M in the Schwarzschild case) such that the Hawking–Gibbons limit is fully recovered. The various Kruskal sheets are then viewed as slices of the Kaluza–Klein background. Euclidean k discreteness, dictated by imaginary time periodicity, is correlated with flux quantization of the underlying embedding gauge field. (shrink)

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.

The monoidal t-norm based logic MTL is obtained from Hájek''s Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...) (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (...) (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. (shrink)

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued field is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that (...) all types over the Hahn field $$\mathbb {R}((\mathbb {Z}))$$ are definable. Similarly, all types over the quotient field of the Witt ring $$W(\mathbb {F}_p^{\text {alg}})$$ are definable. This extends a work of Cubides and Delon and of Cubides and Ye. (shrink)

We begin by introducing our readers to the Extended Mind Thesis and briefly discuss a series of arguments in its favour. We continue by showing of such a theory can be resisted and go on to demonstrate that a more conservative account of cognition can be developed. We acknowledge a stalemate between these two different accounts of cognition and notice a couple of issues that we argue have prevented further progress in the field. To overcome the stalemate, we propose to (...) focus on the ethical implications of these theories. We link work conducted on the Extended Mind Thesis with contemporary transhumanist research and claim that extended may be ethically preferred over embedded because it is a more progressive and inclusive theory. (shrink)

The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property (...) with respect to its algebraic semantics and hence that the logic is decidable. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on (...) having careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non-compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non-compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non-compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion-theoretic setting, then, for any such space X, there exists a Banach-Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on (...) having careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We present Woodin's proof that if there exists a measurable Woodin cardinal δ, then there is a forcing extension satisfying all $\Sigma _{2}^{2}$ sentences ϕ such that CH + ϕ holds in a forcing extension of V by a partial order in V δ . We also use some of the techniques from this proof to show that if there exists a stationary limit of stationary limits of Woodin cardinals, then in a homogeneous forcing extension there is (...) an elementary embedding j: V → M with critical point $\omega _{1}^{V}$ such that M is countably closed in the forcing extension. (shrink)

Discussions on the Anthropocene as the geology of mankind imply the question whether globalized technology such as energy technologies or A.I. ought to be first and foremost conceptualized as a strategy of the human in relation to nature or as a strategy of some humans over others. I argue that both positions are mirrored in the philosophy and sociology of technology through the concepts of technology as an extension and as a fetish. The extension concept understands technology as (...) an extension of the human body and its capabilities, resulting in a local ‘inward’ perspective. The fetish concept offers a contrary ‘outward’ perspective by drawing attention to the global socio-material context of modern technology. Despite their differences, I argue that both concepts share an underlying operation principle of technology as functional simplification. Technology always involves a functional simplification of physical as well as social causality. Sociologists and philosophers of technology would do well not to give primacy to the former as it leads to the belief in technology as a universal tool that neglects how technology is not embedded in but consists of (unequal) social arrangements. (shrink)

In this article I investigate the extent to which Bhikhu Parekh believes that a person's cultural/religious background must be preserved and whether, by implication, religious schooling is justified by his theory. My discussion will explore—by inference and implication—whether Parekh's carefully crafted multiculturalism, enriched and illuminated by numerous practical insights, is socially tenable. I will also consider whether, by extension, it is justifiable, on his line of reasoning, to cultivate cultural and religious understandings among one's own children. Finally, I will (...) contend that Parekh, notwithstanding his cautious, even‐handed approach, commits several important errors, including conflating the culture of the parents with that of the children and insisting that cultural and religious persons ought to be allowed to defend their views in the public square on religious grounds. (shrink)

If there is a homeomorphic embedding of one set into another, the sets are said to be topologically comparable. Friedman and Hirst have shown that the topological comparability of countable closed subsets of the reals is equivalent to the subsystem of second order arithmetic denoted byATR 0. Here, this result is extended to countable closed locally compact subsets of arbitrary complete separable metric spaces. The extension uses an analogue of the one point compactification of ℝ.

In 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existence of a nontrivial elementary embedding j:V→V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V→V relative to models of ZFC. We do this by working in the extended language , using as axioms all the usual axioms of ZFC , along with an axiom schema that asserts that j is a nontrivial elementary embedding. (...) Without additional axiomatic assumptions on j, we show that that the resulting theory is weaker than an ω-Erdös cardinal, but stronger than n-ineffables. We show that natural models of ZFC+BTEE give rise to Schindler’s remarkable cardinals. The approach to inconsistency from ZFC+BTEE forks into two paths: extensions of ZFC+BTEE+Cofinal Axiom and ZFC+BTEE+¬Cofinal Axiom, where Cofinal Axiom asserts that the critical sequence is cofinal in the ordinals. We describe near-minimal inconsistent extensions of each of these theories. The path toward inconsistency from ZFC+BTEE+¬Cofinal Axiom is paved with a sequence of theories of increasing large cardinal strength. Indeed, the extensions of the theory ZFC +“j is a nontrivial elementary embedding” form a hierarchy of axioms, ranging in strength from Con to the existence of a cardinal that is super-n-huge for every n, to inconsistency. This hierarchy is parallel to the usual hierarchy of large cardinal axioms, and can be used in the same way. We also isolate several intermediate-strength axioms which, when added to ZFC+BTEE, produce theories having strengths in the vicinity of a measurable cardinal of high Mitchell order, a strong cardinal, ω Woodin cardinals, and n-huge cardinals. We also determine precisely which combinations of axioms, of the form result in inconsistency. (shrink)

The purpose of this paper is to examine the outcomes arising from ideologically driven health reforms, which confronted an enduring socialized model of public health care in New Zealand. The primary focus is on the narratives arising from the unprecedented strike action of junior doctors, symbolic of industrial unrest in the public health sector. Analysis revealed the way in which moral obligations ingrained in the professional identities of junior doctors can be both enacted and persistently challenged by ongoing and extensive (...) ideologically embedded reform. A socialized public healthcare system privileges cooperation and relies on a public service ethos, espousing commitment and goodwill of health professionals. The inverse tenets of a pursuit of efficiency through New Public Management validate an ideology of market principles which legitimate competitive and self-interested behavior. The value-based disconnect that occurred not only affected the goodwill and trust of junior doctors, but also destabilized their commitment to their work in a way that threatened the ongoing sustainability of the public health service. This paper suggests four areas in which research might help solve the ethical conundrums currently undermining a public health service. The suggested direction moves the emphasis on systems and activities toward the cognitive and emotional needs of healthcare professionals. (shrink)

The number of scientific publications is growing exponentially. Research articles cite other work for various reasons and, therefore, have been studied extensively to associate documents. It is argued that not all references carry the same level of importance. It is essential to understand the reason for citation, called citation intent or function. Text information can contribute well if new natural language processing techniques are applied to capture the context of text data. In this paper, we have used contextualized word embedding (...) to find the numerical representation of text features. We further investigated the performance of various machine-learning techniques on the numerical representation of text. The performance of each of the classifiers was evaluated on two state-of-the-art datasets containing the text features. In the case of the unbalanced dataset, we observed that the linear Support Vector Machine achieved 86% accuracy for the “background” class, where the training was extensive. For the rest of the classes, including “motivation,” “extension,” and “future,” the machine was trained on less than 100 records; therefore, the accuracy was only 57 to 64%. In the case of a balanced dataset, each of the classes has the same accuracy as trained on the same size of training data. Overall, SVM performed best on both of the datasets, followed by the stochastic gradient descent classifier; therefore, SVM can produce good results as text classification on top of contextual word embedding. (shrink)

The rich blend of theories and experiences that made the history of physics possible still now enlightens the scientific method. We stress the need to learn from this method the force of making its principles explicit, while developing a rich diversity of theories, which are often incompatible. Unity is preserved by common founding principles and their mathematical form, such as the understanding of conservation properties (energy, momentum etc.) in terms of symmetries. When moving from the inert to the living state (...) of matter, new challenges are posed, beginning with biological “heterogenesis”, as “genesis of and from diversity” in a changing space of pertinent observables and parameters: the Darwinian ecosystem. The question that is posed is how we may consistently embed the theories of the inert into biology. By naturalization we mean an analysis of physics as part of the sciences of nature, not as the science governing them all. In particular, the founding symmetry principles of physical theories, often used to “naturalize” (but, actually, to “physicalize”) other sciences, will instead be framed in more general dynamics which deal with fundamental changes of symmetries, as they apply, in our views, in all historical sciences, beginning with biology. This paper will accordingly explore the notion of (non-)conservative extension of theories in a precise mathematical sense. We stress a perspectival epistemology that promotes a dialogue of theories, in search for bridges or even unity, inspired by the method of “unification” at the core of major theoretical inventions in physics. Our main motivation is the need to go beyond the strong dualistic separation of space (or of the more general “phase space”) as a pre-given container of the dynamics of matter, that biased physics from Aristotle to Newton and, in a technically different way, even Einstein. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Expressivism faces four distinct problems when evaluative sentences are embedded in unassertive contexts like: If lying is wrong, getting someone to lie is wrong, Lying is wrong, so Getting someone to lie is wrong. The initial problem is to show that expressivism is compatible with - being valid. The basic problem is for expressivists to explain why evaluative instances of modus ponens are valid. The deeper problem is to explain why a particular argument like - is valid. The deepest problem (...) is to explain the meanings of evaluative conditionals like . Expressivists can solve the initial and basic problems simply by acknowledging that evaluative sentences have minimal truth aptness, but the deeper and deepest problems require more. The deepest problem cannot be solved even with the semantics of Gibbard and Blackburn, as is shown by an extension of Dreier’s hiyo argument. (shrink)

Let P be a forcing notion and $G\subseteq P$ its generic subset. Suppose that we have in $V[G]$ a $\kappa{-}$ complete ultrafilter1,2W over $\kappa $. Set $U=W\cap V$.

The ‘causal-constitution’ fallacy, the ‘cognitive bloat’ worry, and the persisting theoretical confusion about the fundamental difference between the hypotheses of embedded (HEMC) and extended (HEC) cognition are three interrelated worries, whose common point—and the problem they accentuate—is the lack of a principled criterion of constitution. Attempting to address the ‘causal-constitution’ fallacy, mathematically oriented philosophers of mind have previously suggested that the presence of non-linear relations between the inner and the outer contributions is sufficient for cognitive extension. The abstract idea (...) of non-linearity, however, can be easily misunderstood and has, in the past, led to incorrect and counterintuitive conclusions about what may count as part of one’s overall cognitive system. In order to prevent any further mistakes I revisit dynamical systems theory to study the nature of the continuous mutual interactions that give rise to the aforementioned non-linear relations. Moreover, focusing on these interactions will allow us to provide two distinct arguments in support of the ontological postulation of extended cognitive systems, as well as an objective criterion of constitution. Accordingly, I put forward a version of HEC that treats continuous mutual interactions (and the resultant non-linear relations) not just as sufficient but also as necessary for cognitive extension. Such a qualified version of HEC may exclude certain alleged cases of cognitive extension where the agent does not mutually interact with his artifacts (e.g., shopping lists and directory services), but it is immune both to the ‘causal-constitution’ fallacy and the ‘cognitive bloat’ worry, and it can be sharply distinguished from HEMC. (shrink)

In an era characterized by fast technological progress that introduces new unpredictable scenarios every day, working in the law field may appear very difficult, if not supported by the right tools. In this respect, some systems based on Artificial Intelligence methods have been proposed in the literature, to support several tasks in the legal sector. Following this line of research, in this paper we propose a novel method, called PRILJ, that identifies paragraph regularities in legal case judgments, to support legal (...) experts during the redaction of legal documents. Methodologically, PRILJ adopts a two-step approach that first groups documents into clusters, according to their semantic content, and then identifies regularities in the paragraphs for each cluster. Embedding-based methods are adopted to properly represent documents and paragraphs into a semantic numerical feature space, and an Approximated Nearest Neighbor Search method is adopted to efficiently retrieve the most similar paragraphs with respect to the paragraphs of a document under preparation. Our extensive experimental evaluation, performed on a real-world dataset provided by EUR-Lex, proves the effectiveness and the efficiency of the proposed method. In particular, its ability of modeling different topics of legal documents, as well as of capturing the semantics of the textual content, appear very beneficial for the considered task, and make PRILJ very robust to the possible presence of noise in the data. (shrink)

We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove that these logics may be faithfully embedded in Classical Logic, and that the interpolation theorem obtains for them.

Next SectionIn recent years, the interpretation of scalar terms in embedded environments has been investigated extensively. Some experimentalists have been concerned with sentences like (1), in which a scalar term is embedded under a universal quantifier. The controversy involves the question whether ‘some’ in these sentences is interpreted as ‘some but not all’, thus leading to the embedded upper-bounded inference that no square is connected to all of the circles. (1) All the squares are connected with some of the circles.Geurts (...) & Pouscoulous (2009) conducted a verification task that seemed to prove that the inference is not licensed. In response, Clifton & Dube (2010) and Chemla & Spector (2011) gathered evidence suggesting the opposite conclusion. By experimentally investigating the typicality structure of complex quantified sentences like (1) above, I show how the results of the latter two experiments can be explained as typicality effects. Typicality plays a significant role in the comprehension of quantified sentences, thus complicating the interpretation of data from the kinds of experiments that have been employed to test between theories of upper-bounded inferences. (shrink)

An important technique in large cardinal set theory is that of extending an elementary embedding j: M → N between inner models to an elementary embedding j*: M[G] → N[G*] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold while preserving a measurable cardinal (via a reverse Easton iteration of α-Cohen forcing for successor cardinals α), the (...) generic G* is simply generated by the image of G. But in difficult cases, such as in Woodin's proof that a hypermeasurable is sufficient to obtain a failure of the GCH at a measurable, a preliminary version of G* must be constructed (possibly in a further generic extension of M[G]) and then modified to provide the required G*. In this article we use perfect trees to reduce some difficult cases to easy ones, using fusion as a substitute for distributivity. We apply our technique to provide a new proof of Woodin's theorem as well as the new result that global domination at inaccessibles (the statement that d (κ) is less than 2κ for inaccessible κ, where d (κ) is the dominating number at κ) is internally consistent, given the existence of 0#. (shrink)

I use generic embeddings induced by generic normal measures on that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower works much like it does when κ is a Woodin limit of Woodin (...) cardinals. One consequence is that every set of reals in the Chang model is Lebesgue measurable and has the Baire Property, the Perfect Set Property and the Ramsey Property. So indestructible weak compactness has effects on cardinal arithmetic high up and also on the structure of sets of real numbers, down low, similar to supercompactness. (shrink)

In “The Mind Incarnate” Shapiro argues that research in the area of embodied, embedded mind and cognition undermines a functionalist program. In contrast Clark, in “Pressing the Flesh”, argues that embodied, embedded approaches can be viewed as extended functionalistic approaches. In the light of these arguments my thesis is devoted to elucidating the logical relation between functionalism and embodied, embedded approaches. I argue that the functionalist programme is not undermined by embodied and embedded approaches. Shapiro argues that research of embodied, (...) embedded cognition and mind shows that characteristics of embodiment determine characteristics of mind. I label this view the body-detail model. The consequence of this model is that the very same kind of mind cannot exist in bodies with different characteristics. Thus, having a humanlike mind requires a humanlike body. This conflicts with abstract versions of functionalism that endorse multiple realization: the idea that the same mind can exist in different kinds of bodies. I argue against the body-detail model, demonstrating that for each of the research projects presented by Shapiro the strong reading that one has to have a humanlike body to have a human mind is not justified. This paves the way for an alternative reading, represented by Clark, under which the body is recognized as being part of a larger system which overall operating profile determines mind. Arguments for this position involve argumentative extensions of functionalism. On this basis I conclude that functionalism is not undermined by embodied, embedded approaches. (shrink)

Single and double meter simultaneous measurements of a harmonic oscillator are reviewed and compared. Naimark extensions are constructed and relevant projection properties are exhibited for both cases. The theory is extended to the simultaneous measurement of squeezed position and momentum measurements.

Measurements involving spin-1/2 meters which result in the simultaneous measurement of spin components are described. The spin analoge of the Arthur-Kelly experiment is contrasted with a simultaneous measurement which interacts with the system. Naimark extensions are constructed and Bloch state projection properties are discussed for each case. The theory is extended to squeezed angular momentum measurement.

Transnational higher education (TNHE) has been characterised as a crude form of market-driven internationalisation, often targeting immobile student populations in countries with high demand for international academic degrees. In response to recent scholarship on the role of higher education internationalisation in facilitating and producing diasporic networks, this study examines its inverse: how TNHE services existing diasporic communities in situ by mobilising institutions across borders rather than student bodies. It specifically examines these dynamics within the United Arab Emirates (UAE), simultaneously host (...) to one of the largest concentrations of TNHE globally and a five million-member diasporic community of long-term, yet impermanent residents from South Asia. Drawing on interviews with South Asian students in undergraduate degree programmes at three British international branch campuses (IBCs), it explores how students perceive their IBCs as strategic sources of valuable degree capitals for enhancing employment opportunities in the UAE and securing against precarity and uncertain futures as perpetually impermanent residents. The research implicates the role of TNHE in diaspora policymaking, asking how IBCs function as an extension of a limited social contract between a diasporic community and its ‘host’ state. (shrink)

What does it mean to know oneself, and what is the self that one hopes to know? This article outlines the implications of an embodied understanding of persons and some aspects of the “self” that are generally ignored when thinking about our selves. The Cartesian model of body–soul dualism reinforces the idea that there is within us a soul, or self, or mind that is our hidden, inner, and real self. Thus, the path to self-knowledge is introspection. The alternative view (...) is that persons are embodied, embedded, and at times extended. This article emphasizes the bodily, active, contextual, relational, often simulated, and sometimes extended nature of the selves that we are, and that we hope to know. (shrink)

Knowledge graphs entity typing aims to predict the potential types to an entity, that is,. Recently, several embedding models are proposed for KG entity types prediction according to the existing typing information of the tuples in KGs. However, most of them unreasonably assume that all existing entity typing instances in KGs are completely correct, which ignore the nonnegligible entity type noises and may lead to potential errors for the downstream tasks. To address this problem, we propose ConfE, a novel confidence-aware (...) embedding approach for modeling the tuples, which takes tuple confidence into consideration for learning better embeddings. Specifically, we learn the embeddings of entities and entity types in separate entity space and entity type space since they are different objects in KGs. We utilize an asymmetric matrix to specify the interaction of their embeddings and incorporate the tuple confidence as well. To make the tuple confidence more universal, we consider only the internal structural information in existing KGs. We evaluate our model on two tasks, including entity type noise detection and entity type prediction. The extensive experimental results in two public benchmark datasets demonstrate that our proposed model outperforms all baselines on all tasks, which verify the effectiveness of ConfE in learning better embeddings on noisy KGs. The source code and data of this work can be obtained from https://github.com/swufenlp/ConfE. (shrink)

Although pragmatism and phenomenology have both contributed significantly to the genealogy of so-called “4E” – embodied, embedded, enactive and extended – cognition, there is benefit to be had from a systematic comparative study of these roots. As existing 4E cognition literature has tended to emphasise one or the other tradition, issues remain to be addressed concerning their commonalities – and possible incompatibilities. We begin by exploring pragmatism and phenomenology’s shared focus on contesting intellectualism, and its key assumption of mindedness as (...) representation. We then outline distinctive insights from both traditions regarding the nature and role of habits, in order to put forward a habit-based epistemology as an alternative to the Cartesian idea-based epistemology that has dominated modern philosophy. We pay particular attention to the work of classical pragmatist C.S. Peirce, arguing that his semiotics, which analyses sign-use as habit, shows how theorists of embodied cognition can break a certain false dichotomy between embodiment and logical or intellectual structure which has prevented them from fully theorising propositional knowledge. In this way, our work both augments and challenges the Dewey/Merleau-Ponty connection that has been much more extensively explored by the field. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j:Vλ→Vλ, the existence of such a j which is moreover , and the existence of such a j which extends to an elementary j:Vλ+1→Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of these preservations are proved. Also the following is shown : if V is a (...) model of ZFC and V[G] is a -generic forcing extension of V, then in V[G], V is definable using the parameter Vδ+1, where. (shrink)