Results for 'Jan Bowen'

999 found
Order:
  1. Modal Cognitivism and Modal Expressivism.Timothy Bowen - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.Timothy Bowen - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  2
    Francis Bacon.Catherine Drinker Bowen - 1963 - Boston,: Little, Brown.
    Modern scholars hold Bacon's philosophical works, Novum Organum, Advancement of Learning, and The New Atlantis, as his greatest achievements. Bowen's story reveals a man whose genius it was not to immerse himself in the rigor of scientific experimentation, but to realize what questions science should ask, and thereby reach beyond the status quo and appeal to the wider imagination of his generation. In his writings, Bacon challenged established social and religious orders, raised questions about the mind/body relation and the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Grounding, Conceivability, and the Mind-Body Problem.Timothy Bowen - 2018 - Synthese 195 (2):919-926.
    This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  43
    Ethics and the Practice of Forensic Science.Robin T. Bowen - 2010 - Boca Raton: Crc Press.
    Offering a lively source of debate for professionals and academics, this volume provides a window on a topic that is frequently fraught with uncertainty.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  10
    Sport, ethics and leadership.Jack Bowen - 2017 - New York, NY: Routledge, an Informa Business.
    Everybody involved in sport, from the bleachers to the boardroom, should develop an understanding of ethics. Sport ethics prompt discussion of the central principles and ideals by which we all live our lives, and effective leadership in sport is invariably ethical leadership. This fascinating new introduction to sport ethics outlines key ethical theories in the context of sport as well as the fundamentals of moral reasoning. It explores all the central ethical issues in contemporary sport: from violence, hazing, and gambling (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Necessity and Liability: On an Honour-Based Justification for Defensive Harming.Joseph Bowen - 2016 - Journal of Practical Ethics 4 (2):79-93.
    This paper considers whether victims can justify what appears to be unnecessary defensive harming by reference to an honour-based justification. I argue that such an account faces serious problems: the honour-based justification cannot permit, first, defensive harming, and second, substantial unnecessary harming. Finally, I suggest that, if the purpose of the honour based justification is expressive, an argument must be given to demonstrate why harming threateners, as opposed to opting for a non-harmful alternative, is the most effective means of affirming (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Hyperintensional Ω-Logic.Timothy Bowen - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.
    This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Topic-sensitive Two-dimensional Truthmaker Semantics.Timothy Bowen - manuscript
    This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Fixed Points in the Hyperintensional Epistemic $\mu$-Calculus and the KK Principle.Timothy Bowen - manuscript
    This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  6
    After greenwashing: symbolic corporate environmentalism and society.Frances Bowen - 2014 - Cambridge: Cambridge University Press.
    Businesses promote their environmental awareness through green buildings, eco-labels, sustainability reports, industry pledges and clean technologies. When are these symbols wasteful corporate spin, and when do they signal authentic environmental improvements? Based on twenty years of research, three rich case studies, a strong theoretical model and a range of practical applications, this book provides the first systematic analysis of the drivers and consequences of symbolic corporate environmentalism. It addresses the indirect cost of companies' symbolic actions and develops a new concept (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  20
    Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics.Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  14.  9
    Evolutionary Game Analysis of the Dissemination of False Information by Multiple Parties after Major Emergencies.Bowen Li, Hua Li, Qiubai Sun, Rongjian Lv & Jianbo Zhao - 2022 - Complexity 2022:1-14.
    False information is always produced after the outbreak of major emergencies. Taking this into consideration, this paper discusses the behavior of multiple parties in relation to false information dissemination after major emergencies. First, a game model is constructed, using relevant knowledge of evolutionary game theory, between three parties: regulatory institutions, opinion leaders, and ordinary Internet users. Second, the model equations are solved, and the evolutionary stability strategies of each game party under different circumstances are analyzed. Third, a numerical simulation is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  20
    Bioethics committees: the health care provider's guide.Bowen Hosford - 1986 - Rockville, Md.: Aspen Systems.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  2
    Longshang xue ren wen cun.Bowen Yu - 2012 - Lanzhou Shi: Gansu ren min chu ban she. Edited by Huadong Yan & Zai Zhang.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.Timothy Bowen - manuscript
    This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  11
    What Science Cannot Do: The Question Concerning Science and Heidegger.Bowen Zha - 2022 - Open Journal of Philosophy 12 (1):69-85.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  19
    Believing Ancient Women: Feminist Epistemologies for Greece and Rome.Megan Elena Bowen, Mary Hamil Gilbert & Edith Gwendolyn Nally (eds.) - 2023 - Edinburgh: Edinburgh University Press.
    This volume deploys recent feminist epistemological frameworks to analyze how concepts like knowledge, authority, rationality, objectivity and testimony were constructed in Greece and Rome. The introduction serves as a field guide to feminist epistemological interpretations of classical sources, and the following sixteen chapters treat a variety of genres and time periods, from Greek poetry, tragedy, philosophy, oratory, historiography and material culture to Roman comedy, epic, oratory, letters, law and their reception. By using an intersectional approach to demonstrate how epistemic systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    Essentializing.Jack Bowen - 2018-05-09 - In Robert Arp, Steven Barbone & Michael Bruce (eds.), Bad Arguments. Wiley. pp. 149–151.
    This chapter focuses on one of the common fallacies in Western philosophy, 'essentializing'. One commits the fallacy of essentializing when claiming that just because something was one particular way at one point; it will always be that way. This fallacy is also similar to the genetic fallacy in that it suggests things are a certain way simply “by their nature”. Part of this fallacy relies on the metaphysical notion of determinism: that people are determined by their DNA and, additionally, no (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  4
    Hellenistic Astronomy: The Science in Its Contexts (300 BC- 300 AD).Alan C. Bowen & Francesca Rochberg (eds.) - 2020 - Brill.
    In Hellenistic Astronomy: The Science in Its Contexts, renowned scholars address questions about what the ancient science of the heavens was and the numerous contexts in which it was pursued.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  7
    Sorites Fallacy.Jack Bowen - 2018-05-09 - In Robert Arp, Steven Barbone & Michael Bruce (eds.), Bad Arguments. Wiley. pp. 293–295.
    This chapter focuses on one of the common fallacies in Western philosophy called 'sorites fallacy (SF)'. One commits the SF when claiming that because a continuum exists between two distinct categories or states of affairs, then those categories cannot truly be asserted as distinct. In addition, the SF helps us to distinguish between vagueness and relativity. Recognizing the SF is helpful in highlighting the vagueness of linguistic constructs and categorical thinking. But it serves to remind that simply because of the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Unfalsifiability.Jack Bowen - 2018-05-09 - In Robert Arp, Steven Barbone & Michael Bruce (eds.), Bad Arguments. Wiley. pp. 403–406.
    This chapter focuses on one of the common fallacies in Western philosophy called 'unfalsifiability'. The unfalsifiability fallacy occurs when someone makes a claim that is impossible to prove false. Falsifiability – the ability to be falsified or proven wrong – is considered a key criterion for deeming a hypothesis scientific. Conspiracy theories often rely on unfalsifiable claims in which the theorist ardently defends a theory despite any facts that disprove it, suggesting only, “Well, it's a conspiracy. It's impossible to disprove”. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Goddess as nature: towards a philosophical thealogy.Paul Reid-Bowen - 2008 - Ars Disputandi 8:1566-5399.
     
    Export citation  
     
    Bookmark   3 citations  
  25.  13
    An Herbrand theorem for prenex formulas of LJ.Kenneth A. Bowen - 1976 - Notre Dame Journal of Formal Logic 17 (2):263-266.
  26.  12
    How Family's Support of Perseverance in Creative Efforts Influences the Originality of Children's Drawing During the Period of COVID-19 Pandemic?Bowen Shi, Ziwei Xing, Mei Yang & Chaoying Tang - 2021 - Frontiers in Psychology 12.
    This study points out that families' support of perseverance in creative efforts will increase children's originality of creative drawing through children's persistence in information searching. Data analysis based on 134 Chinese young children's creative drawings and survey supports the above hypothesis. Moreover, children's exposure to COVID-19 pandemic positively moderates the relationship between supporting perseverance and children's search persistence, such that high exposure to COVID-19 pandemic will increase the positive relationship between support of perseverance and search persistence. And children's prosocial motivation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. More than a Feeling: Affect as Radical Situatedness.Jan Slaby - 2017 - Midwest Studies in Philosophy 41 (1):7-26.
    It can be tempting to think of affect as a matter of the present moment – a reaction, a feeling, an experience or engagement that unfolds right now. This paper will make the case that affect is better thought of as not only temporally extended but as saturated with temporality, especially with the past. In and through affectivity, concrete, ongoing history continues to weigh on present comportment. In order to spell this out, I sketch a Heidegger-inspired perspective. It revolves around (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  28.  5
    Engineering ethics: challenges and opportunities.W. Richard Bowen - 2009 - New York: Springer.
    Engineering Ethics: Challenges and Opportunities aims to set a new agenda for the engineering profession by developing a key challenge: can the great technical innovation of engineering be matched by a corresponding innovation in the acceptance and expression of ethical responsibility? Central features of this stimulating text include: · An analysis of engineering as a technical and ethical practice providing great opportunities for promoting the wellbeing and agency of individuals and communities. · Elucidation of the ethical opportunities of engineering in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Hyperintensional Category Theory and Indefinite Extensibility.Timothy Bowen - manuscript
    This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  31
    Living into leadership: a journey in ethics.Bowen H. McCoy - 2007 - Stanford, Calif.: Stanford Business Books.
    Over the past few years, the business world has been wracked by corporate scandals. With news of a new scandal an almost weekly occurrence, one cannot help but wonder: “Is business success synonymous with a lack of morality?” With a resounding “no,” Bowen H. “Buzz” McCoy, former partner at Morgan Stanley, shows that ethical business leadership is possible and, moreover, desirable. Seeking inspiration from an eclectic range of sources, such as Dante, Kant, and Peter Drucker, and drawing from his (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Physical Necessitism.Timothy Bowen - manuscript
    This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Truth, Modality, and Paradox: Critical Review of Scharp, 'Replacing Truth'.Timothy Bowen - manuscript
    This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  4
    Research on false information clarification mechanism among government, opinion leaders, and Internet users — Based on differential game theory.Bowen Li, Hua Li, Qiubai Sun & Rongjian Lv - 2022 - Frontiers in Psychology 13.
    This article considers the government, opinion leaders, and Internet users to be a system for correcting false information, and it considers the problem of correcting false information that arises in the aftermath of major emergencies. We use optimal control theory and differential game theory to construct differential game models of decentralized decision-making, centralized decision-making, and subsidized decision-making. The solutions to these models and their numerical simulations show that the government, opinion leaders, and Internet users exercise cost-subsidized decision-making instead of decentralized (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  4
    The acquisition of memory by interview questioning: Holocaust re-membering as category-bound activity.Sheryl Perlmutter Bowen & Mariaelena Bartesaghi - 2009 - Discourse Studies 11 (2):223-243.
    In this discourse analysis of how memory acquires and is acquired in interview exchanges, we investigate remembering as a category-bound activity, both a tensional and collaborative process of moral ratification of `survivor' as membership category. We propose the term re-membering to mean piecing together possible versions of survivor experiences in talk; these versions, offered by respondents and elicited by interviewers through questioning strategies, are epistemic claims to acquire the Holocaust as memory, or institutional History. We explore the accounting dynamic of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  9
    Above the gene, beyond biology: toward a philosophy of epigenetics.Jan Baedke - 2018 - Pittsburgh, Pa.: University of Pittsburgh Press.
    Epigenetics is currently one of the fastest-growing fields in the sciences. Epigenetic information not only controls DNA expression but links genetic factors with the environmental experiences that influence the traits and characteristics of an individual. What we eat, where we work, and how we live affects not only the activity of our genes but that of our offspring as well. This discovery has imposed a revolutionary theoretical shift on modern biology, especially on evolutionary theory. It has helped to uncover the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  4
    Socrates: Greek philosopher.Richard A. Bowen - 2014 - Broomall: Mason Crest Publishers. Edited by Iassen Ghiuselev.
    A biography of Socrates, a philosopher and teacher in ancient Greece who held that wisdom comes from questioning ideas and values rather than simply accepting what is passed on by parents and teachers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. The Tanner lectures on human values.William G. Bowen, Craig J. Calhoun, Michael Ignatieff, F. M. Kamm, Claude Lanzmann, Robert Post, Michael J. Sandel & Mark Matheson (eds.) - 2014 - Salt Lake City: The University of Utah Press.
    Volume 39 of the Tanner Lectures on Human Values includes lectures initially scheduled during the academic year 2019-2020. Owing to the global coronavirus pandemic, some were delivered at a later date. The Tanner Lectures are published in an annual volume. In addition to permanent lectures at nine universities, the Tanner Lectures on Human Values funds special one-time lectures at selected higher educational institutions in the United States and around the world.
     
    Export citation  
     
    Bookmark  
  39.  27
    Discrepancy between Learning and Practicing Digital Citizenship.Bowen Hui & Robert Campbell - 2018 - Journal of Academic Ethics 16 (2):117-131.
    The importance of digital citizenship has been well recognized and integrated in standardized school curriculum. However, there are very few empirical studies that report on the success of these new initiatives. Our teaching experience suggest that students are able to perform well on exams that assess proper online conduct, but they still fail to follow digital citizenship guidelines in practice. In this paper, we present a study to investigate students’ attitudes and opinions on various digital citizenship concepts via a self-reported (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  16
    Moral distress, psychological capital, and burnout in registered nurses.Bowen Xue, Shujin Wang, Dandan Chen, Zhiguo Hu, Yaping Feng & Hong Luo - forthcoming - Nursing Ethics.
    Aims This study aimed to explore the relationship among moral distress, psychological capital, and burnout in registered nurses. Ethical consideration The study was approved by the Ethics Committee of the School of Nursing, Hangzhou Normal University (Approval no. 2022001). Methods A cross-sectional descriptive survey was conducted with a convenience sample of 397 nurses from three Grade-A tertiary hospitals in Zhejiang Province, China. Participants completed demographic information, the Nurses’ Moral Distress Scale, the Nurses’ Psychological Capital Scale, and the Maslach Burnout Inventory (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  7
    Do Welfare Caseload Declines Make the Medicaid Risk Pool Sicker?Bowen Garrett & John Holahan - 2002 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 39 (1):12-33.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  23
    Polish Logicians on Social Functions of Logic.Jan Woleński - 2024 - History and Philosophy of Logic 45 (1):70-80.
    The paper examines the interplays between logic and politics in the Polish School of Logic starting from 1914. The Polish School of Logic flourished between 1920 and 1939. Philosophically, it was influenced by Kazimierz Twardowski (1866–1938). For Twardowski logic is fundamental for every kind of human activity, professional and private and this means that every argument should be formulated and proceed by correct inferential rules. These rules involve semiotics, formal logic and methodology of science. The paper shows how this position (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  17
    Health Insurance and Labor Markets: Concepts, Open Questions, and Data Needs.Bowen Garrett & Michael Chernew - 2008 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 45 (1):30-57.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  35
    Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus.Jan Rooduijn & Yde Venema - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 318-335.
    We introduce a cyclic proof system for the two-way alternation-free modal μ-calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modalities by allowing analytic applications of the cut rule. The global effect of backwards modalities on traces is handled by making the semantics relative to a specific strategy of the opponent in the evaluation game. This allows us to augment sequents by so-called trace atoms, describing traces that the proponent can construct against the opponent’s strategy. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  18
    Hyperintensional Ω-Logic.Timothy Bowen - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  6
    Great Goddess, Elemental Nature or Chora? Philosophical Contentions and Constructs in Contemporary Goddess Feminism.Paul Reid-Bowen - 2007 - Feminist Theology 16 (1):101-109.
    This paper examines some of the metaphysical concepts that are present within Goddess feminism at the beginning of the twenty-first century. It is asserted from the outset that Goddess feminism is not as incoherent as many of its critics claim; and it is also highly problematic for feminist thealogians to view conceptual precision and philosophical analysis as inevitably masculinist and invidious preoccupations. Three contemporary feminist thealogical concepts of deity are introduced: the Goddess as a personal, loving and panentheistic deity, the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Hyperintensional Conceivability, Grounding, and Consciousness.Timothy Bowen - manuscript
    This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Consciousness, Haecceitism, and Grounding.Timothy Bowen - manuscript
    This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. The Conditional in Three-Valued Logic.Jan Sprenger - forthcoming - In Paul Egre & Lorenzo Rossi (eds.), Handbook of Three-Valued Logic. Cambridge, Massachusetts: The MIT Press.
    By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999