Inductive Logic Programming has been drawn a big attention as a new research area of inductive inference based on first order logic. The main advantages of ILP are the very rich expressive power and the capability of utilizing arbitrary background knowledge represented in Prolog programs. However ILP usually needs enormous computational time to obtain the hypotheses. To cope with this problem, an efficient algorithm is needed. In this paper, an ILP system Progol is adopted as the (...) target system. Progol is one of the most successful ILP systems, which induces hypotheses by first constructing the most specific hypothesis for a given example, and then searching through the subsumption lattice having empty clause and MSH as its top and bottom respectively. The second phase of Progol employes an A * -like search algorithm which is a kind of exhaustive search base on A * search strategy. In this paper, we show redundancy in A * -like algorithm from a viewpoint of imput/output relations amoung variables in the literals forming the MSH, and then propose a new search algorithm to remove the redundancy. The main advantage of the proposed algorithm is a substantial reduction of search space. By preprocessing the given search space, the redundant parts in the space can be removed. Since the search in the search space in which there is no answer can be avoided in this way, we have succeeded in reducing the number of candidate hypotheses to be generated as well as the whole computational time to induction. (shrink)

Inductive Logic Programming employs expressive representation languages, i.e. Prolog Programs, so that ILP can handle structural data which other traditional inductive learner can not or hardly do. In this reason, ILP has been regarded as one of the most important technologies in the area of Data Mining and Knowledge Discovery in Databases recently. However, ILP usually needs enormous computational time to obtain the results from a huge amount of data appearing in such problems as Data Mining. (...) To cope with this problem and to make ILP more practical, we need more efficient algorithms. Since learning by ILP can be regarded as the search problem, we need to consider the reduction of the number of hypotheses to be evaluated and the efficient evaluation algorithm in order to make ILP more efficient. One of the most effective ways in reducing the hypothesis space to be searched is to compute a Most Specific Hypothesis from one positive example by Inverse Entailment. Since MSH bounds the hypothesis space, it is important to decide which example should be used to generate MSH. In this paper, in order to reduce the computational time, we propose the following three algorithms for ILP systems which employ coverset algorithm, inverse entailment and top-down search strategy: selection of search space, incremental search within one class, integration of hypothesis spaces among the different classes. The main common feature of these three algorithms is that, instead of single MSH, plural MSHs are considered in the search process. Experiments were conducted to assess the effectiveness of the proposed algorithms. The results show that the proposed algorithms are useful for reducing the number of candidate hypotheses to be evaluated as well as the total computational time for induction. (shrink)

This paper describes a method for optimal hypothesis search in Inductive Logic Programming. The method is based on symbiotic evolution, a variant of genetic algorithm, for improving the predictive accuracy in classifying unknown examples. Progol, the representative ILP system, employs a refinement operator and finds an optimal hypothesis which subsumes the most specific hypothesis. Progol focuses on a hypothesis which has maximum explanatory power for training data. However, ILP systems should be evaluated (...) by their explanatory powers for unknown data. In contrast, the proposed method produces a hypothesis using symbiotic evolution, which maintains and evolves two populations: a population of partial solutions to the problem and a population of complete solutions which are formed by grouping several partial solutions together. Symbiotic evolution can conduct balanced optimization of partial solutions and complete solutions. We postulate that the diversity of the results in GA increases the fitness to unknown data. We have developed an ILP system called ILP/SE, which uses symbiotic evolution for the hypothesis search task and uses the learning algorithm of Progol for the other task. ILP/SE judges the class of unknown data by majority using multiple hypothesises obtained in repeated execution. Experiments were conducted to show the performance of ILP/SE using the mutagenesis dataset. The result indicates that the ILP/SE approach outperforms the previous method using Progol for classification accuracy. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books (...) of the Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

This dissertation is comprised of three parts. The first part is an intellectual historical thesis, regarding the place of Jean Piaget in philosophic thought. In Chapter One I outline the differences between my thesis and Piaget's position on the development of spatial concepts. My second chapter places his theory within the context of congruent accounts from the philosophy of nature, neurophysiology, and philosophy of psychology. Chapter Three situates him in relation to a selection of philosophers in the history of western (...) philosophy, through a metapsychology. ;In Part II I provide a dynamic account of the order of conceptual development, and clarification of the concepts of topological space, projective space, and euclidean or metric space.$\sp1$ In three chapters I outline a systematic analysis of the genetic development of the concepts based on an analysis and critique of Piaget's observations. The emergence of each concept is shown to be a result of the experience of some incongruity between the concept immediately preceding, and experience. The order I outline differs in some specifics from that suggested by Piaget's broad outline, and I explain the differences as they occur. ;The third part of this dissertation is the most tentative. Chapter Nine discusses the kind of testing I will employ when I test the logical order of concepts. There are four kinds of modes which I use to test each concept. This is followed by Chapter Ten, which tests the dynamic development of concepts of space. In this I attempt to confirm those changes in the development of the concepts, as well as Piaget's overall framework, through the use of Piaget's pre-logical modes as well as others I have extracted from the dynamic development of concepts. ftn $\sp1$ I note here that Piaget means, by euclidean geometry, metric geometry. The distinction between geometry with a euclidean and a non-euclidean metric is not crucial for the purpose of this thesis. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive (...) rules are formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number of (...) subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5 f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Objective Having failed to achieve adequate influenza vaccination rates among employees through voluntary programmes, healthcare organisations have adopted mandatory ones. Some programmes permit religious exemptions, but little is known about who requests religious objections or why. Methods Content analysis of applications for religious exemptions from influenza vaccination at a free-standing children’s hospital in Cincinnati, Ohio, USA during the 2014–2015 influenza season. Results Twelve of 15 260 employees submitted applications requesting religious exemptions. Requestors included both clinical and non-clinical employees. All requestors (...) voluntarily identified their religious affiliation, and most were Christian. Content analysis identified six categories of reasons used to justify an exemption: risks/benefits, ethical/political, lack of direct patient contact, providence, purity and sanctity of life. Individuals articulated reasons in 1–5 categories. The most frequently cited category was purity; the vaccine and/or its mode of administration were impure, or receiving the vaccine would make the individual impure. Two individuals asserted that the vaccine contained cells derived from aborted human fetuses. Individuals also volunteered information supporting the sincerity of their beliefs including distress over previous vaccination and examples of behaviour consistent with their specific objection or their general religious commitment. All requests were approved. Conclusions Less than 0.1% of employees requested religious exemptions. Partnering with religious leaders and carefully correcting erroneous information may help address requestors’ concerns. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Hegel's Concept of Life: Self-Consciousness, Freedom, Logic by Karen NgMarina F. BykovaKaren Ng. Hegel's Concept of Life: Self-Consciousness, Freedom, Logic. Oxford: Oxford University Press, 2020. Pp. iii + 319. Hardback, $85.00.In her insightful book, Karen Ng defends the fundamental significance of Hegel's concept of life, which she considers "constitutive" not merely of his dynamic account of reason but also of his "idealist program" itself (3–4), the (...) very core structure that grounds his idealism (151, 291). Integrating this concept into his philosophy allows Hegel to resolve three systematic problems indicated in the subtitle of the book: self-consciousness, freedom or self-determination, and logical form.The book offers a systematic account of the logical concept of life by defending three interconnected claims, helpfully summarized in chapter 1. The first, rather general claim clarifies Ng's interpretive point of departure. She maintains that the "core tenets" of Hegel's philosophy can be understood through the "purposiveness theme" inherited from Kant's a priori principle of purposiveness in his Critique of Judgment (5, 43). Ng advances this claim in chapter 2, where she argues that it is working through Kant's concept of inner purposiveness of natural ends from the teleological power of judgment that leads Hegel to develop his own account of Concept, which is foundational for his entire philosophical system (61–64).Chapter 3 continues the examination of Hegel's immediate predecessors in relation to the interpretation of his "speculative identity thesis" (8), which constitutes the second claim. According to Ng, Hegel first introduces this thesis—which remains central to all his works—in the Differenzschift. In this work, Hegel, siding with Schelling, criticizes Fichte's subjective version of idealism, more specifically for his explanation of the relation between subject and object as constructed and facilitated by subjective consciousness itself, thus rendering "nature lifeless and dead" (88). Opposing this approach, in the Phenomenology of Spirit, Hegel interprets the identity of object and subject as facilitated by the relation and opposition between self-consciousness and life. Thus, the speculative identity thesis assumes a fundamental significance of life for self-consciousness. Unfolding this thesis is at the core of Hegel's absolute method in the Science of Logic as well. On Ng's reading, Hegel's speculative thesis along with his account of self-consciousness also have their roots in the purposiveness theme inherited from Kant. What is at work here is Kant's claim that the principle of purposiveness is a necessary condition for judgment, which Hegel develops into a claim about the concept of life as being constitutive for self-consciousness.In the rest of the book (chapters 4–8), devoted to a close analysis of Hegel's Science of Logic, Ng advances her third and perhaps most original claim: understanding Hegel's [End Page 527] Subjective Logic "as his own version of a 'critique of judgment'" (18). She demonstrates that this part of the Logic offers a positive account of the concept of life that Hegel develops in his critical interaction with Kant. The most illustrative in this respect is the "Subjectivity" section of the Logic, in which the form of life is presented as the ground and presupposition of Hegel's theory of concepts and judgments. According to Ng, such a reading makes evident that "life opens up the space of reasons" (234, 281).Chapter 4 takes up Hegel's immanent deduction of the Concept argument, revealing that the key to understanding it is the concept of reciprocity (Wechselwirkung) (127), most fully recognizable as an internal purposiveness of the Concept itself.Ng traces the purposiveness theme through the entirety of the Subjective Logic, establishing its significance for understanding the deduction of the Concept and for the transition to the Idea. In her analysis, she closely follows Hegel's division of the Subjective Logic and addresses Subjectivity, Objectivity, and the Idea in chapters 5–8, respectively. With chapter 5, Ng moves to a discussion of how Hegel finds judgment to arise from the "original judgement of life," the initial unity and division of subject and object within life (172). Chapter 6 extends this discussion by elucidating the tension Hegel... (shrink)

In this chapter we will deal with “mechanizing” induction, i.e. with ways in which theoretical computer science approaches inductive generalization. In the field of Machine Learning, algorithms for induction are developed. Depending on the form of the available data, the nature of these algorithms may be very different. Some of them combine geometric and statistical ideas, while others use classical reasoning based on logical formalism. However, we are not so much interested in the algorithms themselves, but more on the (...) philosophical and theoretical foundations they share. Thus in the first of two parts, we will examine different approaches and inductive assumptions in two particular learning settings. While many machine learning algorithms work well on a lot of tasks, the interpretation of the learned hypothesis is often difficult. Thus, while e.g. an algorithm surprisingly is able to determine the gender of the author of a given text with about 80 percent accuracy [Argamon and Shimoni, 2003], for a human it takes some extra effort to understand on the basis of which criteria the algorithm is able to do so. With that respect the advantage of approaches using logic are obvious: If the output hypothesis is a formula of predicate logic, it is easy to interpret. However, if decision trees or algorithms from the area of inductive logic programming are based purely on classical logic, they suffer from the fact that most universal statements do not hold for exceptional cases, and classical logic does not offer any convenient way of representing statements which are meant to hold in the “normal case”. Thus, in the second part we will focus on approaches for Nonmonotonic Reasoning that try to handle this problem. Both Machine Learning and Nonmonotonic Reasoning have been anticipated partially by work in philosophy of science and philosophical logic. At the same time, recent developments in theoretical computer science are expected to trig- ger further progress in philosophical theories of inference, confirmation, theory revision, learning, and the semantic and pragmatics of conditionals. We hope this survey will contribute to this kind of progress by building bridges between computational, logical, and philosophical accounts of induction. (shrink)

