We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the (...) semantics of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism. (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)

We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More specifically, the main idea underlying our approach is the use of algebras of truth-values, whose operators reflect the semantics we have in mind, as the labelling algebras of our labelled deduction systems. The “truth-values (...) as labels” approach allows us to give generalized systems for multiple-valued logics within the same formalism: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, i.e. logics for which the denotation of a formula can be seen as a set of worlds, our recipe allows us to capture also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards the fibring of these logics with many-valued ones. (shrink)

The centrality of the embodiment of mind, self, and values for the later Nietzsche is widely acknowledged. Here, I reconstrue Nietzsche’s HL to show that he uses his drive model of the mind already in this early text. The “historical sickness” central to HL is diagnosed in the form of failures of embodiment and drive control. First, I argue that a precursor to Nietzsche’s figure of “the last human” is already the target in HL. Second, I offer working definitions for (...) terms such as “drives,” “affects,” and “values,” which are crucial to Nietzsche’s heuristic diagnostic framework. I then focus on the neglected passage that contrasts the medieval memento mori with a modern memento vivere, showing that the former functions as an embodied mechanism of willing and self-control, which Nietzsche claims the moderns have been unsuccessful in replacing. Finally, I draw on recent research in embodied cognition and identify two causes—“overload” and “semantic embodiment”— of the modern “historical sickness” that undermines flourishing. (shrink)

