Abstract:The research program focused on the analysis of computational approaches to natural and artificial intelligence is one of four accepted for implementation at the Center for the Philosophy of Consciousness and Cognitive Sciences of the Institute of Philosophy, Russian Academy of Sciences. Presumably, it should become a direction of interdisciplinary research at the crossroad of philosophy, cognitive psychology, cognitive and social neuroscience, and artificial intelligence. The working hypothesis proposed for discussion attended by the relevant specialists is as follows: if an acceptable computational theory of mind appears, we will be able to restrict our research to a simple scientific ontology describing only parts of a physical implementation of computational algorithms, adding a relevant version of computational mathematics thereto. Another hypothesis proposed is that there is an essential ontological intersection between the mechanisms underlying human cognitive abilities and their social organization, both of which serving as an implementation medium for complex distributed cognitive computations. Particularly those which are associated with social organization are responsible for logical and verbal (“rational”) cognitive abilities. As a result of some previous research, an ontology of nested distributed computational systems was generally formulated, which, as expected, can demonstrate significant heuristic potential if supplemented with an adequate mathematical apparatus. Since only individuals with certain cognitive abilities can be social agents, a philosophical problem arises: are cognitive abilities necessary or sufficient to involve their carriers in stable social interactions? In the first case, we have a weak thesis about the cognitive determination of sociality, in the second — the strong one. The choice between these positions is, too, a subject of future research.

Adding Methodological Testing to Naur's Anti-formalism

Validating Computer Security Methods: Meta-methodology for an Adversarial Science

Propagation and interaction of shock waves of quasilinear equation

AfterMath: The Work of Proof in the Age of Human–Machine Collaboration

John von Neumann's 1950s Change to Philosopher of Computation

Computing machinery and mentality

Natural Computations and Artificial Intelligence

Rethinking the Experiment

Automatic Programming of Cellular Automata and Artificial Neural Networks Guided by Philosophy

Exploring the landscapes of "computing": digital, neuromorphic, unconventional -- and beyond

How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard

A Proposal of Naturalistic Software Development Method

Teaching Functional Programmers Logic and Metatheory

Practical Intractability: A Critique of the Hypercomputation Movement

Philosophical presuppositions in “Computational thinking” – old wine in new bottles?

Abstract argumentation and answer set programming: two faces of Nelson's logic

Turing Test Revisited: A Framework for an Alternative

Neoclassical Realism: Methodological Critiques and Remedies

A Theory of Mind Approach as Test-Time Mitigation Against Emergent Adversarial Communication

Design and Implementation of the Andromeda Proof Assistant

A Sociological Study of the Official History of the Perceptrons Controversy