In this essay we collect and put together a number of ideas relevant to the under- standing of the phenomenon of creativity, confining our considerations mostly to the domain of cognitive psychology while we will, on a few occasions, hint at neuropsy- chological underpinnings as well. In this, we will mostly focus on creativity in science, since creativity in other domains of human endeavor have common links with scientific creativity while differing in numerous other specific respects. We begin by (...) briefly introducing a few basic notions relating to cognition, among which the notion of ‘concepts’ is of basic relevance. The myriads of concepts lodged in our mind constitute a ‘conceptual space’ of an enormously complex structure, where con- cepts are correlated by beliefs that are themselves made up of concepts and are as- sociated with emotions. The conceptual space, moreover, is perpetually in a state of dynamic evolution that is once again of a complex nature. A major component of the dynamic evolution is made up of incessant acts of inference, where an inference occurs essentially by means of a succession of correlations among concepts set up with beliefs and heuristics, the latter being beliefs of a special kind, namely, ones relatively free of emotional associations and possessed of a relatively greater degree of justification. Beliefs, along with heuristics, have been described as the ‘mind’s software’, and con- stitute important cognitive components of the self-linked psychological resources of an individual. The self is the psychological engine driving all our mental and physical activity, and is in a state of ceaseless dynamics resulting from one’s most intimate ex- periences of the world accumulating in the course of one’s journey through life. Many of our psychological resources are of a dual character, having both a self-linked and a shared character, the latter being held in common with larger groups of people and imbibed from cultural inputs. We focus on the privately held self-linked beliefs of an individual, since these are presumably of central relevance in making possible inductive inferences – ones in which there arises a fundamental need of adopting a choice or making a decision. Beliefs, decisions, and inferences, all have the common link to the self of an individual and, in this, are fundamentally analogous to free will, where all of these have an aspect of non-determinism inherent in them. Creativity involves a major restructuring of the conceptual space where a sustained inferential process eventually links remote conceptual domains, thereby opening up the possibility of a large number of new correlations between remote concepts by a cascading process. Since the process of inductive inference depends crucially on de- cisions at critical junctures of the inferential chain, it becomes necessary to examine the basic mechanism underlying the making of decisions. In the framework that we attempt to build up for the understanding of scientific creativity, this role of decision making in the inferential process assumes central relevance. With this background in place, we briefly sketch the affect theory of decisions. Affect is an innate system of response to perceptual inputs received either from the exter- nal world or from the internal physiological and psychological environment whereby a positive or negative valence gets associated with a perceptual input. Almost every sit- uation faced by an individual, even one experienced tacitly, i.e., without overt aware-ness, elicits an affective response from him, carrying a positive or negative valence that underlies all sorts of decision making, including ones carried out unconsciously in inferential processes. Referring to the process of inferential exploration of the conceptual space that gener- ates the possibility of correlations being established between remote conceptual do- mains, such exploration is guided and steered at every stage by the affect system, analogous to the way a complex computer program proceeds through junctures where the program ascertains whether specified conditions are met with by way of generating appropriate numerical values – for instance, the program takes different routes, depending on whether some particular numerical value turns out to be positive or negative. The valence generated by the affect system in the process of adoption of a choice plays a similar role which therefore is of crucial relevance in inferential processes, especially in the exploration of the conceptual space where remote domains need to be linked up – the affect system produces a response along a single value dimension, resembling a number with a sign and a magnitude. While the affect system plays a guiding role in the exploration of the conceptual space, the process of exploration itself consists of the establishment of correlations between concepts by means of beliefs and heuristics, the self-linked ones among the latter having a special role in making possible the inferential journey along alternative routes whenever the shared rules of inference become inadequate. A successful access to a remote conceptual domain, necessary for the creative solution of a standing problem or anomaly – one that could not be solved within the limited domain hitherto accessed – requires a phase of relatively slow cumulative search and then, at some stage, a rapid cascading process when a solution is in sight. Representing the conceptual space in the form of a complex network, the overall process can be likened to one of self-organized criticality commonly observed in the dynamical evolution of complex systems. In order that inferential access to remote domains may actually be possible, it is necessary that restrictions on the exploration process – necessary for setting the context in ordinary instances of inductive inference – be relaxed and a relatively free exploration in a larger conceptual terrain be made possible. This is achieved by the mind going into the default mode, where external constraints – ones imposed by shared beliefs and modes of exploration – are made inoperative. While explaining all these various aspects of the creative process, we underline the supremely important role that analogy plays in it. Broadly speaking, analogy is in the nature of a heuristic, establishing correlations between concepts. However, analo- gies are very special in that these are particularly effective in establishing correlations among remote concepts, since analogy works without regard to the contiguity of the concepts in the conceptual space. In establishing links between concepts, analogies have the power to light up entire terrains in the conceptual space when a rapid cas- cading of fresh correlations becomes possible. The creative process occurs within the mind of a single individual or of a few closely collaborating individuals, but is then continued by an entire epistemic community, eventually resulting in a conceptual revolution. Such conceptual revolutions make pos- sible the radical revision of scientific theories whereby the scope of an extant theory is broadened and a new theoretical framework makes its appearance. The emerging theory is characterized by a certain degree of incommensurability when compared with the earlier one – a feature that may appear strange at first sight. But incommen- surability does not mean incompatibility and the apparently contrary features of the relation between the successive theories may be traced to the multi-layered structureof the conceptual space where concepts are correlated not by means of single links but by multiple ones, thereby generating multiple layers of correlation, among which some are retained and some created afresh in a conceptual restructuring. We conclude with the observation that creativity occurs on all scales. Analogous to correlations being set up across domains in the conceptual space and new domains being generated, processes with similar features can occur within the confines of a domain where a new layer of inferential links may be generated, connecting up sub- domains. In this context, insight can be looked upon as an instance of creativity within the confines of a domain of a relatively limited extent. (shrink)

In this thesis I defend and pursue that line about the foundations of probability theory which has come to be known as "the logicist view about probability", and, in particular, the shape which it took in Carnap's Inductive Logic. ;Most philosophers who now deal with probability theory claim that Carnap's program of Inductive Logic has failed. The main aim of my thesis is to show that this judgment is based on a fundamental misunderstanding about the (...) nature and the aim of inductive logic. To that end, I follow, in chapter 1, the events in the history of probability, logic and mathematics which led to choosing certain requirements as the requirements which any theory about the foundations of probability must fulfill in order to be acceptable. ;In chapter 2 I explain how Carnap's inductive logic fulfills those requirements and how the method it uses to give foundations to probability theory can also be used to solve another major problem about probability, namely, the problem of statistical inference. ;Chapter 3 shows how the ideas explained in chapter 2 were developed, formally, by Carnap, and how Carnap's program can be continued in a particular case, that of reasoning by analogy. ;Finally, in chapter 4, I attempt to show that subjectivism about probability theory, the rival theory to Carnap's logicism, does not succeed in meeting the most basic requirement for the acceptability of any theory about the foundations of probability. (shrink)

This article proposes a new model of human concept learning that provides a rational analysis of learning feature‐based concepts. This model is built upon Bayesian inference for a grammatically structured hypothesis space—a concept language of logical rules. This article compares the model predictions to human generalization judgments in several well‐known category learning experiments, and finds good agreement for both average and individual participant generalizations. This article further investigates judgments for a broad set of 7‐feature concepts—a more natural setting in (...) several ways—and again finds that the model explains human performance. (shrink)

Carnap's Inductive Logic, like most philosophical discussions of induction, is designed for the case of independent trials. To take account of periodicities, and more generally of order, the account must be extended. From both a physical and a probabilistic point of view, the first and fundamental step is to extend Carnap's inductive logic to the case of finite Markov chains. Kuipers (1988) and Martin (1967) suggest a natural way in which this can be done. The (...) probabilistic character of Carnapian inductive logic(s) for Markov chains and their relationship to Carnap's inductive logic(s) is discussed at various levels of Bayesian analysis. (shrink)

continent. 2.1 (2012): 40–43. Lance Olsen is a professor of Writing and Literature at the University of Utah, Chair of the FC2 Board of directors, and, most importantly, author or editor of over twenty books of and about innovative literature. He is one of the true champions of prose as a viable contemporary art form. He has just published Architectures of Possibility (written with Trevor Dodge), a book that—as Olsen's works often do—exceeds the usual boundaries of its genre as (...) it explores his interests in narrative theory and pedagogy. The book is a kind of “anti-textbook;” a performative polemic against the stale, conservative and monolithic conception of the literary that so often dominates institutional discourse around creative writing. The following interview takes the occasion of AoP's publication as a chance to speak with Olsen about the book itself as well as to engage with larger, unanswerable, questions about the futures and intersections of literature and education. —Ben Segal INTERVIEW: 1) First, I want to start before the beginning, with the title. I’m really fascinated by the concept it conjures. Can you say something about innovative/experimental/(choose your adjective) literature in relation to both ideas around architecture and possibility? Innovative or experimental are tremendously fraught adjectives, needless to say. But for the purposes of my book, they modify a fiction concerned with the questions: What is fiction? What can it do, and how, and why? Now, of course, what looks “innovative” or “experimental” to one at 17 may not be what looks “innovative” or “experimental” to one at 27 or 57, and what looks “innovative” or “experimental” in 1812 may not be what looks “innovative” or “experimental” in 2012. A certain existential and historical perspectivism is always at work. But I think it’s fair to say that innovative and experimental usually refer to a narrativity that includes a self-reflective awareness of and engagement with theoretical inquiry, concerns, and obsessions, as well as a sense of being in conversation with fiction across space and time. One can't create challenging writing in a vacuum; it has to challenge in relation to something. So contemporary writers interested in the subject are not only in pursuit of the innovative, but are also always-already writing subsequent to it—writing, that is, in its long wake. Architectures of Possibility conceives of creativity as a possibility space, a locale just outside our comfort zones where we can and should take multiple chances in order to imagine in new ways, explore fresh strategies for finding and cultivating ideas, re-view what it is we’re doing and why, better understand what Samuel Beckett meant when he wrote: “Try again. Fail again. Fail better.” It reminds us that there are other ways of narrating our worlds and ourselves than those we have inherited from the entertainment industry, the government, academia, previous writing, and so on. 2) AoP seems to be directed at several audiences (and purposes) simultaneously. What I mean is that it seems at times a polemic in favor of innovative literature, at other times a creative writing textbook, and still other times a guide to the network of publishers, journals, and programs that make up the current world of non-mainstream literary art in the U.S. In my mind, Architectures is a theorized anti-textbook about writing. Most textbooks on the subject (think of Janet Burroway’s Writing Fiction: A Guide to Narrative Craft , taught in most creative-writing classroom across the country) orchestrate how to construct conventional stories. They instruct from a place of power how to generate familiar stories that are repeated so often that many of us begin to take them as the primary model for narrativity, if not unconsciously as a kind of truth. The result, as Brian Kiteley points out in 3 A.M. Epiphany (one of the only other alternative textbooks about innovative writing around, by the way, and a tremendous repository of exercises), is merely competent texts. Architectures problematizes that gesture by outlining what conventional narrativity looks like, urging writers to think about its ideology of form as well as content, and invites them to imagine writing, not as a set of relatively stable conventions, but, rather, as a possibility space where everything can and should be thought, tried, challenged. It thereby rhymes with Roland Barthes’s definition of literature: the question minus the answer—which is to say Architectures poses complications to the act of writing rather than solutions. 3) One of the most notable things about the book is the use of interviews. This is also one of the reasons that I think the book works so well for a variety of audiences—that anyone with even a passing interest in the state and future of literature will have an interest in your conversation with people like Ben Marcus, Samuel Delany, and Lydia Davis. I was hoping you could just talk a little about how you chose these subjects to interview, how you edited the interview material, and which answers you received struck you the most. Experimentalism , like realism , wants to appear in the plural. The idea of gathering more than forty interviews (with the help of my awesome collaborator, Trevor Dodge, himself a fine innovative author) represents an attempt to suggest that: the wide, rich, exciting opportunities inherent in the term. There are interviews with younger writers, elder statesmen in the field, publishers, editors, hypermedia artists, comic book makers, and so on: Joe Wenderoth, Carole Maso, Scott McCloud, Nick Montfort, Kathy Acker, et al. Trevor and I decided to do flash interviews: short, concentrated Q&As, each focusing on a particular troubling of writing. We only lightly edited the results to match the manuscript’s overall style, and every interview arrived as a surprise housing several unexpected insights. Three brief examples: Michael Mejia, when asked about what he dreads when setting about writing: “Dread is an interesting word here. I associate it less with loathing or aversion, I suppose, than with a kind of productive fear. Do I dread a project’s failure? Sure, who doesn’t? Who wants to waste time on something that comes to nothing, or is unreadable? But then, what do these terms mean, and who or what defines a work as a ‘failure,’ as ‘waste,’ as ‘unreadable’? Should a work actually try to interrogate and exceed these conceptual limitations? My tendency is to write into dread in order to reveal to myself, as much as to any reader that may come after, the varied complacencies that make other, mostly more conventional writings, readable. It’s at the frontier between readability (security) and unreadability (terror) that I want to live creatively.” Carole Maso, when asked what she’d like a sentence to accomplish: “I think a sentence can if allowed carry emotional and intellectual states as they flee, as they come and go, an escaping essence difficult to hold in other ways. In this way I think the sentence can work as a phrase of music does, sounding something large and elusive in us. Alternatively it can provide sometimes a stability, an essence, a moment of being. Unlike music the sentence also of course carries language with all its potential for meaning making and memory traces and association with it as well. I probably love the accretion of sentences most—those patterns, that shimmer, that resonance.” Shelley Jackson, when asked what is innovative about the innovative: “The purpose of the innovative is, I think, to wake us up. We are not quite alive, most of the time; we occupy a sort of cartoon version of our lives, its lines made smooth by repetition. Writing can open the seams in that world, reintroduce us to the real lives that we have forgotten. Maybe all good writing is innovative in some sense, in that it shows or tells or makes you feel something you never felt before—something for which you have no cartoon ready.” 4) You talk a little about N. Katherine Hayles’s concept of Media Specific Analysis and propose the supplemental notion of Medium Specific Generation—basically taking Hayles and applying her thought from the perspective of the writer. I’ve been trying to develop somewhat related theoretical frameworks, so I was really excited to come upon this section of the book. I’m wondering if you can talk a little more about this idea and, in general, about the potentials that you see as being opened up by writers engaging with and exploiting different media as literary platforms? “Lulled into somnolence by five hundred years of print,” Hayles urges in her (at least for me) transformative 2004 essay, “Print is Flat, Code is Deep,” “literary analysis should awaken to the importance of media-specific analysis, a mode of critical attention which recognizes that all texts are instantiated and that the nature of the medium in which they are instantiated matters.” She goes on to argue critics should learn to become more attuned to the materiality of the medium under investigation—which is to say a story isn’t a story isn’t a story. Rather, the “same” story remediated through film is intrinsically different from that story remediated through conventionally printed books is intrinsically different from that story remediated through hypermedia. “Materiality,” Hayles goes on, “is reconceptualized as the interplay between a text’s physical characteristics and its signifying strategies, a move that entwines instantiation and signification at the outset.” My point in Architectures is simply to emphasize Media Specific Generation: the idea that when writing you should be cognizant, not only of the thematics of the text you are working on, and, as it were, the internal components of its narrativity (character, language, plot, etc.), but also of the material embodiment those components take, and, perhaps more important, the material embodiment those components can take. The idea that the way texts matter matters isn’t something usually addressed in any significant way in creative-writing classrooms and textbooks. It may almost go without saying such experimentation with typography, layout, and white space has a long tradition—certainly one that tracks back at least as far as Guillaume Apollinaire’s early twentieth-century Calligrammes , Laurence Sterne’s textually ribald eighteenth-century Tristram Shandy , although one could arguably plot a hypothetical trajectory that reaches to ancient Greek romances like Achilles Tatius’ second-century Leucippe and Clitophon . Experiments into atomic materiality and digital immateriality bracket the definition of “book” at the same time they highlight Michael Martone’s prediction of its present future as increasingly viral, collaborative, and ephemeral. Or, as Matthew Battles points out: the future of the “book” has already arrived, and it is “ethereal and networked” rather than “an immutable brick.”While conventional writing and reading practices are conceptualized as private, individual, relatively fixed experiences, many of the new forms indicate that writing and reading—from production through dissemination—are rapidly becoming public, collective, incrementally unfixed experiences. That strikes me as an astonishing set of opportunities for a writer to investigate. 5) Another concept you elaborate in AoP is that of limit texts, basically texts that, once you read them, change what you imagine as the shape/horizon/potential of literature. You provide a fantastic reading list of limit texts at the end of AoP. I was hoping you could talk about a few of them in terms of how they specifically operate as limit texts for you—how they expand your understanding of what literature could be or do. Karl Jaspers coined the word Grenzsituationen (border/limit situations) to describe existential moments accompanied by anxiety in which the human mind is forced to confront the restrictions of its existing forms—moments that make us abandon, fleetingly, the securities of our limitedness and enter new realms of self-consciousness. Death, for example. Limit texts are a variety of disturbance that carries various elements of narrativity to their brink so the reader can never quite imagine them in the same terms again. Once you’ve taken one down from the shelf, you’ll never be able to put it back up again. They won’t leave you alone. They will continue to work on your imagination long after you’ve read them. Simply by being in the world, they ask us to embrace difficulty, freedom, radical skepticism. One of the most important for me is Samuel Beckett’s The Unnamable . Instead of establishing conventional setting and building traditional character, from its first words it unsettles both: “Where now? Who now? When now?” That first trio of question marks broadcasts the thematics of the writing (“novel” may be too strong a word) that will follow: it is all about a voice (or, perhaps, voices, about the grammatical mistake of the first-person pronoun), a consciousness (maybe, again, too strong a word), often genderless, removed from place and chronology and socioeconomic reality, hovering in a state of perpetual aporia. All it knows is what it doesn’t know, and its not-knowing is blackly, sardonically comic. The Unnamable is the embodiment of an unreliable narrator—a subject position that can’t trust itself, let alone be trusted by a reader. It contradicts, takes back, digresses, undoes what it just did, forgets, lies, hallucinates gloriously. The language is abstract, disembodied, devoid of sensory data, grayish rather than painterly in texture. Without knowing this passage is from a novel, a reader might well conclude s/he were reading a patch of (anti-)Cartesian philosophy. It might be helpful to conceive of what Beckett is doing as post-genre writing, then, or perhaps what Raymond Federman referred to as critifiction—a mode that blurs conventional distinctions between theory and narrative. In completely different register, and much more recently, Anne Carson’s Nox blew me away. It takes the form of an elegy for her older brother, whom she didn’t know well and who died unexpectedly while on the run from the law in Europe. The thing itself arrives in a box that simulates a thick book, as well as the brother’s textual coffin. Open it, and inside you discover, not a codex, but an accordioned series of “pages” that folds out into an arrangement that suggests an ancient scroll (Carson is, perhaps illuminatingly, a professor of classics) made up of shards of her brother’s letters, old photographs, tickets, Carson’s observations, Catullus’ poem 101 (the one addressed to the Roman poet’s dead brother, a doubling of Carson’s situation), and extensive dictionary entries on all the words that compose that poem. The aggregate produces a collage about the impossibilities of aggregates, the impossibilities of understanding fully, of capturing absences in language. At times Nox feels less an example of what most readers consider a book than something closer to a three-dimensional work of assemblage art. It’s a beautiful mechanism for contemplating Media Specific Analysis, for urging us all to be more extreme. 6) Finally, I want to talk a little about pedagogy and institutions. I’m less interested in questions like “Are MFA programs good for writers?” than in questions about how your role as teacher informs your understanding of literature and your writing practice. I’m also very curious about your take on how commercially marginal literary art is largely patronized by large state institutions and at the same time often imagines itself as a critical and even possibly revolutionary practice. How have your own positions within universities and university-affiliated organizations shaped your thinking about them and about innovative literature? I can imagine in many ways it might make you even more critical. And (I know, another ‘and’...) how does AoP (especially given its relation to Rebel Yell , your previous text on creative writing) reflect your personal history and experience as a teacher and member of communities that are largely defined by institutions? In the classroom, I try to generate the pedagogical field I would have liked to have inhabited as a student, but didn’t. Roland Barthes has a lovely line about this: “We need to substitute for the magisterial [classroom] space of the past (the word delivered by the master from the pulpit above with the audience below, the flock, the sheep, the herd)—a less upright, less Euclidean space where no one, neither teacher nor students, would ever be in his final place.” Easier said than done, of course, but an important life project for all who think of themselves as educators. My own classroom, my own writing, and Architectures of Possibility itself attempt to create the sort of possibility space where, as I mentioned at the outset of our interview, everything should be thought, tried, challenged; where everything rhymes with Roland Barthes’s definition of literature: the question minus the answer. I’m not sure I could write what I’m writing now without the conversations I have almost daily with my students, the conversations they have with each other, the conversations we all have with the texts we study. Especially in light of the paradigm shift over the last, say, quarter century from academia as intellectual exploration to academia as McDonaldized trade school, the irony isn’t lost on me concerning the discrepancy between the safe harbor innovative authors find there and the cultural critiques those authors launch through their writing and pedagogical work. In 2001, I quit my full professorship at one institution precisely because of my disappointment over what had happened to the learning environment there. I had no intentions of reentering the field. In 2007, however, the University of Utah approached me, and I found myself in an environment much more hospitable to the sort of work I want to do—teaching experimental narrative theory and practice. It isn’t by any means a simple irony. One could easily argue innovative writing and pedagogy represents the trace of the paradigm Barthes suggests, and that trace is tremendously productive in all kinds of ways. Innovative writing has never and will never change the world in any large, macrocosmic way. But we’ve all had our lives changed, one by one, by an encounter with a difficult, rich, resonant piece of prose, poetry, music, art, you name it. We’ve all had our lives changed at the ahistorical, microcosmic moment by a class we’ve taken, a teacher we’ve studied with, to such an extent that we became, quite literally, different people. I just came across a stunning set of sentences from Derrida on the topic: “What is education? The death of the parents.” That’s what we’re all up to in the innovative, be it in written texts or the texts we call our classrooms or the texts we call our politics: trying to disrupt what both can and can’t be disrupted, trying to undo what both can and can’t be undone, continuously. (shrink)

