The article discusses an idea of how to extend the notion of rigidity to predicates, namely the idea that predicates stand in a certain systematic semantic relation to properties, such that this relation may hold rigidly or nonrigidly. The relation (which I call signification) can be characterised by recourse to canonical property designators which are derived from predicates (or general terms) by means of nominalization: a predicate signifies that property which the derived property designator designates. Whether signification divides into rigid (...) and non-rigid cases will then depend uponwhether canonical property designators divide into rigid and non-rigid ones. But, I shall argue, they do not, and so the only notion of rigidity gained this way is trivial. To show this, I first focus on the kind of canonical property designators which could be thought to be nonrigid, canonical designators such as having the colour of ripe tomatoes which themselves contain non-rigid property designators. An argument to the effect that such complex canonical designators are non-rigid is rebutted, five arguments to the effect that they are rigid are formulated, and finally an explanation of their rigidity based on the general nature of canonical property designators is presented. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

In this work we extend results from [4], [3] and [2] about propositional calculi with graded modalities to the predicative level. Our semantic is based on Kripke models with a single domain of interpretation for all the worlds. Therefore the axiomatic system will need a suitable generalization of the Barcan formula. We haven't considered semantics with world-relative domains because they don't present any new difficulties with respect to classical case. Our language will have, as in [1], constant and function symbols, (...) but they will have a rigid interpretation. In this instance the terms will be considered rigid designators, that is, their interpretations will be the same in all possible worlds (cfr. [5]). Nevertheless we will not consider languages with identity: in this way we avoid the problems of identity in modal contexts. On the other hand, we think that in that context would arise essentially the same problems which occur in classical predicative modal logic. Finally we will consider only denumerable languages because the extension to non denumerable ones isn't conceptually problematic. (shrink)

. Three logical squares of predication or quantification, which one can even extend to logical hexagons, will be presented and analyzed. All three squares are based on ideas of the non-traditional theory of predication developed by Sinowjew and Wessel. The authors also designed a non-traditional theory of quantification. It will be shown that this theory is superfluous, since it is based on an obscure difference between two kinds of quantification and one pays a high price for differentiating in (...) this way: losing the definability between the existence- and all-quantifier. Therefore, a combination of non-traditional predication and classical quantification is preferred here. (shrink)

Like many, though of course not all, philosophers, I believe in propositions. I take propositions to be structured, sentence-like entities whose structures are identical to the syntactic structures of the sentences that express them; and I have defended a particular version of such a view of propositions elsewhere. In the present work, I shall assume that the structures of propositions are at least very similar to the structures of the sentences that express them. Further, I shall assume that ordinary names (...) are devices of direct reference and contribute only their bearers to propositions, that n-place predicates contribute n-place properties or relations to propositions, and that verbs of propositional attitude contribute to propositions two-place relations between individuals and propositions. The broad outline of a framework that includes these assumptions is one that I think many, though again not all, philosophers of language find congenial. I am concerned here to investigate and explain, from the standpoint of this framework, a puzzling phenomenon. The explanation I give of the phenomenon could be adapted to fit with frameworks somewhat different from the one adopted here. I adopt the present framework in part simply for definiteness. (shrink)

The article provides a linguophilosophical analysis of theoretical approaches to the symbolism of Vyacheslav Ivanov and Andrei Bely using the predicative concept of Lyudmila Gogotishvili. It is shown that the consideration of the category of symbol in the dimensions of the unmanifest and the manifest makes it possible to expand the problematics of symbolism into phenomenological and linguophilosophical perspectives. In this case, symbolization turns out to be associated with reference, determined by the specifics of the “participation” in it of the (...) linguistic subject and predicate and the status of the referent as a phenomenon of consciousness. The antinomy of the unmanifest and the manifest presupposes in symbolic reference the allocation of a special extra-linguistic category of the most real, which is fundamentally outside the field of natural language and is energetically associated with it through verbal myth. It is shown that the ratio of myth, name and the most real in the reference allows using Gogotishvili’s predicative concept to evaluate the linguophilosophical features of this or that approach to the symbol. It is concluded that the symbolism of Vyacheslav Ivanov presupposes the prevailing role of the predicate in the reference to the unmanifest most real and can be designated as mythological, while the symbolism of Andrei Bely presupposes the prevailing role of the subject in the reference to the real, manifested in language, and can be designated as metaphorical. (shrink)

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a (...) rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

