Fred Sommers’ Contributions to Formal Logic

Fred Sommers passed away in October of 2014 in his 92nd year. Having begun his teaching at Columbia University, he eventually became the Harry A. Wolfson Chair in Philosophy at Brandeis University, where he taught from 1963 to 1993. During his long and productive career, Sommers authored or co-authored over 50 books, articles, reviews, etc., presenting his ideas on numerous occasions throughout North America and Europe. His work was characterized by a commitment (often implicit) to the preservation and application of historical insights and to the value of a well-articulated, coherent logical system. He was recognized for his independence and refusal to accept any view on the basis of authority alone. This made him a formidable critic but accounted in part for his many innovative and original ideas. In spite of his general contrariness in logic, Sommers earned the respect of the majority of his contemporaries, including Russell, Quine, van Benthem, Hacking, Suppes, and Strawson. In 2005, he was the subject of a Festschrift with contributions by a number of younger philosophers and logicians, just one indication of the continuing importance and influence of his work.     

Systematic reasoning: Formal or postformal cognition?

The focus of this study was to investigate the relationship between formal and postformal systematic metasystematic reasoning. Shayer's (1978) chemicals task and a modified version of Kuhn and Brannock's (1977) plant task were used to measure formal thinking and Commons, Richard, and Kuhn's (1982) multisystem task and balance-beam task to detect postformal reasoning. Subjects were university students from the humanities and social sciences (N=35). For each subject, a composite score was defined by taking into account the highest score in the tasks measuring the same developmental stage. Findings indicated that composite scores of formal and postformal reasoning were significantly correlated. Results also indicated that full formal operations are not a necessary condition for systematic thinking. The developmental status of systematic reasoning should be defined more strictly than has so far been the case. Further studies should focus on metasystematic reasoning as a possible postformal mode of reasoning. Longitudinal designs are also required to assess whether metasystematic reasoning develops in adulthood.     

Formal dominance: the emperor's new clothes?

I previously argued that formal dominance requires the ability to attribute knowledge to other individuals (D. Maestripieri, 1996). Formal dominance is otherwise indistinguishable from the way dominance has previously been conceptualized. For example, the notion that nonhuman primates have social relationships and that 2 individuals express their knowledge about the state of their relationship with signals of dominance and submission is intrinsic to the concept of dominance and not peculiar to formal dominance. Moreover, the claims made by formal dominance supporters that macaque signals such as the bared-teeth display are always displayed unidirectionally to other group members and never directed to predators are incorrect. If the mentalistic terms used to describe formal dominance must not be taken literally, then the interpretation of submissive signals such as the bared-teeth display from a formal dominance perspective remains unclear.     

A Formal Characterisation of Hamblin’s Action-State Semantics

Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction.     

Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality

This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.

Adult Learners’ Informal Learning Experiences in Formal Education Setting

Schools typically ignore an enormous part of students’ learning, i.e. informal learning. Such informal processes include intentional, incidental, and tacit learning and tend to be unnoticed because of their taken-for-granted nature. By conducting in-depth interviews with 15 students, two teachers, and two program coordinators of an adult education program, this study examines informal learning outcomes, processes, and personal informal learning experiences within formal education. The study aimed to reveal the interaction between formal and informal learning as well as the respondents’ experiences in this matter. Respondents report a diverse array of informal learning results. Respondents describe informal learning to occur through self-directed learning projects, daily conversations and experiences, and the program’s informal and hidden curriculum. According to respondents, informal learning has the potential to enrich and complement formal learning. Moreover, the findings point to potential personal, educational, and societal benefits of revealing informal learning within formal education. Implications for practice and future research are discussed.     

Logic, Formal Methodology and Semantics in Works of Ryszard W��jcicki

For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.     

Husserl’s Foundation of the Formal Sciences in his “Logical Investigations”

This article is composed of three sections that investigate the epistemological foundations of Husserl’s idea of logic from the Logical Investigations. First, it shows the general structure of this logic. Husserl conceives of logic as a comprehensive, multi-layered theory of possible theories that has its most fundamental level in a doctrine of meaning. This doctrine aims to determine the elementary categories that constitute every possible meaning (meaning-categories). The second section presents the main idea of Husserl’s search for an epistemological foundation for knowledge, science and logic. Their epistemological clarification can only be reached through a detailed analysis of the structure of those intentions that give us what is meant in our intentions. To reveal the intuitive giveness of logical forms is the ultimate aim of Husserl’s epistemology of logic. Logical forms and meaning-categories can only be given in a certain higher-order intuition that Husserl calls categorical intuition. The third section of this article distinguishes different kinds of categorical intuition and shows how the most basic logical categories and concepts are given to us in a categorical abstraction.     

Linking Formal Child Care Characteristics to Children’s Socioemotional Well-Being: A Comparative Perspective

