Online research in philosophy

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper.

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns.

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories.

The Politics of Constructionism presents a broadranging and critical overview of the many themes of social constructionism and its relevance to contemporary social and political issues. Clearly structured and bringing together leading international contributors from across the social sciences, it offers an invaluable may through this rich body of literature. Major questions and topics explored in its critique and application of constructionist ideas include the theory and practice of scientific method, the development of social and political policy, the use of social science statistical methods, self-identity and the politics of collective identities, and technological advances in reproductive medicine. Drawing on insights from psychology, sociology, politics, philosophy, cultural, gender, and social studies, The Politics of Constructionism links the discourse of constructionism to the wider social and political world and offers much to suggest that, contrary to the final impoverishment claimed by some of postmodernism, social science is witnessing the beginning of a new enrichment. It will be essential reading for all students and academics interested in social constructionism and contemporary issues and debates across the social sciences.

Researches on Kant as Example of Lack of Methods Arising Through One's Own Fault. The researches on Kant are one example of the high degree of differences in opinions about mentalities. The lack of methods is one reason. Kant researchers have regretted this too. But as available methods are not developed, these regrets are not very convincing. For instance, the old method to sort concepts in different degrees of abstraction is not developed as a method of interpretation. This method will be exemplified for the question whether Kant was idealist or realist. It could have been an old well-known method as a method of interpretation, but this has not yet been done. Other reasons for this lack of methods are to be inquired. Some philosophical positions presuppose the lack of methods and this could be a fundamental reason for the lack of methods of interpretation.

The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those difficulties while still being able to put abstraction principles to a foundational use.

The goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those difficulties while still being able to put abstraction principles to a foundational use.

Abstraction and Ideation - The Semantics of chemical and biological fundamental concepts. The methods of abstraction and ideation are indispensable tools to introduce new concepts in a scientific terminology. The latter is paradigmatically introduced within the 'protophysical program' whereas abstraction is commonly applied in logics and mathematics. The application within the reconstruction of chemistry and biology causes several problems. Ideation appears to be inadequate whereas the application of abstraction necessitates a critical and minute examination of the corresponding equivalence relations. These problems are solved by the introduction of the method of materially-synthetic (material-synthetische) abstraction which is exemplified by the introduction of the chemical concept of 'substance' (Stoff) and the biological concept of 'hereditary factor' (Erbanlage).

Abstract: This article offers an account and defence of constructionism, both as a metaphilosophical approach and as a philosophical methodology, with references to the so-called maker's knowledge tradition. Its main thesis is that Plato's “user's knowledge” tradition should be complemented, if not replaced, by a constructionist approach to philosophical problems in general and to knowledge in particular. Epistemic agents know something when they are able to build (reproduce, simulate, model, construct, etc.) that something and plug the obtained information into the correct network of relations that account for it. Their epistemic expertise increases with the scope and depth of the questions that they are able to ask and answer. Thus, constructionism deprioritises mimetic, passive, and declarative knowledge that something is the case, in favour of poietic, interactive, and practical knowledge of something being the case. Metaphilosophically, constructionism suggests adding conceptual engineering to conceptual analysis as a fundamental method.

The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method of Abstraction”, the philosophical fruitfulness of the new method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems.