STUDIES IN LOGIC , GRAMMAR AND RHETORIC 10 ( 23 ) 2007 The Curious Inference
نویسندگان
چکیده
We examine Boolos’ curious inference and formalize it in a system based on set theory (Mizar) and a system based on classical higherorder logic (OMEGA). The Boolos example is interesting because while it can in principle be proven using a complete first-order calculus, it is impractical to do so. In our case study we are interested in aspects such as how natural and at what level of granularity Boolos’ short second-order proof sketch can be formalized in Mizar and OMEGA.
منابع مشابه
A Critical Study of Selected Political Elites' Discourse in English
This study explored how political elites can contribute to power enactment through using language. It started with a theoretical overview of Critical Discourse Analysis (CDA), and then presented a corpus consisting of speeches of eight political elites, namely, Malcolm X, Noam Chomsky, Martin Luther King, Josef Stalin, Vladimir Lenin, Winston Churchill, J.F. Kennedy and Adolph Hitler. This stud...
متن کاملStudies in Logic, Grammar and Rhetoric 21 (34) 2010
This paper presents the importance of logic in the medical field. Efficient and proper medical work is difficult without the knowledge of the rules of logic. Therefore, the paper will consider ways of implementing both classical logic and non-classical approach, e.g. temporal and fuzzy logic. The thesis will be supported by numerous examples illustrating how indispensable is the cognition of lo...
متن کاملThe Public Journal of Semiotics
In this article I trace the historical development of Peirce’s semiotic rhetoric from its early appearance as a sub-discipline of symbolistic to its mature incarnation as one of the three main branches of the science of semiotic, and argue that this change in status is a symptom of Peirce’s broadening semiotic interest. The article shows how the evolution of Peirce’s theory of signs is linked t...
متن کاملTeaching Grammar in the Context of Writing
--. 1981. Writing with Power. New York: Oxford University Press. --. 2002. The Cultures of Literature and Composition: What Could Each Learn from the Other? College English 64:533-46. Gerber, John C. 1950. The Conference on College Composition and Communication. CCC I: 12. Harkin, Patricia, and John Schilb, eds. 1991. Contending with Words: Composition and Rhetoric in a Postmodern Age. New York...
متن کاملArabic phonetics in the beginning of the third millenium
Arabic phonetics has been part of the study of Arabic language since the 7 th century CE. The great works by Al-Khali:l, "Kita:b al-'Ayn", and Si:bawayh, author of the first Arabic grammar book "al-kita:b" (i.e., "The Book") are the two cornerstones of this field. The early Arab grammarians knew phonetics quite well, although they mixed it with phonology, but interest in phonetics has remained ...
متن کامل