In Naming and Necessity Kripke introduces the concept of a rigid designator and argues that proper names are rigid designators. He argues that in this way they are different from typical definite descriptions (though he allows that some definite descriptions, e.g., ‘the actual winner of the lottery’, ‘the square of 3’, are rigid designators). His opponents have either argued that names can be regarded as abbreviations of rigid descriptions (e.g., ‘actualized’ ones) or have tried to deny that names are rigid (...) designators. I shall argue that no unambiguous descriptions are non-rigid. All unambiguous descriptions are rigid. The appearance of non-rigidity in descriptions is simply an illusion, a manifestation of ambiguity. I shall then go on to show that an explanation of the difficulty which has been found in extending the rigid/non-rigid distinction from singular terms to predicates follows. (shrink)

Are all canonical property designators (i.e. nominalizations of predicative phrases) rigid? Dan López de Sa recently criticized the arguments I gave for an affirmative answer to that question. The current article rebuts López de Sa's objections.

Th e simple proposal about rigidity for predicates can be stated thus: a predicate is rigid if its canonical nominalization signifi es the same property across the different possible worlds. I have tried elsewhere to defend such a proposal from the trivialization problem, according to which any predicate whatsoever would turn out to be rigid. Benjamin Schnieder (2005) aims fi rst to rebut my argument that some canonical nominalizations can be fl exible, then to provide fi ve arguments to the (...) eff ect that they are all rigid, and fi nally to propose a general explanation of why they are all rigid. I show fi rst why my argument has not been rebutted, then why Schnieder’s fi ve arguments for their rigidity all fail, and fi nally why the alleged “explanation” cannot be such, as the facts alluded to are neutral with respect to the rigidity or fl exibility of the nominalizations. (shrink)

We present $\in_I$-Logic (Epsilon-I-Logic), a non-Fregean intuitionistic logic with a truth predicate and a falsity predicate as intuitionistic negation. $\in_I$ is an extension and intuitionistic generalization of the classical logic $\in_T$ (without quantifiers) designed by Sträter as a theory of truth with propositional self-reference. The intensional semantics of $\in_T$ offers a new solution to semantic paradoxes. In the present paper we introduce an intuitionistic semantics and study some semantic notions in this broader context. Also we enrich the quantifier-free language by (...) the new connective < that expresses reference between statements and yields a finer characterization of intensional models. Our results in the intuitionistic setting lead to a clear distinction between the notion of denotation of a sentence and the here-proposed notion of extension of a sentence (both concepts are equivalent in the classical context). We generalize the Fregean Axiom to an intuitionistic version not valid in $\in_I$. A main result of the paper is the development of several model constructions. We construct intensional models and present a method for the construction of standard models which contain specific (self-)referential propositions. (shrink)

