A Hilbert-style version of an implicational logic can be represented by a set of axiom schemes and modus ponens or by the corresponding axioms, modus ponens and substitution. Certain logics, for example the intuitionistic implicational logic, can also be represented by axioms and the rule of condensed detachment, which combines modus ponens with a minimal form of substitution. Such logics, for example intuitionistic implicational logic, are said to be D-complete. For certain weaker logics, the version based on condensed detachment and (...) axioms (the condensed version of the logic) is weaker than the original. In this paper we prove that the relevant logic T→, and any logic of which this is a sublogic, is D-complete. (shrink)

The amount of criticism heaped upon persuadent has obscured consideration of the meaning of picta; for it is this word which carries the weight of the line. Tracing the sequence of thought in the passage will show where the emphasis lies. There is throughout a comparison, either expressed , or implied , between the artless manifestations of nature and their cultivated, trained, or man-made counterparts; ‘wild flowers are more beautiful to behold than cultivated ones; similarly ivy and arbutus which grow (...) as they will are more attractive than those in gardens; natural rills more charming than artificial fountains, … birds which sing from the heart delight us more than those which have been taught.’. (shrink)

Claims about ‘the meaning of life’ have tended to be made and discussed in conjunction with bold metaphysical and theological affirmations. For life to have meaning, there must be a comprehensive divine plan to give it meaning, or there must be an intelligible cosmic process with a ‘telos’ that a man needs to know if his life is to be meaningfully orientated. Or, it is thought to be a condition of the meaningfulness of life, that values should be ultimately ‘conserved’ (...) in some way, that no evil should be unredeemable and irrational. And it may be claimed that if death were to end our experience, meaninglessness would triumph. (shrink)

Four non-Cartesian conceptions of a person are considered. I argue tor one of these, a position called animalism. I reject the idea that a (human) person coincides with, but is numerically distinct from, a certain human animal. Coinciding physical beings would both be psychological subjects. I argue that such subjects could not engage in self-reference. Since self-reference (or the capacity tor self-reference) is a necessary condition for being a person, no physical subject coincident with another such subject can be a (...) person. I take all of this to support the view that we (human persons) are identical with human animals. (shrink)

Significant research has been devoted to detecting people in images and videos. In this paper we describe a human de- tection method that augments widely used edge-based fea- tures with texture and color information, providing us with a much richer descriptor set. This augmentation results in an extremely high-dimensional feature space (more than 170,000 dimensions). In such high-dimensional spaces, classical machine learning algorithms such as SVMs are nearly intractable with respect to training. Furthermore, the number of training samples is much (...) smaller than the dimensionality of the feature space, by at least an order of magnitude. Finally, the extraction of features from a densely sampled grid structure leads to a high degree of multicollinearity. To circumvent these data characteristics, we employ Partial Least Squares (PLS) analysis, an effi- cient dimensionality reduction technique, one which pre- serves significant discriminative information, to project the data onto a much lower dimensional subspace (20 dimen- sions, reduced from the original 170,000). Our human de- tection system, employing PLS analysis over the enriched descriptor set, is shown to outperform state-of-the-art tech- niques on three varied datasets including the popular INRIA pedestrian dataset, the low-resolution gray-scale Daim- lerChrysler pedestrian dataset, and the ETHZ pedestrian dataset consisting of full-length videos of crowded scenes. (shrink)