In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

1024x768 Na sociedade da informação as Tecnologias da Informação e do Conhecimento podem contribuir para o aumento da distância social entre quem detém as informações e o domínio das tecnologias e, aqueles que estão a margem da sociedade tecnológica que são considerados os excluídos digitais, revelando a exclusão sociodigital. Por conseguinte, a eliminação da exclusão social encontra-se conectada a inclusão digital. Portanto, a importância dos programas de inclusão sociodigital, destacando-se o Programa Nacional de Tecnologias na Educação, enquanto política pública para (...) a inclusão sociodigital, que foi implantado em 1997 pelo governo federal em âmbito nacional, por meio da parceira União/Estado/Municípios. Neste contexto, o objetivo desta pesquisa foi investigar a implantação do Proinfo em Minas Gerais, especificamente na região metropolitana de Belo Horizonte onde estão localizados seis Núcleos de Tecnologias Educacionais, os quais têm a função de promover as capacitações dos agentes educacionais. Para tal, foi escolhida como metodologia a pesquisa descritiva tendo como estratégias adotadas as pesquisas bibliográfica e documental. Concluiu-se que mesmo enfrentando vários problemas, a capacitação dos agentes educacionais vem sendo realizada em todos os Núcleos Tecnológicos Educacionais, através de cursos sugeridos pelo Proinfo, que disponibiliza os materiais didáticos através da Secretaria de Educação Básica. São ofertadas, também, oficinas de curta duração sobre o uso de softwares na educação. Assim, a implantação do Proinfo em Minas Gerais constitui-se de um elemento gerador de mudanças educacionais e sociais, promotor da inclusão sociodigital, podendo ser considerada uma política pública inovadora, que tem nos NTEs e NTMs a sua garantia de desenvolvimento e execução. Palavras-chave: Inclusão sociodigital. Proinfo. Capacitação de agentes educacionais. Normal 0 21 false false false PT-BR X-NONE X-NONE. (shrink)

Italian political thinker Paolo Virno argues that the category of "multitude" is a far better tool to analyze contemporary issues than the Hobbesian concept of "people." Globalization is forcing us to rethink some of the categories—such as "the people"—that traditionally have been associated with the now eroding state. Italian political thinker Paolo Virno argues that the category of "multitude," elaborated by Spinoza and for the most part left fallow since the seventeenth century, is a far better tool to (...) analyze contemporary issues than the Hobbesian concept of "people," favored by classical political philosophy. Hobbes, who detested the notion of multitude, defined it as shunning political unity, resisting authority, and never entering into lasting agreements. "When they rebel against the state," Hobbes wrote, "the citizens are the multitude against the people." But the multitude isn't just a negative notion, it is a rich concept that allows us to examine anew plural experiences and forms of nonrepresentative democracy. Drawing from philosophy of language, political economics, and ethics, Virno shows that being foreign, "not-feeling-at-home-anywhere," is a condition that forces the multitude to place its trust in the intellect. In conclusion, Virno suggests that the metamorphosis of the social systems in the West during the last twenty years is leading to a paradoxical "Communism of the Capital.". (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two‐level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

The temporality of intentions and actions in situations of social interaction can sometimes be paradoxical. I argue that in these situations it may sometimes be possible to conceive of individual acts that can, in a strong sense, be intended retroactively. This could happen when the relational patterns in social interaction literally alter the virtual structure of a participant's past corporeal intentions resulting in an odd experience of having intended something all along without knowing it. I propose that this possibility should (...) be interpreted as more than just a narrowly epistemic phenomenon. Examining this claim involves clarifying the enactive perspective on intentionality, which I do here. The enactive approach rejects the model of a causal relation between intention and action for one of an intrinsic qualitative relation between the two as facets of sense-making. I develop this idea and compare it with Merleau-Ponty's Fundierung model of the mutual relation between corporeal and reflexive intentionality to show that co-regulated moves/affections during social interaction may modulate both arcs of this relation, creating the possibility of a re-signification that alters not the actuality but the virtual tendencies that preceded the social act. (shrink)