Background: In order to improve ontology quality, tool- and language-related tutorials are not sufficient. Care must be taken to provide optimized curricula for teaching the representational language in the context of a semantically rich upper level ontology. The constraints provided by rigid top and upper level models assure that the ontologies built are not only logically consistent but also adequately represent the domain of discourse and align to explicitly outlined ontological principles. Finally such a curriculum must take into account the (...) pre-existing skills and knowledge of the target audience. -/- Objective: To develop a well-structured curriculum aligned to the particular requirements of life science professionals, in order to enable them to create logically sound, domain adequate and predicable ontologies using the Web Ontology Language (OWL) in Protégè. -/- Methods: Content selection for the curriculum was based on the literature, pre-existing tutorials, and a guideline for good ontology development (i.e ontology design enhancing domain adequacy, sustainability and interoperability) that drew on the authors previous experiences with large ontology development projects. Learning objectives were formulated according to a needs assessment of the targeted learners, who were students trained in life sciences with basic knowledge and practical skills in computer science. As instructional format we choose an approach with a high amount of practical exercises. The curriculum was first implemented with 24 Students and 7 lecturers/ tutors over 5 full days. The curriculum was evaluated by gathering the participants feedback via a questionnaire. -/- Results: Curricular development produced 16 modules of approximately 2 hours each, which covered basic principles of Applied Ontology, description logic syntax and semantics, as well as best design practices outlined in ontology design patterns and variants of the BioTop upper ontology. An opinion survey based on questionnaires indicated that the participants took advantage from the teaching strategies applied, as they indicated good knowledge gain and acknowledged the relevance of the modules. The difficulty was rated slightly lower. -/- Conclusion: The development of teaching material for principled ontology design and best practices is of crucial importance in order to enhance the quality of biomedical ontologies. Here, we present a curriculum for a week long workshop, leveraging on current educational principles, focusing on interactive hands-on exercises, group interactions, and problem-oriented learning. Whereas evaluation clearly showed the success of this approach, in particular regarding student’s satisfaction, the objective measurement of traceable effects on the quality of the generated ontology, although of much higher interest, has just started. (shrink)

This essay is devoted to an analysis of the semantic significance of a fashionable view of proper names, the Predicate Theory of names, typically developed in the direction of the Metalinguistic Theory of names. According to MT, ‘syntactic evidence supports the conclusion that a name such as ‘Kennedy’ is analyzable in terms of the predicate ‘individual named ‘Kennedy’’. This analysis is in turn alleged to support a descriptivist treatment of proper names in designative position, presumably in contrast with theories of (...) names as ‘directly referring rigid designators’. The main aim of this essay is that of questioning the significance of PT and MT as theories of designation: even granting for the argument’s sake that names are analyzable as predicates, their designative occurrences may be interpreted in consonance with the dictates of Direct Reference—indeed, in consonance with the radically anti-descriptivist version of Direct Reference I call Millianism. (shrink)

The traditional Square of Opposition consists of four sentence types. Two are universal and two particular; two are affirmative and two negative. Examples, where ‘S’ and ‘P’ designate the subject and the predicate, are: ‘every S is P’, ‘no S is P’, ‘some S is P’ and ‘some S is not P’. Taking the usual sentences of the square of opposition, quantifying over their predicates exhibits non-standard sentence forms. These sentences may be combined into non-standard Squares of Opposition , and (...) they reveal a new relationship not found in the usual Square. Medieval logicians termed ‘disparatae’ pairs of sentences like ‘every S is some P’ and ‘some S is every P’, which are neither subaltern nor contrary, neither contradictory nor subcontrary. Walter Redmond has designed a special language L to express the logical form of these sentences in a precise way. I will use this language to show how Squares of Opposition, standard and non-standard, form a complex network of relations which bring to .. (shrink)

