In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.

Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

Takahashi translation * is a translation which means reducing all of the redexes in a λ-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church–Rosser confluence theorem by using the notion of parallel reduction and Takahashi translation. Our aim of this paper is to give a simpler proof of Church–Rosser theorem using only the notion of Takahashi translation.

Research interest in cuteness perception and its effects on subsequent behavior and physiological responses has recently been increasing. The purpose of the present study was to produce a dataset of Japanese infant faces that are free of portrait rights and can be used for cuteness research. A total of 80 original facial images of 6-month-old infants were collected from their parents. The cuteness level of each picture was rated on a 7-point scale by 200 Japanese people. Prototypical high- and low-cuteness (...) faces were created by averaging the top 10 and bottom 10 faces according to the mean cuteness ratings. Then, 50 composite faces were made by mixing two faces randomly chosen from the 60 unused middle-cuteness faces. The normative cuteness ratings of these composite faces were obtained from 229 Japanese men and women in their 20s–60s. The shape of each composite face was transformed to be cuter or less cute along a continuum between the high- and low-cuteness prototypical faces. A two-alternative forced-choice task confirmed that cuteness discrimination was better than the chance level for all 50 face pairs. Moreover, the results showed that young men had poorer sensitivity to cuteness differences in infant faces than older men and women of any age. This Japanese Cute Infant Face dataset, including composite face images and normative rating scores, is publicly available online. (shrink)

This paper starts with one of Chalmers’ basic points: first-hand experience is an irreducible field of phenomena. I claim there is no ‘theoretical fix’ or ‘extra ingredient’ in nature that can possibly bridge this gap. Instead, the field of conscious phenomena requires a rigorous method and an explicit pragmatics for its exploration and analysis. My proposed approach, inspired by the style of inquiry of phenomenology, I have called neurophenomenology. It seeks articulations by mutual constraints between phenomena present in experience and (...) the correlative field of phenomena established by the cognitive sciences. It needs to expand into a widening research community in which the method is cultivated further. (shrink)

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of (...) Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6]. (shrink)

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.

This paper provides a history of more than a century of efforts to establish and maintain a homegrown Canadian sugar supply – a twentieth-century version of what Eric Williams called the ‘war of the two sugars’, or the global competition between sugar beet and cane. To resolve beet sugar’s so-called ‘labour problem’, the industry has collaborated with the Canadian state to produce new classes of temporary workers, mobilising incarcerated Japanese Canadians, migrant Indigenous families, and Mexican and Caribbean workers employed through (...) the Seasonal Agricultural Worker Program. At the same time, the sugar industry has sought to refine itself of the racialised workers upon whom it relies by promoting the figure of the white Canadian worker. The Canadian ‘war of the two sugars’ has been fought through the stratification of the labour force along the lines of citizenship, resulting in the production of unique racial forms. (shrink)

Konrad Lorenz, an ethologist, proposed that certain physical elements are perceived as cute and induce caretaking behavior in other individuals, with the evolutionary function of enhancing offspring survival. He called these features Kindchenschema, baby schema. According to his introspection, these include a large forehead, chubby round features, and chubby cheeks. Previous studies are limited to examining the effects of these facial features on perceived cuteness. However, other morphological factors may be related to perceived cuteness. This study uses Bayesian optimization, one (...) of the global sequential optimization methods for estimating unknown functions, to search for facial morphological features that enhance the perceptions of facial cuteness. We applied Bayesian optimization incorporating Gaussian process ordinal regression, which allows an estimation of the latent cuteness function based on evaluations using the Likert scale. A total of 96 preschool children provided the facial images used in this study. We summarized the facial shape variations using methodologies of geometric morphometrics and principal component analysis up to the third principal component, which we refer to as the face space. A total of 40 participants evaluated the images created by warping the average facial texture of the children's faces with randomly generated parameters in the face space. Facial traits related to perceived cuteness were estimated based on the averaged cuteness function. Perceived cuteness was linked to the relative lower position of facial components and narrower jawline but not to the forehead height. (shrink)

With fascinating historical anecdotes and incisive scientific analysis, this important work combines ancient thought with modern theory to reveal a new way of viewing our universe that can expand our awareness, our lives, and may well point the way to a new science for the twenty-first century.

With precision and profundity born of 30 years of devoted study, John Boyle offers an essential introduction to St. Thomas Aquinas on Scripture, shedding helpful light on the goals, methods, and commitments that animate the Angelic Doctor's engagement with the sacred page. Because the genius of St. Thomas's approach to the Bible lies not so much in its novelty but rather in the fidelity and clarity with which he recapitulates the riches of the preceding interpretive Tradition, this initiation into St. (...) Thomas's vision of Scripture is itself an orientation to the Church's vision of Scripture, from the Fathers through and beyond the Middle Ages. St. Thomas's embeddedness within the Church's Tradition and his own historical context is integral to his approach to Scripture, yet it sets him at some distance from modern readers, for whom his interpretive vision may seem perplexing or even impenetrable. In this Primer, Boyle first provides an acclimation to this medieval context through a survey and explanation of pertinent technical terminology used by St. Thomas and characteristic of the scholastic theology of the time. With an eye to the medieval practice of considering Scripture according to the fourfold division of causes, Boyle builds on this initial foundation by exploring in turn St. Thomas's accounts of the end or use of Scripture (final cause), its divine and human authorship (efficient cause), its order and division (material cause), and its literary styles or genres (formal cause). Drawing on writings from across St. Thomas's corpus, but especially his work On the Commendation and Division of Sacred Scripture and the prologues to his biblical commentaries, Boyle masterfully elucidates both the hermeneutical principles and deep wisdom of the Angelic Doctor's approach to Scripture, imparting invaluable guidance not only for reading and understanding St. Thomas and other great masters of the Tradition, but also-and ultimately-for understanding Scripture in light of this Tradition and reading it with greater benefit and joy. (shrink)