Should scientists value simple theories? Is fruitfulness an important criterion to assess scientific theories? What role moral, social, and political values should have in the assessment of scientific theories? In recent years, there has been an increasing interest among philosophers of science in studying how cognitive and non-cognitive values influence and should influence the assessment and comparison of scientific theories. While cognitive values (such as simplicity and fruitfulness) are features of scientific theories that are indicative of the truth or empirical (...) adequacy of theories, non-cognitive values are moral, political, social, and economic values. Understanding the roles of values in science is a particularly urgent issue. Clarifying the importance of cognitive values is important in order to be able to make accurate comparisons of scientific theories. Understanding the influence of non-cognitive values on science is crucial because moral, social, and political values are involved in many stages of research, such as decisions on methodologies and allocation of funds. Since these decisions affect all the members of the society (scientists, non-experts, and political institutions), understanding the impact of non-cognitive values on these choices is of primary importance. Although a large body of literature has investigated the roles of cognitive and non-cognitive values in theory appraisal, several questions remain to be analysed. In this dissertation, I address four questions by using two main methods, namely the analysis of case studies from evolutionary psychology and the experimental method. First, while philosophers have clarified the importance and roles in theory appraisal of some cognitive values, little or no attention has been paid to other values. In this dissertation, I have started filling this gap by formulating a clear explication and a simple strategy to be employed in theory appraisal for one of the values that have attracted little attention, namely fruitfulness. I have explicated fruitfulness as the ability of programs to extend their content and suggested considering research questions and discovery heuristics to assess this ability. Moreover, I have used my account to assess the fruitfulness of evolutionary psychology. Second, some philosophers of science argue that cognitive values are desirable and relevant to the assessment of theories because they are indicative of the truth or empirical adequacy of theories. However, why is it so? In my dissertation, I develop a context-sensitive approach to values and I argue that in order to understand the ground for the desirability of cognitive values and make an accurate appraisal of theories, we have to consider specific factors of the context in which theories are assessed, such as the availability of methodologies and the way cognitive values are interrelated to each other in that context. Third, philosophers have traditionally argued that the influence of non-cognitive values on scientific reasoning threatens the epistemic authority of science. I have challenged this view and argued that some non-cognitive values can play a cognitive role in science, i.e., they can be epistemically beneficial to the assessment of scientific theories. On the basis of a case study (the account of human mating in evolutionary psychology), I have argued that feminist values have positively contributed to theory appraisal in various ways, such as by raising sensitivity to evidence that was neglected because of gender bias. Fourth, some philosophers have argued that non-cognitive values play a legitimate role in cases of inductive risk, namely cases in which scientists may wrongly assess scientific hypotheses (e.g. accepting a hypothesis that should be rejected) because of some uncertainty due to mixed results or disagreement on the reliability of methodologies. Mistakes can have consequences that can be morally or economically undesirable and non-cognitive values, some philosophers argue, provide the standards to evaluate and compare these possible consequences. However, little is known on how - specifically - non-cognitive values influence this evaluation. To address this issue, I have conducted an experimental study clarifying how personal features, political values, and specific aspects of a risk (e.g. the chance of incurring Type I vs. Type II errors) determine people’s reasoning about cases of inductive risk. On the basis of these results, I have discussed recent institutional calls for the need to align research agendas and technological development to citizens’ values, needs, and expectations. (shrink)

This paper presents an information-based logic that is applied to the analysis of entailment, implicature and presupposition in natural language. The logic is very fine-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality, paraconsistency, relevance, and defeasibility: once these are accounted for, the data on implicature and presupposition comes quite naturally.The logic is based on the family of (...) semantic spaces known as bilattices, originally proposed by Ginsberg (1988), and used extensively by Fitting (1989, 1992). Specifically, the logic is based on a subset of bilattices that I call evidential bilattices, constructed as the Cartesian product of certain algebras with themselves. The specific details of the epistemic agent approach of the logical system is derived from the work of Belnap (1975, 1977), augmented by the use of evidential links for inferencing. An important property of the system is that it has been implemented using an extension of Fitting's work on bilattice logic programming (1989, 1991) to build a model-based inference engine for the augmented Belnap logic. This theorem prover is very efficient for a reasonably wide range of inferences. (shrink)

How does one become an effective teacher? What can be done to stem high attrition rates among beginning teachers? While many teachers are left to ‘sink or swim’ in their first year—learning by trial and error, there remain a number of outstanding examples of collaboration and collegiality in teacher induction programs. Analysis of the most exemplary teacher induction programs from Australia, Britain, Canada, France, Germany, Japan, New Zealand and the United States revealed common attributes and exceptional features. The (...) class='Hi'>most successful teacher induction programs reported here include opportunities for experts and neophytes to learn together in a supportive environment promoting time for collaboration, reflection and acculturation into the profession of teaching. Furthermore, several practices unique to specific regions were highlighted. These included extended internship programs, specially trained mentors, comprehensive inservice training and reduced teaching assignments for beginning teachers with an emphasis on assistance rather than assessment. (shrink)

continent. 2.2 (2012): 60–63 Translated by Rodrigo Maltez Novaes. From the forthcoming book Post-History , Minneapolis: Univocal Publishing, 2013. It is not necessary to have a keen ear in order to find out that the steps we take towards the future sound hollow. But it is necessary to have concentrated hearing if one wishes to find out which type of vacuity resonates with our progress. There are several types of vacuity, and ours must be compared to others, if the aim (...) is to understand it. The incomparable is incomprehensible. If we affirm that our situation is incomparable, we give up the effort to grasp it. The comparison that imposes itself is to the vacuity of the Baroque. There are innumerable traces in the present that evoke the Baroque. We bear the mark of the same somber rationalism (logics, informatics, cybernetics), and of the same magic and fanatic irrationalism (mass media, phantastic ideologies). But there is a decisive difference. Humanity advanced over a stage during the Baroque. All of its gestures, even the most sincere, were marked by theatricality. The vacuity that resonated under its feet was of the void under the stage. Baroque man represented. 1 For example he represented faith in waging religious wars. Baroque vacuity was the consequence of a medieval loss of faith in dogmas . Our vacuity is different. We do not represent anything. Our world is not a stage. We are not actors, and if we act, it is not to represent a drama, but to divert the audience's attention and our own from the subjects that really matter. We act like criminals that try to hide their tracks. We pretend. Our progress is a farce. The vacuity under our feet is not Baroque. We have not lost our faith in dogmas: we have lost faith in ourselves . We are as counter-reformists as was the Baroque (we want to cover up the recent revolution with warm cloths), but for different reasons. Although comparable with the Baroque, in certain aspects, our situation is in fact incomparable to any other. That is because an incomparable, unheard of, never before seen event happened recently, which emptied the ground we tread. Auschwitz . Other posterior events; Hiroshima, the Gulags, are nothing but variations of the first. Therefore every attempt to grasp the present leads to the following questions: how was Auschwitz possible? How can we live after this? Such questions relate not only to the ones directly or indirectly responsible, and not only to those who were directly or indirectly hit by it: they relate to everyone who takes part in our culture. Because what is so incomparable, unheard of, never before seen and therefore incomprehensible in Auschwitz, is that it was there that Western culture revealed one of its inherent virtualities. Auschwitz is a characteristic realization of our culture. It is neither the product of a particular Western ideology, nor of specific “advanced” industrial techniques. It springs directly from the depths of culture and of its concepts and values. The possibility to realize Auschwitzes is implicit within our culture from the very start: the Western “project” already harbored it, although as a remote possibility. Auschwitz lies within the initial program of the West, which progressively realizes all of its virtualities as history unfolds. That is why the question that Auschwitz poses before us is not: how did it happen? It serves no purpose to “explain” Auschwitz. The fundamental question is: how was it possible? Because what is being questioned is not the extermination camp, but the West. Thus one other question: how to live within a culture henceforth unmasked? Everything that happened afterwards resonates with such a question, with such vacuity. Every economic, social, political, technical, scientific, artistic, philosophic event is corroded by such an undigested question. The distance that separates us from the event does not mitigate the abyss, it erodes it even deeper. Because the distance progressively dissolves the aura of the horror that envelops the event, and it progressively opens up a vision of the scene. It progressively reveals that there all of our categories, all of our “models”, suffered an irreparable shipwreck. Auschwitz was a revolutionary event, in the sense that it overthrew our culture. Insofar as we seek ways to cover up such revolution with trips to the moon or with genetic manipulations, we are counter-revolutionaries: we are inverting the course of history in order to cover up the past. The unspoken in Auschwitz is not the mass murder, it is not the crime . It is the ultimate reification of people into amorphous objects, into ashes. The Western tendency towards objectification was finally realized and it was done so in the shape of an apparatus . The SS were functionaries of an extermination apparatus, and their victims functioned in function of their own annihilation. The extermination camp's program, once it started functioning, developed in an automatic fashion, autonomous from the decisions of the initial programmers, even if, as it effectively did, it contributed to the defeat of the programmers. The SS and the Jews functioned one in function of the other like cogwheels. The models for such functionality were provided by the highest of Western values: the SS behaved like “heroes” and the Jews like “martyrs”. This is an apparatus that functions at a borderline situation: objective even beyond death. What has just been said is intolerable. We cannot accept it and so we mobilize arguments against it. Good arguments. The SS behaved like criminals: they removed the gold teeth from the cadavers. The Jews behaved like victims: they rose up in the Warsaw ghetto. Such arguments are true, but they do not reach the nucleus, the “ eidos ” of the phenomenon: they do not grasp it. Although there was “normal” behavior: (theft, murder, revolt, heroism), there was also “abnormal” behavior: functionality during a borderline situation. And this is what counts. There, for the first time in the history of humanity, an apparatus was put into operation that was programmed with the most advanced techniques available, which realized the objectification of man, together with the functional collaboration of man. The previous horrors committed by Western society against other societies and against itself (and there are many) were crimes . They were violations of Western models of behavior: anti-Christian, anti-human, irrational. So that it is possible to condemn them and continue to be Western, even if the horror is so colossal, such as the enslavement of Africans. However, it is not possible to condemn Auschwitz and continue to adhere consciously to the West. Auschwitz is not a violation of Western models of behavior, it is, on the contrary, the result of the application of such models. Our culture allowed its mystifying mask to fall and must be rejected in toto if we admit that the purpose of every culture is to allow for the convivial existence of men that recognize each other mutually as subjects. However: it is not possible to reject one's own culture. It is the ground we tread . Those who seek to reject their own culture (as Nietzsche did in rejecting Judeo-Christianity), fall victim to madness. Those who reject their culture's models, are incapable of grasping the world in which they live. Cultural models are traps to catch the world. Those who seek to substitute their own models for other's (for example by shouting “Hare Krishna”) will find that such exotic models have already been caught by the very models to be substituted. There is no exit: we are condemned to use our models and to serve such models, even after they have been unmasked, if we wish to continue living. The only alternative would be to commit suicide. That is: we must continue our economic, political, scientific, artistic, philosophic activities despite Auschwitz. We must continue progressing despite everything . That is why there are those who recommend that we should seek to forget what happened, that we should repress the event. They sustain that enough has already been said and written about the subject and that it is time to “overcome” it. But such an ostrich strategy reveals itself disastrous. Because the result is that Auschwitz transfers itself from Poland of the 1940s to the post-industrial society of the future. What characterizes the extermination camp is precisely that it is not an event that can be “overcome”, because it is the first realization of an inherent virtuality within the Western project, which will repeat itself in other formats unless we become totally conscious of it. The advantage (if this is an appropriate term) that Auschwitz offers us, is to give us a concrete example of the West’s tendency towards the apparatus. For the first time in our history it is possible for us to experience concretely the utopia inherent in our culture. For the first time in our history we have the experience that utopia, no matter in what form, towards which we progress, is the extermination camp. Everywhere we can observe, as of now, the emergence of variations on the theme “Auschwitz”. Everywhere apparatus spring, just like mushrooms after a Nazi rain, from the ground that has become rotten. Certainly: such new apparatus are not externally similar to the Nazi extermination camps. Their labels are different, as are the ideologies that pretend to inspire them. Even the apparatus that admittedly envision extermination, such as the Gulags, the ones of a future nuclear war, or the ones that functioned in Vietnam, claim to be different from Auschwitz. Others claim to be “friends of mankind”, such as the scientific, technical and administrative apparatus. But such labels and such ideologies are deceptive and serve only to cover up the essence of apparatus. They are all just like Auschwitz, black boxes that function with complex inner-workings in order to realize a program. They all function according to an inertia that is inherent to them and such functionality escapes , from a certain point, the control of their initial programmers. In a final analysis such apparatuses function, all of them, towards the annihilation of all their functionaries, including their programmers. Exactly because they objectify and dehumanize man. Thus Western culture reveals itself as a project that seeks to transform itself into an apparatus. What characterizes the West is its capacity for an objectifying transcendence. Such transcendence allows for the transformation of all phenomena, including the human phenomenon, into an object of knowledge and manipulation. The space for such transcendence opened up thanks to Judeo-Christianity and resulted, in the course of our history, in science, technique and recently, in Auschwitz. The ultimate objectification of the Jews into ashes is the ultimate victory of the spirit of the West. It is social technique taken to the extreme. Certainly: the transformation of men into ashes is primitive, incipient social technique that progressively refines itself. It will be followed by less brutal objectifications, such as the robotization of society. But it does not matter which form it will assume: it will always be an objectifying manipulation of mankind. Although the apparatus of the immediate future are not necessarily incineration ovens, all will be, and not only the nuclear ones, apparatus for the annihilation of man. The Western program contains several virtualities, not only apparatus. Numerous virtualities have not yet been realized. In this sense the “history of the West” has not ended yet, the Western game continues. But all not-yet realized virtualities are infected by apparatus. That is why it has become currently impossible to engage ourselves in the “ progress of culture .” As it would be to engage ourselves in our own annihilation. We have lost our faith in our culture, in the ground we tread. That is: we have lost faith in ourselves. It is this hollow vibration that follows our steps towards the future. What remains is for us to analyze the event “Auschwitz” in all its details in order to discover the fundamental project that realized itself there for the first time, so that we may nurture the hope to project ourselves out of that project. Out of the history of the West. This is the “post- historical” climate in which we are condemned to live from hereon. NOTES 1. In Portuguese representar (to represent) also means “to act” or “to play a role.&rdquo. (shrink)

Public debate about who or what is to blame for the rising rates of obesity and overweight shifts between two extreme opinions. The first posits overweight as the result of a lack of individual will, the second as the outcome of bodily drives, potentially triggered by the environment. Even though apparently clashing, these positions are in fact two faces of the same liberal coin. When combined, drives figure as a complication on the road to health, while a strong will should (...) be able to counter obesity. Either way, the body’s propensity to eat is to be put under control. Drawing on fieldwork in several obesity clinics and prevention sites in the Netherlands, this paper first traces how this ‘logic of control’ presents itself in clinical practices targeted at overweight people, and then goes on to explore how these practices move beyond that logic. Using the concepts of ‘will’ and ‘drives’ as analytical tools, I sketch several modes of ordering reality in which bodies, subjects, food and the environment are configured in different ways. In this way it appears that in clinical practices the terms found in public discourse take on different meanings and may even lose all relevance. The analysis reveals a richness of practiced ideals. The paper argues, finally, that making visible these alternative modes of ordering opens up a space for normative engagements with obesity care that move beyond the logic of control and its critiques. (shrink)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic (...) programming, search-space pruning and universal algebra, and implementation on transputer networks. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the (...) complications of design problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion is context-sensitive, i. e., preference among defeasible rules is determined (...) dynamically during the dialectical analysis.We show how specificity can be defined in terms of two different approaches: activation sets and derivation trees. This allows us to get a syntactic criterion that can be implemented in a computationally attractive way. The resulting definitions may be applied in general rulebased formalisms. We present theorems linking both characterizations. Finally we discuss other frameworks for defeasible reasoning in which preference handling is considered explicitly. (shrink)

This book researches the thought of Jin Yuelin’s epistemology with some notions and methods of contemporary epistemology as the frame of reference. There are two kinds of academical significance in this book, one is that author has accurately comprehended the specific content, inadequacies and contradictions in Jin’ s epistemology, recognized the methods by which Jin Yuelin built his theory of knowledge. The other is that author has known about the differences in research objects and methods between Jin’s theory and (...) contemporary epistemology, and showed the position of Jin’s epistemology in the whole theory of knowledge through the comparative study. On the one hand, the book focuses on the core problem of Jin Yuelin’ epistemology that is how objective knowledge is produced. On the other hand, it is made up of seven chapters in accordance with the structure of Jin’s Theory of Knowledge. The first chapter introduces and comparatively analyzes the comprehensions about the concepts of “knowledge” and “epistemology” between Jin Yuelin and contemporary epistemologists. This chapter supplies the means and methods for following chapters. The second chapter describes Jin’s standpoint and criticism to idealism starting mode, analyzes the objective starting mode that belongs to Jin’s theory and reveals his negative attitude to skepticism. This chapter shows the essential characteristics of the Jin Yuelin’s epistemology. The given is the content of sensation, which is the most basic part of cognitive activity. Moreover Jin Yuelin regards sensation as foundation of knowledge, so the research on theory of the given is separated from the whole study of cognitive activity and treated as the third chapter, which presents Jin’s theory of the given and analyzes the problems of Jin’s theory, then introduces some kinds of theory of the given and theory of perception in the contemporary epistemology, finally comparatively investigates theories of the given between Jin Yuelin and contemporary epistemologists. From the perspective of cognitive activity, the fourth chapter describes the perceptual activity, the activity of knowing, the activity of thinking, means and outlines of reception in Jin’s epistemology, then exposes its contradictions and inadequacies; Induction is the important research object of the Western epistemologists, similarly Jin Yuelin paid more attention to induction and regards the principle of induction as outline of reception. In fact, his standpoint about the principle of induction is vital and creative, so the study of induction separately belongs to the fifth chapter. This chapter presents the Jin’s comprehension about the principle of induction and some answers to the problem of induction in contemporary epistemology, then comparatively analyzes two kinds of the thought about induction. The sixth chapter successively introduces being, nature and fact which all are objects of cognitive activity, then analyzes the problems within them. From the perspective of cognitive results, the last chapter presents the Jin’s standpoint about verification and demonstration of proposition, definition and criteria of truth, then simply describes the point views of contemporary epistemologists about verification and truth of proposition, finally comparatively investigates two kinds of thought. From the vertical, the thesis analyzes the fundamental sections of objective knowledge one by one, such as the given, experience, idea, proposition and truth. From the horizontal, the book focuses on the three main parts of knowledge event, for example, cognitive activity, objects of knowledge and the true proposition treated as knowledge. In a word, the whole book is coherent and organic unity. Through the comparative study, it can be concluded that it is reasonable for Jin Yuelin to enjoy a high academic status, because he is the first philosopher who specializes in the study of epistemology. At the same times, he improves transmission of logic, metaphysics and epistemology from the Western to China. So, his hard work enriches and expands the realm of Chinese philosophy. With the development of the study of epistemology, descriptive content of it, such as, perceptual activity and rational activity, will be regarded as the objects of psychology and cognitive science. Meanwhile, normative content will be retained. For example, analysis of conditions of knowledge, justification for belief claims, comprehension about the proofs of justification, as well as reactions to challenges of skepticism. The latter will continue to be objects of epistemology, of course, they must establish close relationships with psychology and cognitive science. According to this prospect, we should split Jin Yuelin’s theory of knowledge, of which the descriptive content would be allocated to psychology and cognitive science. On the contrary, the normative content would be kept as important resource for deeply studying epistemology. -/- Key words: Knowledge; Contemporary epistemology; Compare; The given; Idea; The principle of induction; Fact. (shrink)

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement (...) in logic, we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