This book attempts to marry truth-conditional semantics with cognitive linguistics in the church of computational neuroscience. To this end, it examines the truth-conditional meanings of coordinators, quantifiers, and collective predicates as neurophysiological phenomena that are amenable to a neurocomputational analysis. Drawing inspiration from work on visual processing, and especially the simple/complex cell distinction in early vision (V1), we claim that a similar two-layer architecture is sufficient to learn the truth-conditional meanings of the logical coordinators and logical quantifiers. As a prerequisite, (...) much discussion is given over to what a neurologically plausible representation of the meanings of these items would look like. We eventually settle on a representation in terms of correlation, so that, for instance, the semantic input to the universal operators (e.g. and, all)is represented as maximally correlated, while the semantic input to the universal negative operators (e.g. nor, no)is represented as maximally anticorrelated. On the basis this representation, the hypothesis can be offered that the function of the logical operators is to extract an invariant feature from natural situations, that of degree of correlation between parts of the situation. This result sets up an elegant formal analogy to recent models of visual processing, which argue that the function of early vision is to reduce the redundancy inherent in natural images. Computational simulations are designed in which the logical operators are learned by associating their phonological form with some degree of correlation in the inputs, so that the overall function of the system is as a simple kind of pattern recognition. Several learning rules are assayed, especially those of the Hebbian sort, which are the ones with the most neurological support. Learning vector quantization (LVQ) is shown to be a perspicuous and efficient means of learning the patterns that are of interest. We draw a formal parallelism between the initial, competitive layer of LVQ and the simple cell layer in V1, and between the final, linear layer of LVQ and the complex cell layer in V1, in that the initial layers are both selective, while the final layers both generalize. It is also shown how the representations argued for can be used to draw the traditionally-recognized inferences arising from coordination and quantification, and why the inference of subalternacy breaks down for collective predicates. Finally, the analogies between early vision and the logical operators allow us to advance the claim of cognitive linguistics that language is not processed by proprietary algorithms, but rather by algorithms that are general to the entire brain. Thus in the debate between objectivist and experiential metaphysics, this book falls squarely into the camp of the latter. Yet it does so by means of a rigorous formal, mathematical, and neurological exposition – in contradiction of the experiential claim that formal analysis has no place in the understanding of cognition. To make our own counter-claim as explicit as possible, we present a sketch of the LVQ structure in terms of mereotopology, in which the initial layer of the network performs topological operations, while the final layer performs mereological operations. The book is meant to be self-contained, in the sense that it does not assume any prior knowledge of any of the many areas that are touched upon. It therefore contains mini-summaries of biological visual processing, especially the retinocortical and ventral /what?/ parvocellular pathways computational models of neural signaling, and in particular the reduction of the Hodgkin-Huxley equations to the connectionist and integrate-and-fire neurons Hebbian learning rules and the elaboration of learning vector quantization the linguistic pathway in the left hemisphere memory and the hippocampus truth-conditional vs. image-schematic semantics objectivist vs. experiential metaphysics and mereotopology. All of the simulations are implemented in MATLAB, and the code is available from the book’s website. • The discovery of several algorithmic similarities between visison and semantics. • The support of all of this by means of simulations, and the packaging of all of this in a coherent theoretical framework. (shrink)

This chapter contains sections titled: Negation and Nonexistence Designation and Existence Logical Truth, Modality, and Ontology.

Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting. This freedom in applying inference rules allows to express logical systems that are difficult or impossible to express in the cut-free sequent calculus and it also allows for a more fine-grained analysis of derivations than the sequent calculus. However, the same freedom also makes it harder to carry out this analysis, in particular it (...) is harder to design cut elimination procedures. In this paper we see a cut elimination procedure for a deep inference system for classical predicate logic. As a consequence we derive Herbrand's Theorem, which we express as a factorisation of derivations. (shrink)

This paper presents a human-computer interaction model with a three layers learning mechanism in a pervasive environment. We begin with a discussion around a number of important issues related to human-computer interaction followed by a description of the architecture for a multi-agent cooperative design system for pervasive computing environment. We present our proposed three- layer HCI model and introduce the group formation algorithm, which is predicated on a dynamic sharing niche technology. Finally, we explore the cooperative reinforcement learning and fusion (...) algorithms; the paper closes with concluding observations and a summary of the principal work and contributions of this paper. (shrink)

Though these expressions are often called “names of months”, there is good reason to hold that they are not names at all. Syntactically, these words behave as count nouns. They combine with determiners such as ‘every’, ‘many’, ‘exactly three’ etc. to form restricted quantifiers:3 (1) Every January I go skiing. (2) I spent many Januarys at Squaw Valley. (3) I wasted exactly three Januarys in Bakersfield. Like other count nouns, they can take relative clauses in constructions such as (1)-(3): (1a) (...) Every January that you visited we went skiing. (2a) I spent many Januarys that I will never forget at Squaw Valley. (3a) I wasted three Januarys that seemed interminable in Bakersfield. They also combine with the copula, indefinite article and adjectival modifiers to form predicates in the way that other count nouns do: (4) The first full month I lived in Northern California was a pleasant July. Further, it is generally held that only constituents of the same syntactic category can be conjoined. And as the following example shows, ‘January’ can be conjoined with other count nouns:4 (5) All Januarys and funerals last too long. Thus distributional evidence strongly suggests that ‘January’, ‘February’, etc. are count nouns. Since in general we take count nouns to express properties, we ought to take ‘January’, ‘February’ etc. to express properties as well.5 We shall return to the question of what properties such words express below. For now, we shall stick with syntax. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate (...) is a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

