This article provides, for the first time, an overview of all images sent by the Dutch microscopist Antoni van Leeuwenhoek to the Royal Society during their fifty-year long correspondence. Analyses of the images and close reading of the letters have led to an identification of three periods in which Leeuwenhoek worked together with artists. The first period is characterized by the work of several draughtsmen as well as Leeuwenhoek’s own improving attempts to depict his observations. In the second period (...) Leeuwenhoek worked together with one unknown draughtsman, while the work in the third period can now be attributed to the young draughtsman Willem vander Wilt. This article also shows how Leeuwenhoek did not only rely on draughtsmen for the depiction of his own observations, but rather, how he worked together with them in his workshop to observe, confirm, and witness microscopic experiments, replicating the collaborative working methods of the Royal Society in Delft. (shrink)

Currently, testimony is studied extensively in Anglo-American philosophy. However, most of this work is done from a justificationist perspective in which philosophers try to justify our reliance on testimony in some way. I agree with Popper that justificationism is radically mistaken. Thus, I construct an account of how we respond to testimony that in no way attempts to justify our reliance on it. This account is not a straightforward exegesis of Popper, as he never tackled testimony systematically. It makes use, (...) however, of several of Popper's key insights and incorporates them into a viable theory of testimony. Key Words: testimony • anti-justificationism • social epistemology • situational analysis • defeasibility. (shrink)

We show that the class of all isomorphic images of Boolean Products of members of SR [1] is the class of all archimedean W-algebras. We obtain this result from the characterization of W-algebras which are isomorphic images of Boolean Products of CW-algebras.

The “systematicity argument” has been used to argue for a classical cognitive architecture (Fodor in The Language of Thought. Harvester Press, London, 1975, Why there still has to be a language of thought? In Psychosemantics, appendix. MIT Press, Cambridge, pp 135–154, 1987; Fodor and Pylyshyn in Cognition 28:3–71, 1988; Aizawa in The systematicity arguments. Kluwer Academic Press, Dordrecht, 2003). From the premises that cognition is systematic and that the best/only explanation of systematicity is compositional structure, it concludes that cognition is (...) to be explained in terms of symbols (in a language of thought) and formal rules. The debate, with connectionism, has mostly centered on the second premise-whether an explanation of systematicity requires compositional structure, which neural networks do not to exhibit (for example, Hadley and Hayward, in Minds and Machines, 7:1–37). In this paper, I will take issue with the first premise. Several arguments will be deployed that show that cognition is not systematic in general; that, in fact, systematicity seems to be related to language. I will argue that it is just verbal minds that are systematic, and they are so because of the structuring role of language in cognition. A dual-process theory of cognition will be defended as the best explanation of the facts. (shrink)