In this paper, we provide a re-interpretation of qualitative and quantitative modeling from a representationalist perspective. In this view, both approaches attempt to construct abstract representations of empirical relational structures. Whereas quantitative research uses variable-based models that abstract from individual cases, qualitative research favors case-based models that abstract from individual characteristics. Variable-based models are usually stated in the form of quantified sentences. This syntactic structure implies that sentences about individual cases are derived using deductive reasoning. In contrast, case-based models are (...) usually stated using context-dependent existential sentences. This syntactic structure implies that sentences about other cases are justifiable by inductive reasoning. We apply this representationalist perspective to the problems of generalization and replication. Using the analytical framework of modal logic, we argue that the modes of reasoning are often not only applied to the context that has been studied empirically, but also on a between-contexts level. Consequently, quantitative researchers mostly adhere to a top-down strategy of generalization, whereas qualitative researchers usually follow a bottom-up strategy of generalization. Depending on which strategy is employed, the role of replication attempts is very different. In deductive reasoning, replication attempts serve as empirical tests of the underlying theory. Therefore, failed replications imply a faulty theory. From an inductive perspective, however, replication attempts serve to explore the scope of the theory. Consequently, failed replications do not question the theory per se, but help to shape its boundary conditions. We conclude that quantitative research may benefit from a bottom-up generalization strategy as it is employed in most qualitative research programs. Inductive reasoning forces us to think about the boundary conditions of our theories and provides a framework for generalization beyond statistical testing. In this perspective, failed replications are just as informative as successful replications, because they help to explore the scope of our theories. (shrink)

Within post - Kuhnian, philosophy of science, much effort has been devoted to issues related to conceptual change, such as incommensurability, scientific progress and realism, but mostly in terms of reference, without a fine - grained theory of scientific concepts/senses. Within the philosophy of language and of mind tradition, there is a large body of work on concepts, but the application to scientific concepts has been very tentative. The aim of this paper is to propose a general framework for a (...) theory for the individuation of scientific concepts. The general view about the individuation of concepts favored here is the possession - condition approach: to individuate a concept is to identify its possession conditions. The general metascientific tools for the analysis of scientific theories are model - theoretic, more specifically, structuralist: scientific theories, the entities to which scientifc concepts belong, are model - theoretic theory - nets. The general idea about the content of scientific concepts that inspires this proposal comes from: (i) our grandfathers’ "laws - plus - correspondence rules", (ii) Kuhns "laws applied to exemplars" views and (iii) moderate operationalism. The aim is to show that some clarification can be gained applying the possesion condition appproach to (an expansion of) these three elements using structuralist metascientific tools. First, I briefly present the two main structuralist ideas I shall use: the difference between observability and non - theoreticity, and the notion of theory - net. Second, I informally introduce the five components that come from my reading of the three traditional elements; these components are, or are not, plausible independently of how they will be integrated within a theory of concept - identity. Third, I present the kore of the theory of possession conditions for concept - identity that we shall use for the integration of such components. Finally, I propose the general traits of the possession condition that corresponds to each of these five components, I present some problems and point out some possible ways of dealing with them. (shrink)

This thesis is concerned with extending the underlying logical approach as well as the breadth of applications of the proof mining program to various (mostly previously untreated) areas of nonlinear analysis and optimization, with a particular focus being placed on topics which involve set-valued operators.For this, we extend the current logical methodology of proof mining by new systems and corresponding so-called logical metatheorems that cover these more involved areas of nonlinear analysis. Most of these systems crucially rely on the (...) use of intensional methods, treating sets with potentially high quantifier complexity in the defining matrix via characteristic functions and axioms that describe only their properties and do not completely characterize the elements of the sets.The applicability of all of these metatheorems is then substantiated by a range of case studies for the respective areas which in particular also highlight the naturalness of the use of intensional methods in the design of the corresponding systems.The first new area covered thereby is the theory of nonlinear semigroups induced by corresponding evolution equations for accretive operators. In that context, we present (besides an initial foray into the area from 2015) essentially the first applications of proof mining to the theory of partial differential equations. Concretely, we provide quantitative versions of four central results on the asymptotic behavior of solutions to such equations.The second new area unlocked in this thesis is that of the continuous dual of a Banach space and its norm (which are also approached via intensional methods). This in particular relies on a proof-theoretically tame treatment of suprema over (certain) bounded sets in this intensional context which is further exploited later on. These systems, which give access to this until now untreated fundamental notion from functional analysis, are then used to provide further substantial extensions to treat various notions from convex analysis like the Fréchet derivative of a convex function, Fenchel conjugates, Bregman distances, and monotone operators on Banach spaces in the sense of Browder.These systems are then utilized to provide applications in the context of Picard- and Halpern-style iterations of so-called Bregman strongly nonexpansive mappings where we provide both new quantitative and qualitative results.Lastly, we discuss the key notion of extensionality of a set-valued operator and its relation to set-theoretic maximality principles in more depth (which was already singled out—to some degree—in previous work). We thereby exhibit an issue arising with treating full extensionality in the context of these intensional approaches to set-valued operators and present useful fragments of the full extensionality statement where these issues are avoided.Corresponding to these fragments, we discuss a range of uniform continuity statements for set-valued operators beyond the usual notion involving the Hausdorff-metric. In particular, in that context, we utilize the previous tame treatment of suprema over bounded sets to also provide the first proof-theoretic treatment of that Hausdorff-metric in the context of systems for proof mining.The applicability of this treatment of the Hausdorff-metric is then in particular substantiated by a last case study where we provide quantitative information for a Mann-type iteration of set-valued mappings which are nonexpansive w.r.t. the Hausdorff-metric.The abstract was taken directly from the thesis.Abstract prepared by Nicholas Pischke, Technische Universität Darmstadt, Darmstadt, GermanyE-mail: [email protected]: https://doi.org/10.26083/tuprints-00026584. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Crushing Pressures and Radical IdeasJohn Z. Sadler, MD (bio)Back in 2011, I wrote a paper for the Journal of Bioethical Inquiry, an Australian journal, for a special issue dedicated to ethical issues associated with psychiatric genetics research. The editor was particularly excited by the recent findings of the 5-HTT allele in psychiatric illness. I had different ideas about what I wanted to write about, and the editor, Michael Robertson, (...) graciously considered them and ultimately published the paper. At the time I was interested in the colossal investment of National Institutes of Mental Health (NIMH) research dollars in psychiatric genetic research; at the time I was troubled at the lack of on-the-ground clinical implications of this research investment, and figured an Australian journal and referees would be more generous to a critical paper on U.S. funding priorities. I dug into the National Institutes of Health (NIH), NIMH, and National Science Foundation websites and found some crude dollar evidence of respective expenditures for research funding in various disorders and focus areas, and compared these investments to psychiatric genetic research funding commitments. I will not go into details (Sadler, 2011), but the gist was that the psychiatric genetics research enterprise was and had been an extraordinarily expensive enterprise, when other research questions that could be immediately implementable into clinical care improvements remained marginally funded at best. The paper was not read widely and other than a couple of annoyed responses from psychiatric genetic researchers, not much came of it.This concern about funding priorities was one of the reasons why I was pleased to see this paper by Turkheimer and Greer which explores the long term results of the Spit for Science (S4S) initiative, which was launched grandly the same year as my paper’s whisper from down under. I hope this Philosophical Case Conference explores the many dimensions of interest for this paper, which is extraordinarily careful and even handed in its attitude, while at the same time being incisive in its analysis.My focus here is not in the science per se, which is beyond my competence. I’m interested in Turkheimer and Greer’s (T&G) conceptual overview of this research program. More specifically, I focus on T&G’s highlighting of the extraordinary willingness of the S4S authors to interpret prevailingly negative results in the most generous, even misleading, degree possible. I try to provide some possible ways of understanding this kind of research rhetoric exhibited by a cohort of highly respected, very successful scientists.I acknowledge the well-described varieties of interpretive bias that all of us are subject to. First on the list must be confirmation bias, our tendency to interpret situations in terms consistent [End Page 447] with our preconceived notions—in this case, the idea that genetics has something important to do with addictive disorders. Another might be epistemic overconfidence—the tendency to fail at interpretive skepticism in favor of one’s preferred conclusion. Related to this may also be interpretive momentum, the tendency to maintain a conviction about the correctness of one’s expectations and disregard inconsistent findings over the course of a research program—in this case, the multiple S4S studies (O’Sullivan & Schofeld, 2018). However, these kinds of biases tend to “blame” the individual authors’ thinking styles. I opine, though, that other vectors shaping the declaring-success rhetoric are more important.These sources have to do with the state of practice in doing biomedical science research in universities and particularly academic medical centers (AMCs) today. I identify several causal vectors that compel, however subtly, researchers to declare success in the face of failure. I have only picked three, and in no order of importance: 1) funding caps for NIH grants, 2) the overleveraging of university budgets and ballooning dependence on soft money, and 3) the incentivizing of intellectual property development within AMCs.Funding Caps for NIH GrantsIf you are a university or AMC, one way you hold onto your most productive scientists (e.g., grants, publications, discoveries, and status) is by paying them well. Single NIH grants today commonly amount to millions of dollars, and often tens of millions. These bring... (shrink)

Work on 'can' in Action Theory is dichotomized into two styles of analysis: (1) what I call the indeterministic analysis, whereby for x to be able to do A means that there is no obstacle to x's doing A, and (2) the hypothetical analysis, which asserts that x is able to do A if and only if x will do A if x tries (wants, wills, chooses, etc.). This paper explores the general hypothesis that 'can' is two-ways ambiguous, that (...) a sense of opportunity corresponds to (1) and a sense of ability to something after the pattern of (2), and that a general concept of 'can' of the kind often sought after by action theorists requires a certain kind of integration of both concepts into a unified definition. The two previous most well-worked-out attempts to lay out a program along these lines, those of Sellars and Chisholm, are analyzed in detail in the hope of smoothing out some of the technical differences to provide foundations for further work of this type. An attempt is made to integrate the program with some recent developments in the concept of ability in the social sciences. The applicability of this work to some very vexing and significant problems in the social sciences is suggested. (shrink)

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as (...) models (e.g., including Banach algebras or other structures of functional analysis), and ask whether the resulting extensions of first order model theory preserve some of its desirable characteristics.A formal framework for the study of structures based on Banach spaces from the perspective of model theory was first introduced by C. W. Henson in [8] and [6]. Notions of syntax and semantics for these structures were defined, and it was shown that using them one obtains a model theoretic apparatus that satisfies many of the fundamental properties of first order model theory. For instance, one has compactness, Löwenheim-Skolem, and omitting types theorems. Further aspects of the theory, namely, the fundamentals of stability and forking, were first introduced in [10] and [9].The classes of mathematical structures formally encompassed by this framework are normed linear spaces, possibly expanded with additional structure,e.g., operations, real-valued relations, and constants. This notion subsumes wide classes of structures from functional analysis. However, the restriction that the universe of a structure be a normed space is not necessary. (This restriction has a historical, rather than technical origin; specifically, the development of the theory was originally motivated by questions in Banach space geometry.) Analogous techniques can be applied if the universe is a metric space. Now, when the underlying metric topology is discrete, the resulting model theory coincides with first order model theory, so this logic extends first order in the sense described above. Furthermore, without any cost in the mathematical complexity, one can also work in multi-sorted contexts, so, for instance, one sort could be an operator algebra while another is. say, a metric space. (shrink)

Summary: The aim of this paper is to explore the relationships between Buridan’s logic and the ontology of modes modi). Modes, not considered to be really distinct from absolute entities, could serve to reduce the ontological commitment of the theory of the categories, and thus they were to become ubiquitous in this role in late medieval and early modern philosophy. After a brief analysis of the most basic argument for the real distinction between entities of several categories (“the (...) argument from separability”), I point out that despite nominalist charges to the contrary, “older realists”—that is, authors working before and around Ockham’s time—were not committed to such real distinctions, and thus to an overpopulated ontology, by their.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.2 (2003) 267-268 [Access article in PDF] Myles Burnyeat. A Map of "Metaphysics" Zeta. Pittsburgh, PA: Mathesis Publications, 2001. Pp. x + 176. Paper, $25.00. Burnyeat's map is an ambitious attempt to establish two claims about Zeta: that Aristotle employs an unusual, non-linear form of argument in Zeta, and that the discussion in Zeta is on two levels, one abstract and "logical" and (...) another specific and "metaphysical." In addition to looking at Zeta, chapter by chapter, Burnyeat examines the other works that provide the context for Zeta—the Organon for the logical level of explanation and the rest of the Metaphysics for the metaphysical level. Burnyeat argues that Aristotle's metaphysical project culminates in the theology of'Lambda, for which the metaphysics of Zeta has prepared us. The goal is to "map" or sketch the evidence for these claims rather than provide definitive arguments for them.A brief introductory chapter presents the main themes of the book. This is followed by an even briefer chapter that sets out the four routes (or independent sections of Zeta), viz. Z 3; Z 4-6, 10-11 with Z 7-9, 12; Z 13-6; and Z 17 with H 1. On all four routes, a logical discussion moves to a metaphysical discussion of form and matter.The third chapter on "signposts" is the lengthiest of all and takes the reader through the chapters of Zeta in order. It is also the most map-like of the chapters, as it requires that the reader have a copy of the Metaphysics ready to hand. Burnyeat follows other commentators in treating Zeta 7-9 and Zeta 12 as later insertions; he does, however, argue that the former and probably the latter were added by Aristotle. Chapters 7-9 are integral to the argument of Zeta, as they provide a diachronic view of artifacts and substantial beings (37). [End Page 267] Rejecting the prominence assigned Z 13 by several recent commentators, Burnyeat reads Z 13 in context with chapters 14-6. "The task of Z 13-6 is to show how the idea that substantial being is a universal such as human leads eventually, after suitable refinements and restrictions, to the conclusion that substantial being is form" (54). Wrapping up the discussion of Zeta, Burnyeat concludes that the goal of Zeta's two-level approach has been to show how logical concepts should be used to search for form.This leads directly to a chapter on the Organon. Burnyeat argues that none of the treatises making up the Organon are metaphysical; all employ an abstract (logical) mode of analysis. Even if written at different times, these treatises belong together because they are all methodological. Since form and matter belong to the metaphysical level, in the Analytics Aristotle "follows a deliberate policy of excluding form and matter" (97).In the final chapter, Burnyeat returns to the Metaphysics and considers Zeta in the context of the other books. Three "chunks," viz. books ABGE, ZHQ, and MN are briefly surveyed. The topics of Zeta are then considered in relation to Lambda. Several chapters, viz. D1 and Z1; D3 and Z 7-9, are found to have the same concerns. Burnyeat concludes with a fanciful muqo~ (story) about a dying Aristotle hastily writing a culminating metaphysical treatise.Burnyeat gives us a map—a map to prompt questions; he does not attempt to delve into many of the interpretative puzzles that have exercised other interpreters of Zeta. Thus, this book stands as a helpful counterbalance to a certain kind of scholarship on Zeta. The two interpretative claims, however, that are at the heart of Burnyeat's enterprise stand in need of further justification. One of these, the non-linearity of Zeta, seems to be too weak to support substantive claims. Burnyeat defines non-linearity as holding when "it is not the case that the successive chapters build continuously upon the results of their predecessors" (4). He then cites a few examples of linearity, e.g., Physics II. Yet the vast majority of Aristotelian... (shrink)

