Results for 'Milo�� Adzic'

278 found
Order:
  1.  14
    Miloš Adžić and Kosta Došen, Eds, Gödel's Basic Logic Course at Notre Dame, Belgrade: Logical Society Belgrade, Dosije, 2017, 302 Pp., ISBN 978‐8660472399. [REVIEW]Johannes Stern - 2018 - Dialectica 72 (4):617-622.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  40
    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  
  3.  40
    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  
  4.  26
    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  
  5. Filozofska Teorija Skupova-Michael Potter: Set Theory and its Philosophy: A Critical Introduction, Oxford University Press, Oxford, 2004.Miloš Adžić - 2010 - Theoria: Beograd 53 (2):127-132.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  54
    Gunkology and Pointilism: Two Mutually Supervening Models of the Region–Based and the Point-Based Theory of the Infinite Twodimensional Continuum.Miloš Adžić & Miloš Arsenijević - 2014 - In Giovanni Macchia, Francesco Orilia & Vincenzo Fano (eds.), Space and Time: A Priori and a Posteriori Studies. De Gruyter. pp. 137-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  43
    Ontological and Epistemological Dimensions of Gödel's Platonism.Miloš Adžić - 2010 - Theoria: Beograd 53 (2):41-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Individual Members 2010.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic - 2010 - Bulletin of Symbolic Logic 16 (4).
  9.  28
    Moral Deadlock: Ronald D. Milo.Ronald D. Milo - 1986 - Philosophy 61 (238):453-471.
    Very often moral disagreements can be resolved by appealing to factual considerations because in these cases the parties to the dispute agree as to which factual considerations are relevant. They agree, that is, with respect to their basic moral standards. Hence, when their disagreement about the non-moral facts is resolved, so is their moral disagreement. But sometimes moral disagreement persists in spite of agreement on factual considerations. When this happens, and when neither party is guilty of illogical thinking, we have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  20
    Miloš štefanovič: O modernom slovenskom politickom myslení Pred hlasistami.T. Pichler, Miloš Štefanovič & Modern Slovak Political Thinking Before Hlasists - 2009 - Filozofia 64 (10):939.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Engineering Social Justice Into Traffic Control for Self-Driving Vehicles?Milos N. Mladenovic & Tristram McPherson - 2016 - Science and Engineering Ethics 22 (4):1131-1149.
    The convergence of computing, sensing, and communication technology will soon permit large-scale deployment of self-driving vehicles. This will in turn permit a radical transformation of traffic control technology. This paper makes a case for the importance of addressing questions of social justice in this transformation, and sketches a preliminary framework for doing so. We explain how new forms of traffic control technology have potential implications for several dimensions of social justice, including safety, sustainability, privacy, efficiency, and equal access. Our central (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  8
    Formal and Material Consequences in Ockham and Buridan.Milo Crimi - 2018 - Vivarium 56 (3-4):241-271.
    _ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement of relational characterizations of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  13
    Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
    I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14. What Does Decision Theory Have to Do with Wanting?Milo Phillips-Brown - 2021 - Mind 130 (518):413-437.
    Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  31
    Criteria for Nontrivial General Term Rigidity.Miloš Kosterec - 2018 - Acta Analytica 33 (2):255-270.
    In this paper, I present, generalize and develop the extensionalist theory of rigidity for general terms in light of criteria commonly applied to theories of general term rigidity. According to the theory, a general term is rigid if its extension is constant across all possible worlds. This position has been widely dismissed because it conflicts with the seemingly straightforward idea that natural kind terms have varying extensions from world to world. This criticism holds only to the extent that natural kind (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  37
    The Case of Transhumanism: The Possibility of Application of Nietzsche’s Ethics and Critique of Morality Today.Milos Agatonovic - 2018 - Filozofija I Društvo 29 (3):429-439.
    Transhumanism, the movement that promotes radical enhancement by non-traditional means based in scientific and technological advances, has contributed to contemporary interest in Nietzsche?s philosophy. In this paper, we are going to claim that transhumanists? references to Nietzsche?s philosophy are unfounded. Moreover, we will make a few remarks about Nietzsche?s ethical doctrine in order to show that his conception of enhancement, contrary to transhumanist conceptions, relies on traditional means, such as upbringing and education. Although Nietzsche?s positive ethical doctrines cannot be used (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  50
    Moral Deadlock.Ronald D. Milo - 1986 - Philosophy 61 (238):453 - 471.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Getting what you want.Lyndal Grant & Milo Phillips-Brown - 2020 - Philosophical Studies 177 (7):1791-1810.
    It is commonly accepted that if an agent wants p, then she has a desire that is satisfied in exactly the worlds where p is true. Call this the ‘Satisfaction-is-Truth Principle’. We argue that this principle is false: an agent may want p without having a desire that is satisfied when p obtains in any old way. For example, Millie wants to drink milk but does not have a desire that is satisfied when she drinks spoiled milk. Millie has a (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  19.  43
    Ideally Sized Islands: Reply to Danielyan, Garrett and Plantinga.Milo Crimi - 2017 - Analysis 77 (2):273-278.
    Here I reply to a recent exchange between Edgar Danielyan and Brian Garrett regarding Alvin Plantinga’s assessment of Gaunilo’s ‘ideal island’ objection to Anselm’s ontological argument. I argue that an ideal island is conceivable if it’s defined as any island exhibiting an ideal ratio of great-making island properties.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  34
    The Hard Art of Soft Science: Evidence‐Based Medicine, Reasoned Medicine or Both?Milos Jenicek - 2006 - Journal of Evaluation in Clinical Practice 12 (4):410-419.
  21.  27
    Emerging Urban Mobility Technologies Through the Lens of Everyday Urban Aesthetics: Case of Self-Driving Vehicle.Miloš N. Mladenović, Sanna Lehtinen, Emily Soh & Karel Martens - 2019 - Essays in Philosophy 20 (2):146-170.
    The goal of this article is to deepen the concept of emerging urban mobility technology. Drawing on philosophical everyday and urban aesthetics, as well as the postphenomenological strand in the philosophy of technology, we explicate the relation between everyday aesthetic experience and urban mobility commoning. Thus, we shed light on the central role of aesthetics for providing depth to the important experiential and value-driven meaning of contemporary urban mobility. We use the example of self-driving vehicle (SDV), as potentially mundane, public, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. I Want to, But...Milo Phillips-Brown - 2018 - Sinn Und Bedeutung 21:951-968.
    I want to see the concert, but I don’t want to take the long drive. Both of these desire ascriptions are true, even though I believe I’ll see the concert if and only if I take the drive.Yet they, and strongly conflicting desire ascriptions more generally, are predicted incompatible by the standard semantics, given two standard constraints. There are two proposed solutions. I argue that both face problems because they misunderstand how what we believe influences what we desire. I then (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. Ethical Principles for the Design of Next-Generation Traffic Control Technology.Milos N. Mladenovic & Tristram McPherson - manuscript
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  12
    Polarized Trafficking Provides Spatial Cues for Planar Cell Polarization Within a Tissue.Milos Galic & Maja Matis - 2015 - Bioessays 37 (6):678-686.
    Planar cell polarity, the polarization of cells within the plane of the epithelium, orthogonal to the apical‐basal axis, is essential for a growing list of developmental events, and – over the last 15 years – has evolved from a little‐studied curiosity in Drosophila to the subject of a substantial research enterprise. In that time, it has been recognized that two molecular systems are responsible for polarization of most tissues: Both the “core” Frizzled system and the “global” Fat/Dachsous/Four‐jointed system produce molecular (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  24
    Immorality.Ronald Dmitri Milo - 1984 - Princeton University Press.
    This book explores a much-neglected area of moral philosophy--the typology of immorality.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  26.  36
    On the Essence of Empty Properties.Miloš Kosterec - 2018 - Synthese (1):1-17.
    This paper deals with generalisations of modally based criteria for determining whether a given property is essential to an individual to the case of generic essences. These criteria usually presuppose extensionally individuated properties. The limitations of their generalisations are demonstrated using the case of the necessarily empty individual property and the necessarily empty individual office. I do not present a novel stance on the discussion of individual essences. The novelty of this paper lies in its claim that none of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  12
    Condensational Equivalence, Equimorphism, Elementary Equivalence and Similar Similarities.Miloš S. Kurilić & Nenad Morača - 2017 - Annals of Pure and Applied Logic 168 (6):1210-1223.
  28.  32
    Contractarian Constructivism.Ronald Milo - 1995 - Journal of Philosophy 92 (4):181-204.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   29 citations  
  29.  57
    How Many Physically Distinguished Parts Can a Limited Body Contain?Milos Arsenijevic - 1989 - Analysis 49 (1):36 - 42.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  10
    From A1 to D5: Towards a Forcing-Related Classification of Relational Structures.Miloš S. Kurilić - 2014 - Journal of Symbolic Logic 79 (1):279-295.
  31.  15
    Maximally Embeddable Components.Miloš S. Kurilić - 2013 - Archive for Mathematical Logic 52 (7-8):793-808.
    We investigate the partial orderings of the form ${\langle \mathbb{P}(\mathbb{X}), \subset \rangle}$ , where ${\mathbb{X} =\langle X, \rho \rangle }$ is a countable binary relational structure and ${\mathbb{P} (\mathbb{X})}$ the set of the domains of its isomorphic substructures and show that if the components of ${\mathbb{X}}$ are maximally embeddable and satisfy an additional condition related to connectivity, then the poset ${\langle \mathbb{P} (\mathbb{X}), \subset \rangle }$ is forcing equivalent to a finite power of (P(ω)/ Fin)+, or to the poset (P(ω (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  9
    Wickedness: A Philosophical Essay.Ronald D. Milo - 1986 - Philosophical Review 95 (2):279.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  17
    Forcing by Non-Scattered Sets.Miloš S. Kurilić & Stevo Todorčević - 2012 - Annals of Pure and Applied Logic 163 (9):1299-1308.
  34.  31
    What is the Total Number of Protein Molecules Per Cell Volume? A Call to Rethink Some Published Values.Ron Milo - 2013 - Bioessays 35 (12):1050-1055.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Determinism, Indeterminism and the Flow of Time.Miloš Arsenijević - 2002 - Erkenntnis 56 (2):123 - 150.
    A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  10
    Posets of Copies of Countable Scattered Linear Orders.Miloš S. Kurilić - 2014 - Annals of Pure and Applied Logic 165 (3):895-912.
    We show that the separative quotient of the poset 〈P,⊂〉 of isomorphic suborders of a countable scattered linear order L is σ-closed and atomless. So, under the CH, all these posets are forcing-equivalent /Fin)+).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37. Contractarian Constructivism.Ronald Milo - 1995 - Journal of Philosophy 92 (4):181-204.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  38.  27
    Do We Need Another Discipline in Medicine? From Epidemiology and Evidence-Based Medicine to Cognitive Medicine and Medical Thinking.Milos Jenicek - 2015 - Journal of Evaluation in Clinical Practice 21 (6):1028-1034.
  39.  11
    Isomorphic and Strongly Connected Components.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (1-2):35-48.
    We study the partial orderings of the form ⟨P,⊂⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P}, \subset\rangle}$$\end{document}, where X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} is a binary relational structure with the connectivity components isomorphic to a strongly connected structure Y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Y}}$$\end{document} and P\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{P} }$$\end{document} is the set of substructures of X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40. (Counter)Factual Want Ascriptions and Conditional Belief.Thomas Grano & Milo Phillips-Brown - manuscript
    What are the truth conditions of want ascriptions? According to a highly influential and fruitful approach, championed by Heim (1992) and von Fintel (1999), the answer is intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff within S’s belief set, S prefers the p worlds to the ~p worlds. This approach faces a well-known and as-yet unsolved problem, however: it makes the entirely wrong predictions with what we call '(counter)factual want ascriptions', wherein the agent either believes p (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  25
    Cohen-Stable Families of Subsets of Integers.Miloš S. Kurilić - 2001 - Journal of Symbolic Logic 66 (1):257-270.
    A maximal almost disjoint (mad) family $\mathscr{A} \subseteq [\omega]^\omega$ is Cohen-stable if and only if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-unstable. It is shown that a mad family, A, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the sets G[A], A ∈A are nowhere dense. An ℵ 0 -mad family, A, is a mad family with the property that given any countable family $\mathscr{B} \subset (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  16
    Patočka’s Interpretations of Hegel’s Thesis on the Past Character of Art.Miloš Ševčík - 2015 - Estetika 52 (1):78-113.
    In his article ‘Art and Time’ Patočka argues that Hegel rightly recognized a fundamental difference between classical and contemporary art. In developing Hegel’s insight he offers a conception of two eras of art, the ‘artistic’ era and the era of ‘aesthetic culture’. Patočka supposes that artworks of both the artistic era and the aesthetic era always open up a certain ‘meaning’ that gives human existence its fundamental points of reference. The status of this world, however, radically changed from one era (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  16
    Immorality.Robert K. Fullinwider & Ronald D. Milo - 1988 - Philosophical Review 97 (4):592.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  44.  8
    Mad Families, Forcing and the Suslin Hypothesis.Miloš S. Kurilić - 2005 - Archive for Mathematical Logic 44 (4):499-512.
    Let κ be a regular cardinal and P a partial ordering preserving the regularity of κ. If P is (κ-Baire and) of density κ, then there is a mad family on κ killed in all generic extensions (if and) only if below each p∈P there exists a κ-sized antichain. In this case a mad family on κ is killed (if and) only if there exists an injection from κ onto a dense subset of Ult(P) mapping the elements of onto nowhere (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  56
    Virtue, Knowledge, and Wickedness.Ronald D. Milo - 1998 - Social Philosophy and Policy 15 (1):196-215.
    Is it possible for a person to understand that what he proposes to do is morally wrong and yet prefer to do it nonetheless? I shall argue that wickedness consists in a defect of character that results in one's often having just such preferences. Yet many philosophers think that wickedness so conceived is impossible, because, for them, having such a preference is incompatible with believing, or at least knowing, that the act would be wrong.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  13
    The Notion of a Practical Inference.Ronald D. Milo - 1976 - American Philosophical Quarterly 13 (1):13 - 21.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  34
    Why Verisimilitude Should Not Be Dependent on Conceptual Systems.Miloš Taliga - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):191-205.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  5
    Different Similarities.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (7-8):839-859.
    We establish the hierarchy among twelve equivalence relations on the class of relational structures: the equality, the isomorphism, the equimorphism, the full relation, four similarities of structures induced by similarities of their self-embedding monoids and intersections of these equivalence relations. In particular, fixing a language L and a cardinal κ, we consider the interplay between the restrictions of these similarities to the class ModL of all L-structures of size κ. It turns out that, concerning the number of different similarities and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  25
    On the Number of Types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.
    In this paper, I investigate type theories from several perspectives. First, I present and elaborate the philosophical and technical motivations for these theories. I then offer a formal analysis of various TTs, focusing on the cardinality of the set of types contained in each. I argue that these TTs can be divided into four formal categories, which are derived from the cardinality of the set of their basic elementary types and the finiteness of the lengths of their molecular types. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  18
    The Philosophical Impact of the Löwenheim-Skolem Theorem.Miloš Arsenijević - 2012 - In Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality. Springer. pp. 59--81.
1 — 50 / 278