Axiomathes

ISSNs: 1572-8390, 1572-8390

15 found

View year:

  1.  35
    How to Account for the Falsehood of an Affirmative Proposition and the Truth of a Negative Proposition.Bo Chen - 2023 - Axiomathes 33 (4):1-26.
    There are two versions of the correspondence theory of truth: the object-based correspondence theory and the fact-based correspondence theory. Some scholars have put forward their objections to my rejection of the concept of a fact and their defence of that concept. But their arguments are not cogent, since they haven’t clarified the relation between facts and propositions, haven’t successfully argued for the necessity and feasibility of introducing the concept of a fact, and haven’t provided an acceptable standard of identity for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    Blockchain Civitas Dei and Civitas Terrena: Governance Experiments as a Problem of ‘Frontier Epistemology’ and ‘Heuristic Appraisal’.Denisa Reshef Kera, Joshua Ellul & Diego Fernando Bernard Francia - 2023 - Axiomathes 33 (4):1-27.
    The paper focuses on the philosophical challenges of governance over trustless ledgers, namely Bitcoin Layer 2 solutions in El Salvador. Blockchain adoption in El Salvador is an example of policy based on a ‘frontier epistemology’ (Nickles 2009 ), creating a situation where “facts are uncertain, values are in dispute, stakes are high, and decisions are urgent” (Funtowicz and Ravetz 1993 ). Trustless ledgers play a role of such ‘frontiers’ of knowledge and governance that support a variety of technocratic, heuristic, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Revisiting, Synthesizing, and Critiquing Searle on Social Construction.Abigail Klassen - 2023 - Axiomathes 33 (4):1-32.
    The main goal of this paper is to revisit, synthesize, and critique John R. Searle’s thinking over time concerning social ontology and what it means for something to be a social construction. Primarily, I undertake this task by elucidating and problematizing aspects of John R. Searle’s _The Construction of Social Reality_ (herein, _CSR_) (1995), though attention is paid to his later and corollary works. Certainly, there are many other philosophers who attend to analyzing the very meaning of social ontology or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Why do we Need Norm Sensitive Design? A WEIRD Critique of Value Sensitive Approaches to Design.Diana Adela Martin, Rockwell F. Clancy, Qin Zhu & Gunter Bombaerts - 2023 - Axiomathes 33 (4):1-19.
    The article argues that mainstream value-sensitive approaches to design have been based on narrow understandings of personhood and social dynamics, which are biased toward Western Educated Industrialized Rich and Democratic cultures and contradicted by empirical evidence. To respond to this weakness, the article suggests that design may benefit from focusing on user behaviours from the joint perspective of values and norms, especially across cultural contexts. As such, it proposes Norm Sensitive Design as a complement to value-sensitive approaches when designing and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    Symbolic Understanding of the Sky and Celestial Entities: An Archaeological Approach of Late Prehistoric Celestial Signs in the Carpathian Basin.Emilia Pasztor - 2023 - Axiomathes 33 (4):1-37.
    European prehistoric decorative art abounds in motifs that are not humble decorative elements but seem to be significant signs. Circles, concentric circles with or without a dot in the centre, circles divided into four, six or eight equal segments (sun/star-crosses) and often round decoration complexes filled with different spiral motifs are generally considered sun symbols by archaeologists. It is predominantly accepted that sun cults dominated the belief system of the European Bronze Age. These symbols can be found as a single (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    On the Foundations of Computing: Limits and Open Issues.Giuseppe Primiero - 2023 - Axiomathes 33 (4):1-16.
    Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  7
    The Ethical Charge of Articulating Mathematics.Roi Wagner - 2023 - Axiomathes 33 (4):1-20.
    Making mathematical statements and justifying them depend on a choice of mathematical framework(s). Such choice, this paper argues, depends on social circumstances and has social implications, rendering mathematical production ethically charged. The ethical charge of mathematics can therefore not be restricted to the impact of specific applications, research institutions, and teaching, as these may already be at least partly enabled or suppressed by the choice of mathematical frameworks.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  14
    Accepting Organizational Theories.Herman Aksom - 2023 - Axiomathes 33 (3):1-26.
    In this paper we aim to contribute to the recent debate on non-empirical theory confirmation by analyzing why scientists accept and trust their theories in the absence of clear empirical verification in social sciences. Given that the philosophy of social sciences traditionally deals mainly with economics and sociology, organization theory promises a new area for addressing a wide range of key questions of the modern philosophy of science and, in particular, to shed a light on the puzzling question of non-empirical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Formalization of Mathematical Proof Practice Through an Argumentation-Based Model.Sofia Almpani, Petros Stefaneas & Ioannis Vandoulakis - 2023 - Axiomathes 33 (3):1-28.
    Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  6
    Neutrality, Ecofeminist Theory, and the Mathematical Analysis of Partisan Gerrymandering.Benjamin Braun - 2023 - Axiomathes 33 (3):1-16.
    Mathematics is often positioned as either neutral or non-neutral by mathematicians. However, in practice, issues of neutrality arise in situated contexts, and the positioning of mathematics as either neutral or non-neutral is done for many purposes. We interpret positioning of mathematical work, with different degrees of neutrality, as a response to conflicts of interest and power dynamics. Using a framework from ecofeminist critical theory, we examine the ways that mathematical neutrality is positioned and communicated to different audiences in ways that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  29
    Should Type Theory Replace Set Theory as the Foundation of Mathematics?Thorsten Altenkirch - 2023 - Axiomathes 33 (1):1-13.
    Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (HoTT), is a preferable and should be considered as an alternative.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  19
    Composition as Identity and the Logical Roots of Leibniz’s Nominalism.Filippo Costantini - 2023 - Axiomathes 33 (1):1-23.
    The paper deals with Leibniz’s ontology and the metaphysics of the aggregate. Concerning the ontology of aggregates, the main aim is to provide _a new argument_ in favor of the claim that an aggregate and its constituents have the same ontological import. This argument takes the form of a weakening of a principle known in the contemporary literature of mereology as ‘composition as identity’ (CAI). The paper shows that Leibniz’s nominalism toward aggregates is a direct consequence of two elements: the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Liar Paradox - A Case of Mistaken Truth Attribution.Jasper Doomen - 2023 - Axiomathes 33 (1):1-11.
    A semantic solution to the liar paradox (“This statement is not true”) is presented in this article. Since the liar paradox seems to evince a contradiction, the principle of non-contradiction is preliminarily discussed, in order to determine whether dismissing this principle may be reason enough to stop considering the liar paradox a problem. No conclusive outcome with respect to the value of this principle is aspired to here, so that the inquiry is not concluded at this point and the option (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    Empirical Concepts: Their Meaning and its Emergence.Hans Radder - 2023 - Axiomathes 33 (1):1-23.
    This article presents a detailed, novel account of the emergence of (the meaning of) empirical concepts. Acquiring experience and empirical concepts is shown to be the result of multifaceted, cognitive processes, which require both material realization and conceptual interpretation. Generally speaking, the meaning of empirical concepts consists of several distinct components, but it includes at least a structuring and an abstracting component. These two meaning components are abstract entities, which can be justifiably interpreted as real objects. On this basis, I (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  26
    Davidsonian Metasemantics and Radical Interpretation.Maciej Tarnowski - 2023 - Axiomathes 33 (1):1-18.
    In the current debate on the metaphysical grounding of semantic properties Donald Davidson is usually taken to represent interpretationism, a stance according to which the meaning of expressions is metaphysically grounded by the process of assigning them semantic values which maximize certain parameters such as truth or rationality of the speaker. This stance is often contrasted with productivism, which takes circumstances of expression’s production, not interpretation, to ground its meaning. In this article, I argue that this widespread understanding of Davidson’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues