ABSTRACT What are the sources of political myths? Useful starting points for answering this question can be found in the fiction of Cervantes and the political philosophies of Machiavelli, Erasmus, and Leo Strauss. These writers, who sought to defuse clashes of custom and of religion, emphasized the need to pay attention to the consequences of false belief, without lapsing into cynicism. In this, they were the ultimate idealists, whose insights might temper the dogmas of the modern ideologue.

The book contains the proceedings of the 12th European Testis Workshop and gives an excellent overview of the state of the art in testicular research. The chapters are written by leading scientists in the field of male reproduction, who were selceted on the basis of their specific area of research. The book covers all important aspects of testicular functioning, for example, Sertoli and Leydig cell functioning, spermatogonial development and transplantation, meiosis and spermiogenesis. Even for those investigators who were not present (...) at the workshop, this volume provides a clear impression of the topics discussed during that meeting. (shrink)

In this paper, we present an informal introduction to Logical English and illustrate its use to standardise the legal wording of the Automatic Early Termination clauses of International Swaps and Derivatives Association Agreements. LE can be viewed both as an alternative to conventional legal English for expressing legal documents, and as an alternative to conventional computer languages for automating legal documents. LE is a controlled natural language, which is designed both to be computer-executable and to be readable by English speakers (...) without special training. The basic form of LE is syntactic sugar for logic programs, in which all sentences have the same standard form, either as rules of the form conclusion if conditions or as unconditional sentences of the form conclusion. However, LE extends normal logic programming by introducing features that are present in other computer languages and other logics. These features include typed variables signalled by common nouns, and existentially quantified variables in the conclusions of sentences signalled by indefinite articles. Although LE translates naturally into a logic programming language such as Prolog or ASP, it can also serve as a neutral standard, which can be compiled into other lower-level computer languages. (shrink)

We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

The Belmont Report’s distinction between research and the practice of accepted therapy has led various authors to suggest that these purportedly distinct activities should be governed by different ethical principles. We consider some of the ethical consequences of attempts to separate the two and conclude that separation fails along ontological, ethical, and epistemological dimensions. Clinical practice and clinical research, as with yin and yang, can be thought of as complementary forces interacting to form a dynamic system in which the whole (...) exceeds the sum of its parts. Just as effective clinical practice cannot exist without clinical research, meaningful clinical research requires the context of clinical practice. We defend this thesis by triangulation, that is, by outlining how multiple investigators have reached this conclusion on the basis of varied theoretical and applied approaches. More confidence can be placed in a result if different methods/viewpoints have led to that result. (shrink)

In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default (...) logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation. (shrink)

The paper intends to provide an algebraic framework in which subluminal causation can be analysed. The framework merges Belnap's 'outcomes in branching time' with his 'branching space-time' (BST). it is shown that an important structure in BST, called 'family of outcomes of an event', is a boolean algebra. We define next non-stochastic common cause and analyse GHZ-Bell theorems. We prove that there is no common cause that accounts for results of GHZ-Bell experiment but construct common causes for two other quantum (...) mechanical setups. Finally, we investigate why some setups allow for common causes whereas other setups do not. (shrink)

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

The paper has two parts preceded by quite comprehensive preliminaries.In the first part it is shown that a subvariety of the variety ${\cal T}$ of all tense algebras is discriminator if and only if it is semisimple. The variety ${\cal T}$ turns out to be the join of an increasing chain of varieties ${\cal D}_n$, which are discriminator varieties. The argument carries over to all finite type varieties of boolean algebras with operators satisfying some term conditions. In the case of (...) tense algebras, the varieties ${\cal D}_n$ can be further characterised by certain natural conditions on Kripke frames.In the second part it is shown that the lattice of subvarieties of ${\cal D}_0$ has two atoms, the lattice of subvarieties of ${\cal D}_1$ has countably many atoms, and for $n>1$, the lattice of subvarieties of ${\cal D}_n$ has continuum atoms. The proof of the second of the above statements involves a rather detailed description of zero-generated simple algebras in ${\cal D}_1$.Almost all the arguments are cast in algebraic form, but both parts begin with an outline describing their contents from the dual point of view of tense logics. (shrink)

