The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian (...) balance. The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

Lehrer Semantics, as it was devised by Adrienne and Keith Lehrer, is imbedded in a comprehensive web of thought and observations of language use and development, communication, and social interaction, all these as empirical phenomena. Rather than for a theory, I take it for a ‘‘model’’ of the kind which gives us guidance in how to organize linguistic and language-related phenomena. My comments on it are restricted to three aspects: In 2 I deal with the question of how Lehrerian sense (...) can be empirically distinguished from Lehrerian reference as a precondition for the claim that sense relationships are in general more stable than reference relations. It seems that this very claim must already be presupposed for doing the respective empirical investigation. But in 3, I argue for the option to interpret the Lehrers’ concept of sense resp. sense vectors as intension concepts, by which move one may gain a generalized concept, so-to-say ‘‘graded analyticity’’, containing Carnapian strict analyticity for language systems as the extreme case of sense vectors with maximum value. Such graded sense may also be empirically investigated in the case of normal languages. In 4, I plead for my view that what the Lehrers take for communal languages are really collections of family-resembling idiolects of individual speakers and hypotheses of individual speakers about the idiolects of their fellow speakers. This move should free us from the fiction of, and sterile discussions about, the ‘‘true’’ meanings of words, but nevertheless keep normal language communication possible. As a concluding remark I propose in 5 to have both: normal languages from an empirical point of view, and codified languages from a logical reconstructionist one. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

Most words in English are ambiguous between different interpretations; words can mean different things in different contexts. We investigate the implications of different types of semantic ambiguity for connectionist models of word recognition. We present a model in which there is competition to activate distributed semantic representations. The model performs well on the task of retrieving the different meanings of ambiguous words, and is able to simulate data reported by Rodd, Gaskell, and Marslen‐Wilson [J. Mem. Lang. 46 (2002) 245] on (...) how semantic ambiguity affects lexical decision performance. In particular, the network shows a disadvantage forwords with multiple unrelated meanings (e.g., bark) that coexists with a benefit for words with multiple related word senses (e.g., twist). The ambiguity disadvantage arises because of interference between the different meanings, while the sense benefit arises because of differences in the structure of the attractor basins formed during learning. Words with few senses develop deep, narrow attractor basins, while words with many senses develop shallow, broad basins. We conclude that the mental representations of word meanings can be modelled as stable states within a high‐dimensional semantic space, and that variations in the meanings of words shape the landscape of this space. (shrink)

The goal of this paper is to propose an account of the notion of semantic content. I will try to show that my account has some advantages over the existing accounts, and that, at the same time, it captures the most valuable insights behind both parties involved in the contextualism-minimalism debate. The proposed account of semantic content differs from the more traditional ones in that it puts more burden on the parameters of the point of evaluation, leaving very little in (...) the content itself. In particular, even in the case of indexical and demonstrative pronouns, the semantic content is, I suggest, stable across contexts, and does not include the reference of the pronoun. In a nutshell, the semantic content associated with (an utterance of) a sentence that contains one or more pronouns is a function that asks not only for a world and a time of evaluation, but also one or more individuals, before it can return a truth value. (shrink)

In this work, we question the ability of existing ranking-based semantics to capture persuasion settings, emphasising in particular the phenomena of procatalepsis and of fading. Some widely accepted principles of ranking-based semantics are incompatible with a faithful treatment of these phenomena, which means that no existing ranking-based semantics can capture these two principles together. This motivates us to introduce a new parametrized ranking-based semantics based on the notion of propagation which extends the existing propagation semantics 139–150) by adding an additional (...) parameter allowing us to gradually decrease the impact of arguments when the length of the path between two arguments increases. We show that this parameter gives the possibility of choosing if one wants to satisfy the property Void Precedence or not and to control the scope of the impact of the arguments. We also propose an experiment to show that the new semantics remains stable when this parameter varies and an axiomatic evaluation to compare it with existing ranking-based semantics in the literature. (shrink)

In this thesis I investigate the implications, for one's account of mathematics, of holding an anti-realist view. The primary aim is to appraise the scope of revision imposed by anti-realism on classical inferential practice in mathematics. That appraisal has consequences both for our understanding of the nature of mathematics and for our attitude towards anti-realism itself. If an anti-realist position seems inevitably to be absurdly revisionary then we have grounds for suspecting the coherence of arguments canvassed in favour of anti-realism. (...) I attempt to defend the anti-realist position by arguing, i) that it is not internally incoherent for anti-realism to be a potentially revisionary position, and ii) that an anti-realist position can, plausibly, be seen to result in a stable intuitionistic position with regard to the logic it condones. The use of impredicative methods in classical mathematics is a site of traditional intuitionistic attacks. I undertake an examination of what the anti-realist attitude towards such methods should be. This question is of interest both because such methods are deeply implicated in classical mathematical theory of analysis and because intuitionistic semantic theories make use of impredicative methods. I attempt to construct the outlines of a set theory which is anti-realistically acceptable but which, although having no antecedent repugnance for impredicative methods as such, appears to be too weak to offer an anti-realistic vindication of impredicative methods in general. I attempt to exonerate intuitionistic semantic theories in their use of impredicative methods by showing that a partial order relying on the nature of our grasp of the intuitionistic meaning stipulations for the logical constants precludes a possible circularity. (shrink)

The paper describes an algorithm for semantic representation of behavioral contexts relative to a dichotomic decision alternative. The contexts are represented as quantum qubit states in two-dimensional Hilbert space visualized as points on the Bloch sphere. The azimuthal coordinate of this sphere functions as a one-dimensional semantic space in which the contexts are accommodated according to their subjective relevance to the considered uncertainty. The contexts are processed in triples defined by knowledge of a subject about a binary situational factor. The (...) obtained triads of context representations function as stable cognitive structure at the same time allowing a subject to model probabilistically-variative behavior. The developed algorithm illustrates an approach for quantitative subjectively-semantic modeling of behavior based on conceptual and mathematical apparatus of quantum theory. (shrink)

This paper investigates the relevance of liar sentences, and semantic circularity more generally, to compositional semantic theorizing. The paper begins by explaining our need for a compositional semantics for semantic vocabulary like "true". It then details a distinctive challenge for compositional theories accommodating semantic circularity. The challenge is to explain, consistently with linguistic productivity facts, relatively stable truth-value judgments concerning two classes of virtuous semantic circularities. I argue that we cannot explain the productive speaker judgements concerning the two classes (...) using a theory that gives "true" an extension assignment as part of its semantic value, owing to a special kind of explanatory circularity. After giving this argument, I explain what shape semantic theories would need to take to avoid the circularity. Intriguingly, the theories in question accommodate a very unusual form of context-sensitivity, unlike that found in (say) ordinary indexical pronouns or gradable adjectives. Theories with precisely this unusual form of sensitivity have been exploited to avoid problems arising from the vicious semantic circularity of the liar. Thus, exploring the conditions for accommodating semantic circularity within a compositional framework privileges a particular kind of approach to the liar paradox, notably advocated by Haim Gaifman. (shrink)

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have a relational semantics provided by structures based on polarities. Such structures have associated complete lattices of stable subsets, and these have been used to construct canonical extensions of lattice-based algebras. We study classes of structures that are closed under ultraproducts and (...) whose stable set lattices have additional operators that are first-order definable in the underlying structure. We show that such classes generate varieties of algebras that are closed under canonical extensions. The proof makes use of a relationship between canonical extensions and MacNeille completions. (shrink)

The co-evolutionary concept of tri-modal stable evolutionary strategy (SESH) of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the vectors of human evolution by two gear mechanism ˗ genetic and cultural co-evolution and techno-humanitarian balance. Explanatory model (...) and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. The mechanism of influence of each module on the evolution of the two remaining modules of SESH a priori can be twofold: (1) informational co-evolution (direct selective pressure); (2) semantic co-evolution (time-varying semantic code, the compliance of the biological, socio- cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). More rapidly evolving autonomous element of the co-evolutionary pair becomes making sense factor for the partner. Semantic co-evolution is the discrete acquisition of adaptive significance of individual alleles by changing socio-cultural types, manifested as an increase in the genetic variability of populations of Homo sapiens, and domesticated species parallel to socio-culturogenesis. The socio- cultural landscape leads to drastically difference of direction in biological evolution of Atlantic and East-Slavic ethnicities/civilizations. (shrink)

