continent. 2.2 (2012): 148–151 When things get complex, as they may indeed be getting, the distinction between tools and the things that can be made with them begins to dissolve. The medium is not only also a message, it is an essential counter-valence to our own impulses towards the creation of meaning, beauty and knowledge. The tools we think we are using also use us: They push us around, make us think new things, do new things, even be new things. (...) Language is no different, of course, although in its supremacy and ubiquity, it is even more elusive, difficult to perceive. The very words you are looking at right now are like compact little cryptograms—a written convention, talking back at you in codes. Poetry is language speaking for itself. It is, at its best, where what is being told is coincident with the telling. The words written, or uttered, pop out at us, while in the same moment, constellations of meaning emerge; the components and its composition resonate, vacillate, on the page and in the air. Many of the constraints and styles of poetry we know have developed in order to allow words to express themselves, or show themselves as the mediation of a mental image. Programming languages for computer hardware, no matter how “high level” or abstract they are, are by necessity far less elaborate than traditional forms of writing and speech. But the structure and function of these new languages give them special advantage in clarity: These languages (syntax, sequence) and the results they produce (ideas, ‘executables’) are absolutely inseparable. By design, computing languages are created in order to express specific ideas, creating certain kinds of action or manipulation of other codes (data). In this sense perhaps, software is always, and already, poetic. It is precise description, and pure syntax—the signifier and signified—clearly coincident in the machine. Ishac Bertran ’s code {poems} is an edited book project that exposes the materiality of computer programming languages. Here are presented a small sampling from a compiled book of poetry written by software engineers, artists and other code writers, “exploring the potential of code to communicate at the level of poetry.” ( code-poems.com ) The project solicited for online, public submissions from code-writers in response to the notion of a poem, written in a software language which is semantically valid (i.e.: it compiles ). This solicitation winds up revealing the inner workings, constitutive elements, and styles of both a particular software and its authors. From a large number of submissions, a selection of poems will be printed as a bound volume in the Autumn of 2012. - Jamie Allen __________________________________________________ DAILYGRIND import java.util.Date; public class DailyGrind { public static final void main(String[] args) { boolean its_time_to_go_home = false; boolean away_the_hours = true; while (away_the_hours) { boolean away_the_hours = true; Date now = new Date(); its_time_to_go_home = now.getHours() > 17 && now.getMinutes() > 30; if (its_time_to_go_home) { break; } try { Thread.sleep(60000); } catch (InterruptedException e) { // ignore } } } } Paul Illingworth // Java __________________________________________________ UNHANDLED LOVE class love {}; void main() { throw love(); } Daniel Bezerra // C++ __________________________________________________ TWOFACED public class TwoFaced { public String greet() { return "Hi! So great to see you!"; } private String think() { return "Fucking bitch."; } } Jason Kopylec // Java __________________________________________________ DANCING WITHIN using System; public class PoemCode { private bool dancing_within() { Boolean me = true; while (dancing_within()) { var iables_of_light = ""; try { int elligently_to; object ify_the_world_apart; } catch (Exception s) { int o_the_broken_parts; throw; int o_the_seed_of_life; } Random ashes_of = new Random(); float ing_devices; short age_of; char acter_will_never_let_you = 'b'; } return me; } } Álvaro Matías Wong Díaz // C#  . (shrink)

La fenomenología de la vida de Hans Jonas aúna su posición ontológica y ética. En ella, usa el concepto de libertad dialéctica como base fenomenológica para superar el dualismo cartesiano, estableciendo una continuación ontológica entre los seres-vivos, resignificando la experiencia corpórea de la vida. El presente trabajo sugiere que esta interpretación termina por recaer en una historia metafísica de la libertad que encumbra ontológicamente al ser-humano. Para evitarlo, se propone un nuevo desarrollo de la libertad para alcanzar una alternativa ontológica (...) que se funde en la consustancialidad de la experiencia corpórea y la consiguiente imposibilidad de una gradación ontológica. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken (...) as an essentially correct formal system for second-order logic: the first one in the history of logic. However, there is strong textual evidence that such an interpretation should be rejected. This evidence shows that the nature of the distinction between function and argument is stated by Frege in a significantly different way: it applies only to expressions and not to entities. The formal system based on this distinction is tremendously flexible and is suitable for making explicit the logical structure of contents as well as of deductive chains. We put forward a new reconstruction of the function-argument scheme and the quantification theory in Begriffsschrift. After that, we discuss the usual semantic interpretation of Begriffsschrift and show its inconsistencies with a rigorous reading of the text. (shrink)

La guerre qui fait actuellement rage en Ukraine a initié un changement d’échelle dans le recours aux investigations numériques. Elle est le premier conflit de haute intensité qui se déroule dans une zone aussi largement couverte par Internet, et où l’utilisation des réseaux sociaux par les individus est une pratique habituelle. Manœuvres, assauts et exactions sont ainsi documentés en temps quasi réel et fournissent aux journalistes et observateurs des données sur le déroulement du conflit. Cependant, ces mêmes données sont analysées, (...) recoupées, interprétées et utilisées par les belligérants pour optimiser leurs stratégies de contrôle territorial en temps de guerre. (shrink)

Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that (...) compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language. (shrink)

La fin des années 1810 est souvent considérée comme le moment d’une liquidation posthume de l’Idéologie par ses adversaires, en particulier les tenants de la réaction catholique. Triomphe de l’homme moral sur l’homme physique, cet ultime avatar de la « guerre des deux écoles » aurait tendu à éluder toute étude scientifique de l’homme, rendu à des seuls déterminants sociaux ou spirituels. Partant de postulats opposés, se réclamant de traditions philosophiques inconciliables, déployant des méthodes intellectuelles antithétiques pour servir deux visions (...) antagonistes du politique, n’assiste-t-on pas malgré tout, de part et d’autre, à une tentative d’expliquer l’humanité, de lui réassigner une place dans le cosmos, de la ré-humaniser par ce travail de redéfinition? Dès lors peut-être apercevrait-on l’instantané d’un tableau plus vaste ; celui d’un essai bifide, témoin d’enjeux épistémologiques nouveaux, de constituer les bases de ce qu’on commence alors à peine à appeler une anthropologie. (shrink)

The Counter-Enlightenment and its corollary, the Counter-Revolution, must not be systematically reduced to some sterile philosophical denial and combat, hoping to return to the former established society, political power and thought, which would be nothing more than a mere reactionary endeavor. Counter-revolutionary authors such as Maistre and Bonald, who, at first, did favour the Enlightenment, intend to explain what seems inexplicable, notably the Terror, and, by giving a sense to it, to go beyond the dread created by the outburst of (...) revolutionary violence. Indeed, their purpose is to understand the course of the Revolution, its causes and effects, and its infernal logic. To proceed, they develop new intellectual strategies, induced by the radical novelty of the revolutionary process itself. In order to reassign to this event such a place in History as defined by a divine purpose, they start by proving that the Revolution is evil, then, further explaining this evil from a theological point of view. Favouring internal criticism, this paper purports to analyze and compare Maistre’s and Bonald’s methodical examination of the Revolution in some of their more relevant works. (shrink)

In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and proof of mathematical laws. However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.

In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and proof of mathematical laws. However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.

In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions of arithmetical notions and to deduce some noteworthy theorems by means of logical axioms and inference rules. From a contemporary perspective, Begriffsschrift’s deductions are, in general, straightforward; it is assumed that all of them can be reproduced in a second-order formal system. Some deductions in this work present—according to this perspective—oddities that have led many scholars to consider it to be Frege’s inaccuracies which should be amended. (...) In this paper, we continue with the analysis of Begriffsschrift’s logic undertaken in an earlier work and argue that its deductive system must not be reconstructed as a second-order calculus. This leads us to argue that Begriffsschrift’s deductions do not need any correction but, on the contrary, can be explained in coherence with a global reading of this work and, in particular, with its fundamental distinction between function and argument. (shrink)

When comparing both GDP loss and mortality across countries, it appears that countries that have managed to save more lives during the Covid-19 pandemic have also managed to save their economies better. What accounts for these stark differences in country performances? In this article, we argue that a salient feature of economic and health performance is the degree of trust populations have in their governments. We set up a heuristic analytical framework that models this relation, under particular assumptions about what (...) drives government and individual behavior, in order to better understand the mechanisms that may be at work. We identify three key roles that trust in government may play in enforcing social distancing policies, conveying credible information for individual decision-making, and shaping government attitudes towards risk. We argue that these implications are consistent with the empirical evidence. We also discuss the relevance of other forms of trust, namely, interpersonal trust and trust in science. (shrink)