How to Deduce the Other 91 Valid Aristotelian Modal Syllogisms from the Syllogism IAI-3

This paper firstly formalizes Aristotelian modal syllogisms by taking advantage of the trisection structure of (modal) categorical propositions. And then making full use of the truth value definition of (modal) categorical propositions, the transformable relations between an Aristotelian quantifier and its three negative quantifiers, the reasoning rules of classical propositional logic, and the symmetry of the two Aristotelian quantifiers (i.e. some and no), this paper shows that at least 91 valid Aristotelian modal syllogisms can be deduced from IAI-3 on the basis of possible world semantics and set theory. The reason why these valid Aristotelian modal syllogisms can be reduced is that any Aristotelian quantifier can be defined by the other three Aristotelian quantifiers, and the necessary modality ( ) and possible modality ( ) can also be defined mutually. This research method is universal. This innovative study not only provides a unified mathematical research paradigm for the study of generalized modal syllogistic and other kinds of syllogistic, but also makes contributions to knowledge representation and knowledge reasoning in computer science

A Unified Checklist for Observational and Experimental Research in Software Engineering (Version 1)

Current checklists for empirical software engineering cover either experimental research or case study research but ignore the many commonalities that exist across all kinds of empirical research. Identifying these commonalities, and explaining why they exist, would enhance our understanding of empirical research in general and of the differences between experimental and case study research in particular. In this report we design a unified checklist for empirical research, and identify commonalities and differences between experimental and case study research. We design the unified checklist as a specialization of the general engineering cycle, which itself is a special case of the rational choice cycle. We then compare the resulting empirical research cycle with two checklists for experimental research, and with one checklist for case study research. The resulting checklist identifies important questions to be answered in experimental and case study research design and reports. The checklist provides insights in two different types of empirical research design and their relationships. Its limitations are that it ignores other research methods such as meta-research or surveys. It has been tested so far only in our own research designs and in teaching empirical methods. Future work includes expanding the comparison with other methods and application in more cases, by others than ourselves

The effect of WWW document structure on students' information retrieval

This experiment investigated the effect the structure of a WWW document has on the amount of information retained by a reader. Three structures common on the Internet were tested: one long page; a table of contents leading to individual sections; and short sections of text on separate pages with revision questions. Participants read information structured in one of these ways and were then tested on recall of that information. A further experiment investigated the effect that 'browsing' - moving between pages - has on retrieval. There was no difference between the structures for overall amount of information retained. The single page version was best for recall of facts, while the short sections of text with revision questions led to the most accurate inferences from the material. Browsing on its own had no significant impact on information retrieval. Revision questions rather than structure per se were therefore the key factor

Intuition and concrete particularity in Kant's transcendental aesthetic

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular works of art. These presuppositions are sensible rather than intellectual because on Kant’s view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant’s view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects

Discourse or dialogue? Habermas, the Bakhtin Circle, and the question of concrete utterances

This is the author's accepted manuscript. The final publication is available at Springer via the link below.This article argues that the Bakhtin Circle presents a more realistic theory of concrete dialogue than the theory of discourse elaborated by Habermas. The Bakhtin Circle places speech within the “concrete whole utterance” and by this phrase they mean that the study of everyday language should be analyzed through the mediations of historical social systems such as capitalism. These mediations are also characterized by a determinate set of contradictions—the capital-labor contradiction in capitalism, for example—that are reproduced in unique ways in more concrete forms of life (the state, education, religion, culture, and so on). Utterances always dialectically refract these processes and as such are internal concrete moments, or concrete social forms, of them. Moreover, new and unrepeatable dialogic events arise in these concrete social forms in order to overcome and understand the constant dialectical flux of social life. But this theory of dialogue is different from that expounded by Habermas, who tends to explore speech acts by reproducing a dualism between repeatable and universal “abstract” discursive processes (commonly known as the ideal speech situation) and empirical uses of discourse. These critical points against Habermas are developed by focusing on six main areas: sentences and utterances; the lifeworld and background language; active versus passive understandings of language; validity claims; obligation and relevance in language; and dialectical universalism

Representational unification in cognitive science: Is embodied cognition a unifying perspective?

In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration. The dimensions of unity are simplicity, generality and scope, non-monstrosity, and systematization. In our account, unification is a graded property. The account is used to investigate the issue of how research traditions contribute to representational unification, focusing on embodied cognition in cognitive science. Embodied cognition contributes to unification even if it fails to offer a grand unification of cognitive science. The study of this failure shows that unification, contrary to what defenders of mechanistic explanation claim, is an important mechanistic virtue of research traditions

Transdisciplinarity seen through Information, Communication, Computation, (Inter-)Action and Cognition

Similar to oil that acted as a basic raw material and key driving force of industrial society, information acts as a raw material and principal mover of knowledge society in the knowledge production, propagation and application. New developments in information processing and information communication technologies allow increasingly complex and accurate descriptions, representations and models, which are often multi-parameter, multi-perspective, multi-level and multidimensional. This leads to the necessity of collaborative work between different domains with corresponding specialist competences, sciences and research traditions. We present several major transdisciplinary unification projects for information and knowledge, which proceed on the descriptive, logical and the level of generative mechanisms. Parallel process of boundary crossing and transdisciplinary activity is going on in the applied domains. Technological artifacts are becoming increasingly complex and their design is strongly user-centered, which brings in not only the function and various technological qualities but also other aspects including esthetic, user experience, ethics and sustainability with social and environmental dimensions. When integrating knowledge from a variety of fields, with contributions from different groups of stakeholders, numerous challenges are met in establishing common view and common course of action. In this context, information is our environment, and informational ecology determines both epistemology and spaces for action. We present some insights into the current state of the art of transdisciplinary theory and practice of information studies and informatics. We depict different facets of transdisciplinarity as we see it from our different research fields that include information studies, computability, human-computer interaction, multi-operating-systems environments and philosophy.Comment: Chapter in a forthcoming book: Information Studies and the Quest for Transdisciplinarity - Forthcoming book in World Scientific. Mark Burgin and Wolfgang Hofkirchner, Editor