Summary John Frederic Daniell (1790–1845) invented the constant battery in 1836. He meant it to be a philosophical instrument to be utilized in both lecture demonstrations and electrochemical laboratory research. But the constant battery was taken up in electrometallurgy, not primarily as a source of electric current but more as an electrodeposition device. As such it became an essential tool in the development of galvanoplastics (electroforming). This article traces the tortuous transformation of this lecture demonstration apparatus into an electrometallurgical tool, (...) and includes some aspects of British and French patent laws, and the electrogilding industry. (shrink)

We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.

In 2016, the United Nation’s General Assembly adopted a non-binding resolution regarding ‘The Promotion, Protection and Enjoyment of Human Rights on the Internet’. At the heart of this resolution is the UN’s concern that ‘rights that people have offline must also be protected online.’ While the UN thus recognises the importance of the Internet, it does so problematically selectively by focusing on protecting existing offline rights online. I argue instead that Internet access is itself a moral human right that requires (...) that everyone has unmonitored and uncensored access to this global medium, which should be publicly provided free of charge for those unable to afford it. Rather than being a mere luxury, Internet access should be considered a universal entitlement because it is necessary for people to be able to lead minimally decent lives. Accepting this claim transforms our conception of the Internet from a technology to that of a basic right. (shrink)

Immanuel Kant is recognized as one of the first philosophers who wrote systematically about global justice and world peace. In the current debate on global justice he is mostly appealed to by critics of extensive duties of global justice. However, I show in this paper that an analysis of Kant’s late work on rights and justice provides ample resources for disagreeing with those who take Kant to call for only modest changes in global politics. Kant’s comments in the Doctrine of (...) Right clarify that he thinks we need a coercively enforced global civil condition. But his work also contains ideas that imply that within such a global legal order there must be no extreme forms of poverty and inequality, and that the current holdings of states are by no means conclusive possessions without confirmation by the global legal order we have a duty to establish. Thus, this paper challenges the prevailing interpretation of Kant as a conservative thinker about global justice that is held, for instance, by the leading contemporary liberal thinkers such as John Rawls, Thomas Nagel, and Ronald Dworkin. (shrink)

In the contemporary philosophical literature, political legitimacy is often identified with a right to rule. However, this term is problematic. First, if we accept an interest theory of rights, it often remains unclear whose interests justify a right to rule : either the interest of the holders of this right to rule or the interests of those subject to the authority. And second, if we analyse the right to rule in terms of Wesley Hohfeld’s characterization of rights, we find disagreement (...) among philosophers about what constitutes the conceptual core of political authority: a power-right or a claim-right to rule. In this paper I show that both of these are problematic for a number of reasons. First, if we think that it is only the interests of the holders of a right to rule that justify the possession of authority, the conceptual core of authority must consist in a claim-right. However, this understanding of authority biases our thinking about legitimacy in favor of democratic exercises of power. Second, if we hold such a decisively democratic view of legitimacy, we confront an impasse with respect to addressing global collective action problems. Although it is clear that political authority is necessary or useful for solving these issues, it is doubtful that we can establish global institutions that are democratically authorized anytime soon. The paper suggests an alternative ‘Power-Right to Command View’ of political legitimacy that avoids the democratic bias and allows for thinking about solutions to global problems via global service authorities. (shrink)

This paper develops an account of committed beliefs: beliefs we commit to through reflection and conscious reasoning. To help make sense of committed beliefs, I present a new view of conscious reasoning, one of putting yourself in a position to become phenomenally consciously aware of evidence. By doing this for different pieces of evidence, you begin to make your up mind, making conscious reasoning, as such, a voluntary activity with an involuntary conclusion. The paper then explains how we use conscious (...) reasoning in reflection not just to form and change committed beliefs, but to become aware of existing ones. The paper concludes with an explanation of how the limitations of conscious reasoning require us to maintain committed beliefs in a system. It is our maintenance of this system that allows us to knit together individual episodes of conscious reasoning into one enduring performance as a committed systematic believer. (shrink)

We conducted an integrative data analysis to examine the hedonic character of nostalgia. We combined positive and negative affect measures from 41 experiments manipulating nostalgia. Overall, nostalgia inductions increased positive and ambivalent affect, but did not significantly alter negative affect. The magnitude of nostalgia’s effects varied markedly across different experimental inductions of the emotion. The hedonic character of nostalgia, then, depends on how the emotion is elicited and the benchmark to which it is compared. We discuss implications for theory and (...) research on nostalgia and emotions in general. (shrink)