ABSTRACT:Moral realism entails that there are metaphysically necessary moral principles of the form ‘all actions of nonmoral kind Z are morally good’; being discoverable a priori, these must be logically necessary. This article seeks to justify this apparently puzzling consequence. A sentence expresses a logically necessary proposition iff its negation entails a contradiction. The method of reflective equilibrium assumes that the simplest account of the apparently correct use of sentences of some type in paradigm examples is probably logically necessary. An (...) account is simple insofar as it uses few predicates designating properties easily recognizable in many different kinds of paradigm examples. I illustrate how reflective equilibrium uses these criteria to discover logically necessary nonmoral propositions such as ‘if S remembers doing X, S believes that he did X’ and ‘if it is scarlet, it is red’. I then illustrate how exactly the same procedures can lead us from paradigm examples of apparently true sentences asserting that actions of some kind are good to discovering moral principles. I advance the contingent hypothesis that most contemporary humans, although they initially disagree about moral issues, have derived from different paradigm examples the same concept of moral goodness, which will ensure that the use of reflective equilibrium will lead to eventual agreement about moral issues. That strongly suggests that the moral principles eventually reached by reflective equilibrium are logically necessary ones. (shrink)

This paper argues against the realization principle, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.Footnote11This paper resulted from work done at John Heil's 2006 Mind and Metaphysics NEH Summer Seminar at Washington University in St. Louis. An early version of it was presented in a special symposium on realization at the 2007 meeting of the Southern Society for Philosophy and Psychology. I owe thanks to all the participants in both events for helpful discussions, and I owe particular thanks to Ken Aizawa, Torin Alter, Jason Ford, Carl Gillett, John Heil, Nicholas Helms, Pete Mandik, John Post, Gene Witmer, Michelle Wrenn, Tad Zawidzki, and two anonymous referees for the AJP. (shrink)

This chapter offers a new solution to the paradox of negative emotion in art. Crucial to the defense of this new solution is the normative sense of predicates such as 'is moving', 'is touching', 'is powerful', and 'is gripping'. Roughly, the solution itself is that, in their normative sense, these predicates designate aesthetic properties that we enjoy and value experiencing, even tough, in the cases which generate the paradox, the enjoyment comes at a price.

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for an account (...) of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

A hypothetical reasoning, which can find an explanation for a given set of observation by assuming some hypothetical sets, is a useful knowledge processing framework because of its theoretical basis and usefulness for practical problems such as diagnostics, scheduling, and design. It is, however, known to be computationally very expensive for large problems because it must deal with incomplete knowledge. Predicate-logic allows powerful and compact knowledge representation compared to propositional-logic. Efficient methods to proceed reasoning have been developed for propositional-logic. However (...) it would be desirable to develop similar methods for predicate-logic, but this has so far proved difficult. “KICK-HOPE” is one of hypothetical reasoning systems for predicate-logic. KICK-HOPE, which is based on a deductive database technique called the QSQR method and a basic fast hypothetical reasoning system called ATMS, made advances in the speed of reasoning. However, for a practical knowledge base, ‘the inconsistent process’ and ‘the subsumption process’ still consume much calculation time. In this paper, we investigate an e.cient method of the inconsistent and subsumption processes of KICK-HOPE. First, we show most of these processes are vain and omissible. Second, to omit vain processes, we introduce bit-vector to represent what hypotheses include in hypothetical sets. And, we improve that vain processes will be reduced to check the check-vector. Finally, we examine the proposed system with two examples, a diagnostic problem of a logic circuit and a scheduling problem. It is shown to be more efficient than the original KICK-HOPE for all problems. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

