All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the (...) corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions, such as the knotted axioms and the other prespinal axioms, we prove that undecidability is ubiquitous. Known undecidability results for non-commutative extensions use an encoding that fails in the presence of commutativity, so and-branching counter machines are employed. Even these machines provide encodings that fail to capture proper extensions of commutativity, therefore we introduce a new variant that works on an exponential scale. The correctness of the encoding is established by employing the theory of residuated frames. (shrink)

We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic. Its sequents are pairs of non-associative structures, formed via a structural connective whose algebraic interpretation is the Sasaki product on the left-hand side and its De Morgan dual on the right-hand side. It is a substructural calculus, because some of the standard structural sequent rules are restricted—by lifting all such restrictions, one recovers (...) a calculus for classical logic. (shrink)

A 37,641-word exegesis for thesis "sur travaux". Includes: Research methodology; "Expositions des textes"; Paralogisms for scholars; Conference, exhibition, and research tour details and itineraries. -/- PhD (Doctor of Philosophy) – Deakin University – 2011-2014 – Thesis by Publication (“sur travaux”): “Visual Agency in Art and Architecture” – Two monographs: Dossier Chris Marker: The Suffering Image (2012); and Not-I/Thou: The Other Subject of Art and Architecture (2014) – Two curated, multimedia group exhibitions: “‘Shadow-lands’: The Suffering Image” (2012), Dennys Lascelles Gallery, Alfred (...) Deakin Prime Ministerial Library, Deakin University; and “‘Shadow-lands’ II: Not-I/Thou” (2014), Dennys Lascelles Gallery, Alfred Deakin Prime Ministerial Library, Deakin University – Two archival submissions: “DCM Bequest” (2012), research dossier, Australian Film Institute/RMIT; “Shadow-lands”: The Suffering Image (2012), limited-edition, hand-made folio (exhibition dossier), Alfred Deakin Prime Ministerial Library, Deakin University, and St. Paschal Library, Yarra Theological Union – Supervision: David Jones, John Rollo, and Flavia Marcello – External examination: Tom Conley, Harvard University, Cambridge, MA, USA; Suzana Milevska, Academy of Fine Arts, Vienna, Austria; and Anonymous, Australia – Research conducted in Australia, England, France, Croatia, and Slovenia – Seven conferences attended in Australia (3), England (2), Italy (1), and Greece (1). (shrink)

St. John of the Cross was aware of the fact that his mysticism resisted prosaic, discursive representation; however, most contemporary scholars have overlooked this radical component of his work. First, I trace the major philosophical influences on John’s work: Medieval Neoplatonism and Scholasticism. Second, by drawing on the Barthesian-Foucauldian concept of the author function, I demonstrate that the Mystical Doctor saw his poetry as free-standing, inexhaustible by even his own efforts to systematize key aspects of his poetry—an insurmountable (...) task, which he had to be compelled to compile and publish by the nuns he guided in spiritual direction. (shrink)

A description and critical estimate, by faculty and alumni, of the famous St. John's New Program in the liberal arts, covering the first 17 years of its operation.--W. C.

While working on various medieval philosophers, I have noticed an affinity between their remarks on the reasonableness of accepting propositions that are not matters of proof and strict deduction and St. John Henry Newman’s remarks that we accept unconditionally and rightly everyday ordinary propositions without calibrating them to demonstrable arguments. In particular, Cardinal Matthew of Aquasparta and Blessed John Duns Scotus both claim there is a sense in which assent to everyday propositions is tantamount to knowledge, even though (...) there is no adequate argumentation or demonstrative reasoning compelling us to assent to such propositions. Newman’s distinction between notional and real apprehension of propositions, notional and real assents, and his insistence on the existence of real assents to propositions that are not necessarily proved, or in some cases provable, seem, at first glance, a case parallel to that of the medieval philosophers we have mentioned. (shrink)

