This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)

This paper presents the first possible world semantics for concessive conditionals (i.e., even if A, C conditionals) constructed in a compositional way. First, the meaning of if is formalized through a semantics that builds on the proposal given by Stalnaker (1968). A major difference from Stalnaker’s approach is that irrelevant conditionals (i.e., conditionals where the antecedent and the consequent have no connection) are false in this new setting. Second, the meaning of even is analyzed through a formal semantics based on (...) the notion of scale. This analysis overcomes the problems arising in standard approaches, in which even is analyzed with the help of pragmatic presuppositions. Finally, the two particles are combined in order to provide a formal analysis of even if. This theory predicts the major phenomena concerning the behavior of concessive conditionals and without any call to pragmatic explanations. More generally, this approach creates the possibility of a compositional analysis of other conditionals such as if then or only if forms. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

This paper presents the first compositional semantics for if then conditionals. The semantics of each element are first examined separately. The meaning of if is modeled according to a possible worlds semantics. The particle then is analyzed as an anaphoric word that places its focused element inside the context settled by a previous element. Their meanings are subsequently combined in order to provide a formal semantics of if A then C conditionals, which differs from the simple if A, C form. (...) This semantics has the particularity of validating contraposition for the first type but invalidating it for the second type. Finally, a detailed examination of the sentences presented in the literature opposing this schema of reasoning shows that these counterexamples do not generally concern if then conditionals but, rather, even if conditionals and that contraposition is therefore a valid means of reasoning with regard to if then conditionals in natural language, as this system predicts. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...) implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...) implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

This presentation discusses a notion encountered across disciplines, and in different facets of human activity: autonomous activity. We engage it in an interdisciplinary way. We start by considering the reactions and behaviors of biological entities to biotechnological intervention. An attempt is made to characterize the degree of freedom of embryos & clones, which show openness to different outcomes when the epigenetic developmental landscape is factored in. We then consider the claim made in programming and artificial intelligence that automata could show (...) self-directed behavior as to the determination of their step-wise decisions on courses of action. This question remains largely open and calls for some important qualifications. We try to make sense of the presence of claims of freedom in agency, first in common sense, then by ascribing developmental plasticity in biology and biotechnology, and in the mapping of programmed systems in the presence of environmental cues and self-referenced circuits as well as environmental coupling. This is the occasion to recall attempts at working out a logical and methodological approach to the openness of concepts that are still to be found, and assess whether they can operate the structuring intelligibility of a yet undeveloped or underdeveloped field of study, where a “bisociation" and a unification of knowledge might be possible. (shrink)

ABSTRACTThe paper deals with a problem posed by Mathieu Vidal to provide a formal representation for defective conditional in mathematics Vidal, M. [. The defective conditional in mathematics. Journal of Applied Non-Classical Logics, 24, 169–179]. The key feature of defective conditional is that its truth-value is indeterminate if its antecedent is false. In particular, we are interested in two explanations given by Vidal with the use of trivalent logics. By analysing a simple argument from plane geometry, (...) where defective conditional is in use, he gives two trivalent formal explanations for it. For both explanations, Vidal rigorously shows that trivalent logics cannot adequately represent defective conditional. Preserving Vidal's criteria of defective conditional ad max, we indicate some arguable points in his explanations and present an alternative explanation containing the original conjunction and disjunction in order to show that there are trivalent logics that might be an adequate formal explanation for defective conditional. (shrink)

El objetivo de este artículo es ofrecer una interpretación, en parte novedosa, del pasaje 5.54-5.5423 del Tractatus en el que Wittgenstein examina las proposiciones que representan relaciones intencionales como el juicio. La idea fundamental será que estas proposiciones se consideran como proposiciones que tratan de complejos y, en consecuencia, deberían analizarse de conformidad con el parágrafo 2.0201, lo que me llevará a desarrollar paso a paso el análisis propuesto. Adicionalmente, argumentaré que la teoría de Wittgenstein así entendida excluye la posibilidad (...) de juzgar sinsentidos, a diferencia de la teoría de Russell del juicio como relación múltiple. (shrink)

#################################################################################################### #################################################################################################### #######################################################.

The music in here--. Music as body ; Music as mind ; Music as heart ; Feeling mind, thinking heart -- --out there--. Music as life ; Music as story ; Music as mirror -- --and everywhere--. Music on the Zen elevator ; The enlightened listener ; Living the waves.