The declared goal of this paper is to fill this gap: “... cognitive systems research needs questions or challenges that define progress. The challenges are not (yet more) predictions of the future, but a guideline to what are the aims and what would constitute progress.” – the quotation being from the project description of EUCogII, the project for the European Network for Cognitive Systems within which this formulation of the ‘challenges’ was originally developed (http://www.eucognition.org). So, we stick out our neck (...) and formulate the challenges for artificial cognitive systems. These challenges are articulated in terms of a definition of what a cognitive system is: a system that learns from experience and uses its acquired knowledge (both declarative and practical) in a flexible manner to achieve its own goals. (shrink)

In a classical paper [15] V. Glivenko showed that a proposition is classically demonstrable if and only if its double negation is intuitionistically demonstrable. This result has an algebraic formulation: the double negation is a homomorphism from each Heyting algebra onto the Boolean algebra of its regular elements. Versions of both the logical and algebraic formulations of Glivenko’s theorem, adapted to other systems of logics and to algebras not necessarily related to logic can be found in the literature (see [2, (...) 9, 8, 14] and [13, 7, 14]). The aim of this paper is to offer a general frame for studying both logical and algebraic generalizations of Glivenko’s theorem. We give abstract formulations for quasivarieties of algebras and for equivalential and algebraizable deductive systems and both formulations are compared when the quasivariety and the deductive system are related. We also analyse Glivenko’s theorem for compatible expansions of both cases. (shrink)

En este trabajo invito a considerar la existencia de la perspectiva de segunda persona de la atribución mental, como una perspectiva diferenciada de las de primera y tercera persona. Su ámbito específico sería el de las atribuciones espontáneas y recíprocas en situaciones de interacción cara a cara, por lo que supondría su naturaleza expresiva. Al tratarse de la perspectiva ontogenéticamente primaria, ofrece una vía para superar las dificultades complementarias de los enfoques teóricos y empáticos dominantes.

José María Albareda was an applied chemist and a prominent member of the Roman Catholic organization, Opus Dei, who played a crucial role in organizing the Consejo Superior de Investigaciones Científicas , the new scientific institution created by the Franco regime in 1939. The paper analyses first the formative years in Albareda's scientific biography and the political and social context in which he became an Opus Dei fellow. Then it discusses the CSIC's innovative features compared with the Junta para Ampliación (...) de Estudios , the institution in charge of scientific research and science policy in Spain from 1907 up to the Civil War . Next it goes into Albareda's ideas about science and science policy. Finally, it shows how they shaped the organization of the CSIC, of which Albareda was the General Secretary from 1939 to his untimely death in 1966. (shrink)

This paper deals with Hobbes's theory of optical images, developed in his optical magnum opus, ‘A Minute or First Draught of the Optiques’, and published in abridged version in De homine. The paper suggests that Hobbes's theory of vision and images serves him to ground his philosophy of man on his philosophy of body. Furthermore, since this part of Hobbes's work on optics is the most thoroughly geometrical, it reveals a good deal about the role of mathematics in Hobbes's philosophy. (...) The paper points to some difficulties in the thesis of Shapin and Schaffer, who presented geometry as a ‘paradigm’ for Hobbes's natural philosophy. It will be argued here that Hobbes's application of geometry to optics was dictated by his metaphysical and epistemological principles, not by a blind belief in the power of geometry. Geometry supported causal explanation, and assisted reason in making sense of appearances by helping the philosopher understand the relationships between the world outside us and the images it produces in us. Finally the paper broadly suggests how Hobbes's theory of images may have triggered, by negative example, the flourishing of geometrical optics in Restoration England. (shrink)

There is an uncanny unanimity about the founding role of Kepler's Dioptrice in the theory of optical instruments and for classical geometric optics generally. It has been argued, however, that for more than fifty years optical theory in general, and Dioptrice in particular, was irrelevant for the purposes of telescope making. This article explores the nature of Kepler's achievement in his Dioptrice . It aims to understand the Keplerian 'theory' of the telescope in its own terms, and particularly its links (...) to Kepler's theory of vision. It deals first with Kepler's way to circumvent his ignorance of the law of refraction, before turning to Kepler's explanations of why lenses magnify and invert vision. Next, it analyses Kepler's account of the properties of telescopes and his suggestions to improve their designs. The uses of experiments in Dioptrice , as well as the explicit and implicit references to della Porta's work that it contains, are also elucidated. Finally, it clarifies the status of Kepler's Dioptrice vis-à-vis , classical geometrical optics and presents evidence about its influence in treatises about the practice of telescope making during roughly the first two-thirds of the seventeenth century. (shrink)

There are various authors who discussed the nature and manner of the existence of aesthetic values and the characterisation of aesthetic experience, among others, Thomas Acquinas, Roman Ingarden, Władyslaw Tatarkiewicz, Stanisław Ossowski, and Mieczysław Wallis. Taking into consideration their positions, the author claims that, potentially, each object as a coincidence of respective qualities is suitable for an aesthetic attitude. It may appear aesthetically somewhat, such that it alone may move (with its contents), i.e. it may draw attention, stir, delight, arouse (...) fancy, affect strongly. All this may be done ..disinterestedly\", therefore without any reference to the practical sphere (to the sphere of usefulness, profit), nor should this object be a source of pleasure (,,cause good composition\"). (shrink)

Antoni Domènech was one of Spain’s most important political philosophers of the late twentieth and early twentyfirst centuries. Known primarily as a scholar of republicanism, his work on the concepts of individual liberty and rights complicates standard liberal definitions, which he believed erred in defining these terms independent of institutional context, as pre-political attributes of the individual. He argued that republicanism corrected liberalism’s abstraction by making one’s actually being able to exercise liberty and rights depend on one’s enjoying a (...) sufficiently robust set of material conditions, or on having enough property so that one could always avoid unequal social relationships. (shrink)

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. We include examples to show how we can (...) apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras. (shrink)

The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK-logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK-logic with negation by a family of connectives implicitly defined by equations and compatible with BCK-congruences. Many of the logics in the current literature are natural expansions of BCK-logic with negation. The validity of (...) the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one-variable formula in the language of BCK-logic with negation. (shrink)

. Using the theory of BL-algebras, it is shown that a propositional formula ϕ is derivable in Łukasiewicz infinite valued Logic if and only if its double negation ˜˜ϕ is derivable in Hájek Basic Fuzzy logic. If SBL is the extension of Basic Logic by the axiom ) → ψ, then ϕ is derivable in in classical logic if and only if ˜˜ ϕ is derivable in SBL. Axiomatic extensions of Basic Logic are in correspondence with subvarieties of the variety (...) of BL-algebras. It is shown that the MV-algebra of regular elements of a free algebra in a subvariety of BL-algebras is free in the corresponding subvariety of MV-algebras, with the same number of free generators. Similar results are obtained for the generalized BL-algebras of dense elements of free BL-algebras. (shrink)