We develop a framework for natural language semantics which handles intensionality via metalogical constructions and deals with degree truth values in an integrated way. We take an axiomatic set theory, ZF, as the foundation for semantic representations, but we make ZF a metalanguage for part of itself by embedding a language ℒ within ZF which is basically a copy of the part of ZF consisting of set expressions. This metalogical set-up is used for handling propositional attitude verbs (limited to (...) believe in this paper). We define a truth function τ which determines the truth value τ(p, T) of an ℒ-proposition p with respect to a theory T. Theories are sets of ℒ-propositions with associated truth values, and can be viewed as a (much more well-defined) replacement for possible worlds. We develop a mechanism for defining belief worlds as theories. We simultaneously develop two different versions of our system - a Boolean version where the set Ω of truth values is {0, 1}, and a degree-truth version where Ω is the interval [0, 1] of real numbers. We use degrees of truth in handling a broad class of semantic predicates that we call base-focus predicates, which include generalized quantifiers as well as many adverb and adjective senses and certain discourse-level predicates. (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 this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared (...) with the familiar formalisms in dynamic semantics, DRT and DPL. (shrink)

The relevance of the research problem lies in the necessity of an axiological approach to the formation of the personality in education and the task of strengthening the ideal image of the function. The aim of this article is studying and understanding the culture of personality formation mechanisms in relation to future specialists. The leading method of research was the theoretical analysis of philosophical and cultural approaches to the cultural formation of the personality and to the content of human culture. (...) Content analysis was based on the philosophical and cultural concepts of V. S. Bibler, M. Buber, J. G. Herder, I. Kant, L. N. Kogan, D. S. Likhachev, A. Schweitzer, M. Scheler, and others. The experiment method was the experimental realization of formation stages of the future specialist as a person of culture, which allowed revealing the positive role of cultural mechanisms in this process. The result is the stages of human culture formation as well as mechanisms for their implementation. The article may be useful for specialists of the educational sphere, social philosophers, and culturologists. (shrink)

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value of a proposition depends on (...) how things stand outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

The paper analyzes the visual aspect of metaphors, offering a new theory of metaphor that characterizes its syntactic structure, material composition and visuality as its essence. It will accordingly present the metaphorical creating or transfiguring, as well as conceiving or understanding, of one thing as a different one, as a visual ability. It is a predication by means of producing non-conventional compositions – i.e., by compositional, or even aesthetic, means. This definition is aimed to apply to the various kinds of (...) metaphors: conceptual, linguistic, visual, and material. It will thus challenge the definition of metaphor as a conceptual or linguistic phenomenon in nature that is based on its semantic mechanism, broad concepts, and cognitive value. Those definitions have been prevalent since the second half of 20th century, under the influence of the philosophy of language, and later of cognitive studies. (shrink)

The political culture of society is a complex and multifaceted phenomenon, dynamic and simultaneously stable in historical, spatial and temporal dimension. Given this, the issue of political culture attracts the attention of many modern researchers. Indeed, conscious formation of political culture as an art of common civilized living of people in the state – taking care of all modern societies, is an important condition for its prosperity. The democratic system cannot establish itself and be effective without a political culture of (...) the population. Democracy involves the transformation of a human being into a source of power, the supreme arbiter of the country and international politics. Although in a democratic state, not every individual has impact on policy-making, it is a conscious choice and activity of most people that affect account in public policy of interests of different groups, competence and responsibility of the ruling elite. Usually only a high level of political culture, which for centuries was formed during historical and cultural development and has a strong social and axiological foundation, is able to provide the society with stable and effective mechanisms of political socialization of a personality.Political culture has fundamental, social and formative character. Accordingly, the level and nature of the political culture of a particular society affects the possibilities of political socialization of a personality in it. However, it is in the process of political socialization of the individual that certain value-semantic foundation for political and cultural nature is acquired. Interdependence of political culture and political socialization is worth noting. The higher the political culture of a society, the more attention it pays to the process of political socialization. However, the opposite statement can be considered just: the higher the degree of political socialization in the society, the higher is the level of political culture. After all, people with high level of political socialization actively participate in the political life of society, ensuring the development of public relations. Thus the notion of "political culture" and "political socialization" are interconnected. The political culture of a society is the semantic component of political socialization. As a result of political socialization, subject of adapting to political culture and is able to develop it. As a result of political socialization, through the formation of political consciousness of the individual, which includes political values, orientations, attitudes, norms, and learning and subsequent use of samples of political behavior is the use of political culture. Implementation of the functions of political culture of political socialization of a personality is due to such is components, as political values, norms, stereotypes, ideals, behavior patterns and so on. The article calls attention to the spiritual and moral aspects of political culture and their role in the process of political socialization, especially through the formation of civic orientation. In the political sphere, morality is embodied in the political norms and values, aimed to preserve the state, increasing its power and prosperity of citizens. At the individual level, the political nature of morality appears as patriotism and responsibility of the individual for compliance with social norms, rules and more. In other words, civic orientation of the individual appears in accepting morals of certain social order and a sense of responsibility in society, subjecting to certain social norms based on apprehension of subject's rights and obligations, on his civil values, sense of responsibility and moral submissions. Civic orientation of the individual develops in a system of spiritual culture of society. The main mechanism of the origin and development of social behavior forms are primarily internalization of norms, patterns, demands, ideals and values of society. Thus, civil orientation is a special kind of political morality of personality. In the process of socialization human being masters the spiritual component of the political culture that provides individual's activities aimed at implementation of civic values. Together with acquired political views and beliefs, they constitute a precious human experience. (shrink)

This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a (...) semantics for the contraction-free relevant logic C (or RW). Unfortunately, its approach seems to model little else. The third approach seems to capture a wide range of formal systems, but at the time of writing, lacks a completeness proof. (shrink)

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and selection functions, independently of any strictness assumption.

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

The article deals with the role and significance of value-semantic reflection concerning teachers' professional positions. The purpose of study to reveal the strategy for the implementation of upbringing technologies for solving the problems of spiritual and moral formation of subjects of education. The complex picture of systemic ideas about a person, the nonlinearity of his formation leads to attempts to simplify technological solutions, which contradicts the essence of the individual's spiritual and moral upbringing. The scientific novelty lies in (...) the description of the function of value-semantic reflection in relation to the content of the teacher's professional position. As a result, the author proposes an algorithm for the application of educational technologies based on the systemic value-semantic reflection of the teacher's professional position. (shrink)

According to Suszko's Thesis,any multi-valued semantics for a logical system can be replaced by an equivalent bivalent one. Moreover: bivalent semantics for families of logics can frequently be developed in a modular way. On the other hand bivalent semantics usually lacks the crucial property of analycity, a property which is guaranteed for the semantics of multi-valued matrices. We show that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices. We further show that (...) for using this framework in a constructive way it is best to view "truth-values" as information carriers, or "information-values". (shrink)

Disagreeing with most authors on vagueness, the author proposes a solution that he calls ‘three-valued semantic pluralism’ to the age-old sorites paradox. In essence, it is a three-valued semantics for a first-order vague language with identity with the additional suggestion that a vague language has more than one correct interpretation. Unlike the traditional three-valued approach to a vague language, three-valued semantic pluralism can accommodate the phenomenon of higher-order vagueness and the phenomenon of penumbral connection when equipped with ‘suitable (...) conditionals’. The author also shows that three-valued semantic pluralism is a natural consequence of a restricted form of the Tolerance principle ) and a few related ideas, and argues that ) is well-motivated by considerations about how we learn, teach, and use vague predicates. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes (...) of anaphora resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in logic programming. The purpose of this paper is threefold: first, to give a non-technical introduction to the infinite-valued semantics; second, to discuss the applicability of the infinite-valued approach to syntactically richer extensions of logic programming; and third, to present the main open problems whose resolution would further enhance the applicability of the technique.

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for (...) them to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

