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.".

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)

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)

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)

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)

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)

"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)

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)

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)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

razdel I. Istoriko-filosofskie issledovanii︠a︡ -- razdel II. Filosofskie i sot︠s︡ialʹno-politicheskie problemy -- razdel III. Istorii︠a︡ v lit︠s︡akh.

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Geannoteerde briefwisseling van de twee geleerden over het vraagstuk van de evolutie.