Results for 'Kosta Do��en'

1000+ found
Order:
  1.  31
    Žarko Mijajlović, Zoran Marković, and Kosta Dos̄en. Hilbertovi Problemi I Logika . Matematic̆ka Biblioteka, No. 48. Zavod Za Udžbenike I Nastavna Sredstva, Belgrade1986, 168 Pp. [REVIEW]Boban Veličković - 1987 - Journal of Symbolic Logic 52 (4):1049-1050.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  8
    Making Sense of Genes.Kostas Kampourakis - 2017 - Cambridge, UK: Cambridge University Press.
    What are genes? What do genes do? These seemingly simple questions are in fact challenging to answer accurately. As a result, there are widespread misunderstandings and over-simplistic answers, which lead to common conceptions widely portrayed in the media, such as the existence of a gene 'for' a particular characteristic or disease. In reality, the DNA we inherit interacts continuously with the environment and functions differently as we age. What our parents hand down to us is just the beginning of our (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  4
    Coherence and Confluence.Kosta Doˇsen & Zoran Petric - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 205.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  67
    Simplicity and Observability: When Are Particles Elementary?Kostas Gavroglu - 1989 - Synthese 79 (3):89 - 100.
    It is not possible to dismiss the atomistic paradigm because the proposed elementary particles are too many (and, hence, it is claimed, they do not provide a simple account of nature) or because it is not possible to observe quarks in an isolated manner. The developments in particle physics have brought about radical changes to our notions of simplicity and observability, and in this paper we elaborate on these changes. It is as a result of these changes that the present (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  99
    Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.
    In standard model theory, deductions are not the things one models. But in general proof theory, in particular in categorial proof theory, one finds models of deductions, and the purpose here is to motivate a simple example of such models. This will be a model of deductions performed within an abstract context, where we do not have any particular logical constant, but something underlying all logical constants. In this context, deductions are represented by arrows in categories involved in a general (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  46
    Liberal Internationalism and Global Social Justice.Kostas Koukouzelis - 2009 - Journal of Global Ethics 5 (2):97-108.
    Theories of global justice have moved from issues relating to crimes against humanity and war crimes or, furthermore, ?negative duties? with respect to non-citizens, towards problems of distributive justice and global inequality. Thomas Nagel's Storrs Lectures from 2005, exemplifying Rawlsian internationalism, argue that liberal requirements concerning duties of distributive justice apply exclusively within a single nation-state, and do not extend to duties of this nature between rich and poor countries. Nagel even argues that the demand for global equality is not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  12
    The Real Aims of the USA and the EU in the Balkans.Kosta Cavoski - 2002 - Filozofija I Društvo 2002 (19):321-331.
    The article explores the real aims of the so-called international community which is usually understood as the USA, as the only remaining super power and the European Union, particularly France. Great Britain and Germany. The author argues that the real and particularly long-term aims of these powers should be primarily inferred from their real deeds and only subsequently from public statements of their officials. By analyzing a number of examples in the Balkans and in other parts of the world the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Interview: Kostas Axelos: Mondialisation Without the World.Kostas Axelos & Stuart Elden - 2005 - Radical Philosophy 130.
  9.  15
    Ἠ Ζὰκυνθος Καὶ Ἡ Ἐλληνικὴ Ἐπαναάστασις. By Kostas Kairophylas. Pp. 244. Corfu, 1938. 75 Drs. [REVIEW]W. Miller & Kostas Kairophylas - 1939 - Journal of Hellenic Studies 59 (1):185-186.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  31
    An Introduction to Substructural Logics (Review).Kosta Dosen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
  11.  15
    Aristotle on Political Enmity and Disease: An Inquiry Into Stasis.Kostas Kalimtzis - 2000 - State University of New York Press.
    Explores Aristotle's theory of the causes that give rise to stasis ('civic disorder'), and provides an original and systematic account of his understanding of political justice and friendship.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12. De Dos En 2: Compañia Canima Para Personas Mayores Solas.Vicent Carbó - 2011 - In Ivano Dionigi & Guido Barbujani (eds.), Animalia. Biblioteca Universale Rizzoli. pp. 24--233.
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  11
    Marketing of Services in Secondary Schools in the Republic of Croatia.Durdana Ozretic´-Dos˘en & Maja Martinovic´ - 2003 - Educational Studies 29 (4):373-386.
    The goals of the research were to determine the quantity, variety and quality of service, the extent to which certain marketing activities are applied in Croatian high schools, to explore the attitudes of teachers in respect to the need for marketing activity application in secondary schools in Croatia, and the knowledge teachers have about the marketing of services. In order to achieve these goals, we conducted a survey including 271 teachers of public, private and religious high schools. Even though the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Understanding Evolution.Kostas Kampourakis - 2014 - Cambridge, UK: Cambridge University Press.
    Current books on evolutionary theory all seem to take for granted the fact that students find evolution easy to understand when actually, from a psychological perspective, it is a rather counterintuitive idea. Evolutionary theory, like all scientific theories, is a means to understanding the natural world. Understanding Evolution is intended for undergraduate students in the life sciences, biology teachers or anyone wanting a basic introduction to evolutionary theory. Covering core concepts and the structure of evolutionary explanations, it clarifies both what (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  15.  75
    The Philosophy of Biology: A Companion for Educators.Kostas Kampourakis (ed.) - 2013 - Springer.
    This book presents analyses of philosophical topics of importance to biology education. It is intended foremost for biology educators and teachers, and aims to show how philosophy of science in general, and philosophy of biology in particular, ...
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  7
    The STEP (Science and Technology in the European Periphery) Initiative: Attempting to Historicize the Notion of European Science.Kostas Gavroglu - 2012 - Centaurus 54 (4):311-327.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  18
    Kosta Došen.Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):7-9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  14
    Neither Physics nor Chemistry: A History of Quantum Chemistry.Kostas Gavroglu & Ana Simões (eds.) - 2011 - MIT Press.
    In Neither Physics Nor Chemistry, Kostas Gavroglu and Ana Simoes examine the evolution of quantum chemistry into an autonomous discipline, tracing its development from the publication of early papers in the 1920s to the dramatic changes ...
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  4
    The Once and Future Language: Communication, Terminology and the Practice of Science in Nineteenth and Early Twentieth Century Greece.Kostas Tampakis - 2015 - History of Science 53 (4):438-455.
    Science appeared in modern Greece in the first decades after its establishment as a sovereign state in 1828. The University of Athens, the Royal Observatory, the Botanical Garden, and the Natural History Museum were quickly established as spaces of scientific activity. Greek scientists were enthusiastic participants in the emerging Greek public sphere, often not only as science experts, but also as poets, intellectuals and political personae. In a space whose cultural, intellectual and historical boundaries were still being negotiated, the choice (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  57
    Logical Constants as Punctuation Marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
  21.  38
    Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.
    This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from an infinitistic ideal perspective. It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building Gödel seems to have taken as the main task of logic for the future.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  16
    Charles Darwin and Evolution: Illustrating Human Aspects of Science. [REVIEW]Kostas Kampourakis & William F. McComas - 2010 - Science & Education 19 (6-8):637-654.
    Recently, the nature of science (NOS) has become recognized as an important element within the K-12 science curriculum. Despite differences in the ultimate lists of recommended aspects, a consensus is emerging on what specific NOS elements should be the focus of science instruction and inform textbook writers and curriculum developers. In this article, we suggest a contextualized, explicit approach addressing one core NOS aspect: the human aspects of science that include the domains of creativity, social influences and subjectivity. To illustrate (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  23.  10
    Facial Reactions to Violent and Comedy Films: Association with Callous–Unemotional Traits and Impulsive Aggression.Kostas A. Fanti, Melina Nicole Kyranides & Georgia Panayiotou - 2017 - Cognition and Emotion 31 (2).
  24.  7
    Preliminary Evolutionary Explanations: A Basic Framework for Conceptual Change and Explanatory Coherence in Evolution.Kostas Kampourakis & Vasso Zogza - 2009 - Science & Education 18 (10):1313-1340.
  25. How to Do Things with Words.John Langshaw Austin - 1962 - Clarendon Press.
    For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.
    Direct download  
     
    Export citation  
     
    Bookmark   1367 citations  
  26.  38
    Science and Technology in the European Periphery: Some Historiographical Reflections.Kostas Gavroglu, Manolis Patiniotis, Faidra Papanelopoulou, Ana Simões, Ana Carneiro, Maria Paula Diogo, José Ramón Bertomeu Sánchez, Antonio García Belmar & Agustí Nieto-Galan - 2008 - History of Science 46 (2):153-176.
  27.  52
    Philosophical Issues in the History of Chemistry.Kostas Gavroglu - 1997 - Synthese 111 (3):283-304.
  28.  66
    Historical and Philosophical Perspectives on Quantum Chemistry: Kostas Gavroglu and Ana Simões: Neither Physics nor Chemistry: A History of Quantum Chemistry. Cambridge, MA: The MIT Press, 2012, Xiv+351pp, $40.00, £27.95 HB.Hasok Chang, Jeremiah James, Paul Needham, Kostas Gavroglu & Ana Simões - 2013 - Metascience 22 (3):523-544.
    Contribution to a symposium on Kostas Gavroglu and Ana Simões, Neither Physics nor Chemistry, The MIT Press, Cambridge, Massachusetts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  21
    Doing Integrated History and Philosophy of Science: A Case Study of the Origin of Genetics.Yafeng Shan - 2020 - Cham: Springer.
    This book offers an integrated historical and philosophical examination of the origin of genetics. The author contends that an integrated HPS analysis helps us to have a better understanding of the history of genetics, and sheds light on some general issues in the philosophy of science. This book consists of three parts. It begins with historical problems, revisiting the significance of the work of Mendel, de Vries, and Weldon. Then it turns to integrated HPS problems, developing an exemplar-based analysis of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  47
    A Reduction of Classical Propositional Logic to the Conjunction-Negation Fragment of an Intuitionistic Relevant Logic.Kosta Došen - 1981 - Journal of Philosophical Logic 10 (4):399 - 408.
  31.  9
    Doing Valuable Time: The Present, the Future, and Meaningful Living.Cheshire Calhoun - 2018 - New York, NY, USA: Oup Usa.
    Doing Valuable Time considers the interest--and disinterest--we take in our own lives. It explores the nature of meaningful living, the attraction to the future that is lost in depression, the motivating force of hope, the role of commitments, the inevitability of boredom, and the possibilities for contentment with imperfection.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Identity of Proofs Based on Normalization and Generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
    Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to normal form in natural deduction. Lambek worked on a normalization proposal analogous to Prawitz's, based on reduction to cut-free form in sequent systems, but he also suggested understanding identity of proofs in terms of an equivalence relation based on generality, two derivations having the same generality if after generalizing maximally (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  33.  23
    Mendel and the Path to Genetics: Portraying Science as a Social Process.Kostas Kampourakis - 2013 - Science & Education 22 (2):293-324.
    Textbook descriptions of the foundations of Genetics give the impression that besides Mendel’s no other research on heredity took place during the nineteenth century. However, the publication of the Origin of Species in 1859, and the criticism that it received, placed the study of heredity at the centre of biological thought. Consequently, Herbert Spencer, Charles Darwin himself, Francis Galton, William Keith Brooks, Carl von Nägeli, August Weismann, and Hugo de Vries attempted to develop theories of heredity under an evolutionary perspective, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  34.  89
    Do Ethics Classes Influence Student Behavior? Case Study: Teaching the Ethics of Eating Meat.Eric Schwitzgebel, Bradford Cokelet & Peter Singer - 2020 - Cognition 203:104397.
    Do university ethics classes influence students’ real-world moral choices? We aimed to conduct the first controlled study of the effects of ordinary philosophical ethics classes on real-world moral choices, using non-self-report, non-laboratory behavior as the dependent measure. We assigned 1332 students in four large philosophy classes to either an experimental group on the ethics of eating meat or a control group on the ethics of charitable giving. Students in each group read a philosophy article on their assigned topic and optionally (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  25
    Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
    This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Jaśkowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  39
    Gödel’s Notre Dame Course.Miloš Adžić & Kosta Došen - 2016 - Bulletin of Symbolic Logic 22 (4):469-481.
    This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’s unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel’s notes for the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  57
    Students’ Preconceptions About Evolution: How Accurate is the Characterization as “Lamarckian” When Considering the History of Evolutionary Thought?Kostas Kampourakis & Vasso Zogza - 2007 - Science & Education 16 (3-5):393-422.
    In this paper, the main points of Lamarck’s and Darwin’s theoretical conceptual schemes about evolution are compared to those derived from 15 years old students’ explanations of evolutionary episodes. We suggest that secondary students’ preconceptions should not be characterized as “Lamarckian”, because they are essentially different from the ideas that Lamarck himself possessed. Most students in our research believed that needs directly impose changes on animal bodies in order to survive in a given environment and accepted the possibility of extinction (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  38.  38
    Sequent-Systems and Groupoid Models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
    The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  39.  21
    Students’ Intuitive Explanations of the Causes of Homologies and Adaptations.Kostas Kampourakis & Vasso Zogza - 2008 - Science & Education 17 (1):27-47.
  40.  47
    Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.
    The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the derivation consists in diversifying variables without changing the rules of inference. This paper examines in the (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41.  40
    Mobile-Centric Ambient Intelligence in Health- and Homecare—Anticipating Ethical and Legal Challenges.Eleni Kosta, Olli Pitkänen, Marketta Niemelä & Eija Kaasinen - 2010 - Science and Engineering Ethics 16 (2):303-323.
    Ambient Intelligence provides the potential for vast and varied applications, bringing with it both promise and peril. The development of Ambient Intelligence applications poses a number of ethical and legal concerns. Mobile devices are increasingly evolving into tools to orientate in and interact with the environment, thus introducing a user-centric approach to Ambient Intelligence. The MINAmI (Micro-Nano integrated platform for transverse Ambient Intelligence applications) FP6 research project aims at creating core technologies for mobile device based Ambient Intelligence services. In this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  47
    Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
    This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  43.  47
    Sequent-Systems for Modal Logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
    The purpose of this work is to present Gentzen-style formulations of S5 and S4 based on sequents of higher levels. Sequents of level 1 are like ordinary sequents, sequents of level 1 have collections of sequents of level 1 on the left and right of the turnstile, etc. Rules for modal constants involve sequents of level 2, whereas rules for customary logical constants of first-order logic with identity involve only sequents of level 1. A restriction on Thinning on the right (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  44. Do Reasons Expire? An Essay on Grief.Berislav Marušić - 2018 - Philosophers' Imprint 18.
    Suppose we suffer a loss, such as the death of a loved one. In light of her death, we will typically feel grief, as it seems we should. After all, our loved one’s death is a reason for grief. Yet with the passage of time, our grief will typically diminish, and this seems somehow all right. However, our reason for grief ostensibly remains the same, since the passage of time does not undo our loss. How, then, could it not be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  54
    Walton's Quasi-Emotions Do Not Go Away.Miguel F. Dos Santos - 2017 - Journal of Aesthetics and Art Criticism 75 (3):265-274.
    The debate about how to solve the paradox of fiction has largely been a debate between Kendall Walton and the so-called thought theorists. In recent years, however, Jenefer Robinson has argued, based on her affective appraisal theory of emotion, for a noncognitivist solution to the paradox as an alternative to the thought theorists’ solution and especially to Walton's controversial solution. In this article, I argue that, despite appearances to the contrary, Robinson's affective appraisal theory is compatible with Walton's solution, at (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  12
    Genetics and Society—Educating Scientifically Literate Citizens: Introduction to the Thematic Issue.Kostas Kampourakis, Thomas A. C. Reydon, George P. Patrinos & Bruno J. Strasser - 2014 - Science & Education 23 (2):251-258.
  47.  69
    Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
    Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given for analogues of the modal systemK based on Heyting's prepositional logic. It is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddings in modal systems with several modal operators, based on classical propositional logic, are also considered. This paper lays the ground for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  48.  23
    Algebraic Disguises ofΣ 1 0 Induction.Kostas Hatzikiriakou - 1989 - Archive for Mathematical Logic 29 (1):47-51.
  49.  26
    A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
    Models for the Lambek calculus of syntactic categories surveyed here are based on frames that are in principle of the same type as Kripke frames for intuitionistic logic. These models are extracted from the literature on models for relevant logics, in particular the ternary relationed models introduced in the early seventies. The purpose of this brief survey is to locate some open completeness problems for variants of the Lambek calculus in the context of completeness results based on various types of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  50.  5
    Reverse Mathematics, Young Diagrams, and the Ascending Chain Condition.Kostas Hatzikiriakou & Stephen G. Simpson - 2017 - Journal of Symbolic Logic 82 (2):576-589.
    LetSbe the group of finitely supported permutations of a countably infinite set. Let$K[S]$be the group algebra ofSover a fieldKof characteristic 0. According to a theorem of Formanek and Lawrence,$K[S]$satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over$RC{A_0}$ to the statement that${\omega ^\omega }$is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000