The range of research on value issues is quite wide today. The transition from understanding values as a philosophical category to a psychological interpretation of the nature of values has led to the emergence of many trends and psychological concepts of value problems. In this study, we will reveal the main modern views of researchers on the essence of the value-semantic matrix of both an individual and the entire world community. The modern socio-economic situation in the (...) world is characterized by an almost permanent crisis state both in the social, and in the spiritual, cultural sphere, which is due to the existence of the consequences of the epidemic situation in the world. Based on this, the problem of teaching the dynamics of the value-semantic matrix, its development and changes under the influence of personality crises of various origins, both external ones caused by the social situation in the country, the impact of new information technologies, and internal ones, caused by growing up, growth, psychological development personality in time and space. Therefore, the purpose of this work is to conduct a theoretical study of the value-semantic sphere as a system that undergoes changes during the crisis periods of a person's life and to investigate the main deformations that have taken place in the Mind of existence of today's post-pandemic reality. (shrink)

Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two (...) types of gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language. (shrink)

I argue that alternative-denoting expressions interact with their semantic context by taking scope. With an empirical focus on indefinites in English, I show how this approach improves on standard alternative-semantic architectures that use point-wise composition to subvert islands, as well as on in situ approaches to indefinites more generally. Unlike grammars based on point-wise composition, scope-based alternative management is thoroughly categorematic, doesn’t under-generate readings when multiple sources of alternatives occur on an island, and is compatible with standard treatments (...) of binding. Unlike all in situ treatments of indefinites, relying on a true scope mechanism prevents over-generation when an operator binds into an indefinite. My account relies only on function application, some mechanism for scope-taking, and two freely-applying type-shifters: the first is Karttunen’s :3–44, 1977. https://doi.org/10.1007/BF00351935) proto-question operator, aka Partee’s Studies in discourse representation theory and the theory of generalized quantifiers, Foris, Dordrecht, 1986) IDENT, and the second can be factored out of extant approaches to the semantics of questions in the tradition of Karttunen. These type-shifters form a decomposition of LIFT, the familiar function mapping values into scope-takers. Exceptional scope of alternative-generating expressions arises via scopal pied-piping: indefinites take scope over their island, which then itself takes scope. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection (...) of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

In this paper it is argued that herzberger's general theory of presupposition may be successfully applied to category mistakes. The study offers an alternative to thomason's supervaluation treatment of sortal presupposition and as an indirect measure of the relative merits of the two-Dimensional theory to supervaluations. Bivalent, Three-Valued matrix, And supervaluation accounts are compared to the two-Dimensional theory according to three criteria: (1) abstraction from linguistic behavior, (2) conformity of technical to preanalytic distinctions, And (3) ability to capture classical logic. (...) A matrix like characterization of thomason's theory is reported. (shrink)

This paper argues that, contrary to the claims of Alan Chalmers, Boyle understood his experimental work to be intimately related to his mechanical philosophy. Its central claim is that the mechanical philosophy has a heuristic structure that motivates and gives direction to Boyle's experimental programme. Boyle was able to delimit the scope of possible explanations of any phenomenon by positing both that all qualities are ultimately reducible to a select group of mechanical qualities and that all explanations of natural phenomena (...) are to be in terms of the operations of machines and are to appeal only to qualities that are already familiar. This is illustrated by his investigations into the Torricellian experiment. Boyle's explanation of the elevation of the mercurial cylinder by appeal to the spring of the air was an intermediate mechanical explanation. Boyle was convinced that the spring of the air was ultimately reducible to the mechanical qualities. This in turn had implications for his research into the cause of respiration. In a move that was both parsimonious and consistent with the broad requirements of the mechanical philosophy, Boyle was able to solve the problem of the cause of the inflow of air into the lungs by appeal to his research in pneumatics. This application of a mechanical explanation in pneumatics to physiology is just what one would expect if the mechanical philosophy was as universal as Boyle claimed it to be. Therefore, far from Boyle's experiments having a life of their own, they were clearly directed by and understood in terms of the mechanical philosophy. (shrink)

