Hobbes's unusual religious views in his classical work, Leviathan, are often seen as a product of his attempt to reconcile Christianity with his philosophical materialism. Yet given Hobbes's materialistic view in his earlier works too, this explanatory framework alone is not sufficient for grasping distinctive features of Leviathan. This article remedies this lacuna by paying close attention to an understudied aspect of the development of Hobbes's religious theory from The Elements of Law to Leviathan: his treatment of the supernatural and, (...) particularly, of matters of faith known by supernatural revelation as opposed to natural reason. I argue that over time Hobbes developed an epistemological analysis of supernatural revelation and refined his argument about the sense in which matters of faith are supernatural and about the extent to which they are found in the Bible. It was not materialism per se but the more sophisticated analysis of the supernatural in Leviathan that enabled Hobbes to admit the sphere of the supernatural to a much smaller extent than in De Cive and to discuss in detail what he sees as a matter of faith and beyond the scope of philosophy in De Cive. (shrink)

The English Revolution saw fierce controversy over religious toleration. While this controversy was usually associated with parliamentarians and Puritans, major contributions to the debate were also made by a few thinkers from the royalist side: Jeremy Taylor and Thomas Hobbes. Despite their prominence in the toleration debate, however, the intellectual context of the English Revolution in which their distinctive views of toleration were formed remains unclear apart from Hobbes’s association with the Independents. Here, I suggest the potential importance of Taylor (...) and Hobbes for understanding each other. While studies of Hobbes and Taylor have developed in relative isolation from each other, I show that their views of toleration have various features in common, and that these features are rarely found in their celebrated predecessor William Chillingworth or in major Puritan tolerationists. In several key respects, moreover, Hobbes and Taylor were more similar than Hobbes and the Independents. This research also helps to clarify the contribution to the toleration controversy at that time by the two leading thinkers. Furthermore, the similarities between Taylor and Hobbes, as shown in this paper, may contribute to better understanding the reception of Hobbes in the Restoration toleration debate. (shrink)

For a robot to cohabit with people, it should be able to learn people’s nonverbal social behavior from experience. In this paper, we propose a novel machine learning method for recognizing gestures used in interaction and communication. Our method enables robots to learn gestures incrementally during human–robot interaction in an unsupervised manner. It allows the user to leave the number and types of gestures undefined prior to the learning. The proposed method (HB-SOINN) is based on a self-organizing incremental neural network (...) and the hidden Markov model. We have added an interactive learning mechanism to HB-SOINN to prevent a single cluster from running into a failure as a result of polysemy of being assigned more than one meaning. For example, a sentence: “Keep on going left slowly” has three meanings such as, “Keep on (1)”, “going left (2)”, “slowly (3)”. We experimentally tested the clustering performance of the proposed method against data obtained from measuring gestures using a motion capture device. The results show that the classification performance of HB-SOINN exceeds that of conventional clustering approaches. In addition, we have found that the interactive learning function improves the learning performance of HB-SOINN. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

This study compares Pairs of subjects with Single subjects in a task of discovering scientific laws with the aid of experiments. Subjects solved a molecular genetics task in a computer micro‐world (Dunbar, 1993). Pairs were more successful in discovery than Singles and participated more actively in explanatory activities (i.e., entertaining hypotheses and considering alternative ideas and justifications). Explanatory activities were effective for discovery only when the subjects also conducted crucial experiments. Explanatory activities were facilitated when paired subjects made requests of (...) each other for explanation and focused on them. The study extends from individual to collaborative discovery activities the importance to the discovery process of setting goals to find hypotheses and evidence (Dunbar, 1993) and to construct explanations of phenomena and processes encountered in examples (Chi, Bassok, Lewis, & Glaser, 1989). (shrink)

Fichtes Philosophie ist die Wissenschaftslehre vom Bild. Nun hat das Wort Bild viele und unterschiedliche Bedeutungen, zum Beispiel Zeichnung, Ansicht, Vorstellung, Ausdruck und so weiter. Die ihnen zugrunde liegende Tätigkeit, das Bilden, besagt, dass »einer Sache Gestalt gegeben wird«.

To investigate the cognitive processes underlying creative inspiration, we tested the extent to which viewing or copying prior examples impacted creative output in art. In Experiment 1, undergraduates made drawings under three conditions: copying an artist's drawing, then producing an original drawing; producing an original drawing without having seen another's work; and copying another artist's work, then reproducing that artist's style independently. We discovered that through copying unfamiliar abstract drawings, participants were able to produce creative drawings qualitatively different from the (...) model drawings. Process analyses suggested that participants' cognitive constraints became relaxed, and new perspectives were formed from copying another's artwork. Experiment 2 showed that exposure to styles of artwork considered unfamiliar facilitated creativity in drawing, while styles considered familiar did not do so. Experiment 3 showed that both copying and thoroughly viewing artwork executed using an unfamiliar style facilitated creativity in drawing, whereas merely thinking about alternative styles of artistic representation did not do so. These experiments revealed that deep encounters with unfamiliar artworks—whether through copying or prolonged observation—change people's cognitive representations of the act of drawing to produce novel artwork. (shrink)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (shrink)

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...) Gentzen's proof-reductions and showed that his game is independent of PA. We show that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φω = ϵ0) in the Veblen hierarchy of ordinals. (shrink)

A complete list of Finsler, Scott and Boffa sets whose transitive closures contain 1, 2 and 3 elements is given. An algorithm for deciding the identity of hereditarily finite Scott sets is presented. Anti-well-founded sets, i. e., non-well-founded sets whose all maximal ∈-paths are circular, are studied. For example they form transitive inner models of ZFC minus foundation and empty set, and they include uncountably many hereditarily finite awf sets. A complete list of Finsler and Boffa awf sets with 2 (...) and 3 elements in their transitive closure is given. Next the existence of infinite descending ∈-sequences in Aczel universes is shown. Finally a theorem of Ballard and Hrbáček concerning nonstandard Boffa universes of sets is considerably extended. (shrink)