A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the (...) many fallacious ideas circulating regarding the nature of a fortiori reasoning. -/- The work is divided into three parts. The first part, Formalities, presents the author’s largely original theory of a fortiori argument, in all its forms and varieties. Its four (or eight) principal moods are analyzed in great detail and formally validated, and secondary moods are derived from them. A crescendo argument is distinguished from purely a fortiori argument, and similarly analyzed and validated. These argument forms are clearly distinguished from the pro rata and analogical forms of argument. Moreover, we examine the wide range of a fortiori argument; the possibilities of quantifying it; the formal interrelationships of its various moods; and their relationships to syllogistic and analogical reasoning. Although a fortiori argument is shown to be deductive, inductive forms of it are acknowledged and explained. Although a fortiori argument is essentially ontical in character, more specifically logical-epistemic and ethical-legal variants of it are acknowledged. -/- The second part of the work, Ancient and Medieval History, looks into use and discussion of a fortiori argument in Greece and Rome, in the Talmud, among post-Talmudic rabbis, and in Christian, Moslem, Chinese and Indian sources. Aristotle’s approach to a fortiori argument is described and evaluated. There is a thorough analysis of the Mishnaic qal vachomer argument, and a reassessment of the dayo principle relating to it, as well as of the Gemara’s later take on these topics. The valuable contribution, much later, by Moshe Chaim Luzzatto is duly acknowledged. Lists are drawn up of the use of a fortiori argument in the Jewish Bible, the Mishna, the works of Plato and Aristotle, the Christian Bible and the Koran; and the specific moods used are identified. Moreover, there is a pilot study of the use of a fortiori argument in the Gemara, with reference to Rodkinson’s partial edition of the Babylonian Talmud, setting detailed methodological guidelines for a fuller study. There is also a novel, detailed study of logic in general in the Torah. -/- The third part of the present work, Modern and Contemporary Authors, describes and evaluates the work of numerous (some thirty) recent contributors to a fortiori logic, as well as the articles on the subject in certain lexicons. Here, we discover that whereas a few authors in the last century or so made some significant contributions to the field, most of them shot woefully off-target in various ways. The work of each author, whether famous or unknown, is examined in detail in a dedicated chapter, or at least in a section; and his ideas on the subject are carefully weighed. The variety of theories that have been proposed is impressive, and stands witness to the complexity and elusiveness of the subject, and to the crying need for the present critical and integrative study. But whatever the intrinsic value of each work, it must be realized that even errors and lacunae are interesting because they teach us how not to proceed. -/- This book also contains, in a final appendix, some valuable contributions to general logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox. (shrink)

Recently, Brass and Dix showed 143–165) that the well founded semantics WFS can be defined as a confluent calculus of transformation rules. This led not only to a simple extension to disjunctive programs 167–213), but also to a new computation of the well-founded semantics which is linear for a broad class of programs. We take this approach as a starting point and generalize it considerably by developing a general theory of Confluent LP-systems CS . Such a system CS is a (...) rewriting system on the set of all logic programs over a fixed signature L and it induces in a natural way a canonical semantics. Moreover, we show four important applications of this theory: most of the well-known semantics are induced by confluent LP-systems , there are many more transformation rules that lead to confluent LP-systems , semantics induced by such systems can be used to model aggregation , the new systems can be used to construct interesting counterexamples to some conjectures about the space of well-behaved semantics. (shrink)

Peirce conceived of methodology, or methodeutic, as he preferred to call it, as one of the three major parts of logic taken broadly--the other two being the theory of signs and formal logic. Unlike these two, however, his theory of methodology remained mostly programmatic, and there is little more than fragmentary suggestions about it scattered through his writings. But by gathering them together and pursuing their insights, it is possible to indicate how he might have divided and developed (...) it: 1) The nature of scientific discourse and how it differs from non-scientific. 2) The logic of inquiry, both heuristic and systematic, according to the modes of argument as deductive, inductive, or abductive (i.e. hypothesis) or a combination or all three. 3) The assurance of science considered in the factors that thwart or promote inquiry. (shrink)

We critically discuss the impact of sustainable development initiatives in Kerala, India, on biodiversity and on women farmers in the matrilineal Adivasi community of the Kurichya-tribe in Wayanad. By contextualizing development programs regarding the specifically gendered access to land, division of labor, distribution of knowledge and decision-making power, we situate our analysis within the theoretical framework of feminist political ecology. We first outline women’s gaining of social and political space in local self-government institutions and then critically discuss the impacts of (...) women’s farming groups. Decentralization and development programs have aimed at empowering women and reducing poverty through improved food security. However, little success has materialized, as patriarchal power structures concerning decision-making processes as well as control over the most valuable resources and traditional knowledge have been maintained. Whereas women’s self-help groups in Kerala have enhanced their position, women’s farming groups, by contrast, have brought little betterment. In some cases they have even downsized women’s management and knowledge of resources related to agriculture and do not integrate or enhance Kurichya women’s knowledge. As some women are now introducing high-yielding rice seeds and fertilizer and as it is impossible for them to control land and get access to traditional rice seeds—the domain of men—we contest the notion of women being considered the preservers of agrobiodiversity. We argue, rather, that the construction and transformation of ecological traditional knowledge is highly dependent on the gendered multi-scaled power structures of state and community. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial time. (...) Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that (...) a four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as (...) today, I felt the full weight of the moment of truth as it confronts the individual, the man or woman of action, with the imminent necessity to decide. Alongside, as I was climbing up the ladder of education, I found myself just as well captivated by the great intellectual stories of our times, in particular 20th century analytic philosophy and, at its core, the machinery of modern logic. How do then the cool contemplative modes of the philosophical and analytic outlooks, that are better fitting of the philosopher's armchair at the fireplace, hang together with the heat of the battlefield or the angst of the ticking clock of time left to the completion of a daring special operation? Growing up I was pondering exactly that. Not accidently, and in fact as consequence, I have chosen a course in life that challenged me to visit the poles of both theory and practice. I set myself on a mission to unravel the tension between the contemplative inquiry, supposedly theoretical, aiming at the logical structure of things, and the uncompromising test of life and action. The puzzle of the gap between theory and practice has become ever since the guiding question of my life. -/- Not long ago, I met two friends, Avner Shor, a veteran combat soldier of the special forces unit I eventually commanded, and Aviram Halevi, a fellow officer with whom I served. Why will we not put into writing the ideas that guided us during our years of military action, we wondered. At that time, I used to deliver the keynote lectures to the senior officers' course of Israel central intelligence organization, the Mossad. For this I already had to put some of these ideas in writing. Avner was quick to introduce me with a notable publisher and even helped me write the first chapter. With Aviram I sat to many meetings, where he would challenge me with key questions, and we followed them with memories of operations and battles, aiming to draw the required lessons. This served me well when I finally sat down to write the first draft of the book. The result was more extensive than me and my friends had expected. I had to add a particularly long chapter dealing with the story of modern philosophy and logic. This was required, I felt, as no decision-making process lives in an intellectual vacuum. Knowingly or subconsciously, the intellectual climate of the time guides us for better or worse with the decisions we finally take. The initial draft was naturally cumbersome and inaccessible. But here I had the privilege of meeting a particularly talented editor, Rami Rothholtz. I found in Rami both an editor and a critical reader. As an infantry combat soldier at youth and now a senior journalist and editor, Rami insisted on simplifying and refining my ideas. Had it not been for his work, this book would have been literally unreadable. *** I opened my book with a brief description of a single night of a special operation deep at the Lebanon Bekaa valley, far away from Israel northern border. The mission was to kidnap a senior terror leader known to be holding in captivity an Israeli pilot. This was also the last special operation I commanded in my military career. A single special operation night, but what had to precede it? For sure, many months of intense and skillful preparations. What is Planning? This is the question with which I open up chapter (2) of the book. I confront in this chapter two approaches to planning. The first is the one I saw as a mission to myself to cultivate in my many years of military service. The second is the one I saw as representing a deep-rooted fallacy that holds a firm grip on today's conventional wisdom about planning. To further examine the logic of the competing models, I was required in chapter (3) to analyze the concept of "The Standard". I argue that the false model of planning has its roots in an attitude of an uncompromising adherence to the power of literal obedience to standards and rules. The standard, or what is outlined by a rule as prescribing a future course of action, is seen as an answer to the fundamental tension between theory (planning) and practice (execution). I argue in contrast that the standard does not produce an answer but rather what I call: "A Well-Defined Question". In essence, it is a meticulously-well-planned invitation to exercise a fresh judgment. A judgement that has as an anchor the default answer that the standard produces but is open to extension as it confronts the new frame of reference of the test of reality. In chapter (4), I present a new tool for planning and execution: "The Polygon of Risks" or "The Polygon of Execution". The Polygon is a geometric illustration of the underlying tension that exists between all dimensions of the operational project. The construction and conceptualization of the trade-offs that exist between the various dimensions - segments of the polygon - is the first topic on the planner's agenda. I position the concepts of "Daring" and "Taking Proactive and Well-Informed Risks" as necessary logical constituents of the polygon and show how in contrast the false model of planning is responsible for an operational culture that is risk-averse. It encourages, in fact, the piling up of false securities at the segments' level that eventually lead to the collapse of the polygon. The necessary trade-offs relationships that exist between the segments of the polygon express the fundamental tension between partnership and competition: partnership in a joint goal and competition over resources, both material and abstract. When this tension is not managed well, that is, when the players' local optimizations overshadow the global optimization required for the success of the project, the execution polygon collapses. In this scenario, we may find the setting of the bar of "High Standards" in a players' spheres of responsibility to conceal a hidden agenda of personal insurances taken against a possible failure. Once the overall risk is not mitigated by way of collaborative joint executional dialogue, the process that leads to a collapse of the polygon is literally unstoppable. *** In chapter (5), I discuss "(Fateful) Decisions". I examine the way in which we should translate the polygon into sequential critical decisions on the timeline. The execution polygon is not a rigid scaffolding but a dynamic conceptual illustration of the -/- project. It will need now to be converted into successive decision junctions. We will find the content of a decision and its timing on the timeline to be inseparable. The right decision is the one that is taken at the right time. The moment of decision is in fact the last moment of deliberation, the first moment available for action, i.e. the first possible "Can" is also the latest possible "Must". Deciding too soon is analog to the "Jumping of the Gun". The decision maker is forcing a pre-conceived answer to a state of affairs not ripe for an answer, e.g. the target in the shooting range is not yet erected. Late to decide and the decision maker may envision what he or she should have done but reality is no longer available for them to harness it right, e.g. consider a tennis player's frustration when reviewing a too-late-to-react move in the video replay. I review in this chapter many fateful decisions, both historical, from Napoleon's Waterloo, to a Bridge Too Far of WWII, to the failed rescue attempt of American hostages at the time of the Iranian Revolution, as well as fateful decisions I had to take in the course of my military life, both in combat and in special operations, and show the sense in which they all answer to our analysis. The theme of chapter (6) is "The Moment of Truth". This is the moment when everything is on the line and from which there is no turning back. I discuss the formative repetitive structure of the schooling and simulation phase and contrast it with the "One Shot, One Opportunity" nature of the moment of truth. This is extremely helpful when we analyze the logical structure of failures as unwarranted repetitions of past lessons. The schooling curriculum indeed consists of important abstractions drawn from lessons of the past. However, it is when we project them in a fashion that is literal or mechanical that we cross path with the possibility of a failure. The paradox of education is that what we must repeat in school and simulation must be extended and not repeated in real life. What is required of us so we do not fall into the fallacy of repetition in face of the moment of truth is the core subject of the discussion of this chapter. In chapter (7), I took a lengthy philosophical detour surveying the intellectual drama of modern logic, and in general, the story of 20th century analytic philosophy. Readers who choose to bypass the somehow demanding narrative of this drama can do so and still keep the argumentative thread of the book. However, even by way of skipping the more technical parts, I would still urge the readers to delve into the discussion in this chapter as I believe this would grant them a deeper understanding of the overall conceptual framework. I explore here the work of two key figures: the logician Kurt Gödel and the philosopher Ludwig Wittgenstein, both were crowned in 2000 by TIME Magazine, as the leading Logician and Philosopher, respectively, of the 20th Century. I review the fascinating logical result of Gödel's Incompleteness Theorem and examine its relevance as setting a theoretical limit to the power of formalization. This amazing logical result - a result that shakes the logical foundations of 20th century thought in as much as the discovery of irrational numbers shook the foundations of the Pythagorean program of the ancient Greeks - bears significantly on the question of action and the blind trust we place in the power of formalization in the form of protocols and rules. It is here that Wittgenstein's philosophy enters in full force. We follow Wittgenstein as he dismantles our conception of rules as if there were "Railroads to Infinite", i.e. as prescribing for us in-advance their proper employments in all possible -/- future eventualities. Instead we propose that the dilemma of action demands of us an extension of rules rather than a mechanical or blind repetition of their literal imperative. In turn, this extension can serve as a new lesson added to the curriculum of school and simulation. The theme of chapter (8), the concluding chapter, is Strategy, Logic, and Ethics. The chapter comes to place the ethical dilemma in the conceptual map we presented in the book. I discuss here the tension between strategy as a process of setting goals and deriving backward as it were the steps that are necessary for achieving these goals, to the inescapable dictation of the ethical imperative. This unavoidable tension is particularly important against the backdrop of contemporary culture that is guided by a vision of personal success and achievement that may threaten our ability to do what is right. Most of all, I am troubled in this chapter, with the role logic may play, first as a liberating force enabling a change that is tuned to the ethical imperative, and second, as a force designed to justify on logical grounds, as it were, the existing power structure. It is in this junction that brave individuals will be called to challenge the governing logic of the zeitgeist - logic that operates now as an oppressive force that serves the vested interest of beneficials of the existing order. When success is favored over doing what is right, as we must admit is the prevailing cultural mood of our times, that the words of Emanuel Kant carry their full weight: "Do the Right thing and leave the Consequences to God". For this we need heroes and heroines that challenge the time by bearing the full weight of responsibility that comes with the doing of what is Right. *** This book was written more than anything from the perspective of the heroes and heroines of action. Sometimes they may be missing the exact words or the full insight into the solid logical complexity that stands between them and the doing of what is right. They feel what is right to do on the battlefield of life, whether in real battle, in political or economic life or whether in the life of creativity and the quest of the intellect. They do need, in analogy, proper logical and intellectual artillery. I hope they will find the logical cannons they require as they travel through the pages of this book. The rest is in their hands at the Moment of Truth. -/- Doron Avital, Tel Aviv 2011 -/- . (shrink)

