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

112 found
Order:
1 — 50 / 112
  1. Logic is Metaphysics.Daniel Durante Pereira Alves - 2011 - Principia: An International Journal of Epistemology 15 (1):31-42.
    Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Bealer's Quality and Concept.C. Anthony Anderson - 1987 - Journal of Philosophical Logic 16 (2):115 - 164.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Ii. Causality and Logic.John Anderson - 1936 - Australasian Journal of Philosophy 14 (4):309 – 313.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. A Relativistic Theory of Phenomenological Constitution: A Self-Referential, Transcendental Approach to Conceptual Pathology.Steven James Bartlett - 1970 - Dissertation, Universite de Paris X (Paris-Nanterre) (France)
    A RELATIVISTIC THEORY OF PHENOMENOLOCICAL CONSTITUTION: A SELF-REFERENTIAL, TRANSCENDENTAL APPROACH TO CONCEPTUAL PATHOLOGY. (Vol. I: French; Vol. II: English) -/- Steven James Bartlett -/- Doctoral dissertation director: Paul Ricoeur, Université de Paris Other doctoral committee members: Jean Ladrière and Alphonse de Waehlens, Université Catholique de Louvain Defended publically at the Université Catholique de Louvain, January, 1971. -/- Universite de Paris X (France), 1971. 797pp. -/- The principal objective of the work is to construct an analytically precise methodology which can serve (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Théorie de la relativité de la constitution phénoménologique.Steven James Bartlett - 1970 - Dissertation, Universite de Paris X (Paris-Nanterre) (France)
    This is Vol. I in French. Vol. II in English is available separately from this website. -/- The principal objective of the work is to construct an analytically precise methodology which can serve to identify, eliminate, and avoid a certain widespread conceptual fault or misconstruction, called a "projective misconstruction" or "projection" by the author. -/- It is argued that this variety of error in our thinking (i) infects a great number of our everyday, scientific, and philosophical concepts, claims, and theories, (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Informal Reasoning and Logical Formalization.Michael Baumgartner - 2010 - In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8. New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Universal Logic: An Anthology From Paul Hertz to Dov Gabbay.Jean-Yves Beziau (ed.) - 2012 - Basel, Switzreland: Birkhäuser.
    A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Thomas McKay. Plural Predication.John P. Burgess - 2008 - Philosophia Mathematica 16 (1):133-140.
    This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters , including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For this reason I will here (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Dewey's New Logic: A Reply to Russell.Tom Burke - 1994 - University of Chicago Press.
    John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Preliminaries to a Logic of Malfunction.Massimiliano Carrara - 2015 - In Pavel Arazim Michal Dancak (ed.), The Logica Yearbook. College Publications. pp. 33-47.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Reference in Conceptual Realism.Nino Cocchiarella - 1998 - Synthese 114 (2):169-202.
    A conceptual theory of the referential and predicable concepts used in basic speech and mental acts is described in which singular and general, complex and simple, and pronominal and nonpronominal, referential concepts are given a uniform account. The theory includes an intensional realism in which the intensional contents of predicable and referential concepts are represented through nominalized forms of the predicate and quantifier phrases that stand for those concepts. A central part of the theory distinguishes between active and deactivated referential (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. A Inseparabilidade entre Lógica e a Ética.John Corcoran - 2013 - Philósophos - Revista de Filosofia 18 (1):245-259.
    A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Contra-Argumento/Contraejemplo.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 137--141.
    A universal proposition is shown false by a known counterexample. A premise-conclusion argument is shown invalid by a known counterargument. The failure to distinguish counterexample from counterargument is like the failure to distinguish falsehood from invalidity.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Forma lógica/Formalización.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Peter Hare on the Proposition.John Corcoran - 2010 - Transactions of the Charles S. Peirce Society 46 (1):21-34.
    Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18. The Inseparability of Logic and Ethics.John Corcoran - 1989 - Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Ancient Logic and its Modern Interpretations.John Corcoran (ed.) - 1974 - Boston: Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  20. Review: The Contemporary Relevance of Ancient Logical Theory. [REVIEW]John Corcoran & Michael Scanlan - 1982 - Philosophical Quarterly 32 (126):76 - 86.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21. Gödel's Slingshot Revisited: Does Russell's Theory of Descriptions Really Evade the Slingshot.João Daniel Dantas - 2016 - Dissertation, UFRN
    “Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. A Hexagon of Opposition for the Theism/Atheism Debate.Lorenz Demey - forthcoming - Philosophia:1-8.
    Burgess-Jackson has recently suggested that the debate between theism and atheism can be represented by means of a classical square of opposition. However, in light of the important role that the position of agnosticism plays in Burgess-Jackson’s analysis, it is quite surprising that this position is not represented in the proposed square of opposition. I therefore argue that the square of opposition should be extended to a slightly larger, more complex Aristotelian diagram, viz., a hexagon of opposition. Since this hexagon (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Prova e Giustificazione.Alfredo Di Giorgio & Daniele Chiffi (eds.) - 2013 - G. Giappichelli Editore.
    I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Four Ways From Universal to Particular: How Chomsky's Language-Acquisition Faculty is Not Selectionist.David Ellerman - manuscript
    Following the development of the selectionist theory of the immune system, there was an attempt to characterize many biological mechanisms as being "selectionist" as juxtaposed to "instructionist." But this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky's language-acquisition mechanism as all being "selectionist." Yet Chomsky's mechanism (and embryonic development) are significantly different from the selectionist mechanisms of biological evolution or the immune system. Surprisingly, there is a very abstract way using two dual mathematical logics to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Heidegger’s Distinction Between Scientific and Philosophical Judgments.Chad Engelland - 2007 - Philosophy Today 51 (Supplement):33-41.
    Some commentators, such as Jürgen Habermas, think Martin Heidegger is guilty of a performative contradiction, because he uses judgments to situate judgments in a non-judicative context. This paper defends Heidegger by distinguishing two senses of judgment in his thought. Temporality enables two different directions of inquiry and hence two kinds of judgment. Scientific judgments arise when we turn from the temporal horizon toward entities alone; phenomenological judgments arise when we return to the temporal horizon in which such entities are accessible. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. Computer Models of Constitutive Social Practices.Richard Evans - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Springer. pp. 389-409.
    Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Dialectic and Dialetheism.Elena Ficara - 2013 - History and Philosophy of Logic 34 (1):35-52.
    In this article, I consider the possibility of interpreting Hegel’s dialectic as dialetheism. After a first basic recapitulation about the meaning of the words ‘dialetheism’ and ‘dialectic’ and a consideration of Priest’s own account of the relation between dialectical and dialetheic logic in 1989, I discuss some controversial issues, not directly considered by Priest. As a matter of fact, the reflection on paraconsistent logics and dialetheism has enormously grown in recent years. In addition, the reception of Hegel’s logic and metaphysics (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  29. The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus.Zachary Fraser - 2007 - Cosmos & History 2 (1):92-133.
    One of the central tasks of Badiou’s Being and Event is to elaborate a theory of the subject in the wake of an axiomatic identification of ontology with mathematics, or, to be precise, with classical Zermelo-Fraenkel set theory. The subject, for Badiou, is essentially a free project that originates in an event, and subtracts itself from both being qua being, as well as the linguistic and epistemic apparatuses that govern the situation. The subjective project is, itself, conceived as the temporal (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Hájek’s Faulty Discussion of Philosophical Heuristics.Danny Frederick - manuscript
    I point out some logical errors and infelicities in Hájek’s discussion of philosophical heuristics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. P. F. Strawson on Predication.Danny Frederick - 2011 - Polish Journal of Philosophy 5 (1):39-57.
    Strawson offers three accounts of singular predication: a grammatical, a category and a mediating account. I argue that the grammatical and mediating accounts are refuted by a host of counter-examples and that the latter is worse than useless. In later works Strawson defends only the category account. This account entails that singular terms cannot be predicates; it excludes non-denoting singular terms from being logical subjects, except by means of an ad hoc analogy; it depends upon a notion of identification that (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Renovating Philosophical Practice Through Diagrammatic Reasoning.Rocco Gangle - 2008 - Proceedings of the Xxii World Congress of Philosophy 4:47-52.
    The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other disciplines and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Présuppositions linguistiques et enjeux philosophiques des paralogismes liés à la forme de l’expression dans les Réfutations sophistiques d’Aristote.Leone Gazziero - 2016 - In Béatrice Godart-Wendling & Layla Raïd (eds.), B. Godart-Wendling et L. Raïd (éd.), A la recherche de la présupposition, London, Iste Editions, 2016. London: Iste. pp. 33-52.
    Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Prefazione a Alberto Pasquinelli, Introduzione alla logica simbolica.Ludovico Geymonat - 1957 - Einaudi.
  35. Zufall Und Naturgesetzliche Notwendigkeit.Alfred Gierer - 1998 - In O. Marquard G. V. Graevenitz (ed.), Kontingenz, Poetik und Hermeneutik XVII. Muenchen Germany: Wilhelm Fink Verlag. pp. 123-139.
    Die Reflexion der Grundlagen der Wissenschaft mit ihren eigenen Mitteln, wie die gedankliche Vermessung des Messprozesses, die in die Begründung der Quantenphysik eingeht, und die logische Analyse der Logik im Rahmen der mathematischen Entscheidungstheorie zeigt schließlich prinzipielle Grenzen des möglichen Wissens auf. Eine Theorie des Leib-Seele-Zusammenhangs läuft auf das Bewusstsein von Bewusstsein hinaus und ist damit von dem gleichen Typ des Selbstbezugs, der auf prinzipielle Grenzen der Erkenntnis verweist. Die moderne Naturwissenschaft ist offen für damit verbundene philosophische Fragestellungen, und das (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Number of Non-Fregean Sentential Logics That Have Adequate Models.Joanna Golińska-Pilarek - 2006 - Mathematical Logic Quarterly 52 (5):439–443.
    We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37. The Rejection of the Proposition.Rolando M. Gripaldo - 2008 - Proceedings of the Xxii World Congress of Philosophy 13 (1):53-64.
    Part of rethinking philosophy today, the author believes, is to rethink our logical concepts. The author questions the ontological existence of the proposition as the content of sentential utterances—written or spoken—as it was originally proposed by John Searle. While a performative is an utterance where the speaker not only utters a sentential or illocutionary content such as a statement, but also performs the illocutionary force such as the act of stating, the author reasserts John Austin’s constative as the general label (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Tuples All the Way Down?Simon Hewitt - manuscript
    We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose the difficulty, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic.Jaakko Hintikka - 1973 - Oxford, Clarendon Press.
    I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   58 citations  
  40. Philosophical Perceptions on Logic and Order.Jeremy Horne (ed.) - 2017 - Hershey: IGI Global.
    Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis. By examining the different ways the world views logic and order, new methods and techniques can be employed to help expand on this skill further in the future. -/- Philosophical Perceptions on Logic and Order is a pivotal scholarly resource that discusses the evolution of logical reasoning and future applications for these types of processes. Highlighting relevant topics including logic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  41. A New Three Dimensional Bivalent Hypercube Description, Analysis, and Prospects for Research.Jeremy Horne - 2012 - Neuroquantology 10 (1):12.
    A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Can a Language Have Indenumerably Many Expressions?Philip Hugly & Charles Sayward - 1983 - History and Philosophy of Logic 4 (1-2):73-82.
    A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Two Notions of Logical Form.Andrea Iacona - 2016 - Journal of Philosophy 113 (12):617-643.
    This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 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. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented. Sections 3 and 4 articulate the view and dwell on its affinity with a conception of logical form that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45. Petitio Principii: What's Wrong?Andrea Iacona & Diego Marconi - 2005 - Facta Philosophica 7 (1):19-34.
    One of the most common strategies in philosophical dispute is that of accusing the opponent of begging the question, that is, of assuming or presupposing what is to be proved. Thus, it happens quite often that the credibility of a philosophical argument is infected by the suspicion of begging the question. In many cases it is an open question whether the suspicion is grounded, and the answer lurks somewhere in the dark of what the proponent of the argument does not (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. On Causality as the Fundamental Concept of Gödel’s Philosophy.Srecko Kovac - 2018 - Synthese.
    This paper proposes a possible reconstruction and philosophical-logical clarification of Gödel's idea of causality as the philosophical fundamental concept. The results are based on Gödel's published and non-published texts (including Max Phil notebooks), and are established on the ground of interconnections of Gödel's dispersed remarks on causality, as well as on the ground of his general philosophical views. The paper is logically informal but is connected with already achieved results in the formalization of a causal account of Gödel's onto-theological theory. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47. The Totality of Predicates and the Possibility of the Most Real Being.Srećko Kovač - 2018 - Journal of Applied Logics - The IfCoLog Journal of Logics and Their Applications 5 (7):1523-1552.
    We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  48. Causal Interpretation of Gödel's Ontological Proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.
  49. Logic and Truth in Religious Belief.Srećko Kovač - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. De Gruyter. pp. 119-132.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. Causation and Intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
    We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 112