Noble Eightfold Path
... comparatively easy to distinguish between the transcendental and the mundane, between those bodily and verbal actions which are the natural, spontaneous expression of Perfect Vision and those which are the conscious, deliberate product of Right Understanding or Right View. As I point out in my discu ...
... comparatively easy to distinguish between the transcendental and the mundane, between those bodily and verbal actions which are the natural, spontaneous expression of Perfect Vision and those which are the conscious, deliberate product of Right Understanding or Right View. As I point out in my discu ...
The Five Precepts - Fo Guang Shan International Translation Center
... companion booklet The Triple Gem. By undertaking the five precepts, we can develop faith, generate merit, and increase moral strength. By observing the five precepts we can enjoy peace and well-being in the human form, hone spiritual focus, and avoid acting in unwholesome ways. In other words, unde ...
... companion booklet The Triple Gem. By undertaking the five precepts, we can develop faith, generate merit, and increase moral strength. By observing the five precepts we can enjoy peace and well-being in the human form, hone spiritual focus, and avoid acting in unwholesome ways. In other words, unde ...
low-res pdf not print-ready - Research portal
... real life experiences and to be fi nally discarded or accepted. Yet, paradoxically, the soteriology that he taught (called Dharma) has come to be known by the people at large for its wisdom, tolerance, compassion, equanimity, and, even, happiness. We were both born in countries where multiple religi ...
... real life experiences and to be fi nally discarded or accepted. Yet, paradoxically, the soteriology that he taught (called Dharma) has come to be known by the people at large for its wisdom, tolerance, compassion, equanimity, and, even, happiness. We were both born in countries where multiple religi ...
The Foundations
... Two syntactically (i.e., textually) different compound propositions may be semantically identical (i.e., have the same meaning). We call them equivalent. Learn: Various equivalence rules or laws. How to prove equivalences using symbolic derivations. Analogy: x * (5 + y) and xy + 5x are alway ...
... Two syntactically (i.e., textually) different compound propositions may be semantically identical (i.e., have the same meaning). We call them equivalent. Learn: Various equivalence rules or laws. How to prove equivalences using symbolic derivations. Analogy: x * (5 + y) and xy + 5x are alway ...
Transplanting Buddhism: - Unisa Institutional Repository
... history and a culture of learning and literacy. These terms were first put forward in 1956 by the anthropologist Robert Redfield, specifically in chapter 3 of his book "Peasant society and culture" 3 and have since been widely used 4 and equally widely criticised: as Bharati acerbically puts it: "wh ...
... history and a culture of learning and literacy. These terms were first put forward in 1956 by the anthropologist Robert Redfield, specifically in chapter 3 of his book "Peasant society and culture" 3 and have since been widely used 4 and equally widely criticised: as Bharati acerbically puts it: "wh ...
Sogdians and Buddhism - Sino
... some old manuscripts on paper, written in a kind of Aramaic script, which were brought to him by one of his local foremen. These manuscripts turned out to be five complete ancient letters and some fragments of letters, which were found in the ruins of an early Chinese watchtower at a guard-post to t ...
... some old manuscripts on paper, written in a kind of Aramaic script, which were brought to him by one of his local foremen. These manuscripts turned out to be five complete ancient letters and some fragments of letters, which were found in the ruins of an early Chinese watchtower at a guard-post to t ...
On Countable Chains Having Decidable Monadic Theory.
... is not MSO definable in M , and such that the MSO theory of M is recursive in the one of M . In this paper we prove that this property holds for every infinite countable chain, namely that no infinite countable chain is maximal with respect to MSO logic. The proof relies on the composition method dev ...
... is not MSO definable in M , and such that the MSO theory of M is recursive in the one of M . In this paper we prove that this property holds for every infinite countable chain, namely that no infinite countable chain is maximal with respect to MSO logic. The proof relies on the composition method dev ...
A History of Indian Buddhism: From Śākyamuni to Early Mahāyāna
... than a record of Hirakawa's own views of Buddhism; along with Nakamura Hajime's Indian Buddhism, it introduces the Western audience to the issues that Japanese scholars have considered important and to some of their conclusions. At times the subjects that attracted Japanese attention have differed f ...
... than a record of Hirakawa's own views of Buddhism; along with Nakamura Hajime's Indian Buddhism, it introduces the Western audience to the issues that Japanese scholars have considered important and to some of their conclusions. At times the subjects that attracted Japanese attention have differed f ...
History of Indian Buddhism From Sakyamuni to Early Mahayana
... than a record of Hirakawa's own views of Buddhism; along with Nakamura Hajime's Indian Buddhism, it introduces the Western audience to the issues that Japanese scholars have considered important and to some of their conclusions. At times the subjects that attracted Japanese attention have differed f ...
... than a record of Hirakawa's own views of Buddhism; along with Nakamura Hajime's Indian Buddhism, it introduces the Western audience to the issues that Japanese scholars have considered important and to some of their conclusions. At times the subjects that attracted Japanese attention have differed f ...
The Foundations
... Two syntactically (i.e., textually) different compound propositions may be semantically identical (i.e., have the same meaning). We call them equivalent. Learn: Various equivalence rules or laws. How to prove equivalences using symbolic derivations. Analogy: x * (5 + y) and xy + 5x are alway ...
... Two syntactically (i.e., textually) different compound propositions may be semantically identical (i.e., have the same meaning). We call them equivalent. Learn: Various equivalence rules or laws. How to prove equivalences using symbolic derivations. Analogy: x * (5 + y) and xy + 5x are alway ...
skillful means - The Dharmafarers
... him vicariously in the position of those who have not been liberated. To be liberated means to know that there are others who are not. With great wisdom comes great compassion. 2.2.3 Brahmā’s “invitation” to teach. The Āyācana Sutta (S 6.1) says that some weeks after the Great Awakening,14 the Buddh ...
... him vicariously in the position of those who have not been liberated. To be liberated means to know that there are others who are not. With great wisdom comes great compassion. 2.2.3 Brahmā’s “invitation” to teach. The Āyācana Sutta (S 6.1) says that some weeks after the Great Awakening,14 the Buddh ...
Early Buddhist Theory of Knowledge
... in Indian philosophy. Moreover, they were of the opinion that the purely philosophical quality of the Pali canon was surprisingly deficient. Again, Stcherbatsky stated that the Pali-school of Buddhologists entirely overlooked the system of philosophy which is present on every page of the Pali canon. ...
... in Indian philosophy. Moreover, they were of the opinion that the purely philosophical quality of the Pali canon was surprisingly deficient. Again, Stcherbatsky stated that the Pali-school of Buddhologists entirely overlooked the system of philosophy which is present on every page of the Pali canon. ...
Chapter 6: The Deductive Characterization of Logic
... straightforward; in intro logic, the semantic characterization of SL is given in terms of truth tables, whereas the deductive characterization of SL is given in terms of derivations in a natural deduction system. Whereas truth tables are easy to describe in a logically and mathematically rigorous ma ...
... straightforward; in intro logic, the semantic characterization of SL is given in terms of truth tables, whereas the deductive characterization of SL is given in terms of derivations in a natural deduction system. Whereas truth tables are easy to describe in a logically and mathematically rigorous ma ...
7 LOGICAL AGENTS
... The central component of a knowledge-based agent is its knowledge base, or KB. A knowledge base is a set of sentences. (Here “sentence” is used as a technical term. It is related but not identical to the sentences of English and other natural languages.) Each sentence is expressed in a language call ...
... The central component of a knowledge-based agent is its knowledge base, or KB. A knowledge base is a set of sentences. (Here “sentence” is used as a technical term. It is related but not identical to the sentences of English and other natural languages.) Each sentence is expressed in a language call ...
Expressiveness of Logic Programs under the General Stable Model
... under query equivalence has been thoroughly studied in the last three decades. A comprehensive survey for these works can be found in [Dantsin et al. 2001]. Our task is quite different here. On the one hand, we will work on the general stable model semantics so that non-Herbrand structures will be c ...
... under query equivalence has been thoroughly studied in the last three decades. A comprehensive survey for these works can be found in [Dantsin et al. 2001]. Our task is quite different here. On the one hand, we will work on the general stable model semantics so that non-Herbrand structures will be c ...
A Conditional Logical Framework *
... Once this move has been made, we have a means of annotating in a type the information that a reduction is waiting to be carried out in the term. If we take seriously this move, such a type need not be necessarily definitionally equal to the reduced one as in the case of LF. Without much hassle we ha ...
... Once this move has been made, we have a means of annotating in a type the information that a reduction is waiting to be carried out in the term. If we take seriously this move, such a type need not be necessarily definitionally equal to the reduced one as in the case of LF. Without much hassle we ha ...
LINEAR LOGIC AS A FRAMEWORK FOR SPECIFYING SEQUENT
... where ∆ is the multiset union of ∆1 and ∆2 , and A is the multiset union of A1 and A2 . In other words, those subgoals immediately to the left of an ⇒ are attempted with empty bounded contexts: the bounded contexts, here ∆ and A, are divided up to be used to prove those goals immediately to the left ...
... where ∆ is the multiset union of ∆1 and ∆2 , and A is the multiset union of A1 and A2 . In other words, those subgoals immediately to the left of an ⇒ are attempted with empty bounded contexts: the bounded contexts, here ∆ and A, are divided up to be used to prove those goals immediately to the left ...
Com-Rosary of Views-HHDLr - International Kalachakra Network
... itself from Tushi Rinpoche. So now I will start reading from the text with the English translation. The title of the text is The Instruction on the Garland of Views. The opening line states that it is: A note summarizing the different views, vehicles and so on. So a difference is made between the tw ...
... itself from Tushi Rinpoche. So now I will start reading from the text with the English translation. The title of the text is The Instruction on the Garland of Views. The opening line states that it is: A note summarizing the different views, vehicles and so on. So a difference is made between the tw ...
The Foundations
... is true ? => The proposition:” It_is_raining” is true iff the condition (or fact) that the sentence is intended to state really occurs(happens, exists) in the situation which the proposition is intended to describe. =>Example: Since it is not raining now(the current situation), the statement It_is_r ...
... is true ? => The proposition:” It_is_raining” is true iff the condition (or fact) that the sentence is intended to state really occurs(happens, exists) in the situation which the proposition is intended to describe. =>Example: Since it is not raining now(the current situation), the statement It_is_r ...
The Tower of Power`s Finest Hour: Stupa Construction and
... structures—stupa, caitya, chedi, dagoba, tope, ta, gorintō 五輪等, pagoda—the sheer variety of which may cause confusion. According to the early twentiethcentury Buddhologist Giuseppe Tucci (1988, xi–xvii), stūpa is a Sanskrit term dating to the Vedas that originally referred to the top or upper part ...
... structures—stupa, caitya, chedi, dagoba, tope, ta, gorintō 五輪等, pagoda—the sheer variety of which may cause confusion. According to the early twentiethcentury Buddhologist Giuseppe Tucci (1988, xi–xvii), stūpa is a Sanskrit term dating to the Vedas that originally referred to the top or upper part ...
Omniscience and the Rhetoric of Reason
... more time to try to understand what was happening in these fascinating but quite challenging works. The history of the idea of omniscience in Indian Buddhism is yet to be written, and it will not be written for many more years. There remain too many works, some surviving only in Chinese or Tibetan, ...
... more time to try to understand what was happening in these fascinating but quite challenging works. The history of the idea of omniscience in Indian Buddhism is yet to be written, and it will not be written for many more years. There remain too many works, some surviving only in Chinese or Tibetan, ...
Visualization and Mandala
... of Sakyamuni as a still-vital presence in the world, rather than as the long- ...
... of Sakyamuni as a still-vital presence in the world, rather than as the long- ...
The Sentient Reflexivity of Buddha Nature: Metaphorizing
... that of the Buddha. To better express what I attempt to state, I reiterate what Dzongsar Khyentse Rinpoche says, “Many scholars think that we have Buddha Nature like a seed, and that as we practice, it then transforms into the fully enlightened state. But…this Buddha-nature is not like a seed.”In o ...
... that of the Buddha. To better express what I attempt to state, I reiterate what Dzongsar Khyentse Rinpoche says, “Many scholars think that we have Buddha Nature like a seed, and that as we practice, it then transforms into the fully enlightened state. But…this Buddha-nature is not like a seed.”In o ...
An Old Inscription from Amarāvatī and the Cult of the Local Monastic
... droit au stupa, a savoir le Vinayadharadharmdcdrya, le Vaiydprtyabhiksu, le Vertueux-bhiksu. Comme ils ne sont pas des Aryas, il n'y a pas de lou-pan ["dew-dish"] et [le stupa] est dans un lieu cache. Peche a faire autrement." 4 There is also—though again not yet systematically studied —an important ...
... droit au stupa, a savoir le Vinayadharadharmdcdrya, le Vaiydprtyabhiksu, le Vertueux-bhiksu. Comme ils ne sont pas des Aryas, il n'y a pas de lou-pan ["dew-dish"] et [le stupa] est dans un lieu cache. Peche a faire autrement." 4 There is also—though again not yet systematically studied —an important ...
PT Sangha - Audio/Visual Catalog
... In this fascinating, no-holds-barred satsang, Adyashanti explains where our spirituality is really headed. Along the way, we can experience profound realizations, bliss, mystical states, and personal freedom. But at Audio (CD) some point, if we're lucky, escape is no longer an option, and we realize ...
... In this fascinating, no-holds-barred satsang, Adyashanti explains where our spirituality is really headed. Along the way, we can experience profound realizations, bliss, mystical states, and personal freedom. But at Audio (CD) some point, if we're lucky, escape is no longer an option, and we realize ...