The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.
David Hitchcock and Bart Verheij (eds): Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation Content Type Journal Article Pages 1-13 DOI 10.1007/s10503-011-9214-y Authors Lester C. van der Pluijm, University of Amsterdam, Amsterdam, The Netherlands Jacky C. Visser, University of Amsterdam, Amsterdam, The Netherlands Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X.
There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...) criteria. (shrink)
Augustine of Hippo (354-430 AD) was regarded by sixteenth century Europe as one of the most contested religious and philosophical authorities. He was cast as a characteristically Lutheran, Catholic, or Calvinist thinker, and even as the ideal Erasmian pastor. These wildly contrasting receptions raise crucial questions about the significance of Augustine's thought in the Reformation period. They also show the complex relationship between religious change and the new intellectual culture of Renaissance humanism. Drawing on a variety of printed and manuscript (...) sources, Arnoud Visser breaks new ground in three ways. He systematically grounds Augustine's theological reception in the history of reading and the material culture of books and manuscripts. He does not confine his examination to particular confessional parties or specific geographic boundaries, but offers a cross-confessional account of Augustine's appropriation in early modern Europe. Finally, he provides crucial insight into the nature of intellectual authority in the early modern period. Central in this study are the production, circulation and consumption of Augustine's works. Visser examines the impact of the new art of print, the rise of humanist scholarship, and the emerging confessional divisions on Augustine's reception. He shows how editors navigated a wealth of patristic information by using search tools and anthologies. He also explains how individual readers used their copies and how they applied their knowledge in public debates alongside other media of communication. Reading Augustine in the Reformation argues that the emerging confessional pressures did not restrict intellectual life, as has often been claimed, but promoted new scholarship. (shrink)
Introduction to the symposia on Pragmatism and Perfectionism appered on the European Journal of Pragmatism and American Philosophy, vol. 2 issue 2, 2010.
The process-dissociation procedure has been used in a variety of experimental contexts to assess the contributions of conscious and unconscious processes to task performance. To evaluate whether motivation affects estimates of conscious and unconscious processes, participants were given incentives to follow inclusion and exclusion instructions in a perception task and a memory task. Relative to a control condition in which no performance incentives were given, the results for the perception task indicated that incentives increased the participants' ability to exclude previously (...) presented information, which in turn both increased the estimate of conscious processes and decreased the estimate of unconscious processes. However, the results also indicated that incentives did not influence estimates of conscious or unconscious processes in the memory task. The findings suggest that the process-dissociation procedure is relatively immune to influences of motivation when used with a memory task, but that caution should be exercised when the process-dissociation is used with a perception task. (shrink)
Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...) what in German was called “Bildtheorie” or in English “picture theory”. But even before we can properly study its significance we have to know what the theory was, but even this presents problems, since the meaning changed. In fact, this paper is an attempt not only to describe the history of that change from Maxwell to Wittgenstein but to study in particular how Boltzmann’s conception of Bildtheorie seems to have been at least partly incorporated into the approach of Ludwig Wittgenstein. (shrink)
This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.
In this paper we develop a reconstruction of the Tractatus ontology. The basic idea is that objects are unsaturated and that Sachlagen are like molecules. Bisimulation is used for the proper individuation of the Sachlagen. We show that the ordering of the Sachlagen is a complete distributive, lattice. It is atomistic , i.e., each Sachlage is the supremum of the Sachverhalte below it. We exhibit three normal forms for Sachlagen: the bisimulation collapse, the canonical unraveling and the canonical bisimulation collapse. (...) The first of these forms is unique modulo isomorphism, the second and third are simply unique. The subset ordering on normal forms of the second and third kind reflects the ordering of the Sachlagen. (shrink)
Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the..
This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory validated by this interpretation interprets arithmetical truth. We also show that every extension of TC has a model that is not isomorphic to a structure of decorated order types.
In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a sequential sentence has ‘consistency power’ over a theory if it enables us to construct a bounded interpretation of that theory. An interpretation of V in U is bounded if, for some n , all translations of V -sentences are U -provably equivalent to sentences of complexity less than n . We call a sequential sentence with consistency power over T a pro-consistency statement for T (...) . We study pro-consistency statements. We provide an example of a pro-consistency statement for a sequential sentence A that is weaker than an ordinary consistency statement for A . We show that, if A is $${{\sf S}^{1}_{2}}$$ , this sentence has some further appealing properties, specifically that it is an Orey sentence for EA . The basic ideas of the paper essentially involve sequential theories. We have a brief look at the wider environment of the results, to wit the case of theories with pairing. (shrink)
We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)
Sexually active male haplochromine cichlid fishes possess pronounced yellow ovoid spots on the anal fm, which mimic eggs of the female and have therefore been called egg dummies (Wickler, 1962b).It is thought that divergence in egg dummy characteristics can considerably reduce gene flow and in this way may trigger off reproductive isolation. Two ways in which egg dummy divergence can develop are described. Both mechanisms may have been operating, at the same time and in the same area, in different species, (...) or possibly even in a single species. (shrink)
We are reporting on how involved the mentor was in promoting responsible research in cases of research misconduct. We reviewed the USPHS misconduct files of the Office of Research Integrity. These files are created by Institutions who prosecute a case of possible research misconduct; ORI has oversight review of these investigations. We explored the role of the mentor in the cases of trainee research misconduct on three specific behaviors that we believe mentors should perform with their trainee: (1) review source (...) data, (2) teach specific research standards and (3) minimize stressful work situations. We found that almost three quarters of the mentors had not reviewed the source data and two thirds had not set standards. These two behaviors are positively correlated. We did not see convincing evidence in the records that mentors were causing stress, but it was apparent in the convicted trainees’ confessions that over 50% experienced some kind of stress. Secondary data, while not created for this research purpose, allows us to look at concrete research behaviors that are otherwise not very researchable. We believe it is important for mentors and institutions to devote more attention to teaching mentors about the process of education and their responsibilities in educating the next generation of scientists. This becomes a critical issue for large research groups who need to determine who is in charge educating, supervising and assuring data integrity. (shrink)
Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model for (...) RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope. In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.
In this paper, we show that the predicate logics of consistent extensions of Heyting's Arithmetic plus Church's Thesis with uniqueness condition are complete $\Pi _{2}^{0}$. Similarly, we show that the predicate logic of HA*, i.e. Heyting's Arithmetic plus the Completeness Principle (for HA*) is complete $\Pi _{2}^{0}$. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko's method to use Tennenbaum's Theorem to prove 'categoricity of interpretations' under certain assumptions.
Page's manifesto makes a case for localist representations in neural networks, one of the advantages being ease of interpretation. However, even localist networks can be hard to interpret, especially when at some hidden layer of the network distributed representations are employed, as is often the case. Hidden Markov models can be used to provide useful interpretable representations.
Biobanks correspond to different situations: research and technological development, medical diagnosis or therapeutic activities. Their status is not clearly defined. We aimed to investigate human biobanking in Europe, particularly in relation to organisational, economic and ethical issues in various national contexts. Data from a survey in six EU countries (France, Germany, the Netherlands, Portugal, Spain and the UK) were collected as part of a European Research Project examining human and non-human biobanking (EUROGENBANK, coordinated by Professor JC Galloux). A total of (...) 147 institutions concerned with biobanking of human samples and data were investigated by questionnaires and interviews. Most institutions surveyed belong to the public or private non-profit-making sectors, which have a key role in biobanking. This activity is increasing in all countries because few samples are discarded and genetic research is proliferating. Collections vary in size, many being small and only a few very large. Their purpose is often research, or research and healthcare, mostly in the context of disease studies. A specific budget is very rarely allocated to biobanking and costs are not often evaluated. Samples are usually provided free of charge and gifts and exchanges are the common rule. Good practice guidelines are generally followed and quality controls are performed but quality procedures are not always clearly explained. Associated data are usually computerised (identified or identifiable samples). Biobankers generally favour centralisation of data rather than of samples. Legal and ethical harmonisation within Europe is considered likely to facilitate international collaboration. We propose a series of recommendations and suggestions arising from the EUROGENBANK project. (shrink)
We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.
The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.
In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests and random resettings in the case that we are working over an infinite domain. These relations are precisely the ones expressible in DPL if we allow ourselves arbitrary tests as a starting point. We discuss some possible extensions of DPL and the way (...) these extensions interact with our notion of context. (shrink)
In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.
The House Sparrow (Passer domesticus), formerly a common bird species, has shown a rapid decline in Western Europe over recent decades. In The Netherlands, its decline is apparent from 1990 onwards. Many causes for this decline have been suggested that all decrease the vital rates, i.e. survival and reproduction, but their actual impact remains unknown. Although the House Sparrow has been dominant in The Netherlands, data on life history characteristics for this bird species are scarce: data on reproduction are non-existent, (...) and here we first present survival estimates based on live encounters and dead recoveries of marked individuals over the period 1976–2003, 14 years before and 14 years during the decline, reported to the Dutch Ringing Centre. We show that there is an indication that both juvenile and adult survival are lower during the period of decline. Secondly, to be able to analyse the relative impact of changes in the vital rates, we formulated a general matrix model based on a range of survival values between zero and one with a step size of 0.01 (both juvenile and adult yearly survival) and a range of realistic reproduction values (one, three or five fledglings per pair per year). With the matrix model, we calculated the finite rate of population change (λ) and applied elasticity analysis. To diagnose the cause of the decline in the Dutch House Sparrow, we parameterised the model with estimates of survival values before and during the decline and present the resulting λ. With the survival estimates from the declining period, λ < 1 only if reproduction is relatively low. We discuss this result within the light of available literature data on survival in the House Sparrow. Finally, we evaluate which of the suggested causes of population decline should be reversed to mitigate the decline and how this can be achieved. (shrink)
There has been much talk of the need to build intermediate models of the expertise required preparatory to constructing a knowledge-based system in the legal domain. Such models offer advantages for verification, validation, maintenance and reuse. As yet, however, few such models have been reported at a useful level of detail. In this paper we describe a method for conceptualising legal domains as well as its application to a substantial fragment of the Dutch Unemployment Benefits Act (DUBA).We first discuss the (...) intermediate models (called expertise models), then present a three-stage method for their construction, drawing on the CommonKADS work in knowledge acquisition, conceptual models of statute law, and the KANT method of knowledge analysis. Subsequently, we describe how these techniques were applied to the DUBA, and provide detailed examples of the resulting model. Finally, conclusions on the framework and guidelines are given as well as means of recording and presenting the various design choices. (shrink)
For various domains in proportional reasoning cognitive development is characterized as a progression through a series of increasingly complex rules. A multiplicative relationship between two task features, such as weight and distance information of blocks placed at both sides of the fulcrum of a balance scale, appears difficult to discover. During development, children change their beliefs about the balance scale several times: from a focus on the weight dimension (Rule I) to occasionally considering the distance dimension (Rule II), guessing (Rule (...) III), and applying multiplication (Rule IV; Siegler, 1981). Because of the detailed empirical findings the balance scale task has become a benchmark task for computational models of proportional reasoning. In this article, we present a large empirical study (N = 420) of which the findings provide a challenge for computational models. The effect of feedback and the effect of individually adapted training items on rule transition were tested for children using Rule I or Rule II. Presenting adapted training items initiates belief revision for Rule I but not for Rule II. The experience of making mistakes (by providing feedback) induces a change for both Rule I and Rule II. However, a delayed posttest shows that these changes are preserved after 2 weeks only for children using Rule I. We conclude that the transition from Rule I to Rule II differs from the transition from Rule II to a more complex rule. Concerning these empirical findings, we will review performance of computational models and the implications for a future belief revision model. It is one Thing, to show a Man that he is in an Error, and another, to put him in possession of Truth. John Locke. (shrink)
In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...) decidable extensions. We also explore the ramifications of our work on finite axiomatizability of schemes in the presence of suitable comprehension principles. (shrink)
With direct-to-consumer advertisements (DTCA), pharmaceutical companies can market their prescription drugs directly to consumers. In order to properly study the argumentative aspect of these advertisements from a pragma-dialectical perspective, it is necessary to characterize DTCA as an ‘argumentative activity type’. This characterization shows that in DTCA, the advertiser combines two genres of communicative activity: promotion and consultation. The use of promotion stems from the advertiser’s commercial objective of selling products, while the use of consultation is a result of the legal (...) obligation to present a fair balance between arguments for and against the use of a drug. (shrink)
In Unsimple truths, Sandra D. Mitchell examines the historical context of current scientific practices and elaborates the challenges complexity has since posed to status quo science and policymaking. Mitchell criticizes models of science inspired by Newtonian physics and argues for a pragmatistic, anti-universalist approach to science. In this review, I focus on what I find to be the most important point of the book, Mitchell’s argument for the conceptual independence of compositional materialism and descriptive fundamentalism. Along the way, I (...) provide a description of Mitchell’s overall project and a road map of the book. (shrink)
The recent Supreme Court decision upholding Roe v. Wade and in particular, the dissent by Justice Sandra Day O'Connor, sheds new light on the issue of abortion. Let us consider any stage of a pregnancy when abortion is medically safe for the mother. If at that stage it is also medically viable to save the fetus, is an abortion performed at that stage of pregnancy morally justifiable? For example, if it is, or becomes, medically safe to perform abortions after (...) first trimester of pregnancy and at the same time saving a fetus is, or becomes, medically viable or not unusual during some stage of the second trimester, can abortions during and after that stage of pregnancy be justified? With a number of qualifications I shall argue the thesis that as a general rule, but not an absolute rule, abortion in these instances is not usually justifiable. For if it is, then one will also have to grant the moral justification for a number of other highly questionable medical practices. This thesis is not to be identified with the stronger claim that abortions of viable fetuses can never be performed. There are surely exceptions such as when the life or health of the mother is in danger. But, I shall argue, the justification for making such exceptions is on different grounds than is sometimes claimed because one must weigh the health of the mother against the life of another human being. (shrink)
Resenha do livro de Sandra S. F. Erickson. A melancolia da criatividade na poesia de Augusto dos Anjos . Joáo Pessoa: Editora Universitária, UFPB, 2003, 243 páginas.
I address the problem of how to locate "traitorous" subjects, or those who belong to dominant groups yet resist the usual assumptions and practices of those groups. I argue that Sandra Harding's description of traitors as insiders, who "become marginal" is misleading. Crafting a distinction between "privilege-cognizant" and "privilege-evasive" white scripts, I offer an alternative account of race traitors as privilege-cognizant whites who refuse to animate expected whitely scripts, and who are unfaithful to worldviews whites are expected to hold.
This essay explores how the social location of white traitorous identities might be understood. I begin by examining some of the problematic implications of Sandra Harding's standpoint framework description of race traitors as 'becoming marginal.' I argue that the location of white traitors might be better understood in terms of their 'decentering the center.' I distinguish between 'privilege-cognizant' and 'privilege-evasive' white scripts. Drawing on the work of Marilyn Frye and Anne Braden, I offer an account of the contrasting perceptions (...) and behaviors of white who animate one type of script and those who struggle to forge the other type. I use Maria Lugones account of identity and notions of 'world travel' and 'loving perception' and Aristotle's virtue theory to explicate the ways whites, and white feminists in particular, might cultivate a traitorous character conducive to an antiracist politics. (shrink)
To illustrate the strength of Bartky's clarity of insight I focus on her discussion of shame found in two essays in Femininity and Domination. I argue that these essays as well as the other in the collection identify and offer a clear analysis of many issues central to feminism and call for Bartky to write a sequel which offers constructive suggestions of ways out.