A systematic approach to the algebraic and Kripke semantics for logics with restricted structural rules, notably for logics on an underlying non-distributive lattice, is developed. We provide a new topological representation theorem for general lattices, using the filter space X. Our representation involves a galois connection on subsets of X, hence a closure operator $\Gamma$, and the image of the representation map is characterized as the collection of $\Gamma$-stable, compact-open subsets of the filter space . The original lattice ${\cal (...) L}$ is thus imbedded in the complete lattice of stable sets. The representation is shown to be functorial and is extended to a Stone-type duality. ;In the presence of additional operators, the extension problem is addressed in terms of what we call adjoint completions of normal operators. An operator f on a lattice L is normal if f: $L\sp{} \times \cdots \times L\sp{} \to L\sp{}$ is a monotone map, where each $L\sp{}$, $i \in n$ + 1, is either L or $L\sp{op}$ and f sends finite joins of $L\sp{}$ to joins in $L\sp{}$. Every familiar operator, such as $\circ$ , + , $\gets, \to, \neg, \square$ O is normal. By a uniform argument we show that normal operators $f\sb{i}$ on L extend to operators $F\sb{i}$ on $\Gamma X$ that distribute over arbitrary joins or meets and that \sb{i\in I})$ is a universal such extension. ;We also raise and resolve the question of representability of operators on stable sets by relations. We give an extensive number of examples of representation of specific operators and provide explicit constructions of canonical Kripke frames, based on our extension arguments, for a number of logical systems, notably for Intuitionistic and Classical Linear Logics, or Non-commutative Linear Logic and of fragments thereof. (shrink)

Contemporary recognition of the importance of divisions amongst pragmatic and semantic phenomena has its roots in earlier recognition of the importance of pragmatic phenomena. This chapter begins with the idea that semantics concerns the stable meanings of words and expressions while pragmatics concerns language use, or things done with words. It provides some grounds for rejecting, a defense of orthodoxy that sought to treat the variations that Charles Travis highlights as occurring only with respect to derivative illocutionary acts. The (...) chapter argues that the orthodox view comes under pressure from reflection on certain forms of variation in the illocutionary acts that speakers perform. It explores how the meanings of the words that the speaker used, which figure most directly in the locutionary act that they performed, figure less directly in the illocutionary act or acts that they perform, and less directly still in the further, perlocutionary consequences of the performance of that illocutionary act. (shrink)

To understand evolutionary aspects of communication is to understand the evolutionary development of the meaning relations between language and the world. Such meaning relations are established by the application of the interactive systems of semantic games. Subsumed under the evolutionary framework of repeated games, semantics in such games refers to the cases in which stable meanings survive populations of strategically interacting players. The viability of compositionality, common ground and salience in such evolutionary games is assessed. Foundationally, the discussion is (...) rooted in Charles S. Peirce’s pragmatist philosophy. (shrink)

Being and Time is a methodologically complex work, combining hermeneutic, transcendental, phenomenological, and ontological strategies in a provocative and not-obviously-stable concoction. In this article, I focus on one strand of the methodological puzzles raised by Heidegger’s undertaking: the problem of warranting the modal claims that occur frequently in the course of Heidegger’s project. In a number of crucial passages, we are told that one or another trait of Dasein is necessary, or that some ontic feature of Dasein would not (...) be possible were it not for some deeper ontological feature. I undertake to determine the logical form of these doctrines, and to consider what kind of evidence might suffice to establish them. I draw on Heidegger’s complex debt to Dilthey in proposing an interpretation of the notion of an existeniale, and I critically assess Taylor Carman’s treatment of Heidegger’s project as an extension of Kantian transcendental strategies. In the end, I argue, much comes to turn on one’s account of the semantics of Heidegger’s central term of art: “Dasein.” I identify shortcomings in two possible approaches to this problem: one takes the extension of the term to be antecedently fixed; the other fixes the meaning of the term by specifying its intension. I then explore an alternative semantics for “Dasein” under which the modalized doctrines of Being and Time can be considered de re necessities. All three of the semantic models that I consider here remain highly schematic – cartoons rather than fully elaborated portraits – and I do not mean to suggest that any of the three would suffice to capture the enormously complex semantic structure of Heidegger’s undertaking. Nonetheless, I argue that the third semantic model enjoys certain demonstrable advantages over the other two, both for mounting a defense of Heidegger’s modal propositions and as a schema for mapping the text of Being and Time. It also allows us to frame a challenge that any fully adequate semantic interpretation of Heidegger’s text would have to meet. (shrink)

