We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.

Les prédications eckhartiennes qui nous sont parvenues, sont au nombre d’environ 100 en latin, et de 120 en moyen haut allemand. La critique situe la plus grande partie de ces prédications allemandes dans la dernière décennie de la vie d’Eckhart. Mais son intérêt pour la prédication est présent dans son œuvre dès le début et accompagne toute sa carrière. En particulier, ce qui caractérise son travail homilétique par rapport aux maîtres en théologie, ses contemporains, semble bien être l’usage de la (...) langue vulgaire et le soin particulier apporté à la mise en forme littéraire et à la publication de ces prédications. D’où la question posée : pourquoi cet intérêt pour l’usage de la langue vulgaire? L’attention dans cette étude se concentre donc sur les prédications allemandes et à ce propos sont traités deux arguments qui paraissent particulièrement significatifs. Le premier se concentre sur la nécessité de leur recontextualisation liturgique. En effet, l’aspect liturgique a été complètement occulté dans l’édition critique et la littérature. Le second se manifeste par la nécessité d’explorer le caractère littéraire des prédications, qui ne sont pas de fait “reportées” par des auditeurs (-trices), mais ont été rédigées et publiées par les soins de l’auteur lui-même. Enfin il faut noter comme caractéristique de l’homilétique eckhartienne, le lien essentiel entre locutio emphatica et discours démonstratif (« natiurlîche rede ») : l’examen de quelques textes tirés de la Défense d’Eckhart (1326) tente d’éclairer ce concept. (shrink)

A distinction is made in formal semantics between "stage-level predicates," predicates that describe the general state of a noun, and "individual-level predicates," predicates that specify the specific properties of a noun. Fernald investigates various contexts in which this distinction is traditionally said to come into play. His aim is to show that the effects displayed are not uniform, and that the differences between the analyses proposed in the literature arise from the authors considering different subsets of (...) data that they take to exemplyify the "core" meaning of the stage/individual distinction. Fernald presents alternatives and extensions that shed light on the limitations of previous theories, as well as making original observations about important aspects of the topic, including coercion, and perceptual reports vs. other phenomena. (shrink)

Observation is described as that which is informationally linked to the observed with the help of its being characterized both internally and externally. The external characterization refers to what perception really is (exemplified by seeing) in the manner semantic externalism treats natural kinds. Observable predicates are treated as reducible to appearance behaviour thus characterized. Referring to this way of semantical reduction distinguishes cultures of knowledge from cultures which acknowledge linguistic utterances as truthmakers. Introductory Remarks Theories of the sciences have (...) mainly dealt with how observation confirms or disconfirms a hypothesis. The question why observation matters at all has hardly been dealt with. Instead of giving empirical evidence one could consider looking for evidence in books. Indeed, we use books in order to gain knowledge but in the sciences this is commonly justified for the reason that scientific books refer to formerly published empirical data utilized in current theories—because of their reference to observation. Imagine a text contains only true statements. Why not consider referring to it in order to decide upon the truth of a hypothesis? It does not matter whether I know for certain that its statements are true. Our concern is what I am justified to infer from the text, presupposing that its statements are true. A striking peculiarity is that in the sciences I am not justified to infer anything from it, even if the text leads me to true conclusions only. Obviously, the evidence I am finally allowed to rely on in the sciences is not a linguistic utterance be it a spoken or a written one. It seems that linguistic utterances do not count as reasonable truthmakers in the sciences as some utterances do in religion. (Quotes from the Bible or the Koran are examples.) It has traditionally been presupposed rather than justified that observation is basic in the sciences. To stress the role of observation seems trivial. How is observation related to scientific statements? (shrink)

