In the monograph [1] of Chang and Keisler, a considerable extent of model theory of the first order continuous logic is ingeniously developed without using any notion of provability.In this paper we shall define the notion of provability in continuous logic as well as the notion of matrix, which is a natural extension of one in finite-valued logic in [2], and develop the syntax and semantics of it mostly along the line in the preceding paper [2]. Fundamental theorems of model (...) theory in continuous logic, which have been proved with purely model-theoretic proofs in [1], will be proved with proofs which are natural extensions of those in two-valued logic. (shrink)

Intelligibility and interpretability related to artificial intelligence (AI) are crucial for enabling explicability, which is vital for establishing constructive communication and agreement among various stakeholders, including users and designers of AI. It is essential to overcome the challenges of sharing an understanding of the details of the various structures of diverse AI systems, to facilitate effective communication and collaboration. In this paper, we propose four fundamental terms: “I/O,” “Constraints,” “Objectives,” and “Architecture.” These terms help mitigate the challenges associated with intelligibility (...) and interpretability in AI by providing appropriate levels of abstraction to describe structure of AI systems generally, thereby facilitating the sharing of understanding among various stakeholders. The relationship between the Objective of AI designers and the Purpose of AI users is linked to the issues of AI alignment. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Not by Nature but by Grace: Forming Families through Adoption by Gilbert C. MeilaenderThomas O'BrienNot by Nature but by Grace: Forming Families through Adoption Gilbert C. Meilaender notre dame, in: university of notre dame press, 2016. 136 pp. $25.00I was adopted as an infant through a Catholic Charities office in 1961, and just three years ago, thanks to an online DNA analysis service, I met both of my (...) biological parents, with whom I have an ongoing, loving relationship. So my keen interest in this book and its topic is more than just theological [End Page 209] curiosity. It includes personal and emotional dimensions, as I'm sure it will for many readers.This book is an attempt to understand modern adoptive practices from a primarily Christian/Catholic perspective, with helpful allusions to the beliefs and practices of the other Abrahamic faiths. Overall, I believe the book succeeds in presenting a solid theological foundation for adoption in general and, more specifically, for its current mainstream manifestation in the developed world. The author doesn't shy away from the various controversies related to adoption—like assisted reproduction, LGBTQ adoption, embryo adoption—and he takes on other authors who make claims about adoption that he believes distract or obscure the central purpose of adoption, which is to provide a child a "needed place of belonging" within the network of loving relationships that is the ideal of the family (38).My reservations about the book are two. The first has to do with the inconsistent tone of the book, which tends to swing, abruptly at times, from a theological and analytical tone to one that feels more popular and homiletic—even to the point of being maudlin. As stated earlier, I have high regard for most of the analytical sections and find the overarching thesis convincing. Generally, in these sections, the method begins with the lived experience of adoptees and their parents and works through scripture, tradition, and critical reflection to arrive at a reasonable conclusion. However, occasionally the book drifts into uncritical and merely emotive territory, and this is especially the case in the sections called "interludes," where the author presents letters to adoptees from their parents reprinted from the Christian Century magazine. These seem out of place and even distracting. Of even greater concern is the concluding chapter, where the author should be summarizing and highlighting the strengths of his thesis. Instead he chose to draw homiletic lessons from Anne of Green Gables (110).My second reservation is not so much a critique of this book but of the state of contemporary Catholic sexual ethics, which forms a backdrop for the entire book. The book accurately reflects a mainstream position in Catholic sexual ethics, which abandoned a narrow focus on procreation decades ago in favor of one highlighting the unitive and relational aspects of human intimacy. This move away from a strictly deontological framework stressing the duty to procreate and toward a teleological ethic stressing the need to model human relationships after divine ones has been celebrated for good reasons, but it has not come without costs. Like all teleological ideals, this sexual ethic is attractive to purveyors of high philosophy but tends to be thoroughly abstract and almost entirely incapable of offering concrete, practical guidance. Because it is so abstract, its application to specific moral issues can seem arbitrary and at the whim of the author. Such is the case in this book, for instance, when this teleological ideal is wielded to shed doubt on LGBTQ adoption. It is particularly telling [End Page 210] that the author neglects to consult lived experience in this section, ignoring the mountains of evidence readily available that LGBTQ families can be just as loving and nurturing as those of traditional families. Ultimately, a second Renaissance would benefit Catholic sexual ethics—one that balances deontological and teleological elements by introducing practical, consequential, and proportional methods.Thomas O'BrienDePaul UniversityCopyright © 2018 Society of Christian Ethics... (shrink)