The paper starts from a distinction between two terms in Aristotle: kategoroumenon and kategoria. It is argued that the job of the first is to pick out 'predicated predicates' (i.e. predicates attached to a specific subject), the job of the second is to designate 'predicable predicates' (terms which can be attached to specific subjects). It is then argued (1) that Aristotle's division of the (erroneously) so-called 'predicables' (i. e. genus, proprium, definiens, accident) is a classification of predicated predicates, (2) that (...) the list of the "genera of kategoriai" in Top. I 9 which starts with ti estin (essence) as its first member contains a classification of predicable predicates, and (3) that the list in Cat. 4 (starting with ousia, 'substance') is a classification not of kategoriai, but of things there are. (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)

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons different (...) from those he thought. (shrink)

The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

In this paper, we apply Inductive Logic Programming to acquire graphic design knowledge. Acquiring design knowledge is a challenging task because such knowledge is complex and vast. We thus focus on principles of layout and constraints that layouts must satisfy to realize automatic layout generation. Although we do not have negative examples in this case, we can generate them randomly by considering that a page with just one element moved is always wrong. Our nonmonotonic learning method introduces a new predicate (...) for exceptions. In our method, the ILP algorithm is executed twice, exchanging positive and negative examples. From our experiments using magazine advertisements, we obtained rules characterizing good layouts and containing relationships between elements. Moreover, the experiments show that our method can learn more accurate rules than normal ILP can. (shrink)

Expressions typically thought to be rigid designators can refer to distinct individuals in the consequents of counterfactuals. This occurs in counteridenticals, such as “If I were you, I would arrest me”, as well as more ordinary counterfactuals with clearly possible antecedents, like “If I were a police officer, I would arrest me”. I argue that in response we should drop rigidity and deal with de re modal predication using something more flexible, such as counterpart theory.

The design of collaborative robotics, such as driver-assisted operations, engineer a potential automation of decision-making predicated on unobtrusive data gathering of human users. This form of ‘somatic surveillance’ increasingly relies on behavioural biometrics and sensory algorithms to verify the physiology of bodies in cabin interiors. Such processes secure cyber-physical space, but also register user capabilities for control that yield data as insured risk. In this technical re-formation of human–machine interactions for control and communication ‘a dissonance of attribution’ :7684, 2019. https://doi.org/10.1073/pnas.1805770115) (...) is created between perceptions of phenomena, materials and decision-making. This reconfigures relations not only between humans and machines, objects and subjects, but possibly disrupts attributive functions in the social system of Law. What it requires is shifting a legal accountability for action from a sovereignty of the human to a new materialist account based on a ‘cognitive assemblage’ between physiological data, computation and algorithmic sensing. This paper investigates the function of law as a guidance system to acknowledge this account of sensory and algorithmic computation as autonomous ‘sensing agents’ that may be accountable in situations of risk. This assemblage of robotic computation and sensory determination requires a clearer legal differentiation across the current static terminologies of person, property, liability and rights that maintain strict separations of object from subject. To neglect this, we argue, law will solely impute attributions of error to humans despite evidence of operation via mutual control. (shrink)

In this paper I focus on the relationships between language, definition and being in Antisthenes. I start from Plato’s Sophist 251b–c, in which the reference to the ὀψιμαθεῖς stands out, and I conclude that it is not possible to identify these characters with Antisthenes. The conception of ὀψιμαθεῖς provides for the exclusive legitimacy of identical judgments, exploiting in an eristic sense an evident Eleatic legacy. But this position, rather than concordances, reveals serious opposition to what is surely known to us (...) of the logical and linguistic doctrines of Antisthenes. The most explicit testimony about the relationship between language and being in Antisthenes is handed down by Porphyry, who attributes to Antisthenes the equation λέγειν = λέγειν τι = λέγειν τὸ ὄν. My analysis intends to show that this equation is assumed by Antisthenes through a Socratic mediation and has a double objective: to ensure an objective reference of language, as opposed to Gorgias’ self-referential conception of language, and to nullify the antilogy, which is typical of sophistic argumentation. To it Antisthenes contrasts the ἐπίσκεψις τῶν ὀνομάτων, which is a development of Socratic ἐξετάζειν, and whose aim is to reach, at the end of the examination, no longer just a ὁμολογία, but a definition valid once and for all. Antisthenes is aware that there is a distinction between essence and quality, and with this, he moves a first important step beyond the univocal conception of being proper to Parmenides. The doxography will sum up Antisthenes’ position by describing him as the first philosopher to advance a definition of logos, i. e., definition. He bases his theory of definition on the identification of that attribute which is ἴδιον καὶ οἰκεῖον of the proposed object. Antisthenes coined the phrase τὸ τί ἦν to designate what the predicate is meant to say in a definition, i. e., the proper quality. This expression does not seem to identify the general notion of a predicate as such, but rather to indicate the determination or qualification necessary to actually define the object in question. In the final part of my article, I examine some testimonies that show how, with his theory of definition, Antisthenes is, and was considered already in antiquity, the precursor of the Stoic theory of definition, whose objective is, according to Chrysippus’ formula, to provide the explanation of what is proper (ἰδίου ἀπόδοσις). (shrink)