IF "ALL A’S ARE B" AND "ALL A’S ARE C" ARE BOTH EQUALLY WELL SUPPORTED BY OBSERVATIONS SO FAR, YET YIELD CONFLICTING PREDICTIONS, WHICH OUGHT WE TO ADOPT? GOODMAN’S CONFLICT BETWEEN "ALL EMERALDS ARE GREEN" AND "ALL EMERALDS ARE GRUE" IS A SPECIAL CASE OF SUCH CONFLICT, WHICH MAY BE DEALT WITH BY A RULE STATING THAT WE OUGHT NOT TO PROJECT POSITIONAL IN PREFERENCE TO QUALITATIVE PREDICATES. THIS PAPER ATTEMPTS TO ELUCIDATE THE RULES GOVERNING A LARGER CLASS OF (...) SUCH CONFLICTS, IN CASES WHERE ONE PREDICATE B IS "EPISTEMOLOGICALLY PRIOR" TO ANOTHER ONE C. (shrink)

I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are (...) atemporal first-order predicates that lack eventive interpretation and are not associated with factive frames. Davidsonian states are homogeneous durable spatiotemporal things distinct both from atemporal properties and spatiotemporal dynamic predicates. Davidsonian states are causally independent, while resultatives are causally determined as they reconstruct a preceding event that has caused the end state p. I discuss the contrast between external and internal Davidsonian states. The former lack a priority argument and can be quantified extensionally. The latter have a priority experiential argument and can only be quantified intensionally. External states can be observed, while internal states cannot. (shrink)

This paper investigates different readings of plural and reciprocal sentences and how they can be derived from syntactic surface structures in a systematic way. The main thesis is that these readings result from different ways of inserting logical operators at the level of Logical Form. The basic operator considered here is a cumulative mapping from predicates that apply to singularities onto the corresponding predicates that apply to pluralities. Given a theory which allows for free insertion of such operators, (...) it can then be shown that the lexical semantics of the reciprocal expressions each other/one another consists of exactly two components, namely an anaphoric variable and a non-identity statement. This receives further support from the observation that it is exactly these two components that can be focused by only; all that remains to be done is to correctly manipulate these components at the level of LF. (shrink)

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent (...) models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’. (shrink)

What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...) As a counterproposal, then, we define a large fragment of predicate logic characterized by its use of only bounded quantification. This so-called guarded fragment enjoys the above nice properties, including decidability, through an effectively bounded finite model property. (These are new results, obtained by generalizing notions and techniques from modal logic.) Moreover, its own internal finite variable hierarchy turns out to work well. Finally, we shall make another move. The above analogy works both ways. Modal operators are like quantifiers, but quantifiers are also like modal operators. This observation inspires a generalized semantics for first-order predicate logic with accessibility constraints on available assignments (cf. N´emeti 1986, 1992) which moves the earlier quantifier restrictions into the semantics. This provides a fresh look at the landscape of possible predicate logics, including candidates sharing various desirable features with basic modal logic – in particular, its decidability. (shrink)

Vagueness is understood as the problem of associating imprecise application criteria with ordinary predicates such as ‘bald’ or ‘blue’. It is often construed as due to one’s tolerance to a minute difference in forming a verdict on the application of a vague predicate. This paper reports an experiment conducted to test the effect of tolerance, using as paradigm categorisation tasks performed with respect to transitional series, e.g., a series of tomatoes from red to orange. The findings suggest a negative (...) effect of tolerance on categorisation with vague predicates. The implication of the findings for certain commonly-held assumptions about tolerance is discussed. (shrink)

Since Aristotle and the Stoa, there has been a clash, worsened by modern predicate logic, between logically defined operator meanings and natural intuitions. Pragmatics has tried to neutralize the clash by an appeal to the Gricean conversational maxims. The present study argues that the pragmatic attempt has been unsuccessful. The “softness” of the Gricean explanation fails to do justice to the robustness of the intuitions concerned, leaving the relation between the principles evoked and the observed facts opaque. Moreover, there are (...) cases where the Gricean maxims fail to apply. A more adequate solution consists in the devising of a sound natural logic, part of the innate cognitive equipment of mankind. This account has proved successful in conjunction with a postulated cognitive mechanism in virtue of which the universe of discourse is stepwise and recursively restricted, so that the negation selects different complements according to the degree of restrictedness of Un. This mechanism explains not only the discrepancies between natural logical intuitions and known logical systems; it also accounts for certain systematic lexicalization gaps in the languages of the world. Finally, it is shown how stepwise restriction of Un produces the ontogenesis of natural predicate logic, while at the same time resolving the intuitive clashes with established logical systems that the Gricean maxims sought to explain. (shrink)

The idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from (...) events (Kamp 1979) is related to a notion of context given by a string of observations, the vagueness in which is brought out by grounding the observations in the real line. With this notion of context, the context dependency functions in Gaifman 2002 are adapted to interpret temporal propositions. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The author's (...) model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

We characterize those identities and independencies which hold for all probability functions on a unary language satisfying the Principle of Atom Exchangeability. We then show that if this is strengthen to the requirement that Johnson's Sufficientness Principle holds, thus giving Carnap's Continuum of inductive methods for languages with at least two predicates, then new and somewhat inexplicable identities and independencies emerge, the latter even in the case of Carnap's Continuum for the language with just a single predicate.

We investigate the Friedman–Goldfarb–Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem. Secondly, we prove some variations of the FGH theorem with respect to Rosser provability predicates.

The author discusses various concepts of observation statements, subjecting to closer examination that concept according to which an observation statement is a statement with all terms interpreted directly. The logical analysis of direct interpretation, identified with the so called ostensive definition, results in the conclusion that the denotation of predicates is determined by this procedure in a very slight degree. Consequently, observation statements affirming a predicate so interpreted of objects not identical with the standard objects referred to in the (...) ostensive definition cannot be validated. (shrink)

The nodes of controversy detected by the commentators on “Once More into the Breach” center on the meanings of words and the strategies for classifying observations rather than on empirical facts. This rejoinder explains why I continue to believe that: (1) consequences are not a useful criterion for classifying emotions, (2) the utility of the concept of basic emotions remains ambiguous, and (3) psychologists should spend more time probing the conditions that contribute to robust phenomena rather than trying to affirm (...) the validity of popular emotional words that fail to specify the agent, the incentive, or the local setting. (shrink)

In answering the question, “How is the concept of a person possible?”, Strawson lays great stress upon a particular class of predicate.He says, “They are predicates, roughly, which involve doing something, which clearly imply intention or a state of mind or at least consciousness in general, and which indicate a characteristic pattern, or range of patterns, of bodily movement, while not indicating at all precisely any very definite sensation or experience …. Such predicates have the interesting characteristic of (...) many P-predicates, that one does not, in general, ascribe them to oneself on the strength of observation, whereas one does ascribe them to others on the strength of observations. But, in the case of these predicates, one feels minimal reluctance to concede that what is ascribed in these two different ways is the same. This is because of the marked dominance of a fairly definite pattern of bodily movement in what they describe, and the marked absence of any distinctive experience. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

We argue that the pictorial nature of certain constructions in signs and in gestures explains surprising properties of their syntax. In several sign languages, the standard word order (e.g. SVO) gets turned into SOV (with preverbal arguments) when the predicate is a classifier, a distinguished construction with highly iconic properties (e.g. Pavlič, 2016). In silent gestures, participants also prefer an SOV order in extensional constructions, irrespective of the word order of the language they speak (Goldin-Meadow et al., 2008). But in (...) silent gestures and in Brazilian Sign Language (Libras), intensional constructions can override these SOV preferences, yielding SVO instead (Schouwstra & de Swart, 2014; Napoli et al., 2017). This distinction was argued to be due to iconicity: arguments are expressed before the verb if they correspond to entities that are present before the action, otherwise they follow the verb. While agreeing with this intuition, we propose that the extensional/intensional distinction is neither empirically nor theoretically appropriate. In new data from American Sign Language, we replicate the distinction among extensional classifier predicates: for _x ate up the ball_, the ball is typically seen before the eating and a preposed object is preferred; but for _x spit out the ball_, the ball is typically seen after the spitting and a postposed object is preferred, although both _eat up_ and _spit out_ are used extensionally. We extend this finding to data involving pro-speech (= speech-replacing) gestures embedded in French sentences. We argue for a Visibility Generalization according to which arguments appear before the verb if their denotations are typically visible before the action, and we develop a new formal account within a pictorial semantics for visual animations (inspired by Greenberg and Abusch). It derives the observed word order preferences, it explains how the semantics of classifier predicates combines iconic and conventional properties, and it makes a more general point: sign language semantics combines logical semantics with pictorial semantics. (shrink)