Le devenir du Nombre c'est le nôtre. Dans ce qui s'énonce ici sous la forme du traité, le Nombre est la puissance d'abstraction, de quantification, d'uniformisation déployée par les nombres quand le genre humain les anime. La Technosmose, le Fonctionnement, la logosynthèse, le Bios, sont quelques-unes des notions inédites qui coordonnent cet avènement. Remonter le cours de l'évolution du Nombre permet de comprendre l'établissement et la nature de son hégémonie. Le Nombre est désormais actif bien au-delà du phénomène de la (...) numérisation technologique: le monde le métabolise, et ce processus innerve la mutation planétaire en cours. Le crépuscule s'envisage alors sous les latitudes où il est une aurore. (shrink)

This book explores the notion of endangerment which stands at the heart of a network of concepts, values and practices dealing with objects considered threatened by extinction, and with the procedures aimed at preserving them. It looks at some of the fundamental ways in which this process involves science, but also more than science: not only data and knowledge and institutions, but also affects and values. With a focus on endangerment sensibility, it encapsulates tensions between the normative and the utilitarian, (...) the natural and the cultural. (shrink)

Bringing Pierre Bourdieu to Science and Technology Studies Content Type Journal Article Pages 263-273 DOI 10.1007/s11024-011-9174-2 Authors Mathieu Albert, Wilson Centre and Department of Psychiatry, Faculty of Medicine, University of Toronto, 200 Elizabeth Street , Eaton-South 1-581, Toronto, ON M5G 2C4, Canada Daniel Lee Kleinman, Department of Community and Environmental Sociology, University of Wisconsin-Madison, 348 Agricultural Hall 1450 Linden Drive, Madison, WI 53706, USA Journal Minerva Online ISSN 1573-1871 Print ISSN 0026-4695 Journal Volume Volume 49 Journal Issue Volume 49, (...) Number 3. (shrink)

En este artículo me propongo abordar el problema del tiempo en las sociedades contemporáneas desde un diálogo entre las construcciones teóricas de Moishe Postone y Hartmut Rosa y el trabajo de Michel Foucault. Los dos primeros se han centrado en explicar cómo la temporalidad se ha convertido en un tipo de dominación abstracta, impersonal y cuasiobjetiva a partir de conceptos como la densificación temporal, la aceleración o la hibridación. Foucault, en cambio, concibe el tiempo bajo el prisma de la racionalidad (...) política neoliberal, por la cual el tiempo pasa a ser un recurso que debe gestionarse por los sujetos en términos empresariales y que termina por configurar una ética neoliberal de la administración del tiempo. Este diálogo ejemplifica de manera privilegiada la tensión entre la coacción o la presión temporal y la administración estratégica del tiempo propia de las sociedades contemporáneas. (shrink)

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a $\mathbf {0}'$ -computable low $_3$ compact Polish space which is not homeomorphic to a computable one, and that, for any natural number $n\geq 2$, there exists a Polish space $X_n$ such that exactly the high $_{n}$ -degrees are required to present the homeomorphism type of $X_n$. (...) Along the way we investigate the computable aspects of Čech homology groups. We also show that no compact Polish space has a least presentation with respect to Turing reducibility. (shrink)

According to Clifford Geertz, the purpose of anthropology is not to explain culture but to explicate it. That should cause us to rethink our relationship with machine learning. It is, we contend, perfectly possible that machine learning algorithms, which are unable to explain, and could even be unexplainable themselves, can still be of critical use in a process of explication. Thus, we report on an experiment with anthropological AI. From a dataset of 175K Facebook comments, we trained a neural network (...) to predict the emoji reaction associated with a comment and asked a group of human players to compete against the machine. We show that a) the machine can reach the same accuracy as the players, b) it fails in roughly the same ways as the players, and c) easily predictable emoji reactions tend to reflect unambiguous situations where interpretation is easy. We therefore repurpose the failures of the neural network to point us to deeper and more ambiguous situations where interpretation is hard and explication becomes both necessary and interesting. We use this experiment as a point of departure for discussing how experiences from anthropology, and in particular the tension between formalist ethnoscience and interpretive thick description, might contribute to debates about explainable AI. (shrink)

"La solidarité que je ressentais avec les opprimés, avec ceux qui souffraient, a fait que je me suis spontanément`: tourné vers l'anarchisme - cette théorie qui traite des rapports de domination".

To begin with -- Genealogy of the cerebral subject -- Disciplines of the neuro -- Cerebralizing distress -- Brains on screen and paper -- Up for grabs.

