Switch to: References

Add citations

You must login to add citations.
  1. The Pythagorean Table of Opposites, Symbolic Classification, and Aristotle.Owen Goldin - 2015 - Science in Context 28 (2):171-193.
    At Metaphysics A 5 986a22-b2, Aristotle refers to a Pythagorean table, with two columns of paired opposites. I argue that 1) although Burkert and Zhmud have argued otherwise, there is sufficient textual evidence to indicate that the table, or one much like it, is indeed of Pythagorean origin; 2) research in structural anthropology indicates that the tables are a formalization of arrays of “symbolic classification” which express a pre-scientific world view with social and ethical implications, according to which the presence (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Colloquium 1: Atomism in the Old Academy.John Dillon - 2004 - Proceedings of the Boston Area Colloquium of Ancient Philosophy 19 (1):1-17.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Desire and reason in Plato's Republic.Hendrik Lorenz - 2004 - Oxford Studies in Ancient Philosophy 27:83-116.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Plato's Problem: An Introduction to Mathematical Platonism.Marco Panza & Andrea Sereni - 2013 - New York: Palgrave-Macmillan. Edited by Andrea Sereni & Marco Panza.
    What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Aristotle on Mathematical Truth.Phil Corkum - 2012 - British Journal for the History of Philosophy 20 (6):1057-1076.
    Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Aristotle on the subject matter of geometry.Richard Pettigrew - 2009 - Phronesis 54 (3):239-260.
    I offer a new interpretation of Aristotle's philosophy of geometry, which he presents in greatest detail in Metaphysics M 3. On my interpretation, Aristotle holds that the points, lines, planes, and solids of geometry belong to the sensible realm, but not in a straightforward way. Rather, by considering Aristotle's second attempt to solve Zeno's Runner Paradox in Book VIII of the Physics , I explain how such objects exist in the sensibles in a special way. I conclude by considering the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Platonism and the invention of the problem of universals.Lloyd P. Gerson - 2004 - Archiv für Geschichte der Philosophie 86 (3):233-256.
    In this paper, I explore the origins of the ‘problem of universals’. I argue that the problem has come to be badly formulated and that consideration of it has been impeded by falsely supposing that Platonic Forms were ever intended as an alternative to Aristotelian universals. In fact, the role that Forms are supposed by Plato to fulfill is independent of the function of a universal. I briefly consider the gradual mutation of the problem in the Academy, in Alexander of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Platonic number in the parmenides and metaphysics XIII.Dougal Blyth - 2000 - International Journal of Philosophical Studies 8 (1):23 – 45.
    I argue here that a properly Platonic theory of the nature of number is still viable today. By properly Platonic, I mean one consistent with Plato's own theory, with appropriate extensions to take into account subsequent developments in mathematics. At Parmenides 143a-4a the existence of numbers is proven from our capacity to count, whereby I establish as Plato's the theory that numbers are originally ordinal, a sequence of forms differentiated by position. I defend and interpret Aristotle's report of a Platonic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Aristotle on the Objects of Natural and Mathematical Sciences.Joshua Mendelsohn - 2023 - Ancient Philosophy Today 5 (2):98-122.
    In a series of recent papers, Emily Katz has argued that on Aristotle's view mathematical sciences are in an important respect no different from most natural sciences: They study sensible substances, but not qua sensible. In this paper, I argue that this is only half the story. Mathematical sciences are distinctive for Aristotle in that they study things ‘from’, ‘through’ or ‘in’ abstraction, whereas natural sciences study things ‘like the snub’. What this means, I argue, is that natural sciences must (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Does Frege Have Aristotle's Number?Emily Katz - 2023 - Journal of the American Philosophical Association 9 (1):135-153.
    Frege argues that number is so unlike the things we accept as properties of external objects that it cannot be such a property. In particular, (1) number is arbitrary in a way that qualities are not, and (2) number is not predicated of its subjects in the way that qualities are. Most Aristotle scholars suppose either that Frege has refuted Aristotle's number theory or that Aristotle avoids Frege's objections by not making numbers properties of external objects. This has led some (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aristotle's Theory of Abstraction.Allan Bäck - 2014 - Cham, Switzerland: Springer.
    This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals. Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Aristotle and Linearity in Substance, Measure, and Motion.Paul Taborsky - 2022 - Axiomathes 32 (6):1375-1399.
    The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on motion, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • One Over Many: The Unitary Pluralism of Plato's World.Necip Fikri Alican - 2021 - Albany: State University of New York Press.
    Corrective intervention in Plato's metaphysics replacing the standard view of Plato as a metaphysical dualist with a novel and revolutionary paradigm of unitary pluralism in a single reality built on ontological diversity.
    Download  
     
    Export citation  
     
    Bookmark  
  • Syrianus on the Platonic Tradition of the Separate Existence of Numbers.Melina G. Mouzala - 2015 - Peitho 6 (1):167-194.
    This paper analyzes and explains certain parts of Syrianus’s Commentary on book M of Aristotle’s Metaphysics, which details Syrianus’s response to Aristotle’s attack against the Platonic position of the separate existence of numbers. Syrianus defends the separate existence not only of eidetic but also of mathematical numbers, following a line of argumentation which involves a hylomorphic approach to the latter. He proceeds with an analysis of the mathematical number into matter and form, but his interpretation entails that form is the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dyschereia and Aporia: The Formation of a Philosophical Term.Wei Cheng - 2018 - TAPA 148 (1):75-110.
    Plato’s nephew Speusippus has been widely accepted as the historical person behind the mask of the anti-hedonists in Phlb. 42b–44c. This hypothesis is supported by, inter alia, the link between Socrates’ char- acterization of them as δυσχερεῖς and the frequent references of δυσχέρεια as ἀπορία to Speusippus in Aristotle’s Metaphysics MN. This study argues against assigning any privileged status to Speusippus in the assimilation of δυσχέρεια with ἀπορία. Instead, based on a comprehensive survey of how δυσχερ- words were used in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical Substances in Aristotle’s Metaphysics B.5: Aporia 12 Revisited.Emily Katz - 2018 - Archiv für Geschichte der Philosophie 100 (2):113-145.
    : Metaphysics B considers two sets of views that hypostatize mathematicals. Aristotle discusses the first in his B.2 treatment of aporia 5, and the second in his B.5 treatment of aporia 12. The former has attracted considerable attention; the latter has not. I show that aporia 12 is more significant than the literature suggests, and specifically that it is directly addressed in M.2 – an indication of its importance. There is an immediate problem: Aristotle spends most of M.2 refuting the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aristoteles’in Matematik Felsefesi ve Matematik Soyut­lama.Murat Kelikli - 2017 - Beytulhikme An International Journal of Philosophy 7 (2):33-49.
    Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this rea­ son, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An Absurd Accumulation: Metaphysics M.2, 1076b11-36.Emily Katz - 2014 - Phronesis 59 (4):343-368.
    The opening argument in the Metaphysics M.2 series targeting separate mathematical objects has been dismissed as flawed and half-hearted. Yet it makes a strong case for a point that is central to Aristotle’s broader critique of Platonist views: if we posit distinct substances to explain the properties of sensible objects, we become committed to an embarrassingly prodigious ontology. There is also something to be learned from the argument about Aristotle’s own criteria for a theory of mathematical objects. I hope to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Emergence: logical, functional and dynamical. [REVIEW]Sandra D. Mitchell - 2012 - Synthese 185 (2):171-186.
    Philosophical accounts of emergence have been explicated in terms of logical relationships between statements (derivation) or static properties (function and realization). Jaegwon Kim is a modern proponent. A property is emergent if it is not explainable by (or reducible to) the properties of lower level components. This approach, I will argue, is unable to make sense of the kinds of emergence that are widespread in scientific explanations of complex systems. The standard philosophical notion of emergence posits the wrong dichotomies, confuses (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Aristotle and mathematics.Henry Mendell - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Plato on chemistry.Ernesto Paparazzo - 2022 - Foundations of Chemistry 24 (2):221-238.
    It is a notion commonly acknowledged that in his work Timaeus the Athenian philosopher Plato (_c_. 429–347 BC) laid down an early chemical theory of the creation, structure and phenomena of the universe. There is much truth in this acknowledgement because Plato’s “chemistry” gives a description of the material world in mathematical terms, an approach that marks an outstanding advancement over cosmologic doctrines put forward by his predecessors, and which was very influential on western culture for many centuries. In the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle's Mathematicals in Metaphysics M.3 and N.6.Andrew Younan - 2019 - Journal of Speculative Philosophy 33 (4):644-663.
    Aristotle ends Metaphysics books M–N with an account of how one can get the impression that Platonic Form-numbers can be causes. Though these passages are all admittedly polemic against the Platonic understanding, there is an undercurrent wherein Aristotle seems to want to explain in his own terms the evidence the Platonist might perceive as supporting his view, and give any possible credit where credit is due. Indeed, underlying this explanation of how the Platonist may have formed his impression, we discover (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Actual and Potential Infinity.Øystein Linnebo & Stewart Shapiro - 2017 - Noûs 53 (1):160-191.
    The notion of potential infinity dominated in mathematical thinking about infinity from Aristotle until Cantor. The coherence and philosophical importance of the notion are defended. Particular attention is paid to the question of whether potential infinity is compatible with classical logic or requires a weaker logic, perhaps intuitionistic.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Ontological Separation in Aristotle’s Metaphysics.Emily Katz - 2017 - Phronesis 62 (1):26-68.
    Ontological separation plays a key role in Aristotle’s metaphysical project: substances alone are ontologically χωριστόν. The standard view identifies Aristotelian ontological separation with ontological independence, so that ontological separation is a non-symmetric relation. I argue that there is strong textual evidence that Aristotle employs an asymmetric notion of separation in the Metaphysics—one that involves the dependence of other entities on the independent entity. I argue that this notion allows Aristotle to prevent the proliferation of substance-kinds and thus to secure the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Reference to Perfect Numbers in Plato’s Theaetetus.F. Acerbi - 2005 - Archive for History of Exact Sciences 59 (4):319-348.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Razor Argument of Metaphysics A.9.José Edgar González-Varela - 2018 - Phronesis 63 (4):408-448.
    I discuss Aristotle’s opening argument against Platonic Forms in _Metaphysics_ A.9, ‘the Razor’, which criticizes the introduction of Forms on the basis of an analogy with a hypothetical case of counting things. I argue for a new interpretation of this argument, and show that it involves two interesting objections against the introduction of Forms as formal causes: one concerns the completeness and the other the adequacy of such an explanatory project.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Ethics of Ontology: Rethinking an Aristotelian Legacy.Christopher P. Long - 2004 - State University of New York Press.
    A novel rereading of the relationship between ethics and ontology in Aristotle.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Geometrical Objects as Properties of Sensibles: Aristotle’s Philosophy of Geometry.Emily Katz - 2019 - Phronesis 64 (4):465-513.
    There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings qua quantitative and (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Aristotle and Bressan on a number of things.Lawrence Poncinie - 1993 - Erkenntnis 39 (2):129 - 144.
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural Inseparability in Aristotle, Metaphysics E.1, 1026a14.Michael James Griffin - 2023 - Apeiron 56 (2):261-297.
    At Aristotle,MetaphysicsE.1, 1026a14, Schwegler’s conjectural emendation of the manuscript reading ἀχώριστα to χωριστά has been widely adopted. The objects of physical science are therefore here ‘separate’, or ‘independently existent’. By contrast, the manuscripts make them ‘not separate’, construed by earlier commentators as dependent on matter. In this paper, I offer a new defense of the manuscript reading. I review past defenses based on the internal consistency of the chapter, explore where they have left supporters of the emendation unpersuaded, and attempt (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The notion of homonymy, synonymy, multivocity, and pros hen in Aristotle.Niels Tolkiehn - 2019 - Dissertation, Ludwig Maximilians Universität, München
    This doctoral thesis addresses a group of conceptual instruments that are central to Aristotle's philosophy, namely, the concepts of pros hen, homonymy, synonymy and multivocity. These instruments are crucial to many of Aristotle's works as he devotes himself to analysing the key notions in each of his investigations using these instruments. Despite the undisputable importance of these instruments, they display severe interpretative problems, which this thesis critically evaluates. The currently established view on the relationship between homonymy and multivocity is discussed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Platonist Absurd Accumulation of Geometrical Objects: Metaphysics Μ.2.José Edgar González-Varela - 2020 - Phronesis 65 (1):76-115.
    In the first argument of Metaphysics Μ.2 against the Platonist introduction of separate mathematical objects, Aristotle purports to show that positing separate geometrical objects to explain geometrical facts generates an ‘absurd accumulation’ of geometrical objects. Interpretations of the argument have varied widely. I distinguish between two types of interpretation, corrective and non-corrective interpretations. Here I defend a new, and more systematic, non-corrective interpretation that takes the argument as a serious and very interesting challenge to the Platonist.
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle’s Philosophy of Mathematics and Mathematical Abstraction.Murat Keli̇kli̇ - 2017 - Beytulhikme An International Journal of Philosophy 7 (2):33-49.
    Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with the concept (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Number Ten Reconsidered: Did the Pythagoreans Have an Account of the Dekad?Irina Deretić & Višnja Knežević - 2020 - Rhizomata 8 (1):37-58.
    We critically reconsider an old hypothesis of the role of the dekad in Pythagorean philosophy. Unlike Zhmud, we claim that: 1) the dekad did play a role in Philolaus’ astronomical system, and 2) Aristotle did not project Plato’s theory of the ten eidetic numbers onto the Pythagoreans. We claim that the dekad, as the τέλειος ἀριθμός, should be understood in Philolaus’ philosophy as completeness and the basis of counting in Greek – as in most other languages – in a decimal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Gadamer and the Lessons of Arithmetic in Plato’s Hippias Major.John V. Garner - 2017 - Meta: Research in Hermeneutics, Phenomenology, and Practical Philosophy 9 (1):105-136.
    In the 'Hippias Major' Socrates uses a counter-example to oppose Hippias‘s view that parts and wholes always have a "continuous" nature. Socrates argues, for example, that even-numbered groups might be made of parts with the opposite character, i.e. odd. As Gadamer has shown, Socrates often uses such examples as a model for understanding language and definitions: numbers and definitions both draw disparate elements into a sum-whole differing from the parts. In this paper I follow Gadamer‘s suggestion that we should focus (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Platon i protestancka zasada autarkii pisma (sola scriptura).Seweryn Blandzi - 2013 - Filo-Sofija 13 (20).
    Seweryn Blandzi Plato and the Protestant Principle of Autarchy of the Scripture (sola scriptura)The author gives reasons why the new holistic Tübingen-interpretation of Plato (H. Krämer, K. Gaiser, Th. A. Szlezák), which combines the Dialogues with his unwritten teaching is still difficult to accept (especially in Germany). The discovery (on the basis of indirect testimonies of Aristotle and his commentators) that there was a separate oral (“exoteric”) metaphysics of principles, which was parallel to dialogues but more valuable (timiotera) in content, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotelian Continua.Øystein Linnebo, Stewart Shapiro & Geoffrey Hellman - 2016 - Philosophia Mathematica 24 (2):214-246.
    In previous work, Hellman and Shapiro present a regions-based account of a one-dimensional continuum. This paper produces a more Aristotelian theory, eschewing the existence of points and the use of infinite sets or pluralities. We first show how to modify the original theory. There are a number of theorems that have to be added as axioms. Building on some work by Linnebo, we then show how to take the ‘potential’ nature of the usual operations seriously, by using a modal language, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reflections on Metaphysics M and N: Considerations regarding the place, content, method and purpose of the last two books of Metaphysics.Francisco Marambio-Garrido - 2021 - Veritas – Revista de Filosofia da Pucrs 49:71-91.
    Resumen En el presente artículo se explora la pertenencia de los libros M y N al programa general de la Metafísica de Aristóteles. Los libros XIII y XIV han quedado en el trasfondo de la Metafísica, como una suerte de agregado editorial, del cual se puede prescindir para la comprensión de la propuesta aristotélica. En el presente artículo, sin embargo, se asume un punto de partida diferente, que consiste en integrar estos libros al núcleo de la propuesta de la Metafísica, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From Intermediates through Eidetic Numbers: Plato on the Limits of Counting.Andy German - 2018 - Plato Journal 18:111-124.
    Many have argued that Plato’s intermediates are not independent entities. Rather, they exemplify the incapacity of discursive thought to cognizing Forms. But just what does this incapacity consist in? Any successful answer will require going beyond the intermediates themselves to another aspect of Plato’s mathematical thought - his attribution of a quasi-numerical structure to Forms. For our purposes, the most penetrating account of eidetic numbers is Jacob Klein’s, who saw clearly that eidetic numbers are part of Plato’s inquiry into the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Algumas observações sobre a noção de Relativo em Categorias 7.Vivianne De Castilho Moreira - 2010 - Dois Pontos 7 (3).
    A formalização dos raciocínios a que Aristóteles se consagra nos Primeiros Analíticos é restrita, como sabemos, a proposições da forma categórica. Embora reco- nheça certas especificidades formais nas proposições encerrando predicados relacionais, Aristóteles parece reservar-lhes um estatuto secundário, considerando-as, em alguma medida, redutíveis a proposições categóricas. Neste artigo, pretendo examinar algumas passagens de Categorias 7 que possam lançar alguma luz sobre o estatuto que Aristóte- les confere às atribuições relativas, visando melhor precisar as razões que o teriam conduzido a negligenciar (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Aristotle’s objection against Forms in Metaphysics M.9.Edgar González-Varela - 2020 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 30:03030-03030.
    Aristotle formulates in _Metaphysics_ M.9 an aporia about Forms, according to which, those who introduce Forms make them universal substances and, at the same time, separate entities and, hence, particulars. But, he claims, it is not possible that both attributes, being a universal and being a particular, inhere in the same thing. The interpretation that scholars have offered of this objection is external, in that they hold that it derives from Aristotle’s own conception of separation: only what is particular is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege Meets Aristotle: Points as Abstracts.Stewart Shapiro & Geoffrey Hellman - 2015 - Philosophia Mathematica:nkv021.
    There are a number of regions-based accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neo-logicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at stake (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Plato’s Unwritten Doctrine.Hans Joachim Krämer - 2015 - Peitho 6 (1):25-44.
    With the late Author’s kind permission, the present text is published here in a somewhat abbreviated and modified translation that has been given appropriate subheadings and supplemented with an extensive bibliography. Its German original from 1996 has been translated into French and English. The purpose of the present translation is to make the Polish reader acquainted with the important and innovative account of Plato’s philosophy that has been put forward by the Tübingen School whose one of the most prominent co-founders (...)
    Download  
     
    Export citation  
     
    Bookmark