Ghosts, Jokes, Shadowtime, and Faithful Interpretation

2009 ◽  
pp. 51-81
Author(s):  
Joel Bettridge
Keyword(s):  
Faithful Interpretation

Epistemic set theory is a conservative extension of intuitionistic set theory

1985 ◽  
Vol 50 (4) ◽  
pp. 895-902 ◽  
Author(s):  
R. C. Flagg
Keyword(s):  
Set Theory ◽  
Affirmative Answer ◽  
Conservative Extension ◽  
Successful Program ◽  
Power Set ◽  
Epistemic Notion ◽  
Intuitionistic Mathematics ◽  
Topological Boolean Algebra ◽  
Faithful Interpretation ◽  
Intuitionistic Set Theory

In [6] Gödel observed that intuitionistic propositional logic can be interpreted in Lewis's modal logic (S4). The idea behind this interpretation is to regard the modal operator □ as expressing the epistemic notion of “informal provability”. With the work of Shapiro [12], Myhill [10], Goodman [7], [8], and Ščedrov [11] this simple idea has developed into a successful program of integrating classical and intuitionistic mathematics.There is one question quite central to the above program that has remained open. Namely:Does Ščedrov's extension of the Gödel translation to set theory provide a faithful interpretation of intuitionistic set theory into epistemic set theory?In the present paper we give an affirmative answer to this question.The main ingredient in our proof is the construction of an interpretation of epistemic set theory into intuitionistic set theory which is inverse to the Gödel translation. This is accomplished in two steps. First we observe that Funayama's theorem is constructively provable and apply it to the power set of 1. This provides an embedding of the set of propositions into a complete topological Boolean algebra . Second, in a fashion completely analogous to the construction of Boolean-valued models of classical set theory, we define the -valued universe V(). V() gives a model of epistemic set theory and, since we use a constructive metatheory, this provides an interpretation of epistemic set theory into intuitionistic set theory.

scholarly journals Aristotle and Łukasiewicz on Existential Import

2015 ◽  
Vol 1 (3) ◽  
pp. 535-544 ◽  
Author(s):  
STEPHEN READ
Keyword(s):  
Square Of Opposition ◽  
Existential Import ◽  
The 1950S ◽  
Faithful Interpretation

ABSTRACT:Jan Łukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing the contemporary understanding of Aristotle's logical systems. However, Łukasiewicz's interpretation is based on a number of tendentious claims, not least, on the claim that the syllogistic was intended to apply only to nonempty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.

The Ignatian Mystic and the Isaiah Scholar: A Response to John Goldingay’s The Theology of the Book of Isaiah

2016 ◽  
Vol 25 (1) ◽  
pp. 21-29
Author(s):  
Chris E.W. Green
Keyword(s):  
Christian Doctrine ◽  
Book Of Isaiah ◽  
Hebrew Scriptures ◽  
Alternative Approach ◽  
The Many ◽  
Faithful Interpretation

In and with the many rich gifts it affords, John Goldingay’s theology of Isaiah forces a series of pressing questions about the nature of Scripture as witness to Christ and the Christian gospel as well as about the character and purpose of Christian readings of the Hebrew Scriptures and the place of Christian doctrine in the practice of faithful interpretation. This paper attempts not only to draw attention to these questions but also to show why they matter and to provide at least the beginnings of an alternative approach to reading Isaiah and other ot texts, largely through appeal to other of Goldingay’s works.

Review of A. K. M. Adam, Faithful Interpretation

2007 ◽  
Vol 3 (2) ◽  
pp. 25.1-25.3
Author(s):  
Mark Sneed
Keyword(s):  
Faithful Interpretation

Calvin as Analogical Theologian

1998 ◽  
Vol 51 (2) ◽  
pp. 162-187 ◽  
Author(s):  
Randall C. Zachman
Keyword(s):  
Hidden God ◽  
Human Capacity ◽  
Faithful Interpretation

In his oft-cited article, ‘God Was Accommodating Himself to Human Capacity’, Ford Lewis Battles makes the following claim:It may be that we have succumbed to the temptation of putting the concept of accommodation too much at the center of Calvin's thought and of trying to organize everything around this notion. Yet, if this be a faithful interpretation, accommodation would seem (even when Calvin does not explicitly advert to it) his fundamental way of explaining how the secret, hidden God reveals himself to us.

scholarly journals Evil as Privation in Neoplatonism. Simplicius and Philoponus in Defense of Matter

2017 ◽  
pp. 391-408
Author(s):  
R. Loredana Cardullo
Keyword(s):  
Problem Of Evil ◽  
The Problem Of Evil ◽  
Faithful Interpretation

The aim of this paper is to highlight the decisive contribution of Simplicius and Philoponus to the resolution of the problem of evil in Neoplatonism. A correct and faithful interpretation of the problem, which also had to agree with Plato’s texts, became particularly needed after Plotinus had identified evil with matter, threatening, thus, the dualistic position, which was absent in Plato. The first rectification was made by Proclus with the notion of parhypostasis, i.e., “parasitic” or “collateral” existence, which de-hypostasized evil, while at the same time challenging the Plotinian theory that turned evil into a principle that was ontologically opposed to good. In light of this, the last Neoplatonic exegetes, Simplicius and Philoponus, definitely clarified the “privative” role of kakon, finally relieving matter from the negative meaning given to it by Plotinus and restoring metaphysical monism. 

Wedge Cleaving and Ultramicrotomy as Alternative TEM Sample Preparation Methods in Materials Science

1990 ◽  
Vol 199 ◽  
Author(s):  
P. Ruterana ◽  
D. Laub ◽  
P-A. Buffat
Keyword(s):  
Sample Preparation ◽  
Cross Section ◽  
Chemical Etching ◽  
Materials Science ◽  
Development Stage ◽  
Thin Layers ◽  
Preparation Methods ◽  
Faithful Interpretation ◽  
Sample Preparation Methods ◽  
Lower Angle

ABSTRACTThe use of two methods for preparation of TEM samples has been investigated. It has been possible to show the practical details of the wedge cleaving method and illustrate it with original results on III-V semiconductors and on metallic thin layers on Silicon. Chemical etching of AlGaAs in heterostructures was clearly observed and can further be quantified. Preferred oxidation of AlAs was shown to be important this can be a problem to a faithful interpretation of images from cross section samples prepared in more conventional ways. Efficient microtomy for use in materials science is still in the development stage, however we think to have found the best conditions for sectioning very soft metals like copper. We hope to decrease the compression in these materials by using lower angle diamond knives

Sign in / Sign up

Export Citation Format

Share Document