Understanding Ukrainian sacred art is impossible without understanding how ancient Ukrainians felt space and time, transformed and materialized this understanding in signs, the most ancient among which is the circle, square and cross. These symbols are universal spatial and temporal signs that play the role of archetypes and have deep pre-Christian roots and origins. Their original, cosmological essence of the understanding of nature, the desire to convey the divine essence through comprehension of space and time converges the sacred art of (...) the Christian, Hindu and Islamic worlds. (shrink)

The time of the economic crisis, the prolonged collisions between the opposition and the main branches of power, the permanent election process, and the general instability of society, characteristic to modern Ukraine, give birth to the state of emotional and psychological stress - from sorrow, despair, and a sense of hopelessness to complete eclecticism of public opinion and opposition, even within one family.

Context: With their response to questions concerning the reality of PR, the realistic and the constructivist paradigms either fall into epistemological traps or do not even tackle some of the relevant questions. Problem: An epistemological approach to the reality of PR must particularly answer three questions. Firstly, there is the question of how or why PR descriptions fail. If PR as a communication of self-description is attributed a considerable trustworthiness disadvantage compared to journalistic external descriptions, for example, this implies a (...) second question: How does PR however manage to make people (occasionally) believe in its descriptions? Finally, PR stage-manages events and messages and thus publishes fictions. This leads to the third question: How can these observations of trends such as fictionalization be explained in a plausible manner? Method: Answers provided by the realistic, constructivist and non-dualistic perspectives to these central questions are identified in order to elaborate on specific problems and advantages of the perspective. Results: The trustworthiness of PR characterizations may be used to explain, from a non-dualistic perspective with regard to PR reality, why PR fails or how it may be successful. Additionally, developments such as fictionalization and theatricalization may be described more unambiguously. Implications: New answers from the non-dualistic perspective to old questions of PR research reveal that a non-dualistic project is adaptable and could work with numerous findings of PR research, even though a slight re-interpretation would surely be necessary in parts. (shrink)

