The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...) that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The ‘Warsaw School of History of Ideas’ is the name given to a ‘revisionist think tank’ which was led by the historian Bronisław Baczko from 1956 to 1968 in Communist Poland. This group reunited scholars like Leszek Kołakowski or Krzysztof Pomian around questions related to political believes, theological conceptions or utopian thought. Expelled from the University, B. Baczko left Poland and seek shelter in Geneva where he became a Professor of history of Ideas and historiography. In his new home, he (...) developed an original vision on Enlightenment and the French Revolution. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...) conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...) a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

Os tópicos e problemas filosóficos discutidos no volume são de natureza bastante variada: a natureza da complexidade computacional no processamento de uma língua natural; a relação entre o significado linguístico e o sentido Fregeano; as conexões entre a a agência e o poder; o conteúdo semântico da ficção; a explicação dos impasses éticos; a natureza dos argumentos cépticos; as conexões entre as dissociações cognitivas e o carácter modular da mente; a relação entre a referência e o significado. Estes tópicos deixam-se (...) subsumir num tema mais geral, o tema das ligações múltiplas entre a cognição e o conteúdo, mental ou linguístico. O tópico do conteúdo, a questão de determinar como é que muitas das nossas elocuções e muitos dos nossos estados mentais são dotados de conteúdo, representam algo (correcta ou incorrectamente), e o tópico da cognição, a investigação da natureza e dos mecanismos envolvidos na cognição humana, no processamento de informação tipicamente proveniente do exterior, são inegavelmente tópicos centrais da investigação filosófica, presente ou passada.Dado o carácter inclusivo e pluridisciplinar dos tópicos cobertos, não é surpreendente que os ramos da Filosofia representados no presente volume sejam igualmente diversificados: a Filosofia Moral, a Filosofia da Linguagem, a Teoria do Conhecimento, a Filosofia da Mente, os Fundamentos da Ciência Cognitiva. E também não é surpreendente que nele também estejam representados outros ramos do conhecimento cuja relevância para o estudo do conteúdo e da cognição é conspícua: a Psicologia Cognitiva; a Linguística Computacional e a Inteligência Artificial. Os autores dos ensaios são de proveniências diversas. De um lado, há um conjunto de especialistas nacionais a trabalhar na tradição analítica em Filosofia, como João Branquinho, ou a trabalhar em algumas áreas filosoficamente importantes da Ciência Cognitiva, como António Branco (Processamento da Língua Natural), José Frederico Marques (Psicologia Cognitiva) e Helder Coelho (Inteligência Artificial). Do outro lado, há um conjunto de especialistas estrangeiros de elevada reputação internacional: Allan Gibbard, da Universidade de Michigan, autor de livros influentes na área da Ética e Filosofia Moral; Stephen Schiffer, da New York University, uma das principais figuras actuais da Filosofia da Linguagem e da Semântica Geral; Paolo Leonardi, da Universidade de Bolonha, um especialista nas áreas da Filosofia da Linguagem e Filosofia da Comunicação; e Manuel García-Carpintero, da Universidade de Barcelona, um dos grandes vultos da Filosofia Analítica praticada em Espanha e na Europa Continental. (shrink)