Over the past 40 years, scholars and practitioners of public relations have often cast public relations workers in the role of the public relations-person-as-corporate-conscience. This work, however, maintains that this construct is so problematic that invoking it is of negligible use in addressing ethical issues that emerge during a crisis. In fact, a complex crisis, such as the Jahi McMath “brain death” case at Children’s Hospital Oakland, demonstrates the need to abandon the PRPaCC construct to better engage affected stakeholders, including (...) “outsiders” to the organization, who often determine whether an organization is facing a crisis. Through an examination of both the concept of the PRPaCC and the McMath crisis, this work makes the case for moving beyond the PRPaCC construct in favor of a more modest role for the public relations person: facilitating widespread ethical deliberation and discussion throughout an organization, potentially helping the organization alleviate concerns that contribute to crises. (shrink)

A number of ways of taxonomizing human learning have been proposed. We examine the evidence for one such proposal, namely, that there exist independent explicit and implicit learning systems. This combines two further distinctions, (1) between learning that takes place with versus without concurrent awareness, and (2) between learning that involves the encoding of instances (or fragments) versus the induction of abstract rules or hypotheses. Implicit learning is assumed to involve unconscious rule learning. We examine the evidence for implicit learning (...) derived from subliminal learning, conditioning, artificial grammar learning, instrumental learning, and reaction times in sequence learning. We conclude that unconscious learning has not been satisfactorily established in any of these areas. The assumption that learning in some of these tasks (e.g., artificial grammar learning) is predominantly based on rule abstraction is questionable. When subjects cannot report the rules that govern stimulus selection, this is often because their knowledge consists of instances or fragments of the training stimuli rather than rules. In contrast to the distinction between conscious and unconscious learning, the distinction between instance and rule learning is a sound and meaningful way of taxonomizing human learning. We discuss various computational models of these two forms of learning. (shrink)

Known to produce out-of-body states and profound changes in sensory perception, mood, and thought, DMT is a potent short-lasting tryptamine that has experienced growing appeal in the last decade, independent from ayahuasca, the Amazonian visionary brew in which it is an integral ingredient. Investigating user reports available online as well as a variety of other sources consulted in extended cultural research, this article focuses on the “breakthrough” event commonly associated with the DMT trance. The DMT breakthrough event coincides with significant (...) revelatory outcomes associated with perceived contact with “entities” and the transmission of information often in the form of visual language. Examination of the breakthrough event offers insight on the liminal phenomenology of DMT and other tryptamines, a liminality that is given primary expression in reported travels in “hyperspace.” The article examines user reports of DMT “hyperspace” observing a transitional process that, unlike conventional passage rites, is private, individualized, internal, and “ritual like.” As an exploratory discussion of an under-researched phenomenon, the article enters this virtual terrain through a discussion of the gnostic, therapeutic, and recreational modalities of DMT use, before exploring ritual-like modes of transmission and concluding with comments on the ontological significance of the DMT trance. (shrink)

New Blackfriars, Volume 103, Issue 1103, Page 128-143, January 2022.

In A Theory of Justice, John Rawls devised the method of reflective equilibrium in an attempt to broker consensus between ethical approaches emphasising individual moral judgements, and those emphasising moral principles, expanding this method in the later paper; “The Independence of Moral Theory”, to produce wide reflective equilibrium. In a number of essays compiled in Justice and Justification, Norman Daniels articulated a more comprehensive version of Rawls's methodology in response to something of a similar struggle within contemporary bioethics, between (...) those bioethical approaches emphasising individual moral judgements, those emphasising bioethical principles and those emphasising bioethical theory; the casuists, the principlists and the descriptivists respectively. In addition to the level of considered moral judgements and that of moral principles that comprise Rawls's reflective equilibrium, Daniels's model proposes a third level of interconnecting background theories in order to incorporate the three dominant strands of contemporary bioethics, to broker consensus between those whose considered moral judgements are in conflict, and to guard against the endpoint of the reflective equilibrium being overly determined by these judgements. However, it is unclear whether his method aids the objectives he set, or whether it in fact hinders them. (shrink)