Author: Kowalski Andrzej P. Title: CULTURAL ARCHAEOLOGY AND PREHISTORY OF THE CONTINENT OF ART (Kulturoznawcza archeologia i prehistoria Kontynentu sztuki) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 291-310 Keywords: JERZY KMITA, CULTURAL ARCHAEOLOGY, THE CONTINENT OF ART, SHAMANISTIC ORIGINS OF ART Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The paper presents an attempt at application of Jerzy Kmita’s achievements in philosophy of art, aesthetics, axiology, and history of culture to the (...) research on genesis of art. The problem of cultural genealogy of art shall be addressed in following contexts: 1. The context of the so-called ‘end of art in postmodern culture’ which manifests itself in the thesis concerning elimination of “grand narrations”, myths, and ideologies. According to J. Kmita, the art takes recourse to idea-meanings which are not ascribed to a handicraft. The meanings of superior axiological level express themselves in the art only. 2. The context of Bild-Anthropologie developed by H. Belting. Works of art are regarded here as images, especially—images of a cultural type. The accent lies here on genealogy of iconoclasm and theological discourse which uses Greek philosophical terminology. Ontology of “image as a presence” is analyzed with regard to magical realism and symbolism. Primordial and prehistoric images do not operate with signs of objects but instead they constitute objects themselves. 3. The context of structural anthropology where the art is interpreted within the horizon of mytho-logics and metaphoric-metonymical transformations. Kmita’s adjustment shows that metaphorical and metonymical meanings are indistinguishable. The art—which was ascribed a classificatory meaning—provided also socio-morphic categories. Totemic signs were more appreciated than totems themselves. It shows that the art transcends the reality which itself becomes a subject of the image. 4. The context of shamanistic origins of art. This conception universalizes results of neuropsychological research. Trance-practices are considered here as the origin of cave painting which presents a scheme of shamanistic visions. However, in folk cultures not all imaginary objects originate from trance-experience and the acceptance of their reality does not presuppose sensory deprivations (which is one of ethnological arguments showing limits of such interpretation). (shrink)

In this essay, we defend the design of the Salk polio vaccine trial and try to put some limits on the role schemata should play in designing clinical research studies. Our presentation is structured as a response to de Freitas and Pietrobon who identified the CONSORT statement as a schema that would have, had it existed at the time, ruled out the design of the Salk polio vaccine trial of 1954 in favor of a completely randomized controlled clinical trial. We (...) argue that large-scale public health interventions often require evidence beyond simple efficacy, the limit of what an RCT can provide, and that the design actually adopted for the Salk trial represented a reasonable—albeit imperfect—compromise. This is of more than historical interest in that many contemporary studies are of the scale and scope to require a more pragmatic, rather than explanatory, approach to study design. (shrink)

In this paper we show that a variety of modal algebras of finite type is semisimple iff it is discriminator iff it is both weakly transitive and cyclic. This fact has been claimed already in [4] (based on joint work by the two authors) but the proof was fatally flawed.

Survival of the fittest in evolutionary biology has a counterpart in the evolution of research paradigms. It’s called survival of the funded, and there is a sense in which paradigms are even more adaptable than species. Whereas species may become extinct if their fitness declines below a critical threshold, paradigms can rise again, perhaps with a new name, following fiscal collapse, provided only that funding is once again made available.A current example is the born-again concept of comparative effectiveness research , (...) which achieved resurrection status with the passage of the Affordable Care Act of 2010. The ACA established a private, nonprofit entity to oversee publicly financed CER. According to .. (shrink)

In this book, Dean Kowalski argues that filmmakers can “do” philosophy when creating a fictional narrative film, and utilizes a careful and extensive analysis of Joss Whedon’s fictive creations—Buffy the Vampire Slayer, Angel, Firefly, Dollhouse, and The Cabin in the Woods —to establish this thesis.

The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation (...) systems for helping to test proposed legislation and for helping to give citizens advice. (shrink)

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...) To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. (shrink)