Cephalos and Kant. A conversation on duties Socrates’s first conversational partner in Plato’s Politeia is Cephalos, the host of the dialogue. But the conversation between Cephalos and Socrates does not appear to be very fruitful. It merely seems to function as the setting of the stage. Nonetheless, what Cephalos has to say about life and old age, about justice and doing one’s duty is far from uninteresting. Indeed, if Cephalos had presented his views to Immanuel Kant, they would have been (...) well received. Kant would have agreed with Cephalos’s emphasis on duties: the duty to speak truthfully; the duty of returning what one has borrowed from another and the duty of gratitude for what one has been given. Kant’s fictional conversation with Cephalos even presents us with some unexpected vistas. (shrink)

The question whether distributive justice is at bottom practice-dependent or practice-independent has received much attention in recent years. I argue that the problem of intergenerational justice resolves this dispute in favor of practice-independence. Many believe that we owe more to our descendants than leaving them a world in which they can merely lead minimally decent lives. This thought is particularly convincing given the fact that it is us who determine to a significant extent what this future world will look like. (...) However, no practices that would trigger distributive obligations exist between distant generations. Thus, if we have to leave more than a minimum for future generations, we cannot conceive of distributive justice in terms of the justification of ongoing social interactions. Rather we have to think of the entire concept as an idea based on persons’ legitimate interests and capacity for well-being, and which abstracts from participation in particular practices. (shrink)

The semantics of directional prepositions is investigated from the perspective of aspect. What distinguishes telic PPs (like to the house) from atelic PPs (like towards the house), taken as denoting sets of paths, is their algebraic structure: atelic PPs are cumulative, closed under the operation of concatenation, telic PPs are not. Not only does this allow for a natural and compositional account of how PPs contribute to the aspect of a sentence, but it also guides our understanding of the lexical (...) semantics of prepositions in important ways. Semantically, prepositions turn out to be quite similar to nouns and verbs. Nominal distinctions (like singular and plural, mass and count) and verbal classes (like semelfactives and degree achievements) have their prepositional counterparts. (shrink)

This article identifies the structural and conceptual aspects of a visual construction often used in advertisements to establish a metaphoric or associative relation, that is, symmetric object alignment (SOA). It offers an account of the formal ingredients of SOA, which fall into two groups: object-constitutive factors (like size, shape, and color) and object-depictment factors (like perspective, orientation, and distance from viewing point). Both factors allow us to treat SOA as a visual rhetorical scheme. We also discuss how SOA relates to (...) conceptual structure, metaphoric or otherwise. Four types of relations are distinguished, based on the way in which perceptual and conceptual characteristics interact. Finally, we discuss the way in which these characteristics relate to the processing of such visual messages. One depictment factor will be focused on in particular: one-to-one versus one-to-many alignments. An attempt is made to connect these 2 patterns to the much-discussed topic in verbal metaphor theory, object comparison versus categorization. (shrink)

Since the Brexit Referendum in the United Kingdom and the election of Donald Trump as US President in 2016, the term ‘fake news’ has become a significant source of concern. Recently, the European Commission and the British House of Commons have condemned the phenomenon as a threat to their institutions’ democratic processes and values. However, political disinformation is nothing new, and empirical studies suggest that fake news has not decided crucial elections, that most readers do not believe the online fake (...) news stories they read, and that political polarization in Western democracies like the US began to increase long before online fake news existed. The question then is: how exactly does fake news threaten democracies? This paper argues that online fake news threatens democratic processes because it undermines citizens’ epistemic trust in each other. This in turn threatens to undermine the perceived legitimacy and the moral justification of democratic institutions as a whole. While online fake news is a symptom of a much larger issue (how has the Internet affected democracies, and how can we use its positive power while checking its negative effects?), it deserves particular attention given the potential danger it presents for the viability and the legitimacy of the democratic process. (shrink)

