Results for 'logical empiricism, structural realism, semantics, invariance, Eino Kaila'

1000+ found
Order:
  1. Realistic Claims in Logical Empiricism.Matthias Neuber - 2015 - In Uskali Mäki, Stéphanie Ruphy, Gerhard Schurz & Ioannis Votsis (eds.), Recent Developments in the Philosophy of Science. Cham: Springer.
    Logical empiricism is commonly seen as a counter-position to scientific realism. In the present paper it is shown that there indeed existed a realist faction within the logical empiricist movement. In particular, I shall point out that at least four types of realistic arguments can be distinguished within this faction: Reichenbach’s ‘probabilistic argument,’ Feigl’s ‘pragmatic argument,’ Hempel’s ‘indispensability argument,’ and Kaila’s ‘invariantist argument.’ All these variations of arguments are intended to prevent the logical empiricist agenda from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Messung und Invarianz – ein Beitrag zum Metrologischen Strukturenrealismus.Alexander Ehmann - 2013 - Philosophia Naturalis 50 (2):215-251.
    [ENGLISH] The present article is a contribution to the development of metrological structural realism. This position of philosophy of science goes back to Matthias Neuber, who introduces it as a third variation of the main structural realisms: epistemic structural realism and ontic structural realism. Here, Neuber attempts to tackle the problems of OSR and ESR while preserving their respective strengths. Of central importance to his approach, are the concepts of invariance, structure and, especially, measurement. Starting from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Kaila's interpretation of Einstein-Minkowski invariance theory.Matias Slavov - 2022 - Studies in History and Philosophy of Science Part A 93 (3):57-65.
    This essay explores Kaila's interpretation of the special theory of relativity. Although the relevance of his work to logical empiricism is well-known, not much has been written on what Kaila calls the ‘Einstein-Minkowski invariance theory’. Kaila's interpretation focuses on two salient features. First, he emphasizes the importance of the invariance of the spacetime interval. The general point about spacetime invariance has been known at least since Minkowski, yet Kaila applies his overall tripartite theory of invariances (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Against Metaphysical Necessity. Alethic Modalities in Updated Logical Empiricism.Manuel Bremer - manuscript
    The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Kaila's Reception of Hume.Jani Hakkarainen - 2012 - Acta Philosophica Fennica 89:147-162.
    In this paper, I discuss Eino Kaila's (1890-1958) understanding of David Hume. Kaila was one of the leading Finnish philosophers of the 20th century and a correspondent of the Vienna Circle. He introduced logical empiricism into Finland and taught Georg Henrik von Wright. Final draft.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  9
    Tractable depth-bounded approximations to some propositional logics. Towards more realistic models of logical agents.A. Solares-Rojas - 2022 - Dissertation, University of Milan
    The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Constructing formal semantics from an ontological perspective. The case of second-order logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
    In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. An Inferential Response to the "Loss of Reality Objection" to Structural Empiricism.Franco Menares Paredes - 2022 - Principia: An International Journal of Epistemology 26 (3):539–558.
    This paper aims to meet an objection that has been raised against structural empiricism known as the “loss of reality objection.” I argue that an inferential approach to scientific representation allows the structural empiricist to account for the representation of phenomena by data models and ensures that such a representation is not arbitrary. By the notions of immersion, derivation, and interpretation, I show how data models are able to represent phenomena in a non-arbitrary manner. I conclude this paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Structural Realism or Modal Empiricism?Quentin Ruyant - 2019 - British Journal for the Philosophy of Science 70 (4):1051-1072.
    Structural realism has been suggested as the best compromise in the debate on scientific realism. It proposes that we should be realist about the relational structure of the world, not its nature. However, it faces an important objection, first raised by Newman against Russell: if relations are not qualified, then the position is either trivial or collapses into empiricism, but if relations are too strongly qualified, then it is no longer SR. A way to overcome this difficulty is to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Empiricism.Jennifer Nagel - 2006 - In Sarkar Pfeifer (ed.), The Philosophy of Science. New York: Routledge.
    Having assigned experience this exclusive role in justification, empiricists then have a range of views concerning the character of experience, the semantics of our claims about unobservable entities, the nature of empirical confirmation, and the possibility of non-empirical warrant for some further class of claims, such as those accepted on the basis of linguistic or logical rules. Given the definitive principle of their position, empiricists can allow that we have knowledge independent of experience only where what is known is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. The Metaphysical Commitments of Logic.Thomas Brouwer - 2013 - Dissertation, University of Leeds
    This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Physics Avoidance & Cooperative Semantics: Inferentialism and Mark Wilson’s Engagement with Naturalism Qua Applied Mathematics.Ekin Erkan - 2020 - Cosmos and History 16 (1):560-644.
    Mark Wilson argues that the standard categorizations of "Theory T thinking"— logic-centered conceptions of scientific organization (canonized via logical empiricists in the mid-twentieth century)—dampens the understanding and appreciation of those strategic subtleties working within science. By "Theory T thinking," we mean to describe the simplistic methodology in which mathematical science allegedly supplies ‘processes’ that parallel nature's own in a tidily isomorphic fashion, wherein "Theory T’s" feigned rigor and methodological dogmas advance inadequate discrimination that fails to distinguish between explanatory structures (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. On logical omniscience.Jacques Dubucs - 1991 - Logique Et Analyse 133 (133-140):41-55.
    Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Structural realism versus deployment realism: A comparative evaluation.Timothy D. Lyons - 2016 - Studies in History and Philosophy of Science Part A 59:95-105.
    In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Teleology and Realism in Leibniz's Philosophy of Science.Nabeel Hamid - 2019 - In Vincenzo De Risi (ed.), Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology. Springer. pp. 271-298.
    This paper argues for an interpretation of Leibniz’s claim that physics requires both mechanical and teleological principles as a view regarding the interpretation of physical theories. Granting that Leibniz’s fundamental ontology remains non-physical, or mentalistic, it argues that teleological principles nevertheless ground a realist commitment about mechanical descriptions of phenomena. The empirical results of the new sciences, according to Leibniz, have genuine truth conditions: there is a fact of the matter about the regularities observed in experience. Taking this stance, however, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. A defence of informational structural realism.Luciano Floridi - 2008 - Synthese 161 (2):219-253.
    This is the revised version of an invited keynote lecture delivered at the "1st Australian Computing and Philosophy Conference". The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism, epistemic and ontic structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that (...)
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  17. The Structure of Scientific Theories in Logical Empiricism.Thomas Mormann - 2007 - In Alan Richardson & Thomas Uebel (eds.), The Cambridge Companion to Logical Empiricism. New York: Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. Referential consistency as a a criterion of meaning.Steven James Bartlett - 1982 - Synthese 52 (2):267 - 282.
    NOTE TO THE READER - December, 2021 ●●●●● -/- After a long period of time devoted to research in other areas, the author returned to the subject of this paper in a book-length study, CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning. In this book (Chapter 11, “The Metalogic of Meaning”), the position developed in the 1982 paper, "Referential Consistency as a Criterion of Meaning", has been substantively revised and several important corrections made. It is recommended that readers read (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  19. L'etica del Novecento. Dopo Nietzsche.Sergio Cremaschi - 2005 - Roma RM, Italia: Carocci.
    TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. On the Preferability of Epistemic Structural Realism.Matteo Morganti - 2004 - Synthese 142 (1):81-107.
    In the last decade, structural realism has been presented as the most promising strategy for developing a defensible realist view of science. Nevertheless, controversy still continues in relation to the exact meaning of the proposed structuralism. The stronger version of structural realism, the so-called ontic structural realism, has been argued for on the basis of some ideas related to quantum mechanics. In this paper, I will first outline these arguments, mainly developed by Steven French and James Ladyman, (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  22. Scientific Realism, the Semantic View and Evolutionary Biology.Fabio Sterpetti - 2016 - In Emiliano Ippoliti, Fabio Sterpetti & Thomas Nickles (eds.), Models and Inferences in Science. Cham: Springer. pp. 55-76.
    The semantic view of theories is normally considered to be an ac-count of theories congenial to Scientific Realism. Recently, it has been argued that Ontic Structural Realism could be fruitfully applied, in combination with the semantic view, to some of the philosophical issues peculiarly related to bi-ology. Given the central role that models have in the semantic view, and the relevance that mathematics has in the definition of the concept of model, the fo-cus will be on population genetics, which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press. pp. 13-34.
    Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. A Semantic Framework for the Impure Logic of Ground.Louis deRosset - 2024 - Journal of Philosophical Logic 53 (2):463-491.
    There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
    In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. A Survey of Logical Realism.Tuomas E. Tahko - 2021 - Synthese 198 (5):4775-4790.
    Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Logical Realism and the Riddle of Redundancy.Óscar Antonio Monroy Pérez - 2023 - Mind 131 (524):1083-1107.
    According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  38
    Constructive Empiricism and Logical Positivism: The Return of the Prodigal Son.Ragnar van der Merwe - forthcoming - Filozofia Nauki.
    Bas van Fraassen’s Constructive Empiricism (CE) has been much discussed. There is, however, a curious feature of van Fraassen’s writings that has been overlooked up until now. This is that he sometimes capitalises certain key terms, notably “Induction”. This is done to differentiate a pragmatic small ‘i’ induction (which has epistemic import) from a rule-bound capital ‘I’ induction (which does not). In this paper, I argue that van Fraassen’s small letter/capital letter distinction reveals an underlying dualism, one that is reminiscent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Realistics Premises of Epistemic Argumentation for Dynamic Epistemic Logics.Edward Bryniarski, Zbigniew Bonikowski, Jacek Waldmajer & Urszula Wybraniec-Skardowska - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36):173-187.
    In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. The Semantic Realism/Anti-Realism Dispute and Knowledge of Meanings.Panu Raatikainen - 2009 - The Baltic International Yearbook of Cognition, Logic and Communication 5:1-13.
    Here the relationship between understanding and knowledge of meaning is discussed from two different perspectives: that of Dummettian semantic anti-realism and that of the semantic externalism of Putnam and others. The question addressed is whether or not the truth of semantic externalism would undermine a central premise in one of Dummetts key arguments for anti-realism, insofar as Dummetts premise involves an assumption about the transparency of meaning and semantic externalism is often taken to undermine such transparency. Several notions of transparency (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Informational realism.Luciano Floridi - manuscript
    What is the ultimate nature of reality? This paper defends an answer in terms of informational realism (IR). It does so in three stages. First, it is shown that, within the debate about structural realism (SR), epistemic (ESR) and ontic (OSR) structural realism are reconcilable by using the methodology of the levels of abstractions. It follows that OSR is defensible from a structuralist-friendly position. Second, it is argued that OSR is also plausible, because not all related objects are (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  33. Wittgenstein on critique of language.Mudasir A. Tantray - 2018 - International Journal of Creative Research Thoughts 6 (1):5-9.
    This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of language to clear what is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Invariance as a basis for necessity and laws.Gila Sher - 2021 - Philosophical Studies 178 (12):3945-3974.
    Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  35. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. The logical and pragmatic structure of arguments from analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  37. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. An Aristotelian Realist Philosophy of Mathematics: Mathematics as the science of quantity and structure.James Franklin - 2014 - London and New York: Palgrave MacMillan.
    An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  39. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Numbers, Empiricism and the A Priori.Olga Ramírez Calle - 2020 - Logos and Episteme 11 (2):149-177.
    The present paper deals with the ontological status of numbers and considers Frege ́s proposal in Grundlagen upon the background of the Post-Kantian semantic turn in analytical philosophy. Through a more systematic study of his philosophical premises, it comes to unearth a first level paradox that would unset earlier still than it was exposed by Russell. It then studies an alternative path, that departin1g from Frege’s initial premises, drives to a conception of numbers as synthetic a priori in a more (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Proof Invariance.Blane Worley - forthcoming - Australasian Journal of Logic.
    We explore depth substitution invariance, or hyperformalism, and extend known results in this realm to justification logics extending weak relevant logics. We then examine the surprising invariance of justifications over formulas and restrict our attention to the substitution of proofs in the original relevant logic. The results of this paper indicate that depth invariance is a recalcitrant feature of the logic and that proof structures in hyperformal logics are quite inflexible.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Phenomenology, Empiricism, and Constructivism in Paolo Parrini's Positive Philosophy.Andrea Pace Giannotta - 2019 - In Federica Buongiorno, Vincenzo Costa & Roberta Lanfredini (eds.), Phenomenology in Italy. Authors, Schools, Traditions. Springer. pp. 161-178.
    In this work, I discuss the role of Husserl’s phenomenology in Paolo Parrini’s positive philosophy. In the first section, I highlight the presence of both empiricist and constructivist elements in Parrini’s anti-foundationalist and anti-absolutist conception of knowledge. In the second section, I stress Parrini’s acknowledgement of the crucial role of phenomenology in investigating the empirical basis of knowledge, thanks to its analysis of the relationship between form and matter of cognition. In the third section, I point out some lines of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Le réalisme structural face au problème de la mesure.Quentin Ruyant - 2016 - Lato Sensu: Revue de la Société de Philosophie des Sciences 3 (1):43-51.
    Le réalisme structural est une tentative d’établir un compromis entre le réalisme scientifique et l’empirisme, en restreignant le réalisme à la structure relationnelle des théories scientifiques. Il se décline en deux versions, épistémique et ontique. Le réalisme structural ontique propose de concevoir les relations nomologiques décrites par les théories comme des éléments primitifs de la réalité. Il est motivé, notamment, par le fait que sous sa forme épistémique, le réalisme structural ne se distingue pas réellement d’une position (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Invariance and Necessity.Gila Sher - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 55-70.
    Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.
    Download  
     
    Export citation  
     
    Bookmark  
  46. Mathematical anti-realism and explanatory structure.Bruno Whittle - 2021 - Synthese 199 (3-4):6203-6217.
    Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi.Fabio De Martin Polo - forthcoming - Erkenntnis.
    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  
  48. The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness.Eric D. Berg & Roy T. Cook - 2017 - Journal for the History of Analytical Philosophy 5 (6).
    In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. 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  
  50. A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000