Teachers’ attitudes towards students with high- and low-educated parents

Educational inequalities may be derived from differential teacher expectations toward students from different backgrounds. Such expectations may be associated with stereotypical beliefs and attitudes, which guide behavior and judgments. Although ample research is available concerning differential teacher attitudes based on student ethnicity, few studies have considered the effect of the educational level of the parents. The aim of the current study was to investigate teachers’ implicit and explicit attitudes toward students with differentially educated parents. Implicit attitudes were measured using an implicit association task (IAT). The first name of the student was used as a proxy for the educational level of parents, whereby we created separate versions for boys and girls. Participants were randomly divided in two groups, whereby the first group completed the IAT-boys version and the other group the IAT-girls version. Explicit attitudes were measured using a questionnaire. Participants indicated positive implicit attitudes toward students with highly educated parents, independent of the gender of the student. Teachers did not express differential explicit beliefs regarding the learning and social behaviors of students based on the educational level of the parents, and their expectations concerning the motivation and ambitions or educational chances of these students were neutral. The dissociation between implicit and explicit attitudes may be an indication of the social sensitivity of the relationship between students’ social background and educational achievements and opportunities. Especially implicit attitudes may account for differences in teacher behaviors toward different groups of students and in turn their educational opportunities, and could therefore partly account for consistent findings of educational inequalities based on the social status of families.     

On Argumentation Logic and Propositional Logic

This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory. This equivalence follows from a correspondence between the non-acceptability of (arguments for) sentences in AL and Natural Deduction (ND) proofs of the complement of these sentences. The proof of this equivalence uses a restricted form of ND proofs, where hypotheses in the application of the Reductio of Absurdum inference rule are required to be “relevant” to the absurdity derived in the rule. The paper also discusses how the argumentative re-interpretation of PL could help control the application of ex-falso quodlibet in the presence of inconsistencies.     

Propositional Epistemic Logics with Quantification Over Agents of Knowledge

The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal (epistemic) operators or over agents of knowledge and extended by predicate symbols that take modal (epistemic) operators (or agents) as arguments. Denote this family by \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There exist epistemic logics whose languages have the above mentioned properties (see, for example Corsi and Orlandelli in Stud Log 101:1159–1183, 2013; Fitting et al. in Stud Log 69:133–169, 2001; Grove in Artif Intell 74(2):311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science (LNCS), vol 1193, pp 71–85, 1996). But these logics are obtained from first-order modal logics, while a logic of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as a propositional multi-modal logic whose language includes quantifiers over modal (epistemic) operators and predicate symbols that take modal (epistemic) operators as arguments. Among the logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) there are logics with a syntactical distinction between two readings of epistemic sentences: de dicto and de re (between ‘knowing that’ and ‘knowing of’). We show the decidability of logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) with the help of the loosely guarded fragment (LGF) of first-order logic. Namely, we generalize LGF to a higher-order decidable loosely guarded fragment. The latter fragment allows us to construct various decidable propositional epistemic logics with quantification over modal (epistemic) operators. The family of this logics coincides with \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There are decidable propositional logics such that these logics implicitly contain quantification over agents of knowledge, but languages of these logics are usual propositional epistemic languages without quantifiers and predicate symbols (see Grove and Halpern in J Log Comput 3(4):345–378, 1993). Some logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as counterparts of logics defined in Grove and Halpern (J Log Comput 3(4):345–378, 1993). We prove that the satisfiability problem for these logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) is Pspace-complete using their counterparts in Grove and Halpern (J Log Comput 3(4):345–378, 1993).     

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

A contraction-free and cut-free sequent calculus \(\mathsf {G3SDM}\) for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus \(\mathsf {G3DM}\) for De Morgan algebras are developed. The cut rule is admissible in both sequent calculi. Both calculi enjoy the decidability and Craig interpolation. The sequent calculi are applied to prove some embedding theorems: \(\mathsf {G3DM}\) is embedded into \(\mathsf {G3SDM}\) via Gödel–Gentzen translation. \(\mathsf {G3DM}\) is embedded into a sequent calculus for classical propositional logic. \(\mathsf {G3SDM}\) is embedded into the sequent calculus \(\mathsf {G3ip}\) for intuitionistic propositional logic.     

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations

We prove that for each recursively axiomatized consistent extension T of Peano Arithmetic and \(n \ge 2\), there exists a \(\Sigma _2\) numeration \(\tau (u)\) of T such that the provability logic of the provability predicate \(\mathsf{Pr}_\tau (x)\) naturally constructed from \(\tau (u)\) is exactly \(\mathsf{K}+ \Box (\Box ^n p \rightarrow p) \rightarrow \Box p\). This settles Sacchetti’s problem affirmatively.     

Mindless accuracy: on the ubiquity of content in nature