In the past four or five years I have been especially dependent on Aristotle's writings as I have initiated a series of experiments that can legitimately be called empirical efforts to prove Aristotelian conceptions to be true. In actuality, of course, I am trying to prove my own theory to be true—that is, worthy of consideration because it is consistent with observed human actions. However, by extension, I am surely seeking evidence for Aristotle's image of human cognition. There are two (...) Aristotlelian conceptions that underwrite my theoretical and empirical efforts: predication and opposition. When we speak of a "predication" in cognition we refer to a process that is fundamentally creative. Predications deal in meanings; and the way in which we align meanings, lending the meaning of one concept to another is what predication is all about. Predication is the act of affirming, denying, or qualifying certain patterns of meaning in relation to other patterns of meaning. The second Aristotelian conception that I have been employing theoretically and investigating empirically is "opposition." Although association through frequent contact was recognized by Aristotle , he also appreciated that there is often an intrinsic tie of opposite meanings to be seen in human reason. In my own interpretation of Aristotle, I believe that we can see the ultimate necessity of predication stemming from the opositional ties of meanings like this. If I am cognizing within a congerie of interlacing meanings which relate to and, indeed, delimit the definitions of their opposite meanings, then it is up to me as a cognizer to continually "take a position" on just what I am going to affirm—or not! 2012 APA, all rights reserved). (shrink)

In the past four or five years I have been especially dependent on Aristotle's writings as I have initiated a series of experiments that can legitimately be called empirical efforts to prove Aristotelian conceptions to be true. In actuality, of course, I am trying to prove my own theory to be true—that is, worthy of consideration because it is consistent with observed human actions. However, by extension, I am surely seeking evidence for Aristotle's image of human cognition. There are two (...) Aristotlelian conceptions that underwrite my theoretical and empirical efforts: predication and opposition. When we speak of a "predication" in cognition we refer to a process that is fundamentally creative. Predications deal in meanings; and the way in which we align meanings, lending the meaning of one concept to another is what predication is all about. Predication is the act of affirming, denying, or qualifying certain patterns of meaning in relation to other patterns of meaning. The second Aristotelian conception that I have been employing theoretically and investigating empirically is "opposition." Although association through frequent contact was recognized by Aristotle, he also appreciated that there is often an intrinsic tie of opposite meanings to be seen in human reason. In my own interpretation of Aristotle, I believe that we can see the ultimate necessity of predication stemming from the opositional ties of meanings like this. If I am cognizing within a congerie of interlacing meanings which relate to and, indeed, delimit the definitions of their opposite meanings, then it is up to me as a cognizer to continually "take a position" on just what I am going to affirm—or not! 2012 APA, all rights reserved). (shrink)

In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process of measurement (...) on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)

We seek to understand how third-party observers respond to allegations of sexual transgressions, whether their responses vary and if so why, how they determine perpetrator sanctions, who is more forgiving of them, and what is the psychological mechanism underlying this preference. We draw on one dimension of Hofstede's theory of cultural orientations—power distance belief, and one dimension of Haidt's work on moral reasoning—moral decoupling. Results from three studies on recent real-life cases—those pertaining to Harvey Weinstein, Brett Kavanaugh, and Peter Martins—reveal (...) interesting, consistent, and dramatic findings pertaining to these research questions. Specifically, compared to observers who endorse a low power distance belief, high PDB observers selectively suspend judgments of culpability and express higher evaluations of the alleged perpetrators, are significantly more forgiving of them, convey a lower preference for naming and shaming them, and consider the alleged transgressions as less serious. These outcomes are predicated on the psychological mechanism of moral decoupling. Both high and low PDB respondents decouple the perpetrators’ competence and morality. However, high PDB observers gauge the actions of the perpetrators by emphasizing competence, while low PDB observers gauge their actions by emphasizing morality. (shrink)

