Can We Hear Silence?

Philosophia - We can hear silence because silence, an absence of sound, causes our hearing of it. Advocating this position, Roy Sorensen puts to use his own theory of the direct perception of...     

THE GOLEM LEGEND AND THE ENIGMA OF FACEBOOK

We are easily misguided as to the true nature of Facebook, and tend to treat it simply as a powerful technological instrument in the service of human intentions. We can, however, gain a better picture of it through recourse to the Jewish tradition of the golem, an image of human beings, created by them in a re-enactment of their own creation by God. It turns into a magic servant in modernity with an inherent dynamic running between its human and its subhuman characteristics. This dynamic is the main cause behind its becoming uncontrollable. In like manner, what is subhuman in Facebook serves its masters and functions under their total control, but also empowers Facebook's increasingly human operation, an algorithm-based capability which raises growing doubts about what counts as human. Facebook implies the crisis of humanity which coincides with the “death of God,” that is, the obsolescence of the idea of a divine creator.     

Does nondirectional signalization of target distance contribute to navigation in the Morris water maze?

The possibility that rats can navigate in the Morris water maze by reducing the difference between the memorized platform scene and the current sensory input was tested in nine blind rats. A computerized videosystem monitored the rats' movements in the pool and converted the rat-target distance into tones the frequency of which increased in 64 equal steps from 120 Hz at 128 cm to 7680 Hz at 0 cm. During 15 days of training to find a fixed platform position from different starting points (12 trials per day) average escape latencies decreased from 39.0 to 25.4 s. The performance significantly deteriorated when the acoustic distance signalization was omitted and/or when the target position was changed form trial to trial. It is concluded that blind rats solved the task by simultaneously employing search strategy based on position responses, mapping using acoustic background beacons, and distance reduction navigation. It is argued that the various strategies are additive and that their relative significance depends of the conditions of the experiment.     

Sequent-systems and groupoid models. I

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models.