A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. (...) The resulting system can give reasonable answers to queries that involve both negation and free variables. Also it gives the same results as Prolog when there are no negations. Finally, an implementation in Prolog is given. (shrink)

Reinforcement learning systems usually assume that a value function is defined over all states (or state-action pairs) that can immediately give the value of a particular state or action. These values are used by a selection mechanism to decide which action to take. In contrast, when humans and animals make decisions, they collect evidence for different alternatives over time and take action only when sufficient evidence has been accumulated. We have previously developed a model of memory processing (...) that includes semantic, episodic and working memory in a comprehensive architecture. Here, we describe how this memory mechanism can support decision making when the alternatives cannot be evaluated based on immediate sensory information alone. Instead we first imagine, and then evaluate a possible future that will result from choosing one of the alternatives. Here we present an extended model that can be used as a model for decision making that depends on accumulating evidence over time, whether that information comes from the sequential attention to different sensory properties or from internal simulation of the consequences of making a particular choice. We show how the new model explains both simple immediate choices, choices that depend on multiple sensory factors and complicated selections between alternatives that require forward looking simulations based on episodic and semantic memory structures. In this framework, vicarious trial and error is explained as an internal simulation that accumulates evidence for a particular choice. We argue that a system like this forms the “missing link” between more traditional ideas of semantic and episodic memory, and the associative nature of reinforcement learning. (shrink)

This study evaluates the ontological and ethical premises and presuppositions of three abortion theorists: Germain Grisez, Eike-Henner W. Kluge, and Michael Tooley. ;Grisez's argument that human embryos and fetuses are moral persons because moral rights are derived from moral value, and the full moral value of human adults who are moral persons is implicit in the living genetic mechanism of all human beings, is criticized on the basis of the tension in Aristotle's doctrine between the notion of (...) essence as an internal causitive principle, and as a set of observable qualities considered to be definitive of the nature of a living thing. However, David Wiggins' use of the semantical theory of natural kind terms of Hilary Putnam is suggested as a possible resolution. ;Kluge's argument that rational beings are moral persons because rational awareness has an absolute and intrinsic value, and that mature fetuses are moral persons because their neurological systems have become sufficiently complex to provide the present capability for rational awareness is criticized because he fails to show that mature fetuses do have such a present capability, and because his discussion of the relationship of potential being to actual being of living things wrongly presupposes that human gestation is analogous to the making of an artifact. ;Tooley's contrary argument that the right to life is not derivable from moral value but must, itself, be something violable, and that there is a conceptual connection between its violation and one's desire to continue to live, excludes fetuses and neonates because they lack the mental capability to desire to continue to live. Tooley's analysis is criticized as incomplete, and his argument as presupposing the existence of an essentially mentalistic self. ;The final chapter is a synthesis which considers the ontology of the development of personality or self, including the theories of Descartes, Locke and Wiggins. The conclusion is reached that theories which claim that a moral person "comes to be" as a fundamentally different kind of being at some point after conception, due to either morphological changes or the development of personality or self, entail dual principles of identity and, hence, are in danger of unintelligibility. (shrink)

The paper presents the semantic model of logical content processing in the environment of tabooed sentences. Such sentences occur both in academic and colloquial discourses. They can be interpreted as infected formulas with the value of an insult. The proposed model assumes that the inferential mechanism of argumentative activities realised in discourses in the environment of such formulas is based on Bochvar's logical matrices and Kripke’s possible worlds semantic structures. This mechanism is determined by (...) class='Hi'>semantic consequence operators of three types. The presented theory can be viewed as a formal tool for reconstructing the logical mental mechanism which stops deductive actions aiming at the development of narrative worlds in discourse practices during epistemic wars. It postulates that these practices, which occur in processes of developing science, are governed by special logical mechanisms of inference. (shrink)