The typical outcome measure in infertility treatment is the (cumulative) healthy live birth rate per patient or per cycle. This means that those who end the treatment trajectory with a healthy baby in their arms are considered to be successful and those who do not are considered to have failed. In this article, we argue that by adopting the healthy live birth standard as the outcome measure that defines a successful fertility treatment, it becomes an interpretative self-fulfilling prophecy: those who (...) achieve the goal consider themselves successful and those who do not consider themselves failures. This is regardless of the fact that having children is only one out of many ways to alleviate the suffering related to infertility and that stopping fertility treatment can also be a positive decision to move on to other goals, rather than a form of “giving up,” “dropping out,” “nonadherence,” or failure. We suggest that those seeking fertility treatment would be served better by an alternative outcome measure, which can be equally self-fulfilling, according to which a successful treatment is one in which people leave the clinic released from the suffering that accompanied their status as infertile when they first entered the clinic. This new outcome measure still implies that walking out with a healthy baby is a positive outcome. What changes is that walking out without a baby can also be a positive outcome, rather than being marked exclusively as a failure. (shrink)

Being more than mere passive objects used at human will, technologies co-determine the values and structures that shape the EU agricultural system. Technologies actively shape human interpretation, human action and co-shape our moral standards and routines. It is therefore important to account for the moral significance of agricultural technologies when characterising the structures in place within EU agriculture as well as when trying to understand why a particular agricultural technology is favoured or strongly opposed. From this perspective on technology, an (...) interesting question to pose, is how, within their current use context, genetically modified crops mediate human interpretation and human practice? This technology is of particular interest, because after more than 30 years, the debate on GM crops is still profound and highly polarised within EU society. Yet, too often, this debate is devalued as being irrational or irrelevant, while we show in this article, based on a technological mediation analysis, how ethical concerns about agricultural practices have co-evolved with the technological development of GM crops. This qualifies public debate on GM crops in the EU as both legitimate and relevant, as, from this perspective on technology, it can be seen as an important way to both characterise and discuss how EU agriculture is and should be organised. Analysing technology in terms of the myriad ways in which it mediates the relationship between humans and their world, further allows us to make some suggestions about how to broaden the ongoing EU discussion beyond the current dichotomous Yes/no framing. (shrink)