The Disney movie Frozen is the fifth highest grossing movie of all time. In order to better understand this phenomenon and to hypothesize as to why the movie resonated so strongly with audiences, we have interpreted the movie using psychodynamic theory. We pay particular attention to the themes of puberty, adolescence and sibling relationships and discuss examples of ego defenses that are employed by the lead character in relation to these concepts.

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

David Sackett and Jack Wennberg have each introduced and developed ideas and methods that have had major impacts on how we think about and perform clinical research. Sackett is best known for his work in Evidence-Based Medicine (Sackett et al. 1997); Wennberg, upon noting wide geographic (and other) variations in best practices for the same conditions, stressed the importance of comparative effectiveness in clinical decision-making (Wennberg et al. 1993). When these two collaborated in an editorial about the current state of (...) the art and science of clinical research, it comes as no great surprise that they produced some truly memorable guidance. And, as is so often the case for inspired—and inspiring—advice, their .. (shrink)

We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

That dichotomization is, at least under certain circumstances, a bad idea is not news. A well-known, early example is the biblical story of King Solomon, who used the absurdity of the procedure to help adjudicate a dispute between two women who each claimed to be the mother of a contested child. Solomon reasoned that his proposal to split the child into two, giving half to each woman, would be abhorrent to the real mother, and when one of the women objected (...) while the other thought the proposal was "only fair," the choice between the women was made obvious.Things, however, are not always so clear-cut, and it is not difficult to find arguments that point to the advantages that accrue to those that simplify matters.... (shrink)

A syntactic derivation of Cornish identity from the axioms of HBCK is presented which amounts to a syntactic proof of Wronski's conjecture that naturally ordered BCK-algebras form a variety.

We exhibit a simple inference rule, which is admissible but not derivable in BCK, proving that BCK is not structurally complete. The argument is proof-theoretical.

Humberstone asks whether every theorem of BCI provably implies $\phi\to\phi$ for some formula $\phi$. Meyer conjectures that the axiom $\mathbf{B}$ does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.

In a recent paper in this journal, John Worrall (2008) used the example of a series of trials involving extracorporeal membrane oxygenation (ECMO), a technology for the treatment of respiratory failure in newborns, to illustrate the relationship between ethics and epistemology in medical research. One of the issues considered was whether or not it was ethical to perform a particular clinical trial at all, and he showed clearly that the answer was intimately related to epistemological judgments about the weight to (...) be given existing evidence concerning treatment effectiveness. In the case of ECMO, a trial was initiated at the University of Michigan (Bartlett et al. 1985), despite the fact that the researchers had .. (shrink)

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety ������ the lattice of congruences of A is isomorphic to the lattice of deductive filters on (...) A of the τ-assertional logic of ������. Moreover, if ������ has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ ������ of the 1-assertional logic of ������ coincide with the ������-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. (shrink)

It is perhaps most useful to approach the Doctor-Patient relationship (DPR) by admitting that it’s complicated. We review some of the strategies that have been employed to mitigate this complexity, zeroing in on one that promises to capture the main features of the DPR without eliminating some of its more important, existential components; pieces of the puzzle that must be retained if we are to avoid oversimplification and the errors that can arise by ignoring important foundational properties. We believe that (...) a useful way to look at the DPR and to capture essential features that must be balanced in the process is provided by Partnership Theory and its definition in terms of the so-called domination and partnership systems. We apply this theory to the DPR and investigate the implications of this application to health care. We see that in the absence of mitigating circumstances, adoption of the patient-as-partner model serves healthcare well and is flexible enough to accommodate circumstances that dictate modifications. (shrink)

Following Bernheim,1 we examine aspects of 'felicitometrics,'2 the measurement of the 'quality' term in Quality of Life (QOL). Bernheim argued that overall QOL is best captured as the Gestalt3 of a global self-assessment and suggested that the Anamnestic Comparative Self Assessment (ACSA) approach, in which subjects' memories of the best and worst times of their lives are used to anchor a Visual Analog Scale (VAS), provided a serious answer to the serious question, 'How have you been?' Bernheim compares and contrasts (...) the ACSA to multi-item questionnaire QOL instruments, such as the SF-36, concluding that the ACSA has a number of advantages. His discussion assumes that the use of QOL outcomes in clinical trials is both relevant and appropriate. In the present paper, we document the reasonableness of this latter assumption,4 contribute to the characterization of the similarities and differences between multi-item and individualized QOL instruments, and point to some other individualized instruments that may be used in clinical trial contexts. These 'other individualized instruments' differ from the ACSA in fundamental ways; but they are individualized in that the subject defines those areas in his/her life that are most important, and these may vary from subject-to-subject. (shrink)

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from →β to α. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI.