This paper explores the epistemology of extrapolation from model organisms to humans in molecular medicine. We take into account two common views on the issue, the homology view and the disanalogy view. In response to both interpretations, we argue that the foundational basis of extrapolations cannot simply be provided by homology and that relevant disanalogies can, thanks to the techniques of molecular biology, be experimentally controlled and exploited to allow useful and reliable extrapolations. The case of "humanised mice" in the (...) context of cancer stem cell research provides evidence of how animal models can be construed to approximate bona fide causal analogue models of human diseases. To supplement this view we show how the epistemology of model organisms needs to take into account the engineering side of molecular medicine. Model organisms are often manipulated to create analogies or remove disanalogies with the target system. We maintain that highlighting this feature is fundamental to explain what warrants extrapolation in the search for the molecular causes of disease. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two-level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

Bringing together contributors from philosophy, international relations, security studies, and strategic studies, New Wars and New Soldiers offers a truly interdisciplinary analysis reflective of the nature of modern warfare. This comprehensive approach allows the reader to see the broad scope of modern military ethics, and to understand the numerous questions about modern conflict that require critical scrutiny. Aimed at both military and academic audiences, this paperback will be of significant interest to researchers and students in philosophy, sociology, military and strategic (...) studies, international relations, politics, and security studies, acting as an ideal course text or as supplementary reading. (shrink)

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

In Cabo Delgado, Mozambique, the year of 2020 marked a dramatic escalation of military activities of the Islamist insurgent group locally known as Al-Shabab or mashababe. This intensification was accompanied by a more immaterial phenomenon: the rise in prominence of social media, both as battleground and as public forum. While the insurgents sacked and occupied major towns and district headquarters, the Web 2.0 networks - Facebook and WhatsApp especially - became the central arena in which the war was apprehended and (...) discussed. This essay is an exploration of the entwining of social media with the 'new war' in Cabo Delgado, focussing on the events that surround the conquest of the Makonde plateau, mythical cradle of the Mozambican liberation struggle. Building on a budding literature on digital militarism, the essay dwells especially on orality and the use of the voice note as a medium to convey information deemed to be more trustworthy and stable than images. Tracking these media and their interrelations, the essay establishes a narrative, however fragmentary, of the downfall of the Makonde plateau; highlights recurring features of violence in the Cabo Delgado conflict; and provides fresh insight into the formation of the Local Force (Força Local), a State-sponsored militia largely constituted by war veterans. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Le but de cet ouvrage est de montrer la teneur philosophique unitaire de la pensée critique de Diderot par delà le caractère éclaté et dispersé de son œuvre. Diderot philosophe est présenté comme un penseur critique et systématique, c'est-à-dire un philosophe dont la réflexion, d'une part, s'inscrit dans le cadre du courant de pensée moderne qui vise à dépasser les perspectives du « premier regard géomètre de la raison », celui de Descartes, de Malebranche et des post-cartésiens. D'autre part, elle (...) atteint un « second regard critique », plus profond, jeté sur le monde de la nature et surtout, sur lui-même (une philosophie de l'aperception : Spinoza, Wolff, les Moralistes anglais et Kant), qui se rattache intimement à un matérialisme biologique tout à fait original, issu de la confrontation de Diderot avec les naturalistes et les médecins de son temps. C'est ce matérialisme élaboré dans l'usine encyclopédique qui met en cause la notion clé d'« individualité naturelle » (jouée en couplet avec une « communauté du désir ») - néologisme dont Le Neveu de Rameau et Le Rêve de D'Alembert développeront les tenants et les aboutissants philosophiques -, et qui témoigne de la nouveauté d'approche propre à cette philosophie, à l'intérieur de la pensée des Lumières européennes. Avec Diderot, c'est une nouvelle figure historique de la philosophie elle-même - celle de la subjectivité individuelle complexe, uni-totalité de penser-sentir-agir - qui monte sur la scène de la modernité, comme étant la substance première, incontournable et insaisissable, de la pensée critique de nos jours. (shrink)