Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu

• Record Nr.: UNINA9910782098603321
• Autore: Diaconescu Răzvan
• Pubbl/distr/stampa: Basel ; ; Boston, : Birkhäuser, c2008
• ISBN: 1-281-86259-2; 9786611862596; 3-7643-8708-4
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (386 p.)
• Collana: Studies in universal logic
• Disciplina: 511.3; 511.34
• Soggetti: Model theory; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming.
• Sommario/riassunto: A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.

Buddhist phenomenology : a philosophical investigation of Yogacara Buddhism and the Ch'eng Wei-shih lun / / Dan Lusthaus

• Record Nr.: UNINA9910787719103321
• Autore: Lusthaus Dan.
• Pubbl/distr/stampa: London : , : Routledge, , 2013
• ISBN: 1-317-97342-9; 1-315-87068-1; 1-317-97343-7
• Descrizione fisica: 1 online resource (630 p.)
• Collana: Curzon Critical Studies in Buddhism Series
• Disciplina: 294.361
• Soggetti: Yogācāra (Buddhism); Phenomenology; Knowledge, Theory of (Buddhism)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: First published 2002 by RoutledgeCurzon.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Cover; BuddhistPhenomenology; Title Page; Copyright Page; Table of Contents; Preface; Part One Buddhism and Phenomenology; Chapter One Buddhism and Phenomenology; What is(n't) Yogācāra?; Alterity; Chapter Two Husserl and Merleau-Ponty; The Hyle; The Intentional Arc; Part Two The Four Basic Buddhist Models in India; Introduction; Chapter Three Model One: The Five Skandhas; Chapter Four Model Two: Pratītya-samutpāda; Chapter Five Model Three: Tridhātu; Kāma-dhātu; Rūpa-dhātu; Ārūpya-dhātu; Chapter Six Model Four: Śīla-Samādhi-Prajñā; Śīla; Samādhi; Prajñā; Chapter Seven Asamj̣ñi-samāpatti and Nirodha- samāpattiKarma and Āsavas; Impurities and Contaminants; Saññā-vedayita-nirodha in Nikāyas; Visuddhimagga; Abhidhammattha Sangaha of Bhadanta Anuruddhācariya; Abhidharmakośa; Passages from Yogācāra texts; Ch'eng wei-shih lun on Nirodha-samāpatti; Postscript; Chapter Eight Summary of the Four Models; Part Three Karma, Meditation, and Epistemology; Chapter Nine Karma; General Description; Karma Does Not Explain Everything; Is Buddhism a Psychologism?; Karma: The Circuit of Intentionality; Karma and Rūpa; Yogācāra Karmic Theory; Chapter Ten Mādhyamikan IssuesMadhyamaka and Karma; Karma-; kleśa; Moral Karma; Karma and the Soteric; Samṣkāra; Madhyamaka and the Two Satyas; Closure and Referentiality; Madhyamaka and the Four Models; Chapter Eleven The Privileging of Prajña: Prajña-pāramitā; Privileging Nānạ in the Pāli Abhidhamma; Tathatā: Essentialism or Progressionalism?; Prajñāpāramitā: Essentialism or Episteme?; Pāli Texts on Sudden and Gradual; Essentialism vs. Progressionalism; Implications: Rūpa and the Three Worlds, Again; Part Four Trimṣ́ikā and Translations; Chapter Twelve Texts and Translations; Sanskrit Text of the Trimṣ́ikā, Chinese texts of the renditions of Paramārtha and Hsüan-tsang, Separate English translations of all three versions, with detailed expository and comparative annotationsPart Five The Ch'eng Wei-Shih Lun and the Problem of Psychosophical Closure: Yogācāra in China; Chapter Thirteen; Background Sketches of Pre-T'ang Chinese Buddhism; Chapter Fourteen Seven Trajectories; The failure of Indian Logic in China; The Prajñā schools; Deviant Yogācāra; Hsiang hsing (""characteristic and nature"") in the Ch'eng wei-shih lun; Chapter Fifteen The Legend of the Transmission of the Ch'eng wei-shih lunK'uei-chi's Situation; K'uei-chi's transmission story; Translation of story from Ch'eng-wei-shih-lun shu-yao; The Twelve Imperial Symbols; K'uei-chi's Catechism and 'Secret' Lineage Transmission; Problems with a Sīlabhadra 'lineage'; Hsüan-tsang's Reticence; Is Dharmapāla's Interpretation the Dominant One? Evidence from Fo-ti ching lun; Hsüan-tsang and Dharmapāla; Prasenajit,; If not Dharmapāla?; Chapter Sixteen Alterity Parinạ̄ma; The Alterity of Consciousnesses; Is ""Vijñapti-mātra"" an Ontological or Epistemological Notion?
• Sommario/riassunto: A richly complex study of the Yogacara tradition of Buddhism, divided into five parts: the first on Buddhism and phenomenology, the second on the four basic models of Indian Buddhist thought, the third on karma, meditation and epistemology, the fourth on the Trimsika and its translations, and finally the fifth on the Ch'eng Wei-shih Lun and Yogacara in China.