Results for 'STRING THEORY IN LOGIC'

1000+ found
Order:
  1. Schemata: The Concept of Schema in the History of Logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. Review: Karel Lambert, Meinong and the Principle of Independence. Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic[REVIEW]William J. Rapaport - 1986 - Journal of Symbolic Logic 51 (1):248-252.
    Review of Karel Lambert, Meinong and the Principle of Independence: Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Meanings of Word: Type-Occurrence-Token.John Corcoran - 2005 - Bulletin of Symbolic Logic 11 (1):117.
    Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Tarski’s Convention T: Condition Beta.John Corcoran - forthcoming - SOUTH AMERICAN JOURNAL OF LOGIC 1 (1).
    Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  26
    The Emergence of Spacetime in String Theory-Intro&Table of Content.Tiziana Vistarini - forthcoming - London and New York: Routledge.
    Download  
     
    Export citation  
     
    Bookmark  
  7. BELIEF IN CAUSATION: ONE APPLICATION OF CARNAP's INDUCTIVE LOGIC.Yusuke Kaneko - 2012 - Academic Research International 3 (1).
    This paper takes two tasks. The one is elaborating on the relationship of inductive logic with decision theory to which later Carnap planned to apply his system (§§1-7); this is a surveying side of this article. The other is revealing the property of our prediction of the future, subjectivity (§§8-11); this is its philosophical aspect. They are both discussed under the name of belief in causation. Belief in causation is a kind of “degree of belief” born about the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. An Essay in Deontic Logic and the General Theory of Action.G. H. von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  41
    Hegel's Logic in the Light of Graph Theory.Adam Synowiecki, Krzysztof Kiwiel & John Dickson - 1973 - Dialectics and Humanism 1 (1):87-96.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Quantum Gravity and Taoist Cosmology: Exploring the Ancient Origins of Phenomenological String Theory.Steven M. Rosen - 2017 - Progress in Biophysics and Molecular Biology 131:34-60.
    In the author’s previous contribution to this journal (Rosen 2015), a phenomenological string theory was proposed based on qualitative topology and hypercomplex numbers. The current paper takes this further by delving into the ancient Chinese origin of phenomenological string theory. First, we discover a connection between the Klein bottle, which is crucial to the theory, and the Ho-t’u, a Chinese number archetype central to Taoist cosmology. The two structures are seen to mirror each other in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. MODERN SCIENCE EMPHASIZES MATHEMATICS. WHAT THE UNIVERSE LOOKS LIKE WHEN LOGIC IS EMPHASIZED (MATHS HAS A VITAL, BUT SECONDARY, ROLE IN THIS ARTICLE).Rodney Bartlett - 2013 - viXra.
    This article had its start with another article, concerned with measuring the speed of gravitational waves - "The Measurement of the Light Deflection from Jupiter: Experimental Results" by Ed Fomalont and Sergei Kopeikin (2003) - The Astrophysical Journal 598 (1): 704–711. This starting-point led to many other topics that required explanation or naturally seemed to follow on – Unification of gravity with electromagnetism and the 2 nuclear forces, Speed of electromagnetic waves, Energy of cosmic rays and UHECRs, Digital string (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. String Theory, Non-Empirical Theory Assessment, and the Context of Pursuit.Frank Cabrera - 2018 - Synthese:1-29.
    In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  74
    Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. String Theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  15.  25
    Syntactic Characterizations of First-Order Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Download  
     
    Export citation  
     
    Bookmark  
  16. REVIEW OF Alfred Tarski, Collected Papers, Vols. 1-4 (1986) Edited by Steven Givant and Ralph McKenzie. [REVIEW]John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (h):01101-4.
    Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about (...), whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence. (shrink)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  17. Epistemic Utility Theory and the Normativity of Logic.Richard Pettigrew - manuscript
    How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, we (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Some Connections Between Epistemic Logic and the Theory of Nonadditive Probability.Philippe Mongin - 1992 - In Paul Humphreys (ed.), Patrick Suppes: Scientific Philosopher. Dordrecht: Kluwer. pp. 135-171.
    This paper is concerned with representations of belief by means of nonadditive probabilities of the Dempster-Shafer (DS) type. After surveying some foundational issues and results in the D.S. theory, including Suppes's related contributions, the paper proceeds to analyze the connection of the D.S. theory with some of the work currently pursued in epistemic logic. A preliminary investigation of the modal logic of belief functions à la Shafer is made. There it is shown that the Alchourrron-Gärdenfors-Makinson (A.G.M.) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  47
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  94
    Renormalizability, Fundamentality and a Final Theory: The Role of UV-Completion in the Search for Quantum Gravity.Karen Crowther & Niels Linnemann - 2017 - British Journal for the Philosophy of Science:axx052.
    Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity (QG), where novel empirical data is lacking. One principle widely adopted in the search for QG is UV completion: the idea that a theory should (formally) hold up to all possible high energies. We argue---/contra/ standard scientific practice---that UV-completion is poorly-motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  86
    Defining a Crisis: The Roles of Principles in the Search for a Theory of Quantum Gravity.Karen Crowther - forthcoming - Synthese:1-28.
    In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required---physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Arthur Danto’s Andy Warhol: The Embodiment of Theory in Art and the Pragmatic Turn.Stephen Snyder - 2010 - Leitmotiv:135-151.
    Arthur Danto’s recent book, Andy Warhol, leads the reader through the story of the iconic American’s artistic life highlighted by a philosophical commentary, a commentary that merges Danto’s aesthetic theory with the artist himself. Inspired by Warhol’s Brillo Box installation, art that in Danto’s eyes was indiscernible from the everyday boxes it represented, Danto developed a theory that is able to differentiate art from non-art by employing the body of conceptual art theory manifest in what he termed (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  32
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  85
    1983 Review in Mathematical Reviews 83e:03005 Of: Cocchiarella, Nino “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy: Bertrand Russell's Early Philosophy, Part I”. Synthese 45 (1980), No. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
    CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .
    Download  
     
    Export citation  
     
    Bookmark  
  26. Parts and Moments: Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  27. Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms).Berislav Žarnić - 2011 - In Anna Brozek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
    The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  28. Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
    I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The Logic of Theory Assessment.Franz Huber - 2007 - Journal of Philosophical Logic 36 (5):511-538.
    This paper starts by indicating the analysis of Hempel's conditions of adequacy for any relation of confirmation (Hempel, 1945) as presented in Huber (submitted). There I argue contra Carnap (1962, Section 87) that Hempel felt the need for two concepts of confirmation: one aiming at plausible theories and another aiming at informative theories. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative theories. The main part of the paper (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  24
    Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.
    Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  71
    The 1900 Turn in Bertrand Russell’s Logic, the Emergence of His Paradox, and the Way Out.Nikolay Milkov - 2017 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 7:29-50.
    Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Language and Logic in Wittgenstein’s Tractatus.Daniele Mezzadri - 2013 - Nordic Wittgenstein Review 2 (1):57-80.
    This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that such a reading (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  31
    Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI's COLLECTED PAPERS.John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (I):110-114.
    CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  32
    Law and Philosophy Selected Papers in Legal Theory.Csaba Varga & Eötvös Loránd Tudományegyetem (eds.) - 1994 - Budapest: ELTE “Comparative Legal Cultures” Project.
    Photomechanical reprint of papers from 1970 to 1992 mostly in English, some in German or French: Foreword 1–4; LAW AS PRACTICE ‘La formation des concepts en sciences juridiques’ 7–33, ‘Geltung des Rechts – Wirksamkeit des Rechts’ 35–42, ‘Macrosociological Theories of Law’ 43–76, ‘Law & its Inner Morality’ 77–89, ‘The Law & its Limits’ 91–96; LAW AS TECHNIQUE ‘Domaine »externe« & domaine »interne« en droit’ 99–117, ‘Die ministerielle Begründung’ 119–139, ‘The Preamble’ 141–167, ‘Presumption & Fiction’ 169–185, ‘Legal Technique’187–198; LAW AS (...) ‘Moderne Staatlichkeit und modernes formales Recht’ 201–207, ‘Heterogeneity & Validity of Law’ 209–218, ‘Leibniz & die Frage der rechtlichen Systembildung’ 219–232, ‘Law & its Approach as a System’ 233–255, ‘Logic of Law & Judicial Activity’ 258–288, ‘Kelsen’s Pure Theory of Law’ 289–293, ‘The Nature of the Judicial Application of Norms’ 295–314; LAW AS EXPERIENCE ‘The Socially Determined Nature of Legal Reasoning’317–374, ‘The Ontological Foundation of Law’ 375–390, ‘Is Law a System of Enactments?’ 391–398, ‘The Uniqueness of National Legal Cultures’ 399–411, ‘Institutions as Systems’ 413–424; LAW AS HISTORY ‘From Legal Customs to Legal Folkways’ 427–436, ‘Anthropological Jurisprudence?’ 437–457, ‘Law as a Social Issue’ 459–475, ‘Law as History?’477–484, ‘Rechtskultur – Denkkultur’ 485–489; w/ Curriculum Vitae & Bibliography, as well as Index & Indexes of normative materials & of names. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Philosophising Consciousness From String Theory.Ningombam Bupenda Meitei - manuscript
    The notion of consciousness has been studied in many ways out of which, there could be a scientific approach of studying it using string theory which enjoys the mathematical coherence. The paper aims to study consciousness using string theory in which the role of graviton will be discussed. The notion of parallel universes given by string theory would be tackled to understand consciousness and make an attempt to clarify the notion of other world or (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Dialectical Vs. Experimental Method: Marcuse's Review of Dewey's Logic: The Theory of Inquiry. Deen - 2010 - Transactions of the Charles S. Peirce Society 46 (2):242.
    This introduction contextualizes and evaluates Herbert Marcuse’s the accompanying, previously untranslated review of John Dewey’s Logic: The Theory of Inquiry. Marcuse’s critique of pragmatism is indebted to Max Horkheimer’s claim that pragmatism is an example of “traditional” theory and reduces thought to mere instrument in service of external ends. Unlike Horkheimer, Marcuse concedes that Dewey, unlike the logical positivists, attempted to develop a material logic of ends. However, he concludes that the attempt was ultimately unsuccessful. I (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Topics in Philosophical Logic.Jon Erling Litland - 2012 - Dissertation, Harvard
    In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. The Problem of Exclusion in Feminist Theory and Politics: A Metaphysical Investigation Into Constructing a Category of 'Woman'.Maya J. Goldenberg - 2007 - Journal of Gender Studies 16 (2):139-153.
    The precondition of any feminist politics – a usable category of ‘woman’ – has proved to be difficult to construct, even proposed to be impossible, given the ‘problem of exclusion’. This is the inevitable exclusion of at least some women, as their lives or experiences do not fit into the necessary and sufficient condition(s) that denotes group membership. In this paper, I propose that the problem of exclusion arises not because of inappropriate category membership criteria, but because of the presumption (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. An Inconsistency in Direct Reference Theory.George Bealer - 2004 - Journal of Philosophy 101 (11):574 - 593.
    Direct reference theory faces serious prima facie counterexamples which must be explained away (e.g., that it is possible to know a priori that Hesperus = Phosphorus). This is done by means of various forms of pragmatic explanation. But when those explanations that provisionally succeed are generalized to deal with analogous prima facie counterexamples concerning the identity of propositions, a fatal dilemma results. Either identity must be treated as a four-place relation (contradicting what just about everyone, including direct reference theorists, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  24
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. The Logic of Confirmation and Theory Assessment.Franz Huber - 2005 - In L. Behounek & M. Bilkova (eds.), The Logica Yearbook. Filosofia.
    This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945), differing from the one Carnap gave in §87 of his Logical Foundations of Probability (1962). Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true theories and another aiming at informative theories. However, he also realized that these two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Language and Logic in Wittgenstein's Tractatus Logico-Philosophicus.Daniele Mezzadri - 2010 - Dissertation, University of Stirling
    This thesis discusses some central aspects of Wittgenstein's conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege's conception of logic and Russell's theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. The Role of Epistemological Models in Veronese's and Bettazzi's Theory of Magnitudes.Paola Cantù - 2010 - In M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science. College Publications.
    The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Philosophy as Conceptual Engineering: Inductive Logic in Rudolf Carnap's Scientific Philosophy.Christopher F. French - 2015 - Dissertation, University of British Columbia
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Introduction to Adolf Reinach, ‘On the Theory of the Negative Judgment’.Barry Smith - 1982 - In Parts and Moments: Studies in Logic and Formal Ontology. Munich: Philosophia Verlag. pp. 289-313.
    Reinach’s essay of 1911 establishes an ontological theory of logic, based on the notion of Sachverhalt or state of affairs. He draws on the theory of meaning and reference advanced in Husserl’s Logical Investigations and at the same time anticipates both Wittgenstein’s Tractatus and later speech act theorists’ ideas on performative utterances. The theory is used by Reinach to draw a distinction between two kinds of negative judgment: the simple negative judgment, which is made true by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Hayek in the Lab. Austrian School, Game Theory, and Experimental Economics.Gustavo Cevolani - 2011 - Logic and Philosophy of Science 9 (1):429-436.
    Focusing on the work of Friedrich von Hayek and Vernon Smith, we discuss some conceptual links between Austrian economics and recent work in behavioral game theory and experimental economics. After a brief survey of the main methodological aspects of Austrian and experimental economics, we suggest that common views on subjectivism, individualism, and the role of qualitative explanations and predictions in social science may favour a fruitful interaction between these two research programs.
    Download  
     
    Export citation  
     
    Bookmark  
  50. First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000