This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

1043 found
Order:
1 — 50 / 1043
  1. added 2020-05-25
    Reasoning, Argumentation: Insights From the Wild.Frank Zenker - 2018 - Logic and Logical Philosophy 27 (4).
    This article provides a brief selective overview and discussion of recent research into natural language argumentation that may inform the study of human reasoning on the assumption that an episode of argumentation issues an invitation to accept a corresponding inference. As this research shows, arguers typically seek to establish new consequences based on prior information. And they typically do so vis-à-vis a real or an imagined opponent, or an opponent-position, in ways that remain sensitive to considerations of context, audiences, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-05-19
    Matrix Identities and the Pigeonhole Principle.Michael Soltys & Alasdair Urquhart - 2004 - Archive for Mathematical Logic 43 (3):351-357.
    We show that short bounded-depth Frege proofs of matrix identities, such as PQ=I⊃QP=I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonhole principle. Since the latter principle is known to require exponential-size bounded-depth Frege proofs, it follows that the propositional version of the matrix principle also requires bounded-depth Frege proofs of exponential size.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2020-05-19
    Ursprung und Bedeutung der Logik.Kurt Schilling - 1950 - Zeitschrift für Philosophische Forschung 5 (2):197 - 219.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2020-05-17
    Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - forthcoming - Logique Et Analyse.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2020-05-06
    A General Framework for Probabilistic Measures of Coherence.Michael Schippers & Jakob Koscholke - 2020 - Studia Logica 108 (3):395-424.
    Coherence is a property of propositions hanging together or dovetailing with each other. About two decades ago, formal epistemologists started to engage in the project of explicating the seemingly elusive concept of coherence by means of probability theory. Since then, a plethora of coherence measures have been discussed in the literature. In this paper, we propose a general framework for coherence measures that encompasses the different frameworks of deviation measures, overlap measures and mutual support measures of coherence. Above that we (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2020-04-11
    A Classification System for Argumentation Schemes.Douglas Walton & Fabrizio Macagno - 2016 - Argument and Computation 6 (3):219-245.
    This paper explains the importance of classifying argumentation schemes, and outlines how schemes are being used in current research in artificial intelligence and computational linguistics on argument mining. It provides a survey of the literature on scheme classification. What are so far generally taken to represent a set of the most widely useful defeasible argumentation schemes are surveyed and explained systematically, including some that are difficult to classify. A new classification system covering these centrally important schemes is built.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. added 2020-03-08
    Structural Relativity and Informal Rigour.Neil Barton - manuscript
    Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that it is best captured by a logic intermediate between first- and second-order. We argue that the usual division of structures into (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2020-03-06
    How to Solve the Hardest Logic Puzzle Ever in Two Questions.Gabriel Uzquiano - 2010 - Analysis 70 (1):39-44.
    Rabern and Rabern (2008) have noted the need to modify `the hardest logic puzzle ever’ as presented in Boolos 1996 in order to avoid trivialization. Their paper ends with a two-question solution to the original puzzle, which does not carry over to the amended puzzle. The purpose of this note is to offer a two-question solution to the latter puzzle, which is, after all, the one with a claim to being the hardest logic puzzle ever.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. added 2020-02-24
    Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  10. added 2020-02-01
    Papineau's Philosophical Devices [Review]. [REVIEW]Matheus Silva - 2012 - Fundamento 5:147-150.
  11. added 2019-12-05
    Prior's Puzzle Generalized.Justin D'Ambrosio - manuscript
    Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs is invalid. I show that there are two variants on Prior's puzzle---a quantificational variant and a pronominal variant---that have the same source and warrant the same solution as the original puzzle. I then show that neither the original puzzle nor its variants are specific to that-clauses or propositional attitude verbs. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. added 2019-11-26
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of \enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. added 2019-10-24
    A Conspiracy of Theories.Steve Brewer - 2016 - Philosophy Now 114:57-58.
    A dialogue in which Freya argues that conspiracy theories are illogical, but Orin is not so sure!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2019-10-16
    The Senses of Functions in the Logic of Sense and Denotation.Kevin C. Klement - 2010 - Bulletin of Symbolic Logic 16 (2):153-188.
    This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...)
    Remove from this list   Direct download (13 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. added 2019-10-13
    Relativizing Identity.Daniel Molto - 2019 - Thought: A Journal of Philosophy 8 (4):260-269.
    In this paper, I defend Peter Geach’s theory of Relative Identity against the charge that it cannot make sense of basic semantic notions.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2019-09-27
    Mechanizing Principia Logico-Metaphysica in Functional Type Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2019 - Review of Symbolic Logic:1-13.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. added 2019-09-26
    Frege’s Puzzle on the Santa Monica Beach De Jure Co-Reference and the Logical Appraisal of Rational Agents.Emiliano Boccardi - 2018 - Manuscrito 41 (1):1-31.
    ABSTRACT In this paper, I argue that a number of influential Millian responses to Frege’s puzzle, which consist in denying that Frege’s data apply to natural languages, are not viable if logic is to play its role in legitimizing the logical appraisal of rational subjects. A notion of validity which does justice to the normativity of logic must make room for a distinction between valid inferences and enthymemes. I discuss the prospects of formal, relevant and manifest validity as candidates for (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2019-09-19
    Kant on Proving Aristotle’s Logic as Complete.Huaping Lu-Adler - 2016 - Kantian Review 21 (1):1-26.
    Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2019-09-17
    Exposing Fake Logic.Avi Sion - 2018, 2019 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Exposing Fake Logic by Avi Sion is a collection of essays written after publication of his book A Fortiori Logic, in which he critically responds to derivative work by other authors who claim to know better. This is more than just polemics; but allows further clarifications of a fortiori logic and of general logic. This collection includes essays on: a fortiori argument (in general and in Judaism); Luis Duarte D’Almeida; Mahmoud Zeraatpishe; Michael Avraham (et al.); an anonymous reviewer of BDD (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2019-09-13
    The Typing Approach to Church-Fitch's Knowability Paradox and its Revenge Form.Jiri Raclavsky - 2018 - Prolegomena 17 (1):31-49.
    Williamson, Linsky, Paseau and others proposed a solution to Church- Fitch's knowability paradox that is based on typing knowledge; however, it received some criticism. Carrara and Fassio objected that the approach has no paradox-independent motivation, it is thus ad hoc. In the first part of the paper, I dismiss such criticism by carefully stating typing approach principles that are based on non-circular formation of propositions and intensional operators operating on them. In the second part of the paper, I demonstrate that (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. added 2019-09-13
    Explikace a Deukce: Of Jednoduché K Rozvětvené Teorii Typů [Explication and Deduction: From Simple to Ramified Theory of Types].Jiri Raclavsky - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (4):37-53.
  22. added 2019-09-12
    Influence of World Knowledge and Context on the Comprehension of Natural Language Translation of Logical Formulas.Luca Cilibrasi & Matteo Pascucci - 2013 - In Chiara Ciarlo & Davide Giannoni (eds.), Language Studies Working Papers. Reading: University of Reading. pp. 13-21.
    In this paper we present an approach to conditional reasoning tasks based on two main ideas. The first idea is that, in contrast with what is usually assumed, an ‘if… then…’ sentence is not an adequate translation in natural language of a logical formula containing a material implication as its principal operator. The second idea is that when subjects are required to check the validity of a sentence in a task, their inferences are not driven uniquely by the content of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. added 2019-08-29
    The Philosophical Significance of Carroll's Regress.Pascal Engel - 2016 - Carrollian: The Lewis Carroll Journal 28.
  24. added 2019-07-29
    Using Syllogistics to Teach Metalogic.Lorenz6 Demey - 2017 - Metaphilosophy 48 (4):575-590.
    This article describes a specific pedagogical context for an advanced logic course and presents a strategy that might facilitate students’ transition from the object-theoretical to the metatheoretical perspective on logic. The pedagogical context consists of philosophy students who in general have had little training in logic, except for a thorough introduction to syllogistics. The teaching strategy tries to exploit this knowledge of syllogistics, by emphasizing the analogies between ideas from metalogic and ideas from syllogistics, such as existential import, the distinction (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. added 2019-07-14
    On Quine's Ontology: Quantification, Extensionality and Naturalism (or From Commitment to Indifference).Daniel Durante Pereira Alves - 2019 - Proceedings of Ther 3rd Filomena Workshop.
    Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2019-07-12
    Non-Normative Logical Pluralism and the Revenge of the Normativity Objection.Erik Stei - 2020 - Philosophical Quarterly 70 (278):162–177.
    Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If you accept (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. added 2019-07-10
    Cognitive Harmony: The Role of Systemic Harmony in the Constitution of Knowledge; Realism and Pragmatic Epistemology; Epistemic Logic: A Survey of the Logic of Knowledge, by Nicholas Rescher. [REVIEW]Christopher V. Mirus - 2007 - Review of Metaphysics 60 (4):878-882.
  28. added 2019-07-03
    Relevant Logics, Counterfactual Worlds, and the Understanding of Narrative.Luis Galván - 2019 - In Matei Chihaia & Katharina Rennhak (eds.), Relevance and Narrative Research. Lanham, USA / London: Lexington Books. pp. 37-60.
    The aim of this paper is to explore what insights relevant logics may provide for the understanding of literary fictional narrative. To date, hardly anyone has reflected on the intersection of relevant logics and narratology, and some could think that there is good reason for it. On the one hand, relevance has been a prominent issue in pragmatics, in the tradition of Grice, and Sperber and Wilson; thus framed, relevance is highly context-sensitive, so it seems unsuitable for formal analysis. On (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. added 2019-07-02
    Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics and their interpretation. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2019-06-10
    Three is a Magic Number.Brendan Larvor - 2009 - The Philosophers' Magazine 44:83-88.
    Logical theory – and philosophical theory generally – is just that, theory. Generations of logic students felt a sort of unease about it without knowing what to do about it. Nowadays, students of mathematical logic feel a similar unease when faced with the fact that in standard predicate calculus, “All unicorns are sneaky” is true precisely because there are no unicorns. Blanché’s analysis reminds us that such feelings of unease may indicate a shortcoming in the theory rather than in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2019-06-06
    Singular Terms, Predicates and the Spurious ‘Is’ of Identity.Danny Frederick - 2013 - Dialectica 67 (3):325-343.
    Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular terms may be (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2019-06-06
    Rationality and Logic. [REVIEW]Joseph Ulatowski - 2008 - Polish Journal of Philosophy 2 (2):148-152.
    In this brief article, I review the main argument's of Robert Hanna's <em>Rationality and Logic</em>.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2019-06-06
    Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005.C. Dimitracopoulos, L. Newelski & D. Normann (eds.) - 2007 - Cambridge: Cambridge University Press.
    The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. added 2019-06-06
    Future Contingents and Aristotle’s Fantasy.Andrea Iacona - 2007 - Critica 39 (117):45-60.
    This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. added 2019-06-06
    Departmental Boundaries Within the Corporate Body of Theory: Quine on the Holistic Foundations of Logic: Dialogue.David M. Godden - 2006 - Dialogue 45 (3):505-528.
    ABSTRACT This article argues that Quine's holistic and naturalized semantics provides an inadequate account of the foundations of logical expressions and misrepresents the internal structure of theories. By considering a Quinean model of theoretical revision, I identify the status and foundation holism provides to the propositions of logic. I contend that a central tenet of Quinean holism—the Revisability Doctrine—cannot be held consistently, and that the inconsistencies surrounding it mark a series of pervasive errors within naturalized holism. In response, I propose (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. added 2019-06-06
    Incompleteness Theorems and Si2 Versus Si+12 and Gödel Sentences of Bounded Arithmetic. [REVIEW]Arnold Beckmann - 2002 - Bulletin of Symbolic Logic 8 (3):433-434.
  37. added 2019-06-06
    Two Concepts of Reduction: Modal Realism at Risk.William G. Lycan - 1986 - Journal of Philosophy 83 (11):693-694.
  38. added 2019-06-06
    Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983.Xavier Caicedo - 1984 - Journal of Symbolic Logic 49 (4):1430-1440.
  39. added 2019-06-06
    Matématika V SSSR Za Sorok Lét 1917–1957. Vol. 2. Biobibliografiá.(Mathematics in the USSR During the Forty Years 1917–1957. Vol. 2. Biobibliography.).Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516.
  40. added 2019-06-06
    Burkhart W. H.. A Method for Synthesis of Two-Valued Feedback Circuits. Proceedings of the Association for Computing Machinery, Jointly Sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, Photo-Offset, Richard Rimbach Associates, Pittsburgh 1952, Pp. 265–272. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
  41. added 2019-06-06
    Semon Warren L.. Characteristic Numbers and Their Use in the Decomposition of Switching Functions. Proceedings of the Association for Computing Machinery, Jointly Sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, Photo-Offset, Richard Rimbach Associates, Pittsburgh 1952, Pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.
  42. added 2019-06-06
    Keister William, Ritchie Alistair E., and Washburn Seth H.. The Design of Switching Circuits. With a Foreword by Meszar John. The Bell Telephone Laboratories Series. Lithographed. D. Van Nostrand Company, New York and Toronto 1951. Third Printing 1953, Xviii + 556 Pp. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):347-348.
  43. added 2019-06-06
    Annual Survey of American Law: 1942,1943,1944. [REVIEW]Miriam Theresa Rooney - 1947 - New Scholasticism 21 (2):222-224.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. added 2019-06-06
    Annual Meeting. De Weiles - 1940 - Classical Weekly 33 (24):278.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. added 2019-06-06
    Annual Meeting.Maria Gillis - 1939 - Classical Weekly 32 (18).
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2019-06-06
    Twenty-Fifth Annual Meeting of the American Psychological Association.H. L. Hollingworth - 1917 - Journal of Philosophy, Psychology and Scientific Methods 14 (2):54.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. added 2019-06-06
    The Seventeenth Annual Meeting of the American Psychological Association.W. Van D. Bingham - 1909 - Journal of Philosophy, Psychology and Scientific Methods 6 (4):91-98.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  48. added 2019-06-06
    Jones's Logic, Inductive and Deductive.B. H. Bode - 1909 - Journal of Philosophy, Psychology and Scientific Methods 6 (23):635.
  49. added 2019-06-05
    Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria : An International Journal for Theory, History and Fundations of Science 28 (3):439-457.
    This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been defended in the past. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. added 2019-06-05
    Logic Colloquium 2007.F. Delon, U. Kohlenbach, P. Maddy & F. Stephan (eds.) - 2010 - Cambridge University Press.
    The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1043