Que serait une exposition qui, au lieu de prendre place dans un musée ou dans une galerie, prendrait place au cinéma? (un projet de Mathieu Copeland, avec Chantal Akerman, Peter Downsbrough, Liam Gillick, John Giorno, Philippe Grandrieux, Isidore Isou, Philippe-Alain Michaud, Meredith Monk, Lee Ranaldo, Susan Stenger, Alan Vega, Jacques Villeglé, Lawrence Weiner, Apichatpong Weerasethakul...).

The second German edition of Capital appeared in nine issues, from July 1872 to March 1873. Marx added an afterword in which he hoped to answer his western European critics, whom he felt did not grasp his work. To understand the afterword to the second German edition of Capital, one must take into account both what Marx wrote in his book and what Marx’s British, French, German and Russian critics said about his work between 1867 and 1872.

The development of Information and Communication Technologies has favored access to technological resources in adolescents. These tools provide access to information that can promote learning. However, they can also have a negative effect against people, as they can be used with other functionality, in which cyberbullying situations are caused during the interactions that arise when using social networks. The objective of this study was to determine the predictive value of the role of cyberbullying victims based on variables related to other (...) roles involved in cyberbullying and bullying, as well as personal characteristics, contextual characteristics and positive teamwork habits.. Information was collected from 227 students of the educational stages of Primary Education and Secondary Education, aged between 11 and 15 years, in a city with a high index of cultural diversity. The step-by-step technique was used to build the regression model. The results indicate that the model has a good goodness of fit coefficient. The role of cyberbully is the most important predictive variable of the role of the victim in cyberbullying and, to a lesser extent, the role of the witness in cyberbullying, the role of the witness in bullying, and the role of the victim of bullying. The role of the bullying aggressor and the variables sex, age, type of educational center, and teamwork habits are excluded in the predictive model. (shrink)

Confucius in the Technology Realm is a ground-breaking new approach to the dynamic world of Education Technology. In this work, the author has decided to soften on structure and focus on art - to take a philosophical approach to the planning and management of the chaotic and ever-changing realm of Educational Technology - what would Confucius think about Ed Tech? But while providing a method of inquiry for philosophical guidance, the book is also meant to reinforce the ethereal concepts with (...) real-world, Ed Tech examples. The ultimate objectives of impacting student learning and achievement and mastery of philosophical self-discipline becomes one and the same - thus, the Tao of Education Technology may be seen as Confucius' viewpoint, helping identify the path to transcending the organization's people, policies, and processes to attain a state where the whole is greater than the sum of its parts - where the education technology infrastructure and operational support structure are ingrained and embodied within the organization as a whole. (shrink)

Plagiarism is a crime against academy. It deceives readers, hurts plagiarized authors, and gets the plagiarist undeserved benefits. However, even though these arguments do show that copying other people’s intellectual contribution is wrong, they do not apply to the copying of words. Copying a few sentences that contain no original idea (e.g. in the introduction) is of marginal importance compared to stealing the ideas of others. The two must be clearly distinguished, and the ‘plagiarism’ label should not be used for (...) deeds which are very different in nature and importance. (shrink)

High-fidelity cultural transmission, rather than brute intelligence, is the secret of our species’ success, or so many cultural evolutionists claim. It has been selected because it ensures the spread, stability and longevity of beneficial cultural traditions, and it supports cumulative cultural change. To play these roles, however, fidelity must be a causally-efficient property of cultural transmission. This is where the grain problem comes in and challenges the explanatory potency of fidelity. Assessing the degree of fidelity of any episode or mechanism (...) of cultural transmission always depends upon an investigator’s choice of grain of description at which cultural traditions are being studied. The fidelity of cultural transmission then appears to be relative to the granularity at which one approaches cultural variation, and since there is a multiplicity of grains of description by which the same tradition can be studied, there results a multiplicity of measures of fidelity for a same event or mechanism of cultural transmission. If this is correct, because fidelity is always relative to the grain of description dictated by the local and specific research interests of the investigator, then there seems to be no fact of the matter as to whether cultural transmission is faithful or not, independently from a researcher’s framework of analysis. The aims of this paper are to offer a conceptual clarification of the grain problem in cultural evolution, to assess its causes, to unpack its epistemological implications, and to examine its reach and consequences for a science of cultural evolution. (shrink)

Collective memory is neither spontaneous nor random, but the result of a series of selective practices. It establishes group identity and sets power relations between groups. The author considers the process of selection through a case study of the transformation of Franco’s regime in Spain into a democracy. Collective memory of the time is shown to be organized around an event (the Munich Coalition or contubernio) and around the democratic transition. The author traces two opposing notions, negationist (denying any importance (...) to Munich) and the pro-democratic, and concludes that the memory of the transition is only the memory of those who won the civil war, who were also those who engineered the transition itself. (shrink)