Several arguments are considered which purport to demonstrate the impossibility of theory-neutral observation. The most important of these infers the continuity of observation with theory from the presumed continuity of perception with cognition, a doctrine widely espoused in recent cognitive psychology. An alternative psychological account of the relation between cognition and perception is proposed and its epistemological consequences for the observation/theory distinction are then explored.

This chapter contains sections titled: The concept of phenomenal character is closely related to that of a phenomenal quality. If phenomenal characters are just maximally specific phenomenal qualities, it would follow that there are no phenomenal characters either. The first section gives reasons for fearing that observational predicates are susceptible to sorites paradoxes, but denies that predicates such as “painful” are perfectly observational. They are instead phenomenal, in a sense developed in the second section. The third (...) section considers and rejects a final attempt to revive a sorites paradox for painful. The fourth section tentatively places these thoughts against a background of a general account of sorites paradoxes, on which they may reflect either speakers' ignorance or semantic indeterminacy or both, depending on the facts of the particular case. The arguments of this chapter therefore have parallels for the paradox of small numbers. (shrink)

This chapter contains sections titled: This chapter uses the logic of knowledge to formulate conditions in which an observational predicate applies to both or neither of two indiscriminable things, thereby giving rise to a sorites (slippery slope) paradox. The logical apparatus can be used to investigate a claim at the heart of some current controversy about sorites paradoxes. There is supposed to be a class of observational predicates, which are applicable on the sufficient and exhaustive basis of (...) observation. In brief, the claim is that indiscriminability is congruent with observational predicates. The standard example is the predicate is red, although sometimes there is a retreat to ‘looks red’. Since a chain of visually indiscriminable objects can lead from one which clearly is and looks red to one which clearly is and looks not red, sorites paradoxes ensue. (shrink)

Philosophers disagree about whether vagueness requires us to admit truth-value gaps, about whether there is a gap between the objects of which a given vague predicate is true and those of which it is false on an appropriately constructed sorites series for the predicate—a series involving small increments of change in a relevant respect between adjacent elements, but a large increment of change in that respect between the endpoints. There appears, however, to be widespread agreement that there is some sense (...) in which vague predicates are gappy which may be expressed neutrally by saying that on any appropriately constructed sorites series for a given vague predicate there will be a gap between the objects of which the predicate is definitely true and those of which it is definitely false. Taking as primitive the operator ‘it is definitely the case that’, abbreviated as ‘D’, we may stipulate that a predicate F is definitely true (or definitely false) of an object just in case ‘DF (a)’, where a is a name for the object, is true (or false) simpliciter.1 This yields the following conditional formulation of a ‘gap principle’: (DΦ(x) ∧ D¬Φ(y)) → ¬R(x, y). Here ‘Φ’ is to be replaced with a vague predicate, while ‘R’ is to stand for a sorites relation for that predicate: a relation that can be used to construct a sorites series for the predicate—such as the relation of being just one millimetre shorter than for the predicate ‘is tall’. Disagreements about the sense in which it is correct to say that vague predicates are gappy can then be recast as disagreements about how to understand the definitely operator. One might give it, for example, a pragmatic construal such as ‘it would not be misleading to assert that’; or an epistemic construal such as ‘it is known that’ or ‘it is knowable that’; or a semantic construal such as ‘it is true that’. (shrink)