In contrast to the well-developed analysis of British feminism's implication in the late 19th-and early 20th-century reconstruction of the British national and imperial project, research into comparable areas of Dutch history are only just emerging. Taking as its starting point several conclusions drawn from postcolonial writing in the eld of British imperialism, this article investigates an important moment in the history of Dutch feminism, the Nationale Tentoonstelling van Vrouwenarbeid, to examine Dutch feminism's complicity in the Dutch imperial project. Simultaneously, it (...) examines the appropriation by colonial reformists of a `maternalist politics' to redene that project. In so doing, the article aims to focus attention on the interaction between metropolitan and colonial discourse and the place of maternalist politics in each. Further, the article briey reects on the signicance for Indonesian women of the operation of such discourses in the colonial context. (shrink)

Small tandem DNA duplications in the range of 15 to 300 base‐pairs play an important role in the aetiology of human disease and contribute to genome diversity. Here, we discuss different proposed mechanisms for their occurrence and argue that this type of structural variation mainly results from mutagenic repair of chromosomal breaks. This hypothesis is supported by both bioinformatical analysis of insertions occurring in the genome of different species and disease alleles, as well as by CRISPR/Cas9‐based experimental data from different (...) model systems. Recent work points to fill‐in synthesis at double‐stranded DNA breaks with complementary sequences, regulated by end‐joining mechanisms, to account for small tandem duplications. We will review the prevalence of small tandem duplications in the population, and we will speculate on the potential sources of DNA damage that could give rise to this mutational signature. With the development of novel algorithms to analyse sequencing data, small tandem duplications are now more frequently detected in the human genome and identified as oncogenic gain‐of‐function mutations. Understanding their origin could lead to optimized treatment regimens to prevent therapy‐induced activation of oncogenes and might expose novel vulnerabilities in cancer. (shrink)

This article examines the structure and processing of editorial cartoons appropriating Joe Rosenthal's famous Iwo Jima photograph in view of the theory of conceptual blending (Fauconnier & Turner, 2002 Fauconnier, G. and Turner, M. 2002. The way we think: Conceptual blending and the mind's hidden complexities, New York,, NY: Basic Books. [Google Scholar]). The main claim argued is that Blending theory accounts for complex processes of meaning constructing provoked by editorial cartoons that invoke several conceptual domains to define and evaluate (...) their topic, Iwo Jima cartoons being cases in point. The second section introduces the relevant aspects of Blending theory: mental spaces and types of blending networks. The third section addresses the Iwo Jima image as one particular input space; a moral criterion to which the selected sociopolitical topic of the cartoon is compared and judged. The fourth section isolates four types of graphic operations blending the Iwo Jima image with topical entities. The fifth section demonstrates how various kinds of blends give rise to either positive or negative evaluations. The final section argues that the study's scope of application extends to any kind of multi-domain cartoon, not just those addressed in this article. (shrink)

Human rights protect the conditions of a minimally decent life of which mental health is an indispensable element. Adequate care for mental health is thus recognized as part of the human right to health. However, for populations living far from urban centers, adequate in-person (mental) health care is often extremely costly and thus not provided. Digital mental health care options have become an effective alternative to in-person treatment. Benefitting from these new digital opportunities, though, requires sufficient access to the internet. (...) Because everyone has a human right to adequate health care, and digital mental health care is now an effective option for progressively realizing this human right for people who live in remote regions, these people also have to be understood to have a right to access to the internet. This right to internet access creates duties for public authorities and the international community to create the required digital infrastructure and (where needed) to cover the costs of internet access where this is the only feasible way of delivering, or progressively realizing, the mental health care that is indispensable for having the opportunity to lead minimally decent lives. (shrink)

This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.

A strong coloring on a cardinal $\kappa $ is a function $f:[\kappa ]^2\to \kappa $ such that for every $A\subseteq \kappa $ of full size $\kappa $, every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction [A]^2$. The symbol $$ \begin{align*} \kappa\nrightarrow[\kappa]^2_{\kappa} \end{align*} $$ asserts the existence of a strong coloring on $\kappa $.We introduce the symbol $$ \begin{align*} \kappa\nrightarrow_p[\kappa]^2_{\kappa} \end{align*} $$ which asserts the existence of a coloring $f:[\kappa ]^2\to \kappa $ which is strong over a partition $p:[\kappa ]^2\to (...) \theta $. A coloring f is strong over p if for every $A\in [\kappa ]^{\kappa }$ there is $i<\theta $ so that for every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction )$.We prove that whenever $\kappa \nrightarrow [\kappa ]^2_{\kappa }$ holds, also $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ holds for an arbitrary finite partition p. Similarly, arbitrary finite p-s can be added to stronger symbols which hold in any model of ZFC. If $\kappa ^{\theta }=\kappa $, then $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ and stronger symbols, like $\operatorname {Pr}_1_p$ or $\operatorname {Pr}_0_p$, also hold for an arbitrary partition p to $\theta $ parts.The symbols $$ \begin{gather*} \aleph_1\nrightarrow_p[\aleph_1]^2_{\aleph_1},\;\;\; \aleph_1\nrightarrow_p[\aleph_1\circledast \aleph_1]^2_{\aleph_1},\;\;\; \aleph_0\circledast\aleph_1\nrightarrow_p[1\circledast\aleph_1]^2_{\aleph_1}, \\ \operatorname{Pr}_1_p,\;\;\;\text{ and } \;\;\; \operatorname{Pr}_0_p \end{gather*} $$ hold for an arbitrary countable partition p under the Continuum Hypothesis and are independent over ZFC $+ \neg $ CH. (shrink)

This study examines an important aspect of energy history and policy: the intertwinement of energy technologies with ideals. Ideals play an important role in energy visions and innovation pathways. Aspirations to realize technical, social, and political ideals indicate a long-term commitment in the design of energy systems, distinguishable from commitment to other abstract goals, such as values. This study offers an analytical scheme that could help to conceptualize these differences and their impact on energy policy. In the proposed model, two (...) spheres of interaction are highlighted: a material sphere in which values and technologies co-evolve, and an imaginary sphere in which ideals interact with idealized technologies. Furthermore, the relation between these two spheres can be understood in different ways. This study examines three cases that are illustrative of the different roles of ideals in the development of energy technologies and visions: (1) the evolution of safety in nuclear reactor design; (2) visions of atomic power in France; (3) the political idealization of a tidal power scheme in the Severn Estuary. Finally, the developed model implies more general insights for the development of sociotechnical systems. Amongst others, it shows why certain projects and technologies remain a political, but not a techno–economic option. (shrink)

By Solovay’s celebrated completeness result [31] on formal provability we know that the provability logic ${\textbf {GL}}$ describes exactly all provable structural properties for any sound and strong enough arithmetical theory with a decidable axiomatisation. Japaridze generalised this result in [22] by considering a polymodal version ${\mathsf {GLP}}$ of ${\textbf {GL}}$ with modalities $[n]$ for each natural number n referring to ever increasing notions of provability. Modern treatments of ${\mathsf {GLP}}$ tend to interpret the $[n]$ provability notion as “provable in (...) a base theory T together with all true $\Pi ^0_n$ formulas as oracles.” In this paper we generalise this interpretation into the transfinite. In order to do so, a main difficulty to overcome is to generalise the syntactical characterisations of the oracle formulas of complexity $\Pi ^0_n$ to the hyper-arithmetical hierarchy. The paper exploits the fact that provability is $\Sigma ^0_1$ complete and that similar results hold for stronger provability notions. As such, the oracle sentences to define provability at level $\alpha $ will recursively be taken to be consistency statements at lower levels: provability through provability whence the name of the paper. The paper proves soundness and completeness for the proposed interpretation for a wide class of theories, namely for any theory that can formalise the recursion described above and that has some further very natural properties. Some remarks are provided on how the recursion can be formalised into second order arithmetic and on lowering the proof-theoretical strength of these systems of second order arithmetic. (shrink)

Publication in the biomedical literature is important because it is the major pathway by which new concepts and discoveries are disseminated amongst scientists. In the last 30 years there has been a dramatic increase, not only in the volume of publications but in the number of authors per article as well. This paper summarizes the current literature on authorship and its proliferation in medicine. From the literature it becomes clear that for biomedical articles, the mean number of authors increased from (...) 1.7 in 1960 to 3.1 in 1990, and there are indications that this trend is even greater in clinical medicine such that single authorship almost has disappeared. Formal guidelines of who should be considered an author have been set by the International Committee of Medical Journal Editors. There are studies suggesting that not all authors on multiauthor papers fulfill these criteria. Inappropriate multiple authorship leads to dilution of authorship responsibility and unjustified citation in curriculum vitae. Recommendations regarding the prevention of inappropriate authorship are given in this paper. (shrink)

In the social world, multiple sensory channels are used concurrently to facilitate communication. Among human and nonhuman pri- mates, faces and voices are the primary means of transmitting social signals (Adolphs, 2003; Ghazanfar and Santos, 2004). Primates recognize the correspondence between species-specific facial and vocal expressions (Massaro, 1998; Ghazanfar and Logothetis, 2003; Izumi and Kojima, 2004), and these visual and auditory channels can be integrated into unified percepts to enhance detection and discrimination. Where and how such communication signals are integrated (...) at the neural level are poorly understood. In particular, it is unclear what role “unimodal” sensory areas, such as the auditory cortex, may play. We recorded local field potential activity, the signal that best correlates with human imaging and event-related potential signals, in both the core and lateral belt regions of the auditory cortex in awake behaving rhesus monkeys while they viewed vocalizing conspecifics. We demonstrate unequivocally that the primate auditory cortex integrates facial and vocal signals through enhancement and suppression of field potentials in both the core and lateral belt regions. The majority of these multisensory responses were specific to face/voice integration, and the lateral belt region shows a greater frequency of multisensory integration than the core region. These multisensory processes in the auditory cortex likely occur via recip- rocal interactions with the superior temporal sulcus. (shrink)

This paper argues that Internet access should be recognised as a human right because it has become practically indispensable for having adequate opportunities to realise our socio-economic human rights. This argument is significant for a philosophically informed public understanding of the Internet and because it provides the basis for creating new duties. For instance, accepting a human right to Internet access minimally requires guaranteeing access for everyone and protecting Internet access and use from certain objectionable interferences (e.g. surveillance, censorship, online (...) abuse). Realising this right thus requires creating an Internet that is crucially different from the one we currently have. The argument thus has wide-ranging implications. (shrink)

Although a large number of studies have explored the main causes of gender inequality in academia, less attention has been given to the processes underlying the failure of gender equality initiatives to enhance gender representation, especially at the professorial level. We offer a critical discourse analysis of recently promulgated gender policy documents of the five Flemish universities, and demonstrate that defensive institutional work is a fundamental process underlying resistance to gender equality in the academic profession. That is, powerful organizational actors (...) resist gender change by intentionally deploying a combination of discursive strategies that legitimate what we describe as non–time-bound gender equality initiatives: The expected outcomes are undetermined in time, and they delegitimate concrete, time-bound measures that define specific outcomes against well-defined deadlines. By explicitly bringing a temporal dimension into our analysis, we argue that defensive institutional work deflects questions regarding what ought to be achieved when, and contributes to the slow pace of gender change in academia. (shrink)

As a member of the British Oxford Group, psychologist Richard Ryder marked the beginning of the modern animal rights and animal welfare movement in the seventies. By introducing the concept “speciesism.” Ryder contributed importantly to the expansion of this movement. Surprisingly little attention has been paid to Ryder’s moral theory, “painism”, that aims to resolve the conflict between the two predominant rival theories in animal ethics, the deontological of Tom Regan and the utilitarian of Peter Singer. First, this paper examines (...) the kernel and historical sources of Ryder’s painist theory, linking it to the work of John Rawls and Jean-Jacques Rousseau. Second, it examines Ryder’s critique of utilitarianism. It is argued that his critique of Singer’s use of the word “sentience” is unconvincing and that his critique of utilitarian aggregation as not taking a full account of the metaphysical separateness of persons, has already been countered and dealt with. Finally this paper looks at some of the counterintuitive implications of Ryder’s theory and argues that utilitarianism might have more resources for dealing with its own alleged counterintuitive implications than Ryder acknowledges. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal reasoning (...) than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

"Merten Reglitz makes a case for a new human right to free Internet access, arguing it is crucial for protecting and advancing fundamental moral interests. He examines the risks the Internet poses to our most important rights if it is not safeguarded by public institutions"--.

In this paper we carry out a comparative study of $\mathrm{I}\Sigma_1$ and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models.

Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...) of Peano Arithmetic to Ignatiev’s universal model for the closed fragment of the polymodal provability logic \. In particular, we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories. Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expansion will define a unique point in Ignatiev’s model. (shrink)

In this book, Christiane L. Joost-Gaugier offers the first systematic study of Pythagoras and his influence on mathematics, astronomy, philosophy, religion, medicine, music, the occult, and social life-as well as on architecture and art-in the late medieval and early modern eras. Following the threads of admiration for this ancient Greek sage from the fourteenth century to Kepler and Galileo in the seventeenth, this book demonstrates that Pythagoras's influence in intellectual circles-Christian, Jewish, and Arab-was more widespread than has previously been (...) acknowledged. Joost-Gaugier shows that during this period Pythagoras was respected by many intellectuals in different areas of Europe. She also shows how this admiration was reflected in ideas that were applied to the visual arts by a number of well known architects and artists who sought, through the use of a visual language inspired by the memory of Pythagoras, to obtain perfect harmony in their creations. Among these were Alberti, Bramante, Leonardo da Vinci, Michelangelo, and Raphael. Thus did, she suggests, some of the greatest art works in the Western world owe their modernity to an inspirational force that, paradoxically, had been conceived in the distant past. (shrink)

O artigo se ocupa da Hermenêutica da facticidade, do filósofo alemão contemporâneo Martin Heidegger (1889-1976). Nosso propósito inicial é apresentar, sumariamente, os termos do referido projeto filosófico e como este pretende uma abordagem do fenômeno humano enfocado como “vida fática” (faktische Leben). Neste modo de visar, importa para Heidegger a determinação dessa vida, a qual ele denomina de “facticidade” (Faktizität), conceito que, ao longo de sua investigação, vai, progressivamente, ganhando importância e centralidade. Tratado no seio de Ontologia: Hermenêutica da Facticidade (...) (preleção do semestre de verão ministrada na Universidade de Friburgo em 1923), o conceito de facticidade tem lugar no tentame de elaboração de um modo de tornar nosso ser mais claro a nossa própria compreensão. Justamente por isso, uma tal hermenêutica de nós mesmos não constitui uma metodologia de interpretação de um objeto que pretensamente seríamos. Assim, hermenêutica diria, antes, do procedimento que, contando com a compreensão que temos de nosso próprio ser, pode tomar o sentido de nosso factum, de nosso fato de ser. Intentamos evidenciar o quanto a hermenêutica da facticidade é tão hermenêutica quanto também fenomenológica e que, a ideia de “tomar o nosso próprio ser nas mãos”. O artigo ainda se empenhará por deixar claro o quanto a facticidade não é um traço natural, substancial ou essencial do ente que somos; em sua caracterização fenomenológica, tal figura constitui, para Heidegger, uma dinâmica de “fazer-se”, o que nos leva a pensar no caráter em aberto e continuamente criador da vida em seu “dar-se”. Ao fim, ensaiamos, como nosso título anuncia, uma indicação do quanto a hermenêutica da facticidade teria a contribuir para o modo de compreender e comportar-se de uma psicologia fenomenológico-existencial. (shrink)