Results for 'Per Martin-Lof'

957 found
Order:
  1. Martin-Löf on the Validity of Inference.Ansten Klev - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 171-185.
    An inference is valid if it guarantees the transferability of knowledge from the premisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Considerações sobre a Noção Construtiva de Verdade.André Porto & Luiz Carlos Pereira - 2003 - O Que Nos Faz Pensar 17:107-123.
    This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. (1 other version)Contextualizing Individual Competencies for Managing the Corporate Social Responsibility Adaptation Process: The Apparent Influence of the Business Case Logic.Martin Mulder, Vincent Blok, Renate Wesselink & Eghe R. Osagie - 2019 - Business and Society 58 (2):369-403.
    Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Underdetermination and closure: Thoughts on two sceptical arguments.Martin Smith - 2022 - In Duncan Pritchard & Matthew Jope (ed.), New Perspectives on Epistemic Closure. Routledge.
    In this paper, I offer reasons for thinking that two prominent sceptical arguments in the literature – the underdetermination-based sceptical argument and the closure-based sceptical argument – are less philosophically interesting than is commonly supposed. The underdetermination-based argument begs the question against a non-sceptic and can be dismissed with little fanfare. The closure-based argument, though perhaps not question-begging per se, does rest upon contentious assumptions that a non-sceptic is under no pressure to accept.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Study of Productivity Rates for Geographically Distributed Agile Teams.Kimberly Martin - 2018 - Dissertation, Northcentral
    A reality for many information technology (IT) organizations is the need to hire IT talent from other cities or countries to supplement their employee staff. As organizations extend their software development work to remote locations, however, a distinct productivity gap can emerge between co-located and distributed teams. The problem this study addresses is the reduced productivity levels for teams practicing the Agile methodology when team members are distributed by location or time zone. Specifically, it was unknown if there are organizational (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Effective communication management and the performance of tertiary institutions in Cross River State, Nigeria.Festus Obun Arop, Valentine Joseph Owan & Martin Akan Ekpang - 2018 - International Journal of Current Research 10 (7):72019-72023.
    The purpose of this study was to examine effective communication management and the performance of tertiary institutions in Cross River State. Three hypotheses were formulated to guide the study. The study adopted a correlational design and was conducted using Cross River State College of Education, Akamkpa as case study. A proportionate stratified random sampling technique was used to select 30 per cent each from a total of 176 academic staff and 215 Non-academic staff in the institution. A total of 53 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Direct Medical Costs of Tetanus, Dengue, and Sepsis Patients in an Intensive Care Unit in Vietnam.Trinh Manh Hung, Nguyen Van Hao, Lam Minh Yen, Angela McBride, Vu Quoc Dat, H. Rogier van Doorn, Huynh Thi Loan, Nguyen Thanh Phong, Martin J. Llewelyn, Behzad Nadjm, Sophie Yacoub, C. Louise Thwaites, Sayem Ahmed, Nguyen Van Vinh Chau, Hugo C. Turner & Vietnam I. C. U. Translational Applications Laboratory - 2022 - Frontiers in Public Health 10:893200.
    Background: Critically ill patients often require complex clinical care by highly trained staff within a specialized intensive care unit (ICU) with advanced equipment. There are currently limited data on the costs of critical care in low-and middle-income countries (LMICs). This study aims to investigate the direct-medical costs of key infectious disease (tetanus, sepsis, and dengue) patients admitted to ICU in a hospital in Ho Chi Minh City (HCMC), Vietnam, and explores how the costs and cost drivers can vary between the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.
    In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Il problema della colpa. Per una fondazione della consulenza filosofica.Luca Bertolino - 2008 - In MARTIN BUBER, Colpa e sensi di colpa. Apogeo. pp. 161-190.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Politica e Finitude. Note per un'ecologia delle verità.Giovanbattista Tusa - 2020 - Estetica. Studi E Ricerche 1 (1/2020):205-222.
    Philosophy, starting from Kant, tries to delimit the limits and thus to finitize human consciousness, but then it fails in the task of assuming finiteness itself as finite, with a certain beginning and an end. In my essay I present different conceptualizations of the end which resist the logic of means, opened up by ecological thought, starting from the problem – central to the continental philosophy of the 20th century – of human finitude. In the first part of the essay, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Sense, reference, and computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.
    In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Randomness Is Unpredictability.Antony Eagle - 2005 - British Journal for the Philosophy of Science 56 (4):749-790.
    The concept of randomness has been unjustly neglected in recent philosophical literature, and when philosophers have thought about it, they have usually acquiesced in views about the concept that are fundamentally flawed. After indicating the ways in which these accounts are flawed, I propose that randomness is to be understood as a special case of the epistemic concept of the unpredictability of a process. This proposal arguably captures the intuitive desiderata for the concept of randomness; at least it should suggest (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  15. Logic of Probability and Conjecture.Harry Crane - unknown
    I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Existential anthropology: what could it be? An interpretation of Heidegger.Piette Albert - 2014 - Argument: Biannual Philosophical Journal 4 (2).
    Based on an interpretation of the work of martin Heidegger, this article o ers a shi away om social and cultural anthropology, which explores sociocultural aspects, and also om general anthropology, which aims to summarise all dimensions of human being. the author de nes the speci city of existential anthropology: observing and conceiving human beings as they exist and continue to exist towards death. With a few twists in relation to Heidegger’s thought, the author discusses what is theoretically and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Heidegger’s ethics.Nebojša Grubor - 2021 - In Nenad Cekić (ed.), Етика и истина у доба кризе. Belgrade: University of Belgrade - Faculty of Philosophy. pp. 69-81.
    Martin Heidegger did not write ethics, but basic ethical thought permeates the systematic draft and the main idea of his philosophy from Being and Time. Heidegger believes that the traditional division of philosophy into logic, physics and ethics is appropriate to the very thing of thought. The task of contemporary philosophy is to explain the principle of the traditional division of philosophy. Heidegger’s early philosophy designates a systematic metontological place for the question of ethics. Interpretations of Heidegger’s philosophy by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The Symmetry Argument Against the Deprivation Account.Huiyuhl Yi - 2016 - Philosophia 44 (3):947-959.
    Here I respond to Anthony Brueckner and John Martin Fischer’s “The Evil of Death: A Reply to Yi.” They developed an influential strategy in defense of the deprivation account of death’s badness against the Lucretian symmetry problem. The core of their argument consists in the claim that it is rational for us to welcome future intrinsic goods while being indifferent to past intrinsic goods. Previously, I argued that their approach is compatible with the evil of late birth insofar as (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.
    PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Technology and the End of Western Civilisation: Spengler’s and Heidegger’s Histories of Life/Being.Gregory Morgan Swer - 2019 - Indo-Pacific Journal of Phenomenology 19 (1):1-10.
    Spengler’s work is typically represented as speculative philosophy of history. However, I argue that there is good reason to consider much of his thought as preoccupied with existential and phenomenological questions about the nature and ends of human existence, rather than with history per se. In this paper I consider Spengler’s work in comparison with Heidegger’s history of Being and analysis of technological modernity. I argue that Spengler’s considerable proximity to much of Heidegger’s thought compels us to reconsider the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Lutero, Bruno e Pomponio Algieri.Guido Del Giudice - 2017 - la Biblioteca di Via Senato (12):70-75.
    IL MOSTRO E L'EROE. Quando Pomponio Algieri da Nola, all’età di soli 24 anni, viene bruciato vivo a Roma in piazza Navona, Giordano Bruno di anni ne ha appena otto. Oltre che per la giovane età del condannato, l’esecuzione è insolita anche per il luogo e il metodo scelto dall’Inquisizione: anziché le solite fascine, per alimentare il fuoco viene approntato un pentolone di pece, olio e trementina, nel quale viene immersa la povera vittima.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Expanded Barro Regression in Studying Convergence Problem.Nguyen Khac Minh - 2014 - American Journal of Operations Research 4:301-310.
    This study develops the approach by Minh & Khanh [1] to the classic Barro and Sala-i-Martin method [2], [3] named “expanded Barro regression method”, and applies this approach in analyzing the convergence of provincial per capita GDP in Vietnam over the period of 1991-2007. Different aspects of provincial convergence are considered in this paper. The estimated result on conver-gence from our model is compared to other models.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Heidegger's 'Black Notebooks' - The Occlusion of the Political.Sacha Golob - 2018 - In David Espinet, Günter Figal, Tobias Keiling & Nikola Mirković (eds.), Heideggers „Schwarze Hefte“ im Kontext. Tübingen: Mohr Siebeck. pp. 137-155.
    This paper aims to advance our understanding of Heidegger's politics as it is laid bare within the 'Schwarze Hefte'. Yet my interest is not in Heidegger's first order political views, but rather in his conception of the political sphere per se. Beginning from a close analysis of the earliest volume of the notebooks, Gesamtausgabe Bd.94, I suggest that the dominant characterisation of the political space within Heidegger's text is as a threat-to philosophy and to ontology. Underlying that characterisation, however, it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Fusion, fission, and Ackermann’s truth constant in relevant logics: A proof-theoretic investigation.Fabio De Martin Polo - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer.
    The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Transmission Failure Explained.Martin Smith - 2009 - Philosophy and Phenomenological Research 79 (1):164-189.
    In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  27. Epistemic relativism, scepticism, pluralism.Martin Kusch - 2017 - Synthese 194 (12):4687-4703.
    There are a number of debates that are relevant to questions concerning objectivity in science. One of the eldest, and still one of the most intensely fought, is the debate over epistemic relativism. —All forms of epistemic relativism commit themselves to the view that it is impossible to show in a neutral, non-question-begging, way that one “epistemic system”, that is, one interconnected set of epistemic standards, is epistemically superior to others. I shall call this view “No-metajustification”. No-metajustification is commonly taken (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  28. Relativism in Feyerabend's later writings.Martin Kusch - 2016 - Studies in History and Philosophy of Science Part A 57:106-113.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  29. Wittgenstein on Mathematics and Certainties.Martin Kusch - 2016 - International Journal for the Study of Skepticism 6 (2-3):120-142.
    _ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties are (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  30.  49
    Superación de la metafísica de Martin Heidegger / traducción de Jaime Sologuren.Martin Heidegger & Jaime Sologuren - 2020 - Revista de Filosofía.
    Download  
     
    Export citation  
     
    Bookmark  
  31. Harm, Benefit, and Non-Identity.Per Algander - 2013 - Dissertation, Uppsala University
    This thesis in an invistigation into the concept of "harm" and its moral relevance. A common view is that an analysis of harm should include a counterfactual condition: an act harms a person iff it makes that person worse off. A common objection to the moral relevance of harm, thus understood, is the non-identity problem. -/- This thesis criticises the counterfactual condition, argues for an alternative analysis and that harm plays two important normative roles. -/- The main ground for rejecting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Is ~ K ~ KP a luminous condition?Martin Smith - 2022 - Asian Journal of Philosophy 1 (1):1-10.
    One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. On the fragmentalist interpretation of special relativity.Martin A. Lipman - 2020 - Philosophical Studies 177 (1):21-37.
    Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because such (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  34. Subjective Facts about Consciousness.Martin A. Lipman - 2023 - Ergo: An Open Access Journal of Philosophy 10:530-553.
    The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. The logic of epistemic justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  36. Dynamic Montague grammar.Martin Stokhof - 1990 - In L. Kalman (ed.), Proceedings of the Second Symposion on Logic and Language, Budapest, Eotvos Lorand University Press, 1990, pp. 3-48. Budapest: Eotvos Lorand University Press. pp. 3-48.
    In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...)
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  37. A Defense of Causal Invariantism.Martin Montminy & Andrew Russo - 2016 - Analytic Philosophy 57 (1):49-75.
    Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Scepticism by a Thousand Cuts.Martin Smith - 2016 - International Journal for the Study of Skepticism 6 (1):44-52.
    _ Source: _Page Count 9 Global sceptical arguments seek to undermine vast swathes of our putative knowledge by deploying hypotheses that posit massive deception or error. Local sceptical arguments seek to undermine just a small region of putative knowledge, using hypotheses that posit deception or error of a more mundane kind. Those epistemologists who have devised anti-sceptical strategies have tended to have global sceptical arguments firmly in their sights. I argue here that local sceptical arguments, while less dramatic, ultimately pose (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Discussive Logic. A Short History of the First Paraconsistent Logic.Fabio De Martin Polo - 2023 - In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 267--296.
    In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. A Generalised Lottery Paradox for Infinite Probability Spaces.Martin Smith - 2010 - British Journal for the Philosophy of Science 61 (4):821-831.
    Many epistemologists have responded to the lottery paradox by proposing formal rules according to which high probability defeasibly warrants acceptance. Douven and Williamson present an ingenious argument purporting to show that such rules invariably trivialise, in that they reduce to the claim that a probability of 1 warrants acceptance. Douven and Williamson’s argument does, however, rest upon significant assumptions – amongst them a relatively strong structural assumption to the effect that the underlying probability space is both finite and uniform. In (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  41. Modelling competing legal arguments using Bayesian model comparison and averaging.Martin Neil, Norman Fenton, David Lagnado & Richard David Gill - 2019 - Artificial Intelligence and Law 27 (4):403-430.
    Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  42. When Does Evidence Suffice for Conviction?Martin Smith - 2018 - Mind 127 (508):1193-1218.
    There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  43. Between Probability and Certainty: What Justifies Belief.Martin Smith - 2016 - Oxford, GB: Oxford University Press UK.
    This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...)
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  44. (1 other version)Stances, Voluntarism, Relativism.Martin Kusch - forthcoming - In New Essays on Objectivity. DeGruyter.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. The Hardest Paradox for Closure.Martin Smith - 2022 - Erkenntnis 87 (4):2003-2028.
    According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  46. In defense of disjointism.Martin A. Lipman - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Disjointism is the view that co-located objects do not share any parts. A human-shaped statue is composed from a torso, head and limbs; the co-located lumpof clay is only composed from chunks of clay. This essay discusses the tenability of this relatively neglected view, focusing on two objections. The first objection is that disjointism implies co-located copies of microphysical particles. I argue that it doesn’t imply this and that there are more plausible disjointist views of tiny parts available. The second (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Georg Simmel and Pragmatism.Martin Kusch - 2019 - European Journal of Pragmatism and American Philosophy 11 (1).
    This paper offers some brief reflections on pragmatist themes in Georg Simmel’s philosophy. §1 presents a number of assessments – by Simmel’s contemporaries, by later interpreters, and by Simmel himself – concerning his proximity to pragmatism. §2 offers a reconstruction of Simmel’s 1885-paper “The Relationship between the Theory of Selection and Epistemology,” focusing in particular on what the argument owed to von Helmholtz. It was this paper first and foremost that suggested to many that Simmel was close to pragmatism. §§3-5 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Introduction.Martin Davies & Ronald Barnett - 2015 - In W. Martin Davies & Ronald Barnett (eds.), The Palgrave Handbook of Critical Thinking in Higher Education. New York, NY, USA: Palgrave. pp. 1-25.
    What is critical thinking, especially in the context of higher education? How have research and scholarship on the matter developed over recent past decades? What is the current state of the art here? How might the potential of critical thinking be enhanced? What kinds of teaching are necessary in order to realize that potential? And just why is this topic important now? These are the key questions motivating this volume. We hesitate to use terms such as “comprehensive” or “complete” or (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  49. Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi.Fabio De Martin Polo - 2024 - Erkenntnis:1-30.
    This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. The Practice-Based Approach to the Philosophy of Logic.Ben Martin - forthcoming - In Oxford Handbook for the Philosophy of Logic. Oxford University Press.
    Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 957