We give geometric axioms for existentially closed Hasse fields. We prove a quantifier elimination result for existentially closed n-truncated Hasse fields and characterize them as reducts of existentially closed Hasse fields.

The concept of "terrorism" is problematized and argued to be at one end of a continuum of behavior that can be characterized as "compulsion." This approach to conflict is explained in terms of Transactional Analysis and the inadequacy of compulsion as a means of managing human affairs (politics) is explored in relation to the use of power that it requires, and to the responses it generates. An alternative behavior, based on "turning the other cheek" and Satyagraha (confronting), is advocated in (...) the expectation that it will prove more fruitful in managing conflict and reducing terrorist outrages. (shrink)

In this article, I would like to take a closer look at the philosophical meaning of the term “process,” which is a fundamental category in Arnold Mindell’s psychology. The Taoist origins of this concept go back to the Tao – the principle of the universe. Tao is the process of passing into each other the opposite aspects of the monastically understood Qi energy. Mindell was also inspired by the analytical psychology of Carl Gustav Jung, which emphasizes the importance of archetypal, (...) unconscious mental processes and their impact on the ego through random thoughts, fantasies or dreams. Mindell distinguishes between a primary process (mental content that we are aware of) and a secondary process (mental content that we are not aware of) to explain what connects a person with her natural living – an unadulterated existence through rigid boundaries between the two processes acquired during one’s upbringing. The purpose of this article is to explore the Jungian and Taoist roots of Mindell’s psychology and to characterize individual lives as confronting their entire processual being, thus becoming natural living. -------------------------- Received: 14/04/2022. Reviewed: 19/10/2022. Accepted: 24/10/2022. (shrink)

Despite the obvious duality of physical and non‐physical astral forms in Doctor Strange, the film can't avoid the numerous problems with interactionism and substance dualism in general. This chapter utilizes the good Doctor Stephen Strange to look at how some philosophers attempt to answer the question: Are we simply flesh and bone, as Strange seems to think, or is there more—especially when it comes to the nature of our minds and souls. In the process, the chapter gains some deeper insights (...) about philosophy itself. Some philosophers agree with the Ancient One that the spirit is a thing unto itself and can affect and influence the body, a view called substance dualism. Interactionism is the “explanatory glue” holding Cartesian dualism together, and without it, the Cartesian dualist cannot account for our experience of a unified wholeness of our physical and mental lives. (shrink)

This chapter revisits some favorite moments in The Good Place to understand Janet's character. Philosophers distinguish between three types of knowledge: competence knowledge, acquaintance knowledge, and propositional knowledge. There are three generally accepted conditions that must be met for someone to have propositional knowledge: belief, truth, and justification. Some contemporary philosophers attempt to specify what kind of justification is required for knowledge. This contemporary debate arises as a result of conflicting interpretations of Plato's classic statement about how one's beliefs must (...) be “tied down” to the truth “by giving an account”. Perceptual knowledge is invariably interpreted via externalism. One need not be able to explain exactly how vision works and how it consequently plays a role in forming perceptual beliefs. Janet is merely a tool, and tools don't know anything because they cannot offer good reasons for how they behave. (shrink)

It is shown that the pure implication fragment of the modal logic [3], pp. 385--387) has finitely many non-equivalent formulae in one variable. The exact number of such formulae is not known. We show that this finiteness result is the best possible, since the analogous fragment of S4, and therefore of [3], in two variables has infinitely many non-equivalent formulae.

We state and prove a generalization of Ax’s theorem on the transcendence degree of solutions of the differential equation of the exponential map. We also discuss a positive characteristic analogue of this theorem.