Of the scientific concepts that the American philosopher, Charles S. Peirce, analyzed in his work, two of the less commonly investigated have been those of guessing and of scientific economy. Peirce argued that guessing was the initial moment of hypothesis-formation. He also argued that economic factors play a significant role in the development and acceptance of hypotheses; however, the relationship between these two concepts has been neglected in most philosophical and scientific literature. In the following, I provide an (...) analysis of how guessing and economic considerations contribute to hypothesis-formation. This analysis focuses primarily upon medical science; specifically, the epidemiology of HIV/AIDS. By using the first case studies in medical research that led to the ‘discovery’ of HIV/AIDS, I will argue that guessing is a tool utilized by researchers that is determined, at least in part, by implicit bias and economic considerations, which ultimately effect the trajectory of hypothesis-formation and the ensuing scientific research founded upon those hypotheses. In this particular case, both the biases of researchers and their effect upon economic considerations in the initial moments of guessing led to problematic hypotheses concerning the disease, populations susceptible to the disease, and how it was transmitted within that population. By recognizing how guessing and economy relate in this particular case and the functions of these conceptual tools as they relate to the isolation and discovery of disease, we can better understand epidemiological investigations and facilitate overcoming detrimental biases in such investigations. (shrink)

The article reveals ideological-theoretical, methodological, and politico-ideological basic principles for an adequate analysis of the specifics of modern Chinese (Sinicized) Marxism. The attributive features of modern Chinese Marxism (Marxism with Chinese specifics (the adaptation of Marxism to the Chinese Context, Sinicized Marxism), as the most effective version in world history for correcting and modernizing the axiomatics of the Marxist-Leninist theoretical model of social development, as well as improving the ideology of the ruling Communist Party in order to increase the (...) effectiveness of its domestic and foreign state policies, have been characterized by means of concrete-historical and systematic comparative analysis of the ideational grounds and basic socio-philosophical postulates, political and ideological prescriptions of the program documents of the Communist Party of the Soviet Union and the Communist Party of China. Within the framework of this study, special attention has been paid to highlighting the essence and features of the Soviet and Chinese strategy of socialist construction, created to implement Marxist socialist and communist projects, as well as revealing the scientific evaluation of the differences between the political doctrines of the CPSU and the CPC in the interpretation of objective logic (the duration of stages, goals, and objectives of fundamental economic, social, political, and cultural transformations) of the process of constructing high-level development socialism ("developed socialism") and the further progressive movement of such a society to the phase of communism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Dear White Christians: For Those Still Longing for Racial Reconciliation by Jennifer HarveyMichelle WolffDear White Christians: For Those Still Longing for Racial Reconciliation Jennifer Harvey grand rapids, mi: eerdmans, 2014. 262 pp. $25.00Absent of opaque theory and disembodied ideology, Jennifer Harvey’s Dear White Christians: For Those Still Longing for Racial Reconciliation presents an indispensable introduction to the problem of “whiteness” illustrated with concrete examples from US history. Harvey’s (...) text clearly communicates the trouble with invoking universalism, colorblindness, and most specifically reconciliation as means of improving race relations. Alternatively, in the spirit of the Black Power movement, Harvey suggests that reparations more effectively atone for racism. [End Page 202]Harvey begins with a sympathetic account of churches seeking integration as the logical counter to segregation within the context of midcentury US history. While these approaches align with the ideals of the civil rights movement, Harvey goes on to elucidate the limitations of what she calls a “reconciliation paradigm.” Pointedly, Harvey asserts that reconciliation efforts fail to acknowledge the problem of whiteness (11). She therefore provocatively contends that “to be white is to be in a state of profound moral crisis” (56). This is because white identity has been constituted by violence, consistently benefits materially from that violence, and remains indistinguishable from white supremacy’s agenda (52–55). For this reason, black identity, according to Harvey, is never parallel to white identity. Reconciliation, then, problematically masks such difference via appeals to universalism.Harvey adroitly reorients approaches to problem solving away from white progressive efforts and good intentions by attending instead to African American experience, history, and requests (11–12). For this reason, she prioritizes Black Power movements over civil rights movements (65). The former Harvey understands as properly focusing on power differentials, rather than separation, as the primary issue (106). In so doing, Harvey underscores white folks’ culpability in failing to secure reparations for African Americans.In the final section of her book, Harvey describes specific US churches’ attempts at reparations programs. This section, including some of the most demonstrative and relatable chapters, contains concrete examples that echo the defensiveness, pain, and good will that frequently surface on the part of white folks in conversations about race (228–29). The process of collecting these stories and histories appears to have been nearly as beneficial as Harvey’s proposed reparations program, for history functions as confession here (206). In addition, even these constructive chapters resist an optimistic gloss on the flawed and painstaking work of reparations programs (211).Although Harvey touches on other forms of reparations, she consistently returns to economic efforts as most pressing. While financial and material reparations are immediate and measurable, and therefore consistent with the author’s preference for pragmatism over theory, they obfuscate the pervasive disadvantages that people of color suffer in the United States today. Equal candidates for employment with identical resumes, for example, too frequently experience the bias of gender and race as signified in the candidate’s name. One’s gender performance and sexual identity can exacerbate such discrimination. These gesture at the role of social currency that permeates communal life even more thoroughly than material wealth. This is to say that reparations are an important aspect for “interrupting whiteness,” and yet they cannot be the conclusion to a more just and equitable church and society.Harvey’s extraordinarily accessible text propels conversations on ethical living in classrooms, churches, and politics. Her assessment of the problem [End Page 203] of whiteness and constructive alternative suggestion for reparations efficiently prime readers for open dialogue and practical action.Michelle WolffDuke UniversityCopyright © 2016 Society of Christian Ethics... (shrink)

Evaluative studies of inductive inferences have been pursued extensively with mathematical rigor in many disciplines, such as statistics, econometrics, computer science, and formal epistemology. Attempts have been made in those disciplines to justify many different kinds of inductive inferences, to varying extents. But somehow those disciplines have said almost nothing to justify a most familiar kind of induction, an example of which is this: “We’ve seen this many ravens and they all are black, so all ravens are (...) black.” This is enumerative induction in itsfullstrength. For it does not settle with a weaker conclusion (such as “the ravens observed in the future will all be black”); nor does it proceed with any additional premise (such as the statistical IID assumption). The goal of this paper is to take some initial steps toward a justification for the full version of enumerative induction, against counterinduction, and against the skeptical policy. The idea is to explore various epistemic ideals, mathematically defined as different modes of convergence to the truth, and look for one that is weak enough to be achievable and strong enough to justify a norm that governs both the long run and the short run. So the proposal is learning-theoretic in essence, but a Bayesian version is developed as well. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 8.1 (2003) 22-36 [Access article in PDF] Art or Nature?Aristotle, Restoration Ecology, and Flowforms Trish Glazebrook He to whom nature begins to reveal her open secrets will feel an irresistible yearning for her most worthy interpreter: Art. 1Aristotle believed strongly in a distinction between artifact (technê) and nature (physis). He intended by "technê" more than is generally understood by the contemporary term "art," for (...) he meant anything produced by human intention. For example, for Aristotle medicine was technê in that the doctor produces health. The key point in distinguishing art from nature for him was that things in nature grow and develop on the basis of an internal principle of change, whereas artistic production requires an outside agent. There are some complications with the Aristotelian account: are the spider's web and the bird's nest art or nature? Aristotle can respond to this problem easily enough by arguing that spiders and birds create on the basis of instinct, while reason is requisite for artistic production. Yet some art may not meet this definition: artists may not always have a full conception of the work to be produced prior to its execution. Creativity can be emergent rather than intentional during the productive process, and may arise, for example, from the artist's interaction with the chosen material. [End Page 22]Despite these objections to the Aristotelian distinction, however, his analysis of the differences between art and nature can be usefully applied to recent debates in restoration ecology in order to argue that the human capacity to restore nature does not justify its destruction. Nature cannot be "faked," that is, recreated through art. Furthermore, the Aristotelian analysis has been influential historically by providing a conceptual basis for the technological domination of nature, as if nature were nothing more than matter upon which form can be imposed. Yet there are alternative possibilities in Aristotle's account that ecologically-minded art can bring to fruition. I will use Aristotle's analysis to suggest a potential resolution of the "faking nature" debate, and accordingly to show how contemporary, ecologically-minded art can promote an ideology of production that works with rather than against nature.Robert Elliot argues that restoration ecology does not justify environmental destruction, because faked nature (that is, nature re-created by human artifice) is not as valuable as the original. 2 I will call this claim, which is based on the idea that restoration is analogous to artistic production, "the Elliot view." I will first assess the Elliot view, and give reasons why I sympathize with his conclusions, yet find his arguments unconvincing. Second, I will present Aristotle's distinction between nature and art, with emphasis on his arguments that nature is goal-directed, in order to give content to the claim that nature has intrinsic value. Third, I will look at restoration policies and practices in the oil industry in Alberta, Canada, to establish a praxical notion of restoration, and to support Elliot's claim that nature cannot be faked. I have chosen oilfield restoration as a working example for the sake of the general methodological principle that praxes without reflections are blind, while reflections that transcend the lifeworld are empty; and specifically because Alberta leads the industry in restoration standards and practices. Finally, I will use Flowforms to argue that ecologically-minded art can demonstrate how production of artifacts need not affirm a logic of domination, but rather can open a space for an alternative conception of the human relation to nature. The Elliot View Elliot's view depends on distinguishing nature from art, and attributing a greater value to the natural. On what basis should we accept this value-hierarchy? The reasons Elliot gives are less than convincing. Ultimately his arguments rest on two points: that copies are not as good as [End Page 23] originals; and that even if an ecosystem's value could be fully restored, the value lost in the time between despoilation and restoration is irrecoverable. He simply finds "naturalness" to be more valuable than artifice. But he is not alone in... (shrink)

In plant morphology, most structures of vascular plants can easily be assigned to pre-established organ categories. However, there are also intermediate structures that do not fit those categories associated with a classical approach to morphology. To integrate the diversity of forms in the same general framework, we constructed a theoretical morphospace based on a variety of modalities where it is possible to calculate the morphological distance between plant organs. This paper gives emphasis on shoot, leaf, leaflet and trichomes while (...) ignoring the root. This will allow us to test the hypothesis that classical morphology (typology) and dynamic morphology occupy the same theoretical morphospace and the relationship between the two approaches remains a question of weighting of criteria. Our approach considers the shoot (i.e. leafy stem) as the basic morphological structural unit. A theoretical data table consisting of as many lines as there are possible combinations between different modalities of characters of a typical shoot was generated. By applying a principal components analysis (PCA) to these data it is possible to define a theoretical morphospace of shoots. Typical morphological elements (shoots, leaves, trichomes) and atypical structures (phylloclades, cladodes) including particular cases representing ‘exotic’ structures such as the epiphyllous appendages of Begonia and ‘water shoot’ and ‘leaf’ of aquatic Utricularia were placed in the morphospace. The more an organ differs from a typical shoot, the further away it will be from the barycentre of shoots. By giving a higher weight to variables used in classical typology, the different organ categories appear to be separate, as expected. If we do not make any particular arbitrary choice in terms of character weighting, as it is the case in the context of dynamic morphology, the clear separation between organs is replaced by a continuum. Contrary to typical structures, “intermediate” structures are only compatible with a dynamic morphology approach whether they are placed in the morphospace based on a ponderation compatible with typology or dynamic morphology. The difference in points of view between typology and continuum leads to a particular mode of weighting. By using an equal weighting of characters, contradictions due to the ponderation of characters are avoided, and the morphological concepts of continuum’ and ‘typology’ appear as sub-classes of ‘process’ or ‘dynamic morphology’. (shrink)

continent. 1.4 (2011): 253—278. A Sense of French Politics Politics itself is not the exercise of power or struggle for power. Politics is first of all the configuration of a space as political, the framing of a specific sphere of experience, the setting of objects posed as "common" and of subjects to whom the capacity is recognized to designate these objects and discuss about them.(1) On April 14, 2011, France implemented its controversial ban of the niqab and burqa , (...) commonly referred to as the Islamic veil, in public places. On the coattails of the 2004 prohibition of religious artifacts, including the less concealing hijab or Islamic headscarves, in schools, the veil ban sparked equal outrage across both political and theological spectra, and many on both sides of the debate were quick to inquire about enforcement. As Steven Erlanger reports, “The police do not have the authority under the law to remove full veils, only to fine or require citizenship lessons for those who violate the new law.”(2) While the legal and social implications of this interdiction are ripe for study, the reprisals for breaking the law, notably compulsory citizenship classes, illuminate the strategic governmentality underlying the French government's targeting of the Muslim community, particularly those elements it considers affiliated with fundamentalist factions and/or terrorist organizations, if only through fashion—an integral component of French citizenship. Indeed, in allowing the (fashion) police to mandate instructional courses in citizenship for offenders, France implies that any Muslim choosing to wear the niqab or burqa , perhaps even for those who are already citizens, must not be aware of the subtle nuances of dress indicative of the French citizenry within public space. Furthermore, the degree of instruction requisite to citizenship, which clearly can and must be updated as the state sees fit, cements the imagined relation between citizens and states within the discourses on the veil ban. As Sharma contends, “Concepts of citizenship are the ideological glue that bonds the nation to the state. Citizenship provides the legal framework through which the state performs its role as ruler for the nation.”(3) Speaking for/as the state, French President Nicolas Sarkozy declared in a 2009 presentation before members of the government and other citizens that the burqa “is not welcome on the territory of France.”(4) Although there is nothing unique, especially recently, about a nation-state taking extreme measures to guard itself against what it deems to be threats to its sovereignty, the way in which the ongoing discourses on hijab have (d)evolved, which coincide with recent pronouncements by governmental leaders in Germany, Britain, and France that policies of multiculturalism have “failed,”(5) points toward nationalist reterritorializations, which is also to say physical and ideological re-appropriations, of public space within democratic milieux, which remain predicated upon the mediation of spaces. As Panagia deduces from Rancière, “Democracy […] is not an institutional form of government […], but an appearance whose visibilities and audibilites arise out of the dissonant blur of the everyday.”(6) Ultimately, the veil ban represents a calculated move to regulate the every day, which is to say the micropolitics of, that which is visible and invisible within French society, which makes it nothing short of a struggle to manage (the sensation of) bodies. Re-situating the political within the context of sense, Rancière argues that the fundamental essence of politics lies within the distinction between consensus and dissensus , and whereas most consider politics proper as fundamentally concerned with the fluid operations of the state— consensus , Rancière actually locates the political within events that disrupt the normative sensory order of things— dissensus . He explains, “Politics revolves around what is seen and what can be said about it, around who has the ability to see and the talent to speak, around the properties of spaces and the possibilities of time.”(7) This reformulation of politics centers on agency and, albeit perhaps unintended, representationality and offers a useful formulation for spatializing the discourses surrounding the Islamic veil, which are mired within seemingly senseless policies and practices of objectification. Instituting a normative “regime of visibility,” the French veil ban encapsulates the political economy of agency, now both mediated and representational, under the rule of nationalist governmentalities in increasingly transnational contexts.(8) Adjudicating presence within public space signals a concern with the sensory aspects of agency itself—what Rancière terms the “distribution of the sensible,” which is “a matrix that defines a set of relations between sense and sense: that is, between a form of sensory experience and an interpretation which makes sense of it.”(9) To be concerned with sense is to focus upon the body, and this somatic repositioning of the (fashionable) citizen within the territory of the state augurs the resurgence of nationalist bio-politics within Europe, since, as Hage explicates, “Nationalism, before being an explicit practice or a mode of classification, is a state of the body. It is a way of imagining one's position within the nation and what one can aspire to as a national.”(10) The French government's attempt to make (bodily) sense of public space for its citizens by and through policies aimed against a burqa-clad Muslim minority, which might only apply to “less then 400 to fewer than 2,000” women(11), reveals the necessary, yet mercurial, transmutation of public space into national space through bio-political strategies of sense-making, which, as Hage observes, denotes that “nationalists perceive themselves as spatial managers.”(12) At the center of this concern over public space is the equally contentious dimension of governing female Islamic identity, which has become one of the main critiques levied against Islam from outsiders who view the veil in its various forms as a clear sign of the religion's actual and symbolic violence against women, even if such critiques remain ensconced within nationalist discourses. As Halim and Meyers argue, “Although Western news media may focus their coverage of Muslim women on the debate over whether and the extent to which the veil may by oppressive to the women who wear it, they have exhibited little interest in the physical oppression of violence against women in Islamic countries.”(13) While it falls outside of the scope of this analysis to arbitrate all of the dimensions of this debate, understanding some of the issues related to female identity and hijab within public space are crucial to this study. As these topics are extraordinarily complex, even and perhaps especially within the Muslim community, it is necessary to provide some context concerning the value, purpose, and meaning of the Islamic veil, which has a rich and arduous history. The Art of the Veil At present, there are only two countries, Iran and Saudi Arabia, that require women to wear hijab , which is a decidedly problematic term and concept whose locus is itself caught within a struggle of sensation. Noting the strategic reterritorialization of the term, Berger explains: The choice of the name, hijab , now widely adopted to designate the “Islamic veil,” it itself interesting, although the semantic shift it operates is not directly commented upon by its users. Although the design (both the cut and the symbolic function) of the hijab and the Iranian chador are indeed the same, as opposed, for instance, to the traditional Algerian haik , the word hijab has come to replace the term chador popularized by the Iranian revolution, as a properly Arabic (hence Koranic) designation. This discursive shift points to the successful reclaiming of the national revolution in Iran by a transnational pan-Islamic movement, whose language of reference can only be Koranic Arabic.(14) While the hijab is certainly a point of contention within various countries dealing with immigrant Islamic populations (of which France has the largest in Europe as part of its colonial legacy in Algeria), it is clear that the veil is a historically contextualized artifact of Muslim identity with a variety of manifestations, even as forces outside of and within Islam seek to codify its actual and symbolic value. Ultimately, the varieties of hijab , including the full-faced burqa and niqab , are complex assemblages of meaning that speak to the multitudinous flows of Islamic identities over time and space. As Gökariksel and McLarney observe, “Wearing a certain style of veil may simultaneously be a disciplinary practice crucial to the cultivation of piety (Mahmood 2005; Gokariksel 2009) and a gendered performance of social distinction in terms of class, taste, and urbanity (White 1999; Navaro-Yashin 2002; Gokariksel and Secor 2009) or of ethnicity and race (Dwyer 1999).”(15) The ideological marketplace from which the varieties of hijab ebb and flow serves both as a reflection of the ever-present materiality and dynamic functionality of spiritual economies, which are derivative of the equally ubiquitous flows of transnational capital driving agency and representationality within our historical moment. Keeping these dual, yet deeply interconnected, capital ecologies as the site of exploration for how the veil is represented within public space, one might begin to sense what lurks behind such veiled agendas. Examining the symbolic and representational nature of the Islamic “veil” in its various forms, this project situates the decidedly political contestations of public space at stake in the French ban alongside recent condemnations of multiculturalism as calculated efforts to re-distribute the sensible so as to valorize national identity within increasingly transnational and globalized socio-economic spaces, which collapse exchange values between distinct, yet interwoven, economies of (cultural/material/spiritual) capital. As the discourses on the veil rely upon representational imag(in)ings, it seems fitting to explore the political economy and art of the veil through the phenomenon of street art, which, much like hijab , is a complex assemblage of meaning of sensation mired in representationality and capital exchange. As street artists have taken up hijab in various forms, the movement offers a lens with which to situate critical responses to the veil debate across both spiritual and material economies. Situating this street art both aesthetically and historically, Lewisohn explains, “'Street art' is a sub-genre of graffiti writing and owes much to its predecessor. Though there is a good deal of crossover between the genres, they are distinct and separate in their own right.”(16) Evolving out of the graffiti explosion of the late 1970's and 1980's, street art broke the unspoken rules of the artistic underground by challenging and re-examining one's sensory experience of art in public space by experimenting with both content and form in ways that harken back to the Situationist International, which as a collective challenged one's experience of urban space through various media and experiential phenomena. Again, Lewisohn observes, “It's important to note street art's break with the tradition of the tag, and its focus on visual symbols that embrace a much wider range of media than graffiti writers would use.”(17) From stencils to prints and murals to one-liners, street artists developed a reputation for critical social and political commentary, and while it is certainly the case that not all street art is intentionally political, in challenging the normative “regime of visibility,” as Rancière puts it, of public space, street artists—even if unconsciously—call into question the common sensory experience of the politics underlying the formation of (nationalist) space.(18) Indeed, Rancière refers to the partisan sensory managers as “police,” who ultimately forge “the rules governing the circulation of appearances, of their visibility and audibility, and the proper distribution of bodies therein.”(19) As such, one can sense that street art's relationship with the police is tenous for a variety of reasons. Writing about his own experience as a street artist, Shepard Fairey observes, “With street art, there's no committee deciding whether I can put my work up on the street, there's no censorship, and I have total freedom of expression, and that concept of freedom is expressed just by using the street as a medium.”(20) As Fairey and other street artists demonstrate, the medium, to paraphrase Marshall McLuhan, is the most glaring aspect of street art's message, and even as it now finds itself in galleries and usurped by private collectors, the ethos of the movement remains relavent to politics as it is, first and foremost, concerned with the configuration and experience of space. Just as examining the punishments for breaking the veil ban can map the terrain of French politics, a representational genealogy of street artist's deployment of hijab and female Muslim identity can assist in mining the depths of public space as a site of bio-political control and contestation in light of recent events in France and the rising tide of anti-multiculturalist rhetoric across Europe, even though the Islamic presence there is radically heterogenous. Using the work of Shepard Fairey, Princess Hijab, br1, and Banksy, this paper sets out to answer a number of key questions concerning the deployment of hijab, and female Islamic identity in particular, within street art as a movement now integral to and critical of the economies of exchange underlying global capitalism, which as a force of influence cannot be underestimated as a driver in the resurgence of nationalist biopolitical governmentalities. Although there exists a litany of artists to choose from, the aforementioned quartet of designers integrate hijab into their work in a seminal and critical fashion, and all have been working with the veil in some way prior to the French ban, which grants some additional context to their usage of it as a symbol in regards to the breakdown of multiculturalism across Europe, even if unconsciously. Although each artist depicts various amalgamations of hijab in their respective corpus, they share common tropes that raise significant questions concerning the veil debate, namely: what are the conditions of possibility for hijab to become a marker of Islamic identity within public space? How can we make sense of the representational topologies within street art's utilization of the hijab and female Islamic identity in light of the French ban? How might these aesthetic imag(in)ings simultaneously inhabit and combat normative discourses concerning hijab , multiculturalism, female Islamic identity, and public space? With these considerations as a backdrop, it is first necessary to outline more fully the hijab as a representative marker of female Islamic identity. The (Veiled) Writing on the Wall

shrink)

This article critically examines one of the most prevalent metaphors in modern biology, namely the machine conception of the organism (MCO). Although the fundamental differences between organisms and machines make the MCO an inadequate metaphor for conceptualizing living systems, many biologists and philosophers continue to draw upon the MCO or tacitly accept it as the standard model of the organism. This paper analyses the specific difficulties that arise when the MCO is invoked in the study of development and (...) evolution. In developmental biology the MCO underlies a logically incoherent model of ontogeny, the genetic program, which serves to legitimate three problematic theses about development: genetic animism, neo-preformationism, and developmental computability. In evolutionary biology the MCO is responsible for grounding unwarranted theoretical appeals to the concept of design as well as to the interpretation of natural selection as an engineer, which promote a distorted understanding of the process and products of evolutionary change. Overall, it is argued that, despite its heuristic value, the MCO today is impeding rather than enabling further progress in our comprehension of living systems. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An (...) introduction by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)