Infinity in Ontology and Mind

Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual realism. The category of universals is discussed in terms of the three major theories of universals: nominalism, realism, and conceptualism. The finitude of mind pertains only to conceptualism. We consider the question of whether or not this finitude precludes impredicative concept formation. An explication of potential infinity, especially as applied to concepts and expressions, is given. We also briefly discuss a logic of plural objects, or groups of single objects (individuals), which is based on Bertrand Russell’s (1903, The principles of mathematics, 2nd edn. (1938). Norton & Co, NY) notion of a class as many. The universal class as many does not exist in this logic if there are two or more single objects; but the issue is undecided if there is just one individual. We note that adding plural objects (groups) to an ontology with a countable infinity of individuals (single objects) does not generate an uncountable infinity of classes as many.

The role of textual semantic constraints in knowledge-based inference generation during reading comprehension: A computational approach

The present research adopted a computational approach to explore the extent to which the semantic content of texts constrains the activation of knowledge-based inferences. Specifically, we examined whether textual semantic constraints (TSC) can explain (1) the activation of predictive inferences, (2) the activation of bridging inferences and (3) the higher prevalence of the activation of bridging inferences compared to predictive inferences. To examine these hypotheses, we computed the strength of semantic associations between texts and probe items as presented to human readers in previous behavioural studies, using the Latent Semantic Analysis (LSA) algorithm. We tested whether stronger semantic associations are observed for inferred items compared to control items. Our results show that in 15 out of 17 planned comparisons, the computed strength of semantic associations successfully simulated the activation of inferences. These findings suggest that TSC play a central role in the activation of knowledge-based inferences.     

Seeing love, or seeing lust: How people interpret ambiguous romantic situations

Interpreting ambiguous situations is a task individuals face on a daily basis. In romantic contexts the accurate interpretation of these situations is of particular importance. In the present set of studies we investigated how level of construal guides individual perception in these cases. When a high level of construal was induced participants likely interpreted a given interpersonal situation as the start or the continuation of a long lasting relationship. When a low level of construal was induced the same situations were more likely interpreted as leading to a one-night stand (in a dating situation) or involving little chance of a common future for both actors (in a break-up situation). In sum, the present studies demonstrate construal level to be a crucial determinant of the interpretation of ambiguous romantic situations. We discuss these findings in relation to the functional independence of love and sex, level of construal, and social perception.     

Lay personality knowledge and dispositionist thinking: A knowledge-activation framework

We explicate a knowledge-activation framework depicting the link between lay personality knowledge and dispositional judgments, building on work by [Dweck et al., 1995a] and [Dweck et al., 1995b]. According to this framework, most people possess knowledge consistent with an entity theory (personality is fixed) and incremental theory (personality is malleable), which operates according to knowledge-activation principles. Consistent with this claim, we find that people render more confident dispositional judgments when their entity knowledge is made relatively more accessible through priming manipulations that activate aspects of their existing knowledge. Findings also illustrate the usefulness of incorporating both specific and general knowledge in our analysis. The present framework enhances and complements the individual-differences approach to the study of person theories prevalent in the literature.     

Modes of understanding and mindfulness in clinical medicine

Beginning with a case vignette, this paper uses a semiotic approach to analyze several different kinds of understanding used in clinical medicine. By outlining semiotic structures, four distinct modes of understanding can be defined: (1) the representational mode, corresponding to scientific medicine; (2) the pragmatic mode, constituting the basic standpoint of medicine; (3) the hermeneutic mode, underlying the empathic, humanistic spirit of medicine; and (4) the ontologic mode, associated with both the ethical and ritual aspects of medicine. Clarifying the relationship between these modes avoids common confusions in clinical situations. Although experienced clinicians intuitively use these different modes, they do not necessarily reflect upon them. They are instead mindful of them, and this unique multi-modal consciousness, I suggest, provides a model for integrating theory and practice.This work was supported in part by the Robert Wood Johnson Clinical Scholars Program.     

Encoding Modal Logics in Logical Frameworks

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.     

A new formulation of the Principle of Indifference

The idea of a probabilistic logic of inductive inference based on some form of the principle of indifference has always retained a powerful appeal. However, up to now all modifications of the principle failed. In this paper, a new formulation of such a principle is provided that avoids generating paradoxes and inconsistencies. Because of these results, the thesis that probabilities cannot be logical quantities, determined in an objective way through some form of the principle of indifference, is no longer supportable. Later, the paper investigates some implications of the new principle of indifference. To conclude, a re-examination of the foundations of the so-called objective Bayesian inference is called for.     

Categorical invariance and structural complexity in human concept learning

An alternative account of human concept learning based on an invariance measure of the categorical stimulus is proposed. The categorical invariance model (CIM) characterizes the degree of structural complexity of a Boolean category as a function of its inherent degree of invariance and its cardinality or size. To do this we introduce a mathematical framework based on the notion of a Boolean differential operator on Boolean categories that generates the degrees of invariance (i.e., logical manifold) of the category in respect to its dimensions. Using this framework, we propose that the structural complexity of a Boolean category is indirectly proportional to its degree of categorical invariance and directly proportional to its cardinality or size. Consequently, complexity and invariance notions are formally unified to account for concept learning difficulty. Beyond developing the above unifying mathematical framework, the CIM is significant in that: (1) it precisely predicts the key learning difficulty ordering of the SHJ [Shepard, R. N., Hovland, C. L., & Jenkins, H. M. (1961). Learning and memorization of classifications. Psychological Monographs: General and Applied, 75(13), 1-42] Boolean category types consisting of three binary dimensions and four positive examples; (2) it is, in general, a good quantitative predictor of the degree of learning difficulty of a large class of categories (in particular, the 41 category types studied by Feldman [Feldman, J. (2000). Minimization of Boolean complexity in human concept learning. Nature, 407, 630-633]); (3) it is, in general, a good quantitative predictor of parity effects for this large class of categories; (4) it does all of the above without free parameters; and (5) it is cognitively plausible (e.g., cognitively tractable).     

The road to the unconscious self not taken: Discrepancies between self‐ and observer‐inferences about implicit dispositions from nonverbal behavioural cues

To what extent can individuals gain insight into their own or another person's implicit dispositions' We investigated whether self‐perceivers versus neutral observers can detect implicit dispositions from nonverbal behavioural cues contained in video feedback (cue validity) and whether these cues are in turn used as a valid basis for explicit dispositional inferences (cue utilization). Across three studies in the domains of extraversion and anxiety we consistently obtained reliable cue validity and cue utilization for neutral observers but not for self‐perceivers. An additional measure of state inferences in Study 3 showed that one reason for the lack of mediation in self‐perceivers is their reluctance to use their state inferences as a basis for more general trait inferences. We conclude that people have a ‘blind spot’ with respect to the nonverbal behavioural manifestations of their unconscious selves, even though neutral observers may readily detect and utilize this information for dispositional inferences. Copyright © 2009 John Wiley & Sons, Ltd.