This is an English translation of Schelling's Ideas for a Philosophy of Nature (first published in 1797 and revised in 1803), one of the most significant works in the German tradition of philosophy of nature and early nineteenth-century philosophy of science. It stands in opposition to the Newtonian picture of matter as constituted by inert, impenetrable particles, and argues instead for matter as an equilibrium of active forces that engage in dynamic polar opposition to one another. In the revisions of (...) 1803 Schelling incorporated this dialectical view into a neo-Platonic conception of an original unity divided upon itself. The text is of more than simply historical interest: its daring and original vision of nature, philosophy, and empirical science will prove absorbing reading for all philosophers concerned with post-Kantian German idealism, for scholars of German Romanticism, and for historians of science. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

"Not only one of the best but also the most comprehensive treatment of Stoicism written in this century." --Times Literary Supplement.

The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...) affirmative. The first to prove this was E. P. Martin by a semantical method. In this paper, we give the first proof of Martin's theorem based on the theory of simply typed λ-calculus. This proof is obtained as a corollary to the main theorem of this paper, shown without using Martin's Theorem, that any closed hereditary right-maximal linear (HRML) λ-term of type α → α is βη-reducible to λ x.x. Here the HRML λ-terms correspond, via the Curry-Howard isomorphism, to the P-W proofs in natural deduction style. (shrink)

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P (()). It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another (...) reduction rule which simplifies of (( ) ) into an atomic type. (shrink)

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".

"The chief business of twentieth-century philosophy” is “to reckon with twentieth-century history," claimed R. G. Collingwood. In this remarkable collection of essays, Frank Ankersmit demonstrates the prescience of that remark and goes a long way toward meeting its challenge. Responding to the work of Hayden White, Arthur Danto, and Hans-Georg Gadamer, he examines such issues as the difference between historical representation and artistic expression, the status of metaphor in historical description, and the relation of postmodernism to historicism. Ankersmit's fluent grasp (...) of European thought and his ability to incorporate concepts from literary theory, art history, the philosophy of science, and political thought into his analyses assure that this collection will interest readers throughout the humanities. (shrink)

"A very good book indeed: there is scarcely an issue anyone has thought to raise about the topic which Childress fails to treat with sensitivity and good judgement....Future discussions of paternalism in health care will have to come to terms with the contentions of this book, which must be reckoned the best existing treatment of its subject."--Ethics. "A clear, scholarly and balanced analysis....This is a book I can recommend to physicians, ethicists, students of both fields, and to those most affected--the (...) patients themselves."--Edmund D. Pellegrino, John Carroll Professor of Medicine and Medical Humanities, Georgetown University Medical Center. (shrink)

Ethics for Enemies comprises three original philosophical essays on torture, terrorism, and war. F. M. Kamm deploys ethical theory in her challenging new treatments of these most controversial practical issues. First she considers the nature of torture and the various occasions on which it could occur, in order to determine why it might be wrong to torture a wrongdoer held captive, even if this were necessary to save his victims. In the second essay she considers what makes terrorism wrong--whether it (...) is the intention to harm civilians, rather than harm to them being 'collateral damage,' or something else--and whether terrorism is always wrong. The third essay discusses whether having a right reason, in the sense of a right intention, is necessary in order for a war to be just. Kamm then examines ways in which the harms of war can be proportional to the achievement of the just cause and other goods that war can bring about, so as to make the declaration of war permissible. (shrink)

Disjunctivism about perceptual appearances, as I conceive of it, is a theory which seeks to preserve a naïve realist conception of veridical perception in the light of the challenge from the argument from hallucination. The naïve realist claims that some sensory experiences are relations to mind-independent objects. That is to say, taking experiences to be episodes or events, the naïve realist supposes that some such episodes have as constituents mind-independent objects. In turn, the disjunctivist claims that in a case of (...) veridical perception like this very kind of experience that you now have, the experiential episode you enjoy is of a kind which could not be occurring were you having an hallucination. The common strategy of arguments from hallucination set out to show that certain things are true of hallucinations, and hence must be true of perceptions. For example, it is argued that hallucinations must have non-physical objects of awareness, or that such states are not relations to anything at all, but are at best seeming relations to objects. In insisting that veridical perceptual experience is of a distinct kind from hallucination, the disjunctivist denies that any of these conceptions of hallucination challenges our conception of veridical perceptions as relations to mind-independent objects. More specifically, I assume that the disjunctivist advocates naïve realism because they think that this position best articulates how sensory experience seems to us to be just through reflection. If the disjunctivist is correct in this contention, then anyone who accepts the conclusion of the argument from hallucination must also accept that the nature of sensory experience is other than it seems to us to be. In turn, one may complain that any such error theory is liable to lead to sceptical consequences. A Humean scepticism about the senses launches a challenge about our knowledge of the world through questioning the conception we have of what sense experience is, and how it can provide knowledge of the world. (shrink)

Recent advances in physics render a reconsideration of the Place of Mathematics in the Interpretation of the Universe particularly timely. On the one hand, we have the introduction of non-euclidian geometry, which has given rise to much controversy informed or otherwise; on the other hand, we find mysterious forms of mathematics, invented to cope with the quantum difficulties, which so far have escaped metaphysical investigation or criticism. It would seem most desirable that these modes of interpreting reality should be examined (...) from the broader philosophical point of view. (shrink)