We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant. 相似文献
A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead.
In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property. 相似文献
Human observers are able to rapidly and accurately categorize natural scenes, but the representation mediating this feat is still unknown. Here we propose a framework of rapid scene categorization that does not segment a scene into objects and instead uses a vocabulary of global, ecological properties that describe spatial and functional aspects of scene space (such as navigability or mean depth). In Experiment 1, we obtained ground truth rankings on global properties for use in Experiments 2-4. To what extent do human observers use global property information when rapidly categorizing natural scenes? In Experiment 2, we found that global property resemblance was a strong predictor of both false alarm rates and reaction times in a rapid scene categorization experiment. To what extent is global property information alone a sufficient predictor of rapid natural scene categorization? In Experiment 3, we found that the performance of a classifier representing only these properties is indistinguishable from human performance in a rapid scene categorization task in terms of both accuracy and false alarms. To what extent is this high predictability unique to a global property representation? In Experiment 4, we compared two models that represent scene object information to human categorization performance and found that these models had lower fidelity at representing the patterns of performance than the global property model. These results provide support for the hypothesis that rapid categorization of natural scenes may not be mediated primarily though objects and parts, but also through global properties of structure and affordance. 相似文献
We present some equivalent conditions for a quasivariety of structures to be generated by a single structure. The first such condition, called the embedding property was found by A.I. Mal′tsev in [6]. It says that if are nontrivial, then there exists such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in is closed under a certain Gentzen type rule which is due to J. Łoś and R. Suszko [5].
Presented by Jacek Malinowski 相似文献
Marx's account of capitalist exploitation is undermined by inter-related confusions surrounding the notion of labour power. These confusions relate to [i] what labour power is, [ii] what happens to labour power in the labour market, and [iii] what the epistemic status of labour power is (the issue of appearance and reality). The central theses of the paper are [a] that property ownership is the wrong model for understanding the exploitation of labour, and [b] that the concept of exploitation is linked more fruitfully to a conception of distributive injustice than to Marx's theory of surplus value. 相似文献
According to the theory of Universal Grammar, the primary linguistic data guides children through an innately specified space of hypotheses. On this view, similarities between child-English and adult-German are as unsurprising as similarities between cousins who have never met. By contrast, experience-based approaches to language acquisition contend that child language matches the input, with nonadult forms being simply less articulated versions of the forms produced by adults. This paper reports several studies that provide support for the theory of Universal grammar, and resist explanation on experience-based accounts. Two studies investigate English-speaking children’s productions, and a third examines the interpretation of sentences by Japanese speaking children. When considered against the input children are exposed to, the findings of these and other studies are consistent with the continuity hypothesis, which supposes that child language can differ from the language spoken by adults only in ways that adult languages can differ from each other. 相似文献