Boldly focusing on sexuality as a crucial definer of social order, Being and Symptom argues that there is an "M theory" -- a master theory of theories -- not only in Quantum Physics, but also in Continental Philosophy, Psychoanalysis, and Sociology, disclosing how the ontological structure of the "fantastic four" ingredients of metaphysics (potentiality, impotentiality, actuality, completion) has recurred through time. Öğüt also seeks to turn Thomas Hobbes's political philosophy into a social theory within the fields of sexuality and sovereignty (...) and to locate parallels among Aristotle, Ibn Khaldun, Kant, Hegel, Heidegger, Foucault, Lacan, Agamben, Nash, Derrida, Girard, Kristeva, and Žižek, with a special emphasis on how Žižek has adapted Lacanian psychoanalysis into social theory. Öğüt conveys a highly original analysis of the unconscious of our social (sexual) relations, subjectivities, and politics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Vergil's Aeneid and the Roman Self: Subject and Nation in Literary DiscourseJames J. O'HaraYasmin Syed. Vergil's Aeneid and the Roman Self: Subject and Nation in Literary Discourse. Ann Arbor: The University of Michigan Press, 2005. x + 277 pp. Cloth, $65.This book, which "began as a PhD dissertation at the University of California, Berkeley" (1997), tackles a timely, large, and difficult topic, possibly a topic too difficult to (...) be handled in a satisfactory way in a dissertation and first book. In sum, it makes a decent but flawed contribution on a topic that needs much more work, and in some ways, much more careful work.Two introductory chapters describe the importance of the Aeneid in imperial culture and the role of manipulation of the emotions in ancient theories of rhetoric. In a section called "The Reader's Subject Position," two chapters (both largely on Aeneas and Dido) treat "The Gaze" and "The Spectacle of Emotions." In the next section, on "Gender and Ethnicity," four chapters treat "Gendered Emotions" (before Allecto's visit, Amata is worried, but Turnus is calm; "frenzy, then, is female," 122), "Gendered Ethnicity" (Dido's characterization as Punic "is hard to detect because it is blended with her lover's persona," but it is still significant, 145), "Cleopatra and the Politics of Gendered Ethnicity" ("Augustan representations of Cleopatra form the birth of the Western discourse of orientalism," 177, somewhat overstated, but with interesting ideas about the connection between Cleopatra and Dido), and "Romanitas" (Greek stereotypes, and others, define Romans but are characterized by a "fundamental ambivalence," 203). A brief conclusion ends the book.The interesting argument that Syed makes in the first few chapters is "that the Aeneid used its visuality and its sublime style to appeal to the readers' emotions, and that it created a fictional space for an internal reader within the poem for [End Page 317] 316 whom the poem could articulate an identity by creating various fictional characters as figures of identification" (35). Both these and later chapters offer a mix of the new, the familiar, and, at times, the unconvincing. Two of the book's flaws are actually signaled in the surprising final paragraph, which declares that the book's "most glaring omission has been that of considering more Italian characters and generally of giving more attention to the second half of the poem" (227). Syed says that this "focus" on other aspects of the poem "has been a personal decision on my part," but it is hard to imagine thinking about "subject and nation" in the Aeneid without discussing the relationship between Rome and Italy both in the poem and in Vergil's world; see C. Ando, "Vergil's Italy: ethnography and politics in first-century Rome," pp. 123–42 in D. S. Levene and D. Nelis, eds., Clio and the Poets (Leiden, 2002), whose date is probably too close to Syed's publication date. Presumably there will be a full discussion of Rome and Italy in Alessandro Barchiesi's forthcoming The Geopoetics of Vergil's Aeneid.The lack of attention to Books 7–12 is also a problem, because often the arguments Syed makes about the parts of the Aeneid that she does treat are less convincing when we think about passages in the second half of the poem. The claims that Aeneas has a special ability "to control his emotional responses to the world" (70) and that "in contrast to Aeneas, whose emotions are carefully controlled, many characters in the poem give free rein to their emotions" (87), surely cry out for a consideration of Aeneas' rampage after the death of Pallas in Book 10 and the rage with which he kills Turnus in the poem's final lines. The discussion of Dido's wounds and of Lavinia's association, through allusive simile, with the wound of Menelaus (125–35) is fairly good. But Syed does not mention that Turnus at the start of Aeneid 12 is compared to a wounded deer, or that right before the Lavinia scene Vergil says Turnus "grows sicker with the attempt to heal" (aegrescitque medendo, 45). Lavinia is indeed associated with Menelaus by allusion, but Aeneas... (shrink)

The contents of the sixth book of Ennius' Annals have recently become a matter of dispute. Ever since Columna's edition it had been assumed that the book was entirely given over to the story of the war against king Pyrrhus . That view was based on the anecdote told by Quintilian 6.3.6, that Cicero, asked to say something de Sexto Annali, a witness in a law case, replied: ‘Quis potis ingentis oras euoluere belli’. It seems as good as certain that (...) this was the first line of Book VI, and belli was taken by all as referring to the Pyrrhus war. According to Dr T. Cornell, however, ‘unrolling the mighty scroll of war’ means that the poet is now going to describe warfare on the grand scale, thus setting the sequence of the third Samnite War, the Pyrrhus War, and the second Punic War against the minor wars described in the first five books. I doubt if Ennius would have felt that the early Latin war with the story of Lake Regillus, the capture of Veii, the Allia, the fall of Rome to the Gauls, and the second Samnite war were minor wars; but I am certain that bellum in the singular, except in contrast to the notion of pax, cannot refer to war in a general sense, covering a plurality of wars. (shrink)

When a poet's work survives only in fragments our judgement of its merit is bound to be strongly influenced by the arrangement given to the fragments by their editors. And yet some superficial indication of the subject-matter is not infrequently seized upon as though it were a sound basis for so responsible an operation, and horror uacui proving stronger than amor ueri, stronger even than desiderium noua docendi, the ill-founded solution is passed on from one edition to the next although (...) it may be wholly out of character with the author's style and may make a great poet appear a wretched hack. An example of this was given in C.Q. N.S. X , 188 f., where the traditional attribution of a commonplace statement to a speech which called for the very opposite of a commonplace was shown to be mistaken. The standard interpretation of the fragment to be discussed here is no less striking as an instance of injustice done to the poet, even more liable to expose him to ridicule, and perhaps of wider interest as a specimen of stylistic indications unduly neglected. (shrink)