In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class (...) of integral commutative bounded residuated lattices and to the involutive case. (shrink)

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. We include examples to show how we can (...) apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense that there is (...) a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

Large exchange markets, big money, interest-bearing credit, big landholdings, proletarian masses, imperial expansion and even ‘capital’ or ‘salaried workers’, are not in themselves specific, unique institutional features of Modern Capitalism. This article argues that the features that characterize Modern Capitalism are a massive emergence of ‘free’, monetized wage labour, a self-propelled rush to unbounded world expansion and the progressive conversion of expropriated and privatized land into a monetized commodity, as well as a radically new use of the ancestral social institutions (...) of money and credit as an instrument for financing the production of commodities to obtain a surplus in the form of monetary profit, but also to generate expropriatory social debt relations. This article explains these dynamic historical forces and their importance for political philosophy and for legal and economic history and economics and sheds some light on the relationship between ‘capitalism’ and ‘modernity’. (shrink)

This study aims to analyze the different translations and interpretations of χώρα that appears in Chalcius’ Commentary on Timaeus, for demonstrate that all modifications of the original platonic text was introduced with the purpose to associate the Timaeus with the Old Testament. With this aim, we analyze five points: Chalcidius’s substitution of χώρα by ὕλη the relation among the space and the second genre of the being; the identity between matter and nothing; the relations among matter, intellect and necessity; and (...) the problems of the human perception. (shrink)

This article focuses on some theoretical developments prompted by the use and construction of telescopes in the first half of the seventeenth century. It argues that today's notion of "scientific instrument" cannot be used to categorize these optical devices or explain their impact on natural philosophy. The article analyzes in historical terms the construction of conceptual references for the telescope as an instrument of a new kind, which possessed capabilities and working principles unlike those of traditional "mathematical instruments." It shows (...) that through the 1650s, in both rhetorical and explanatory terms, first-rank telescope makers, theoreticians, and astronomers found it useful to equate the telescope with the eye, suggesting that the data the telescope produced was as reliable as that obtained in naked-eye vision. Kepler's and Descartes' theory of the telescope will be shown to dovetail uncannily with this understanding of the telescope. (shrink)

This paper is an essay-review of J. Yoder's "Unrolling Time: Christian Huygens and the Mathematization of Nature" (Cambridge, 1989). Highlighting the scholarly thoroughness and mathematical competence of Yoder's reconstruction of Huygens's heuristic path to his ground-breaking results on centrifugal force, cycloidal motion and evolutes, the essay also deals with Yoder's attempts to characterize Huygens's way of using mathematics in physical problems. In opposition to Yoder's thesis, this paper argues that evidence internal to Huygens's work as well as the contemporary reaction (...) to it suggest the existence of substantial methodological differences between Huygens's mathematization of nature and Newton's. (shrink)