The paper presents the semantic model of logical content processing in the environment of tabooed sentences. Such sentences occur both in academic and colloquial discourses. They can be interpreted as infected formulas with the value of an insult. The proposed model assumes that the inferential mechanism of argumentative activities realised in discourses in the environment of such formulas is based on Bochvar's logical matrices and Kripke’s possible worlds semantic structures. This mechanism is determined by (...) class='Hi'>semantic consequence operators of three types. The presented theory can be viewed as a formal tool for reconstructing the logical mental mechanism which stops deductive actions aiming at the development of narrative worlds in discourse practices during epistemic wars. It postulates that these practices, which occur in processes of developing science, are governed by special logical mechanisms of inference. (shrink)

Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...) paraconsistent logics that have been considered in the literature, including a large family of logics which were developed by da Costa's school. Then we show that in contrast, paraconsistent logics based on three-valued properly nondeterministic matrices are not maximal, except for a few special cases (which are fully characterized). However, these non-deterministic matrices are useful for representing in a clear and concise way the vast variety of the (deterministic) three-valued maximally paraconsistent matrices. The corresponding weaker notion of maximality, called premaximal paraconsistency, captures the "core" of maximal paraconsistency of all possible paraconsistent determinizations of a non-deterministic matrix, thus representing what is really essential for their maximal paraconsistency. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term (...) with respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

This paper argues that, contrary to the claims of Alan Chalmers, Boyle understood his experimental work to be intimately related to his mechanical philosophy. Its central claim is that the mechanical philosophy has a heuristic structure that motivates and gives direction to Boyle's experimental programme. Boyle was able to delimit the scope of possible explanations of any phenomenon by positing both that all qualities are ultimately reducible to a select group of mechanical qualities and that all explanations of natural phenomena (...) are to be in terms of the operations of machines and are to appeal only to qualities that are already familiar. This is illustrated by his investigations into the Torricellian experiment. Boyle's explanation of the elevation of the mercurial cylinder by appeal to the spring of the air was an intermediate mechanical explanation. Boyle was convinced that the spring of the air was ultimately reducible to the mechanical qualities. This in turn had implications for his research into the cause of respiration. In a move that was both parsimonious and consistent with the broad requirements of the mechanical philosophy, Boyle was able to solve the problem of the cause of the inflow of air into the lungs by appeal to his research in pneumatics. This application of a mechanical explanation in pneumatics to physiology is just what one would expect if the mechanical philosophy was as universal as Boyle claimed it to be. Therefore, far from Boyle's experiments having a life of their own, they were clearly directed by and understood in terms of the mechanical philosophy.Keywords: Air-pump; Boyle; Chalmers; Experiment; Explanation; Mechanism. (shrink)

A recent popular analysis of English indefinites isthat they involve a choice function mechanism in their semantic interpretation. However,there are diversified views regarding how intermediate scope readings should be dealt withand which level(s) existential closure should apply to. This paper attempts to make acontribution to this debate by examining existential polarity wh-phrases in Chinese. I showthat unlike the behaviors of polarity indefinites in St''át''imcets reported by Matthewson(1999), intermediate scope readings are possible for polarity wh-phrases in Chinese but aresubject (...) to some locality conditions. I suggest that implicit arguments of choice functionsmight have a parametric value the choice of which affects availability of intermediate readings.The findings in this paper thus revive the possibility, rejected by Matthewson (1999), that thechoice function mechanism may vary from language to language or from indefinite NPs in onelanguage to indefinite NPs in another language or even from one type of indefiniteNP to another type of indefinite NP within the same language. (shrink)

. The paper presents a method for transforming a given sound and complete n-sequent proof system into an equivalent sound and complete system of ordinary sequents. The method is applicable to a large, central class of (generalized) finite-valued logics with the language satisfying a certain minimal expressiveness condition. The expressiveness condition decrees that the truth-value of any formula φ must be identifiable by determining whether certain formulas uniformly constructed from φ have designated values or not. The transformation preserves the (...) general structure of proofs in the original calculus in a way ensuring preservation of the weak cut elimination theorem under the transformation. The described transformation metod is illustrated on several concrete examples of many-valued logics, including a new application to information sources logics. (shrink)

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics (...) we call weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions. (shrink)

1. The last 25 years have seen an increasing interest in the area of formal argumentation. The ultimate goal of the field is to come up with computational models of how we make decisions, based on...

Felicitous underspecification—apparently flawless use of context-sensitive words in contexts where they cannot be assigned unique semantic values—is rather common in ordinary speech. King presents a hypothesis about the mechanism conversational participants employ handling felicitous underspecification, one that fits the rich data he surveys well. I will begin by illustrating how King’s account could be put to use in making sense of what happens in a real life conversation. Then I will point out certain shortcomings of the explanation and (...) offer suggestions about how they might be overcome. (shrink)