This essay considers Moscow’s simultaneously peripheral and central position on the global fashion map. It is predicated on a study of imaginary Russian geographies presented in Vogue and other fashion media, advertisements and promotional activities by important fashion brands, as well as the promotional texts and visuals of several new Russian fashion designers. While these different players all contribute to shaping the imagery of Russian fashion today, their agendas and aesthetics differ. This essay identifies three main approaches within the field (...) of the symbolic production of Russian fashion. Western fashion designers and fashion media mainly rely on Russian imperial sartorial heritage in their orientalizing approach to Russian fashion. Secondly, Russian Vogue perpetuates Moscow’s peripheral international fashion position either by passively transmitting derivative Western representations of Russianness, or by reconstructing its own high-fashion versions of traditional Russian decorative style. Finally, several young Russian fashion designers deconstruct both traditional Russian and socialist iconography, in a fundamentally new development for the country’s fashion scene. (shrink)

Background Healthcare is predicated on the use of biotechnology and medical technology, both of which are indispensable in diagnosis, treatment, and most aspects of patient care. It is therefore imperative that justifications for use of new technologies are appropriate, with the technologies working as advertised. In this paper, I consider philosophical accounts of how such justifications are made. Methods Critical philosophical reflection and analysis. Results I propose that justification in many prominent accounts is based on the designer’s professional experience and (...) on expert testimony. I argue, however, that professional designers are not in a position to justify a new biotechnology or medical device if the justification is based on testimony or past experience of presumably similar technologies. I argue (1) that similarity judgments offered by instantaneous experts cannot be viewed as contributing (epistemically) to evidential justification of new and unproven technologies; and (2) that designers and manufacturers cannot endorse a technology’s effective function in a patient-care context until it has been successfully used in that context. Conclusion I show that an expert’s past professional experiences can never predict or justify the impact of a novel technology on human health. This is because any new technology leads to the introduction of new mechanisms with unprecedented functions. The new technology therefore needs to be studied in situ and justified as a newly created mechanism within the relevant healthcare setting. Ultimately, justifications of this type rely on the scientific community and society engaging in repeated experimentation and observation of the technology, and confirming its successful use. (shrink)

Although the term “pre-predicative” (vorprädikativ) is used only two times in Being and Time, it qualifies in an essential way the hermeneutical process in which the existentials of understanding, interpretation and discourse cooperate to structure the phenomenal field into a meaningful horizon. This hermeneutical function represents for Heidegger the precondition for every theoretical-predicative behaviour of Dasein towards being. By means of a conceptual-historical analysis throughout the Twenties, it is possible to point out that Heidegger considers the domain of the pre-predicative (...) identical to the hermeneutical process. Nevertheless, on the basis of some indications that are to be found in Heidegger’s writings, we can trace the contours of a different history of the concept of “pre-predicative”, in which the latter hints at a deeper dimension of the human being – a dimension that can be designated as “pathic” or “prehermeneutical”. To this purpose, it is essential to investigate the concept of “pre-worldly” (vorweltlich), introduced by Heidegger in his first lecture course, his analysis of anxiety in 1929 and, finally, the image of the “great silence” (große Stille) in the later Contributions to Philosophy. (shrink)