Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

This paper reports on a two-year, field-based study set in a charter management organization, a not-for-profit educational organization that operates 18 public schools exclusively in the Black and Latinx communities of South and East Los Angeles. At CMO-LAX, the nine-member Data Team pursues the organization's avowed mission of making public schools data-driven, primarily through the aggregation, analysis, and visualization of digital data derived from quotidian educational activities. This paper draws on the theory of racialized organizations to characterize aspects of data-driven (...) management of public education as practiced by CMO-LAX. I explore two examples of how CMO-LAX shapes data to support racial projects: the reconstruction of the figure of chronic truants and the incorporation of this figure in a calculative regime of student accomplishment. Organizational uses of data support a strategy I call productive myopia, a way of pursuing racial projects via seemingly independent, objective quantifications. This strategy allows the organization to claim to mitigate racial projects and, simultaneously, to accommodate them. This paper concludes by arguing for approaches to research and practice that center racial projects, particularly when data-intensive tools and platforms are incorporated into the provision of public goods and services such as education. (shrink)

Based on an ethnographic project in a public high school in a low-income neighborhood in South Los Angeles, this paper argues that access to information and communication technologies cannot be taken as helpful or empowering on its own terms; instead, concerns about justice must be accounted for by the local communities technology is meant to benefit. This paper juxtaposes the concept of technological access with recent work in feminist science and technology studies on infrastructure, maintenance, and ethics. In contrast to (...) popular descriptions of ICTs as emancipatory and transformative, in the setting of an urban school, access produced extensive demands for attention, time, and information. This paper focuses on the labor of a group of student workers, Student Technology Leaders, and how they became responsible for the significant amount of repair and maintenance work involved in keeping hundreds of new computing devices available for use. An expanded process of accounting can more realistically frame issues of justice and its relationship to ICTs. I use a town hall meeting held with these students as an example of a processual vision of justice, one that encourages the beneficiaries of technological access to evaluate costs, benefits, and ethical concerns together. (shrink)

Change blindness, the surprising inability of people to detect significant changes between consecutively-presented visual displays, has recently been shown to affect tactile perception as well. Visual change blindness has been observed during saccades and eye blinks, conditions under which people’s awareness of visual information is temporarily suppressed. In the present study, we demonstrate change blindness for suprathreshold tactile stimuli resulting from the execution of a secondary task requiring bodily movement. In Experiment 1, the ability of participants to detect changes between (...) two sequentially-presented vibrotactile patterns delivered on their arms and legs was compared while they performed a secondary task consisting of either the execution of a movement with the right arm toward a visual target or the verbal identification of the target side. The results demonstrated that a motor response gave rise to the largest drop in perceptual sensitivity in detecting changes to the tactile display. In Experiment 2, we replicated these results under conditions in which the participants had to detect tactile changes while turning a steering wheel instead. These findings are discussed in terms of the role played by bodily movements, sensory suppression, and higher order information processing in modulating people’s awareness of tactile information across the body surface. (shrink)

One of the questions that Heidegger presents in his paper, ‘Plato’s Doctrine on Truth’, is the distortion as he sees it of paideia—that is the loss of the essential elements in education. This loss is characterised according to Heidegger, by a misconception of Plato’s concept of teaching and learning. By undertaking an historical examination, Heidegger provides a means to rectify this loss. With reference to past, present and future philosophical perspectives of teaching and learning as particular spaces, an attempt is (...) made in this paper to examine Heidegger’s reading of paideia within the context of online learning. This, for many contemporary writers on education, is an encounter with new literacies, new knowledge and the adoption of an online environment that challenges the hegemonic order of the institution as the purveyors of knowledge. Teachers within this new environment are, however still constituted as experts and their knowledge is seen as ultimately inviolate. Heidegger in his re-interpretation of Plato sees the teacher as leading the students to where they might make themselves intelligible within the space of their being. This alignment forms an acceptance and a challenge to the metaphysical concepts of uniformity of being and place that limits the potential of knowledge as something that is fixed and complete. The experience of the social web or Web 2.0 has seen a shift in learning premised upon dialogue, exchange and constantly shifting horizons. Within this context, the teacher is recast as a craftsman, creating learning opportunity within dialogic exchange. The heightened sense of involvement that is revealed in this context lays the ground for a future visioning of education where emergence is seen as essential, unlike a re-working of authorisation to learn that inhibits student and teacher alike in new attempts at revitalising education. (shrink)