It is widely held in contemporary philosophy of mind that states with underived representational content are ipso facto psychological states. This view—the Content View—underlies a number of interesting philosophical projects, such as the attempt to pick out a psychological level of explanation, to demarcate genuinely psychological from non-psychological states, and to limn the class of states with phenomenal character. The most detailed and influential theories of underived representation in philosophy are the tracking theories developed by Fodor, Dretske, Millikan and others. Tracking theorists initially hoped to ‘naturalize’ underived representation by showing that although it is distinctively psychological it is not irreducibly so, yet they ended up developing theories of representation that by their own lights don’t pick out a distinctively psychological phenomenon at all. Burge (Origins of objectivity, Oxford University Press, Oxford, 2010) sets out to develop a theory of underived representation that does pick out a distinctively psychological phenomenon. His theory promises to vindicate the Content View and the various philosophical projects that depend on it. In this paper I argue that Burge’s theory dementalizes representation for the same reason tracking theories do: These theories hold that representations are states with underived accuracy conditions, yet such states are found in all sorts of mindless systems, like plants.     

Deontology defended

Empirical research into moral decision-making is often taken to have normative implications. For instance, in his recent book, Greene (2013) relies on empirical findings to establish utilitarianism as a superior normative ethical theory. Kantian ethics, and deontological ethics more generally, is a rival view that Greene attacks. At the heart of Greene’s argument against deontology is the claim that deontological moral judgments are the product of certain emotions and not of reason. Deontological ethics is a mere rationalization of these emotions. Accordingly Greene maintains that deontology should be abandoned. This paper is a defense of deontological ethical theory. It argues that Greene’s argument against deontology needs further support. Greene’s empirical evidence is open to alternative interpretations. In particular, it is not clear that Greene’s characterization of alarm-like emotions that are relative to culture and personal experience is empirically tenable. Moreover, it is implausible that such emotions produce specifically deontological judgments. A rival sentimentalist view, according to which all moral judgments are determined by emotion, is at least as plausible given the empirical evidence and independently supported by philosophical theory. I therefore call for an improvement of Greene’s argument.     

Consciousness and the limits of memory

Intermodal representationalism is a popular theory of consciousness. This paper argues that intermodal representationalism is false, or at least likely so. The argument turns on two forms of exceptional episodic memory: hyperthymesia and prodigious visual memory in savant syndrome. Emerging from this argument is a broader lesson about the relationship between memory and perception; that it may be possible to entertain in memory the very same content as in a corresponding perceptual experience, and that the ‘overflow’ interpretation of the classic Sperling paradigm experiments may not fully generalize.     

Enoch’s “Taking-Morality-Seriously Thought” Unpacked and at Work in the Argument from Impartiality

After a brief outline of Enoch’s defense of robust realism in his Taking Morality Seriously (§ 1), I focus on Enoch’s taking-morality-seriously thought by making explicit the assumptions I see involved in it (§ 2). Enoch’s argument from impartiality is then reconstructed (§ 3) to show how these assumptions are at work (§ 4). Next (§§ 5 and 6), I explain the reasons why Enoch does not succeed in converting these assumptions into a positive argument for the thesis implied by robust realism that there is a moral objectivity. Finally (§ 7), I conclude that the critical analysis provided casts a shadow on the reliability of the taking-morality-seriously thought as a basis of a theoretical inquiry into the nature of morality.     

The Recognition of Emotions in Music and Landscapes: Extending Contour Theory

While inanimate objects can neither experience nor express emotions, in principle they can be expressive of emotions. In particular, music is a paradigmatic example of something expressive of emotions that surely cannot feel anything at all. The Contour theory accounts for music expressiveness in terms of those resemblances that hold between its external and perceivable properties (i.e., its contour) and the typical contour of human emotional behavior. Provided that some critical aspects are emended – notably, the stress on the perception of similarity instead of the more plausible hypothesis that the listener perceives manifestations that are similar – we are inclined to endorse contour theory. In particular, we share its basic idea that expressive properties are perceived. Although other kinds of processes – high-level conceptual inferences, imagination – sometimes characterize our encounters with music, still perception constitutes the standard process underlying the detection of expressiveness. Moreover, we propose to extend contour theory to visual arts. Taking into consideration, as a case study, depicted landscapes, we observe that they frequently cannot but express emotions such as joy, sadness, liveliness or melancholy. The fact that pictures, unlike music, lack any temporal dimension is a prima facie reason for doubting the extendibility of contour theory’s conceptual arsenal to them. Nevertheless, while being obviously unable to behave somehow, we claim that depicted landscapes can perfectly convey dynamic information. If this is the case, the extension of the notion of contour to visuals art via the stress on the notion of dynamism would represent a second interesting revision of contour theory.