Interesting observations and problems emerge as the author pursues a complete calculus of an adverbial logic. Author Bartsch establishes a total of 18 adverbial subcategories and proposes an equal number of logico-semantic basic constructions in a predicate logical notation to explain them. The logico-semantic basic constructions bring out certain aspects of adverbial semantics, insofar as they can be specified by predicate logical means. However, for a logical and linguistic analysis of adverbials to be complete, sentence semantic analysis - provided it (...) is carried out in a clear-cut manner with clear paraphrasing criteria, unambiguous notation and complete interpretation rules - must be supplemented by and combined with 'word semantics' and syntax in a more elaborate way. The topic of adverbial semantics is a complicated and rewarding field, and this book contains enough suggestions, challenging hypotheses and stimulating observations, so that anybody directly concerned with the study of adverbials will want to have a look. (shrink)

Of the many families of words that are thought to be vague, so-called observational predicates may be both the most fascinating and the most confounding. Roughly, observational predicates are terms that apply to objects on the basis of how those objects appear to us perceptually speaking. ‘Red’, ‘loud’, ‘sweet’, ‘acrid’, and ‘smooth’ are good examples. Delia Graff explains that a “predicate is observational just in case its applicability to an object (given a fixed context of (...) evaluation) depends only on the way that object appears” (2001, 3). By the same token observational predicates are, as Crispin Wright observes, terms “whose senses are taught entirely by ostension” (1976). Like other vague predicates, observational words appear to generate sorites paradoxes. Consider for example a series of 20 colored patches progressing from a clearly red one to a clearly orange one, so ordered that each patch is just noticeably different in hue from the one before. The following argument then seems forced upon us: (1) Patch #1 is red. (2) Any patch that differs only slightly in hue from a red patch is itself red. (3) Therefore patch #20 is red. Premise (2) expresses what Wright has called the tolerance of ‘red’: the application of the predicate tolerates small changes in a decisive parameter (here, hue). Of course, most vague predicates, hence most versions of the sorites, are not observational. For instance, given a series of. (shrink)

It is argued herein that there are two distinct ways in which all observation vocabularies are prejudiced with respect to theory. An argument based on the demands of adequate translation is invoked to show that even the simplest of our observation predicates must display the first and more obvious grade of bias--intensional bias. It is also argued that any observation vocabulary whose predicates are corrigibly applicable must manifest a second and equally serious grade of bias--extensional bias--independently of whatever (...) intensional bias its predicates may or may not have. (shrink)

Cost-based abduction, which is a technique for identifying the best explanation for a given observation based on the assumption of a set of hypothesis, is a useful knowledge processing framework for practical problems such as diagnosis, design and planning. However, the speed of reasoning of this approach is often slow. To overcome this problem, Kato et al. previously presented a more efficient cost-based abduction system, that utilized the A * search technique, however, the time and space complexities in this technique (...) are exponential, so the identification of the optimal solution is difficult in practical applications. In this paper, we present three new systems in which the user can define the computational complexity, for identification of a near-optimal solution. First, we introduce two search control techniques; a real-time A * search approach in which the user can define the look-ahead depth or space, and the multi-agent real-time A * approach in which the user can define the number of real-time A * agents used in the search. We describe the implementation of three cost-based abduction reasoning systems for predicate logic knowledge bases and test the proposed systems using a diagnostic logic circuit problem. The results show that proposed systems can identify a near-optimal solution according to the predefined polynomial order of complexity, including the selection of either linear or exponential computational complexity. It is also shown that inference time and success rate are dependent on the user-defined parameters, that the three proposed systems exhibit similar performance characteristics, and that they all offer significant speed advantages over the previously described technique. (shrink)

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: structural modeling of certain philosophical issues in the framework of (...) non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few. (shrink)

Quantitative laws are more typical of science than are generalizations involving observational predicates, yet much discussion of scientific inference takes the confirmation of a universal generalization by its instances to be typical and paradigmatic. The important difference is that measurement necessarily involves error. It is argued that because of error laws can no more be refuted by observation than they can be verified by observation. Without much background knowledge, tests of a law mainly provide evidence for the distribution (...) of errors of measurement of the quantities involved. With more background knowledge, the data may contribute either to our knowledge of the error distributions, or to the grounds we have for accepting or rejecting the law. With enough background knowledge, data may verify as well as refute laws. (shrink)