Most research on formal child care and children’s outcomes has focused on single countries. We, however, contend that policy context may moderate the association between formal child care characteristics and children’s socioemotional well-being. We examined this by comparing the Netherlands, Finland and the UK; three countries that differ regarding family policies. Of these three countries, Finland was recently ranked highest (ranked 1st) with regards to quality of child care in a recent analysis by the Economist, followed by the UK (ranked 3rd) and then the Netherlands (ranked 7th). We hypothesized that children who attend child-care settings in countries with higher-quality formal child-care provision would generally show better socioemotional outcomes. Data from the comparative ‘Families 24/7’ survey were used, including 990 parents with children aged 0–12. We distinguished between two age groups in our analysis. Results indicated that, compared to the UK, longer hours in formal care were less beneficial in the Netherlands. Furthermore, spending time in formal care during nonstandard hours was more harmful for children in Finland compared to the UK. Lastly, receiving care from multiple caregivers was more disruptive for British children than for Dutch children. No differences were found between Finland and the Netherlands.     

V.A. Smirnov’s Results in the Field of Modern Formal Logic

This paper is a survey of V.A. Smirnovs main results in modern logic.     

Does Father Know Best? A Formal Model of the Paternal Influence on Childhood Social Anxiety

We explore paternal social anxiety as a specific risk factor for childhood social anxiety in a rational optimization model. In the course of human evolution, fathers specialized in external protection (e.g., confronting the external world) while mothers specialized in internal protection (e.g., providing comfort and food). Thus, children may instinctively be more influenced by the information signaled by paternal versus maternal behavior with respect to potential external threats. As a result, if fathers exhibit social anxiety, children interpret it as a strong negative signal about the external social world and rationally adjust their beliefs, thus becoming stressed. Under the assumption that paternal signals on social threats are more influential, a rational cognitive inference leads children of socially anxious fathers to develop social anxiety, unlike children of socially anxious mothers. We show in the model that mothers cannot easily compensate for anxious paternal behavior, but choose to increase maternal care to maintain the child’s wellbeing. We discuss research directions to test the proposed model as well as implications for the prevention and treatment of child social anxiety.     

What’s in a (Role) Name? Formal and Conceptual Aspects of Comprehending Personal Nouns

Two eye-tracking studies assessed effects of grammatical and conceptual gender cues in generic role name processing in German. Participants read passages about a social or occupational group introduced by way of a generic role name (e.g., Soldaten/soldiers, Künstler/artists). Later in the passage the gender of this group was specified by the anaphoric expression diese Männer/these men or diese Frauen/these women. Testing masculine generic role names of male, female or neutral conceptual gender (Exp. 1) showed that a gender mismatch between the role name’s conceptual gender and the anaphor significantly slowed reading immediately before and after the anaphoric noun. A mismatch between the antecedent’s grammatical gender and the anaphor slowed down the reading of the anaphoric noun itself. Testing grammatically gender-unmarked role names (Exp. 2) revealed a general male bias in participants’ understanding, irrespective of grammatical or conceptual gender. The experiments extend previous findings on gender effects to non-referential role names and generic contexts. Theoretical aspects of gender and plural reference as well as gender information in mental models are discussed.     

Adapting Parent–Child Interaction Therapy for Deaf Families That Communicate via American Sign Language: A Formal Adaptation Approach

While our field has made positive strides in adapting psychotherapeutic interventions for diverse groups of people, considerable work is still needed in this area. We present our formal adaptation procedure for parent–child interaction therapy (PCIT) with Deaf persons. This includes a review of the cultural adaptation process for psychological interventions, including PCIT, as well as an introduction to Deaf culture. Details regarding the specific adaptation of PCIT for Deaf persons are outlined. We found that the utilization of a clear framework to guide the cultural adaptation process facilitated careful consideration of the numerous linguistic and cultural variables involved, while maintaining integrity of the treatment model. While the current focus was on adapting PCIT for Deaf families who communicate via American Sign Language, this framework can also be applied to other populations and/or interventions.     

Testability and Ockham’s Razor: How Formal and Statistical Learning Theory Converge in the New Riddle of Induction

Nelson Goodman’s new riddle of induction forcefully illustrates a challenge that must be confronted by any adequate theory of inductive inference: provide some basis for choosing among alternative hypotheses that fit past data but make divergent predictions. One response to this challenge is to distinguish among alternatives by means of some epistemically significant characteristic beyond fit with the data. Statistical learning theory takes this approach by showing how a concept similar to Popper’s notion of degrees of testability is linked to minimizing expected predictive error. In contrast, formal learning theory appeals to Ockham’s razor, which it justifies by reference to the goal of enhancing efficient convergence to the truth. In this essay, I show that, despite their differences, statistical and formal learning theory yield precisely the same result for a class of inductive problems that I call strongly VC ordered, of which Goodman’s riddle is just one example.