Collecting human similarity judgments is instrumental to measuring and modeling neurocognitive representations and has been made more efficient by the multi-arrangement task. While this task has been tested for collecting semantic similarity judgments, it is unclear whether it also lends itself to phonological and orthographic similarity judgments of words. We have extended the task to include these lexical modalities and compared the results between modalities and against computational models. We find that similarity judgments can be collected for all three modalities, (...) although word forms were considered more difficult to sort and resulted in less consistent inter- and intra-rater agreement than semantics. For all three modalities we can construct stable group-level representational similarity matrices. However, these do not capture significant idiosyncratic similarity information unique to each participant. We discuss the potential underlying causes for differences between modalities and their effect on the application of the multi-arrangement task. (shrink)

The connection between logic programming and formal argumentation has been studied starting from the landmark 1995 paper of Dung. Subsequent work has identified a standard translation from logic programs to argumentation frameworks, under which pairwise correspondences hold between various logic programming semantics and various formal argumentation semantics. This includes the correspondence between 3-valued stable and complete semantics, between well-founded and grounded semantics and between 2-valued stable and stable semantics. In the current paper, we show that the existing (...) translation is able to yield the additional correspondence between ideal semantics for logic programming and ideal semantics for formal argumentation. We also show that correspondence does not hold between eager semantics for logic programming and eager semantics for formal argumentation, at least when translating from logic programming to formal argumentation. Overall, the current work should be seen as completing the analysis of correspondences between mainstream admissibility-based argumentation semantics and their logic programming counterparts. (shrink)

Many generic sentences express stable inductive generalizations. Stable inductive generalizations are typically true for a causal reason. In this paper we investigate to what extent this is also the case for the generalizations expressed by generic sentences. More in particular, we discuss the possibility that many generic sentences of the form ‘ks have feature e’ are true because kind k have the causal power to ‘produce’ feature e. We will argue that such an analysis is quite close to (...) a probabilistic based analysis of generic sentences according to which ‘relatively many’ ks have feature e, and that, in fact, this latter type of analysis can be ‘grounded’ in terms of causal powers. We will argue, moreover, that the causal power analysis is sometimes preferred to a correlation-based analysis, because it takes the causal structure that gives rise to the probabilistic data into account. (shrink)

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)

In this work, we question the ability of existing ranking-based semantics to capture persuasion settings, emphasising in particular the phenomena of procatalepsis (the fact that it is often efficient to anticipate the counter-arguments of the audience) and of fading (the fact that long lines of argumentation become ineffective). Some widely accepted principles of ranking-based semantics (like Void Precedence) are incompatible with a faithful treatment of these phenomena, which means that no existing ranking-based semantics can capture these two principles together. This (...) motivates us to introduce a new parametrized ranking-based semantics based on the notion of propagation which extends the existing propagation semantics (In Proceedings of the 6th International Conference on Computational Models of Argument (COMMA’16) (2016) 139–150) by adding an additional parameter allowing us to gradually decrease the impact of arguments when the length of the path between two arguments increases. We show that this parameter gives the possibility of choosing if one wants to satisfy the property Void Precedence or not (and then capture procatalepsis) and to control the scope of the impact of the arguments (and then to capture fading principle). We also propose an experiment to show that the new semantics remains stable when this parameter varies and an axiomatic evaluation to compare it with existing ranking-based semantics in the literature. (shrink)

Any theory of semantic cognition is also a theory of concepts. There are two ways to construe the models presented by Rogers & McClelland (R&M) in Semantic Cognition. If we construe the input and output representations as concepts, then the models capture knowledge acquisition within a stable set of concepts. If we construe the hidden-layer representations as concepts, the models provide a simulation of conceptual change.

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...) relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

In the current paper we re-examine the concepts of attack semantics and collective attacks in abstract argumentation, and examine how these concepts interact with each other. For this, we systematically map the space of possibilities. Starting with standard argumentation frameworks (which consist of a directed graph with nodes and arrows) we briefly state both node semantics and arrow semantics (the latter a.k.a. attack semantics) in both their extensions-based form and labellings-based form. We then proceed with SETAFs (which consist of a (...) directed hypergraph of nodes and arrows, to take into account the notion of collective attacks) and state both node semantics and arrow semantics, in both their extensions-based and labellings-based form. We then show equivalence between the extensions-based and labellings-based form, for node semantics and arrow semantics of AFs, as well as for node semantics and arrow semantics of SETAFs. Moreover, we show equivalence between node semantics and arrow semantics for AFs, and equivalence between node semantics and arrow semantics for SETAFs (with the notable exception of semi-stable). We also provide a novel way of converting a SETAF to an AF such that semantics are preserved, without the use of any “meta arguments”. Although the main part of our work is on the level of abstract argumentation, we do provide an application of our theory on the instantiated level. More specifically, we show that the classical characterisation of Assumption-Based Argumentation (ABA) can be seen as an instantiation based on a SETAF, whereas the contemporary characterisation of ABA can be seen as an instantiation based on a standard AF. Our theory of how to convert a SETAF to an AF can then be used to account for both the similarities and the differences between the classical and contemporary characterisations of ABA. Most prominently, our theory is able to explain the semantic mismatch for semi-stable semantics that arises in the ABA instantiation process. (shrink)

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related (...) by virtue of the stable Ramsey test. (shrink)

