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)
Kenzo saw a slight movement of his opponent. “Now is the time to strike!” he thought. He started moving. But before he had time to raise his shinai (sword) he was struck on the men (head) by his opponent. “Ippon!” the judge called.
The paper is concerned with John Searle’s famous Chinese room argument. Despite being objected to by some, Searle’s Chinese room argument appears very appealing. This is because Searle’s argument is based on an intuition about the mind that ‘we’ all seem to share. Ironically, however, Chinese philosophers don’t seem to share this same intuition. The paper begins by first analysing Searle’s Chinee room argument. It then introduces what can be seen as the (implicit) Chinese view of the mind. Lastly, it (...) demonstrates a conceptual difference between Chinese and Western philosophy with respect to the notion of mind. Thus, it is shown that one must carefully attend to the presuppositions underlying Chinese philosophising in interpreting Chinese philosophers. (shrink)
The paper is concerned with the development of the paradoxical theme of Daoism. Based on Chad Hansen's interpretation of Daoism and Chinese philosophy in general, it traces the history of Daoism by following their treatment of the limit of language. The Daoists seem to have noticed that there is a limit to what language can do and that the limit of language is paradoxical. The 'theoretical' treatment of the paradox of the limit of language matures as Daoism develops. Yet the (...) Daoists seem to have noticed that the limit of language and its paradoxical nature cannot be overcome. At the end, we are left with the paradoxes of the Daoists. In this paper, we jump into the abyss of the Daoists' paradoxes from which there is no escape. But the Daoists' paradoxes are fun! (shrink)
This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
Riječ “intelektualac” francuskog je porijekla, nastala krajem 19. vijeka. Stvorena tokom afere Dreyfus, uglavnom se odnosi na one mislioce koji su spremni da interveniraju u javnom forumu, čak i ako to znači da sebe izlažu riziku (Le Sueur 2001:2). Teoretičari kao što su Edward Said, Paul Ricoeur, Jean-Paul Sartre i Michael Waltzer dali su doprinos diskusiji o intelektualcima: intelektualca Said vidi kao kritički nastrojenog autsajdera, Ricoeur kao političkog edukatora, Sartre kao čovjeka od akcije, a Waltzer kao brižnog insajdera. Opisati (...) intelektualca na ovaj način, pak, ne spominje prostor unutar kojeg intelektualac djeluje, tj. građansko društvo. Upravo se u takvom prostoru ljudskog udruživanja i odnosnih mreža može promovirati kultura dijaloga, tolerancije, umjerenosti i uzajamno korisnog rješavanja sukoba, upravo onakva kultura kakva otjelotvorava stavove i vrijednosti demokratizacije. Mada intelektualac, onakav kakav je gore opisan, igra značajnu ulogu u održavanju dobro razvijenih demokratskih društava, u postkonfliktnim društvima, kakva su i kosovsko i bosanskohercegovačko, pojavljuje se potreba za intelektualcem koji je više od pukog kritičara društva, edukatora, čovjeka od akcije i saosjećajnog pojedinca. I tu na scenu stupa hiperintelektualac. Najupečatljivija karakteristika hiperintelektualca je možda upravo stepen u kojem se intelektualac bavi društvenom kritikom, političkim obrazovanjem, akcijom i “insajderizmom”, ne kao ideolog, već kao nestranačka fi gura. Društvena kritika i političko obrazovanje hiperintelektualca manifestiraju se na nestranački način, tako da se jasno čuje sve što je moguće i napadati i braniti, i sa jedne i sa druge strane. To je poseb-. (shrink)
The Genesis of the Social and the Carnal Donation of the Non-Presentable. The Range of the Notion of Institution in Merleau-PontyThis article examines the range of the notion of institution that Merleau-Ponty proposes in his course at the Collège de France (1954-55), by notably insisting on the importance of the question of the genesis of the social for the deepening of his thought. By broadening his investigative domains in two complementary directions (that is, lateral passivity and socio-historical institution), Merleau-Ponty aims (...) in this course to grasp in a better way the lateral relations of our Urstiftung (originary institution) and the instituting subject who obliquely goes beyond the institution towards its sense. That leads him to introduce the perceptual field as being essentially lacunary, because it marks a place where the consciousness is present at the divergence in relation to consciousness. It is certain that the Phenomenology of Perception addressed this question by considering the social as a place where “I am given to myself”. However, the psychological starting point of this work, as well as the originary temporal and unilateral character of radical reflection, prevented one from really grasping the institutional junction of the concrete event and the symbolic matrix. One was not able to thematize an auto-articulation which appears suddenly between radical reflection and the unreflective. This is why Lévi-Strauss’ structuralist thought, by considering the social as symbolism, allows for a better understanding of this institutional nexus. But this idea does not lead to the dogmatic positing of the reality and the autonomy of the social. Instead, it encourages us to practice “the perception of history,” which consists in guessing, in the very process of sociological idealization, the carnal and wild donation of the non-presentable. Far from returning to psychologism, this perception aims at actively achieving the movement internal to the symbolic, that is, its incarnation.La genesi del sociale e la donazione carnale del non-presentabile. La portata della nozione di istituzione in Merleau-PontyQuesto articolo esamina la portata della nozione d’istituzione che Merleau-Ponty propone nel suo corso al Collège de France del 1954-1955, insistendo in particolare sull’importanza della questione della genesi del sociale per l’approfondimento del suo pensiero.Estendendo i propri domini di ricerca in due direzioni complementari (la passività laterale e l’istituzione socio-storica), Merleau-Ponty si propone in questo corso di cogliere meglio i rapporti laterali della nostra Urstiftung (l’istituzione originaria) e del soggetto istituente che la supera obliquamente in direzione del suo senso. Ciò induce a presentare il campo percettivo come essenzialmente lacunoso, poiché manca di un luogo dove la coscienza possa assistere allo scarto rispetto a se stessa.È certo che la Fenomenologia della percezione affrontava questa questione considerando il sociale come un luogo dove “io sono donato a me stesso”. I presupposti psicologici di quest’opera, così come il carattere originariamente temporale e unilaterale della riflessione radicale, impedivano tuttavia di cogliere in maniera adeguata il legame istituzionale dell’evento concreto e della matrice simbolica, e di tematizzare un’autoarticolazione che sorgesse tra la riflessione radicale e l’irriflesso.È per questo motivo che il pensiero strutturalista di Lévi-Strauss, che considerava il sociale come simbolismo, permette di comprendere meglio questo nesso istituzionale. Quest’idea non conduce però a porre dogmaticamente la realtà e l’autonomia del sociale, essa incita piuttosto a praticare “la percezione della storia” che consiste nell’individuare, nel processo stesso dell’idealizzazione sociologica, la donazione carnale e selvaggia del non-presentabile. Lungi dal rappresentare un ritorno allo psicologismo, questa nozione di percezione mira a completare attivamente il movimento interno al simbolico, ovvero la sua incarnazione. (shrink)
This paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
This paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
We have developed a broadcasting agent system, public opinion channel (POC) caster, which generates understandable conversational form from text-based documents. The POC caster circulates the opinions of community members by using conversational form in a broadcasting system on the Internet. We evaluated its transformation rules in two experiments. In experiment 1, we examined our transformation rules for conversational form in relation to sentence length. Twenty-four participants listened to two types of sentence (long sentences and short sentences) with conversational form or (...) with single speech. In experiment 2, we investigated the relationship between conversational form and the userâs knowledge level. Forty-two participants (21 with a high knowledge level and 21 with a low knowledge level) were selected for a knowledge task and listened to two kinds of sentence (sentences about a well-known topic or sentences about an unfamiliar topic). Our results indicate that the conversational form aided comprehension, especially for long sentences and when users had little knowledge about the topic. We explore possible explanations and implications of these results with regard to human cognition and text comprehension. (shrink)
Abstract Some aspects of the coverage of bioethical issues in Japanese (11) and German (10 series) biology textbooks for lower secondary school have been investigated, concentrating on the treatment of environmental issues. It was found that German textbooks devote more space to these problems than the Japanese ones and that the style of presentation in German books is aimed at appealing to the emotions of the pupils, whereas that of the Japanese ones is a more traditional scientific one. The inclusion (...) of ethical view points in biology teaching is discussed in this context. (shrink)
The doctrine of the two truths - a conventional truth and an ultimate truth - is central to Buddhist metaphysics and epistemology. The two truths (or two realities), the distinction between them, and the relation between them is understood variously in different Buddhist schools; it is of special importance to the Madhyamaka school. One theory is articulated with particular force by Nagarjuna (2nd ct CE) who famously claims that the two truths are identical to one another and yet distinct. One (...) of the most influential interpretations of Nagarjuna's difficult doctrine derives from the commentary of Candrakirti (6th ct CE). In view of its special soteriological role, much attention has been devoted to explaining the nature of the ultimate truth; less, however, has been paid to understanding the nature of conventional truth, which is often described as "deceptive," "illusion," or "truth for fools." But because of the close relation between the two truths in Madhyamaka, conventional truth also demands analysis. Moonshadows, the product of years of collaboration by ten cowherds engaged in Philosophy and Buddhist Studies, provides this analysis. The book asks, "what is true about conventional truth?" and "what are the implications of an understanding of conventional truth for our lives?" Moonshadows begins with a philosophical exploration of classical Indian and Tibetan texts articulating Candrakati's view, and uses this textual exploration as a basis for a more systematic philosophical consideration of the issues raised by his account. (shrink)