In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. Withdrawal of material is one major source of difficulty (...) in proposing rules for commitment store change. The classic Belief Revision theory is the AGM theory. AGM theory is a theory about ideal rational believers who change their sets of beliefs by either expansion or contraction. Contraction is a major source of difficulty in belief revision theory. We claim that the commitment stores of dialogue logic include, in a sense, the belief sets of belief revision theory. Further, withdrawal and contraction are essentially the same process. We consider various kinds of withdrawal and contraction, and show how approaches to these processes illuminate certain of the formal fallacies. (shrink)

INTRODUCTION TO LOGIC is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises. The text covers propositional logic and predicate logic with identity, the focus being on arguments. The methods of proof are truth-tables and truth-trees in the style of Jeffrey. This text is suitable for students of philosophy, computer science, mathematics and science in general.

There are several formal systems for persuasive dialogue. Dialogue systems are multi-Agent systems, and this contrasts with the general lack of any agency in standard logics other than in the case of epistemic and deontic logics. Dialogue systems have been called logics. A logic usually has a semantics and a proof system, and questions of soundness and completeness arise. Any dialogue conducted according to the rules of a dialogue logic is a complex process. Dynamic Logic is a logic of processes, (...) with a possible world semantics. This paper is a preliminary exploration of transforming the dialogues of dialogue logic into complex Dynamic Logic processes with emphasis on semantic models. The transformation gives rise to many questions, three of which are discussed. Dialogue logic includes commitment sets which behave in a way similar to belief sets and undergo changes during any dialogue. There are issues as to the relationship between belief and commitment, and whether the logics of belief change apply to commitment stores. There is also the issue of the logical nature of the evaluation of dialogues as legal or illegal. (shrink)

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

It has been argued that consciousness might be what differentiates human from machine mentality. What then is consciousness? We discuss consciousness, particularly perception accounts of consciousness. It is argued that perception and consciousness are distinct. Armstrong's account of consciousness is rejected. It is proposed that perception is a necessary but not sufficient condition for consciousness, and that there is a distinction to be drawn between consciousness and self-consciousness. Consciousness is tightly linked to attention and to certain sorts of knowledge. Implications (...) for machine consciousness and machine attention are discussed. (shrink)

BackgroundBehavioral and physiological regulation in early life is crucial for the understanding of childhood development and adjustment. The autonomic nervous system is a main player in the regulative system and should therefore be modulated by the quality of interactive behavior of the caregiver. We experimentally investigated the ANS response of 18–36-month-old children in response to the quality of maternal behavior during a mother–child-interacting paradigm.MethodEighty mothers and their children came to our laboratory and took part in an experimental paradigm, consisting of (...) three episodes: a resting phase, a structured play phase, and a free play situation between mothers and their child. Children’s and mother’s heart rate, the sympathetic nervous system activity via the pre-ejection period and the left ventricular ejection time, and the parasympathetic nervous system activity via the respiratory sinus arrhythmia were continuously measured by an electrocardiogram. Maternal sensitivity of interactive behavior was assessed by using the Emotional Availability Scales.ResultsChildren of mothers with insensitive behavior had a significantly lower RSA at baseline, showed a lack of RSA withdrawal during structured and free play, and had shorter LVET across all episodes compared to children of sensitive mothers.ConclusionOur findings depict the influence of low-quality maternal interaction on the child’s ANS regulation, in calm and more stressful play situations. The overall higher SNS mode with impaired PNS reactivity may negatively influence child’s ANS homoeostasis, which may result in a long-term impact on mental and physical wellbeing. Further, the maternal sensitivity may function as a buffer for the stress response of their child. These results could serve as a basis for the development of appropriate psychoeducational programs for mothers of low sensitivity in their interaction with the child. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.