In this paper we present stable and unstable versions of several well-known relations from mereotopology: part-of, overlap, underlap and contact. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereotopo-logical relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed (...) in similar fashion to Stone’s representation theory for Boolean algebras and distributive lattices. Then we present some results about the first-order predicate logic of these relations and about its quantifier-free fragment. Completeness theorems for these logics are proved, the full first-order theory is proved to be hereditary undecidable and the satisfiability problem of the quantifier-free fragment is proved to be NP-complete. (shrink)

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (...) (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

By extending the underlying data structure by new elements, we also extend the intput/output relation generated by a program i.e., no existing run is killed, and no new one lying entirely in the old structure is created. We investigate this stability property for the weak second order semantics derived from nonstandard time models. It turns out that the light face, i.e., parameterless collection principle always induces stable semantics, but the bold face one may be unstable. We give an example (...) where an elementary extension kills a bold face run showing also that the light face semantics is strictly weaker than the bold face one. (shrink)

Recent attempts to define and support realism in semantics seem to acknowledge, as the only defence from skeptical attacks to the notion of meaning, a flat acceptance of the existence of representational relations between language and things in the world. In this paper I reconsider part of the mistrust about the normative character of meaning, in order to show that some of the worries urging the realists to cling on representationalism actually rest on misconceptions. To the contrary, I suggest that (...) normativity is the main strength of a stable realist stance in semantics. Support to this suggestion comes from the reanalysis of some oft-ignored sellarsian themes. (shrink)

Formal approaches that aim at representing human reasoning should be evaluated based on how humans actually reason. One way of doing so is to investigate whether psychological findings of human reasoning patterns are represented in the theoretical model. The computational logic approach discussed here is the so-called weak completion semantics which is based on the three-valued ᴌukasiewicz logic. We explain how this approach adequately models Byrne’s suppression task, a psychological study where the experimental results show that participants’ conclusions systematically deviate (...) from the classical logically correct answers. As weak completion semantics is a novel technique in the field of computational logic, it is important to examine how it corresponds to other already established non-monotonic approaches. For this purpose we investigate the relation of weak completion with respect to completion and three-valued stable model semantics. In particular, we show that well-founded semantics, a widely accepted approach in the field of non-monotonic reasoning, corresponds to weak completion semantics for a specific class of modified programs. (shrink)

The action noun adhimukti derives from the verb adhi-muc, not attested in Classical Sanskrit but in P?li. It is regularly used in the passive, with the original meaning ‘to be fastened to’, and then ‘to adhere’. This meaning is not used in a concrete sense, but in a metaphorical one, referred to mind and mental objects, so that adhimukti can be used to express inclination, faith in a doctrine, and also intentional and stable representation of an image or an (...) idea in meditative practice, sometimes with the effect of transformation of external reality. The common feature appears to be adherence or the fixing of the mind on its object. (shrink)

The purpose of this paper is to propose a framework of lexical meaning, broadly along the lines of Cognitive Semantics (Langacker 1987a). Within the proposed model, all aspects of meaning are to be explained in terms of properties of ontologies in conceptual space, i.e. properties of content ontologies and schematic ontologies and construals which are imposed on the conceptual structures on the occasion of use. It is through the operations of construals on ontological structures that different readings of lexical expressions (...) arise. Lexical meanings are dynamic and sensitive to contextual demands, rather than fixed and stable. In a dynamic, usage-based model like this, polysemy and multiple readings emerge as a natural consequence of the human ability to think flexibly. Another more specific purpose of this paper is to draw attention to the usefulness of ontologies in linguistic research in general and semantic modelling in particular. (shrink)

In recent years, the methods of formal semantics and pragmatics have been fruitfully applied to the analysis of primate communication systems. Most analyses therein appeal to a division of labor between semantics and pragmatics which has the following three features: calls are given referential meanings, some calls have a general meaning, and the meanings of calls in context are enriched by competition with more informative calls, along the lines of scalar implicatures. In this paper, we develop highly simplified models to (...) independently assess the conditions under which such features would emerge. After identifying a sufficient condition for, we find a range of conditions under which and are not evolutionarily stable, and discuss the consequences for both modeling and empirical work. (shrink)

Silent gesture is not considered to be linguistic, on par with spoken and sign languages. It is claimed that silent gestures, unlike language, represent events holistically, without compositional structure. However, recent research has demonstrated that gesturers use consistent strategies when representing objects and events, and that there are behavioral and clinically relevant limits on what form a gesture may take to effect a particular meaning. This systematicity challenges a holistic interpretation of silent gesture, which predicts that there should be no (...) stable form‐meaning correspondence across event representations. Here, we demonstrate to the contrary that untrained gesturers systematically manipulate the form of their gestures when representing events with and without a theme (e.g., Someone popped the balloon vs. Someone walked), that is, transitive and intransitive events. We elicited silent gestures and annotated them for manual features active in coding transitivity distinctions in sign languages. We trained linear support vector machines to make item‐by‐item transitivity predictions based on these features. Prediction accuracy was good across the entire dataset, thus demonstrating that systematicity in silent gesture can be explained with recourse to subunits. We argue that handshape features are constructs co‐opted from cognitive systems subserving manual action production and comprehension for communicative purposes, which may integrate into the linguistic system of emerging sign languages. We further suggest that nonsigners tend to map event participants to each hand, a strategy found across genetically and geographically distinct sign languages, suggesting the strategy's cognitive foundation. (shrink)

The co-evolutionary concept of three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to other ones. Resulting volume of both parameters define the vectors of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism — genetic and cultural co-evolution and (...) techno-humanitarian balance. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions as abbreviations. We follow up on that suggestion and introduce an answer set programming language that defines the mean- ing of counting and choice by reducing these constructs to first-order formulas. For the new language, the concept of a safe program is defined, and its semantic role is investigated. We (...) compare the new language with the concept of a disjunc- tive program with aggregates introduced by Faber, Leone and Pfeifer, and discuss the possibility of implementing a frag- ment of the language by translating it into the input language of the answer set solver DLV. The language is also compared with cardinality constraint programs defined by Syrjänen. (shrink)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...) (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

Attempt of trans-disciplinary analysis of the evolutionary value of bioethics is realized. Currently, there are High Tech schemes for management and control of genetic, socio-cultural and mental evolution of Homo sapiens (NBIC, High Hume, etc.). The biological, socio-cultural and technological factors are included in the fabric of modern theories and technologies of social and political control and manipulation. However, the basic philosophical and ideological systems of modern civilization formed mainly in the 17–18 centuries and are experiencing ever-increasing and destabilizing risk-taking (...) pressure from the scientific theories and technological realities. The sequence of diagnostic signs of a new era once again split into technological and natural sciences’ from one hand, and humanitarian and anthropological sciences’, from other. The natural sciences series corresponds to a system of technological risks be solved using algorithms established safety procedures. The socio-humanitarian series presented anthropological risk. Global bioethics phenomenon is regarded as systemic socio-cultural adaptation for technology-driven human evolution. The conceptual model for meta-structure of stable evolutionary strategy of Homo sapiens (SESH) is proposes. In accordance to model, SESH composed of genetic, socio-cultural and techno-rationalist modules, and global bioethics as a tool to minimize existential evolutionary risk. An existence of objectively descriptive and value-teleological evolutionary trajectory parameters of humanity in the modern technological and civilizational context (1), and the genesis of global bioethics as a system social adaptation to ensure self-identity (2) are postulated. -/- . (shrink)

In this document, we describe the concepts of ideal semantics and stage semantics for abstract argumentation in terms of argument labellings. The difference between the traditional extensions approach and the labelling approach is that where the former only identifies the sets of accepted arguments, the latter also identifies the rejected arguments as well as the arguments that are neither accepted nor rejected. So far, the labellings approach has been successfully applied to complete, grounded, preferred, stable and semi-stable semantics, (...) as well as to the concept of admissibility. In the current paper, we continue this line of research by showing that ideal semantics and stage semantics can also be described in terms of argument labellings. (shrink)

I argue that the dispute between two leading theories of interpretation of legal texts, textual originalism and textual evolutionism, depends on the false presupposition that changes in the way a word is used necessarily require a change in the word’s meaning. Semantic externalism goes a long way towards reconciling these views by showing how a word’s semantic properties can be stable over time, even through vicissitudes of usage. I argue that temporal externalism can account for even more semantic stability, (...) however. Temporal externalism is the theory that the content of an utterance at time t may be determined by developments in linguistic usage subsequent to t. If this semantic theory is correct, then the originalist and evolutionist positions effectively collapse. Originalism is correct in that the original meaning of the text is the meaning that is binding on jurists, but evolutionism is vindicated, as it is the current practices and standards that determine the meaning the text now has, and has always had. Objections to temporal externalism, and to its application to the interpretation of legal texts, are considered and addressed. (shrink)

The paper discusses three different ways of explaining the referential stability of concepts of physics. In order to be successful, an approach to referential stability has to provide resources to understand what constitutes the difference between the birth of a new concept with a history of its own, and an innovative step occurring within the lifetime of a persisting concept with stable reference. According to Theodore Arabatzis' 'biographical' approach (Representing Electrons 2006), the historical continuity of representations of the electron (...) manifests itself by the numerical stability of experimental parameters like the charge-to-mass ratio, and the continued acceptance of earlier experiments as manifestations of electron properties. I argue, against Arabatzis' approach, that the stability of experimental parameters justifies the assumption that there exists a chain of representations of a unique theoretical entity only if this stability occurs against the background of evidence for theoretical continuity. The Bain/Norton approach proposes to add exactly this element to the picture, but fails to reach its aim by focusing on formal similarities of Hamiltonians as an indicator of theoretical continuity. I shall argue that theoretical continuity has to be demonstrated rather on the level of particular solutions. This task is accomplished by the semantic embedding approach by means of defining a co-reference criterion for theoretical terms requiring the existence of semantic embedding relations between the terms that occur in particular solutions of different theories. (shrink)

It is often claimed that realism about normativity entails that it is difficult for us to know anything about it. I refine this thought by characterizing realism as a thesis which is committed to explaining a semantic thesis about possible uses of normative language: that normative terms like ‘ought’ are semantically stable, in the sense that the term refers to the same property even if it is used differently. There are independent arguments which show that a realist view, (...) if it is plausible, should entail semantic stability for ‘ought’. In this paper I argue that, if the realist succeeds in explaining semantic stability, the realist view implies that normative beliefs will be at risk of being false, and hence not knowledge. Central to this argument is a phenomenon I call meta-semantic risk. I argue that the phenomenon of meta-semantic risk gives rise to a significant dose of normative skepticism for the realist, but it does not entail wholesale skepticism, since the epistemic threats are only contingent, and threatens only precise normative beliefs. I close by sketching two arguments that may show that even this limited form of skepticism counts significantly against the realist view. (shrink)

Can we conceive of a mind without body? Does, for example, the idea of the soul's immortality make sense? Certain versions of materialism deny such questions; I shall try to prove that these versions of materialism cannot be right. They fail because they cannot account for the mental vocabulary from the language of brains in the vat. Envatted expressions such as "I think", "I believe", etc., do not have to be reinterpreted when we translate them to our language; they are (...) semantically stable. By contrast, physical expressions from the vat language are semantically instable; due to Putnam's externalism they cannot be transported to our language without change. This contrast opens the way to a new understanding of what the immortality of the soul might be like: A brain in a vat (and its mental life) might survive what the brain calls "my physical body's death". (shrink)

Contextualism in epistemology has traditionally been understood as the view that “know” functions semantically like an indexical term, encoding different contents in contexts with different epistemic standards. But the indexical hypothesis about “know” faces a range of objections. This article explores an alternative version of contextualism on which “know” is a semantically stable term, and the truth-conditional variability in knowledge claims is a matter of pragmatic enrichment. The central idea is that in contexts with stringent epistemic standards, (...) knowledge claims are narrowed: “know” is used in such contexts to make assertions about particularly demanding types of knowledge. The resulting picture captures all of the intuitive data that motivate contextualism while sidestepping the controversial linguistic thesis at its heart. After developing the view, the article shows in detail how it avoids one influential linguistic objection to traditional contextualism concerning indirect speech reports, and then answers an objection concerning the unavailability of certain types of clarification speeches. (shrink)