Related categories

24693 found
Order:
1 — 50 / 24693
Material to categorize
  1. Replacing Truth?Matti Eklund - 2014 - In Brett Sherman & Alexis Burgess (eds.), Metasemantics.
  2. Ontology of Knowledge and the Form of the World 20200505.Jean-Louis Boucon - 2020 - Academia.
    In this article, we will try to illustrate how, according to the Ontology of Knowledge (OK), reality appears to the subject in the form of objects « in becoming » in a four-dimensional space whose time of the subject (his becoming) would be a privileged dimension. For the OK, reality is formless and it is the subject that gives it shape. The shape of the world results from the Logos, a transcendent principle by which the complexity of logical interdependence, the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Expectation Biases and Context Management with Negative Polar Questions.Alex Silk - 2020 - Journal of Philosophical Logic 49 (1):51-92.
    This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. From the Square to Octahedra.José David García Cruz - 2017 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Switzerland: pp. 253-272.
    Colwyn Williamson (Notre Dame J. Formal Log. 13:497–500, 1972) develops a comparison between propositional and syllogistic logic. He outlines an interpretation of the traditional square of opposition in terms of propositional logic, that is, the statements corresponding to the corners of the traditional square can be represented with propositional logic operators. His goal is to present a twofold square that preserves the truth conditions of the relationships between the formulas, and define other set of formulas that complete the traditional square (...)
    No categories
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Pure Logic and its Equivalence with the Universe: A Unique Method to Establish the Final Theory.Kai Jiang - 2019 - International Journal of Humanities and Social Sciences 9 (1):45-56.
    The theme of this study is about establishing a purely logical theory about the Universe. Logic is the premier candidate for the reality behind phenomena. If there is a final theory, the Universe must be logic itself, called pure logic, elements of which include not only logic and illogic but also logical and illogical manipulations between them. The kernel is the revised law of the excluded middle: between two basic concepts are four possible manipulations, three logical and one illogical, whereas (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. The Logic of Conditional Belief.Benjamin Eva - forthcoming - Philosophical Quarterly.
    The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms -- the Lockean theory of belief and the Ramsey test for conditional belief -- are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker's semantics for the indicative did succeed in capturing (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Logique floue et arborescence comme outils de modélisation des catégories en tant que prototypes.Taraneh Javanbakht - 2016 - Dissertation, Université au Québec À Montréal
    The master's thesis of Dr. Taraneh Javanbakht in philosophy that was published at the Université du Québec à Montréal in 2016 includes her innovations in logic and cognitive sciences as well as some parts of her philosophical system, netism.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium.Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.) - 2019 - Berlin, Boston: De Gruyter.
    The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The contributions (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. La logica del riconoscimento ontologico in Charles S. Peirce.Marco Stango - 2015 - In Massimo A. Bonfantini, Rossella Fabbrichesi & Salvatore Zingale (eds.), Su Peirce. Milan, Metropolitan City of Milan, Italy: pp. 91-106.
  10. Formal Logic: Classical Problems and Proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Bolesław Sobociński. Six New Sets of Independent Axioms for Distributive Lattices with O and I. Notre Dame Journal of Formal Logic. Vol. 3 , Pp. 187–192. [REVIEW]William Wernick - 1965 - Journal of Symbolic Logic 30 (3):377-378.
  12. Bolesław Sobociński. Six New Sets of Independent Axioms for Distributive Lattices with O and I. Notre Dame Journal of Formal Logic. Vol. 3 , Pp. 187–192. [REVIEW]William Wernick - 1965 - Journal of Symbolic Logic 30 (3):377-378.
  13. Klaus Härtig. Einbettung elementarer Theorien in endlich Axiomatisierbare. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 249–292. [REVIEW]William Craig - 1965 - Journal of Symbolic Logic 30 (3):397-398.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Ivo Thomas. Two Arithmetical Techniques with Numbered Classes. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 437–438.William Wernick - 1965 - Journal of Symbolic Logic 30 (3):376.
  15. Ivo Thomas. Two Arithmetical Techniques with Numbered Classes. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 437–438.William Wernick - 1965 - Journal of Symbolic Logic 30 (3):376.
  16. Andrzej Grzegorczyk. On the Concept of Categoricity. Englisch MIT Polnischer Und Russischer Zusammenfassung. Ebd., Bd. 13 , S. 39–66. - A. Grzegorzyk. A Kind of Categoricity. Colloquium Mathematicum, Bd. 9 Heft 2 , S. 183–187. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
  17. Andrzej Grzegorczyk. On the Concept of Categoricity. Englisch MIT Polnischer Und Russischer Zusammenfassung. Ebd., Bd. 13 , S. 39–66. - A. Grzegorzyk. A Kind of Categoricity. Colloquium Mathematicum, Bd. 9 Heft 2 , S. 183–187. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
  18. Gerald J. Massey. Note on Copi's System. Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 140–141. - John Thomas Canty. Completeness of Copi's Method of Deduction. Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 142–144. [REVIEW]Donald Kalish - 1965 - Journal of Symbolic Logic 30 (3):366-367.
  19. Gerald J. Massey. Note on Copi's System. Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 140–141. - John Thomas Canty. Completeness of Copi's Method of Deduction. Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 142–144. [REVIEW]Donald Kalish - 1965 - Journal of Symbolic Logic 30 (3):366-367.
  20. László Kalmár. Another Proof of the Gödel-Rosser Incompletability Theorem. Acta Scientiarum Mathetnaticarum , Bd. 12A , S. 38–43. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386.
  21. László Kalmár. Another Proof of the Gödel-Rosser Incompletability Theorem. Acta Scientiarum Mathetnaticarum , Bd. 12A , S. 38–43. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386.
  22. Richard Goldberg. On the Solvability of a Subclass of the Surányi Reduction Class. The Journal of Symbolic Logic, Vol. 28 No. 3 , Pp. 237–244.Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):391.
  23. Richard Goldberg. On the Solvability of a Subclass of the Surányi Reduction Class. The Journal of Symbolic Logic, Vol. 28 No. 3 , Pp. 237–244.Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):391.
  24. Solomon Feferman. Classifications of Recursive Functions by Means of Hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
  25. Solomon Feferman. Classifications of Recursive Functions by Means of Hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
  26. Bolesław Sobociński. On the Single Axioms of Protothetic. Notre Dame Journal of Formal Logic, Vol. 1 , Pp. 52–73, and Vol. 2 , Pp. 111–126, 129–148. [REVIEW]A. N. Prior - 1965 - Journal of Symbolic Logic 30 (2):245-246.
  27. Bolesław Sobociński. On the Single Axioms of Protothetic. Notre Dame Journal of Formal Logic, Vol. 1 , Pp. 52–73, and Vol. 2 , Pp. 111–126, 129–148. [REVIEW]A. N. Prior - 1965 - Journal of Symbolic Logic 30 (2):245-246.
  28. R. C. Lyndon. Existential Horn Sentences. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 994–998.Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253.
  29. R. C. Lyndon. Existential Horn Sentences. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 994–998.Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253.
  30. Leon Henkin. An Extension of the Craig-Lyndon Interpolation Theorem. The Journal of Symbolic Logic, Vol. 28 No. 3 , Pp. 201–216.M. A. Taitslin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
  31. Leon Henkin. An Extension of the Craig-Lyndon Interpolation Theorem. The Journal of Symbolic Logic, Vol. 28 No. 3 , Pp. 201–216.M. A. Taitslin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
  32. Gaisi Takeuti and Akiko Kino. On Predicates with Constructive Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 15 , Pp. 176–190. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
  33. Gaisi Takeuti and Akiko Kino. On Predicates with Constructive Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 15 , Pp. 176–190. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
  34. J. L. Britton. The Word Problem for Groups. Proceedings of the London Mathematical Society, Third Series, Vol. 8 , Pp. 493–506. - John L. Britton. The Word Problem. Annals of Mathematics, Second Series, Vol. 77 , Pp. 16–32. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
  35. J. L. Britton. The Word Problem for Groups. Proceedings of the London Mathematical Society, Third Series, Vol. 8 , Pp. 493–506. - John L. Britton. The Word Problem. Annals of Mathematics, Second Series, Vol. 77 , Pp. 16–32. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
  36. Harry V. Stopes-Roe. Some Considerations Concerning “Interpretative Systems.”Philosophy of Science, Vol. 25 , Pp. 143–156. [REVIEW]Maria Kokoszyńska - 1964 - Journal of Symbolic Logic 29 (4):195-197.
  37. Harry V. Stopes-Roe. Some Considerations Concerning “Interpretative Systems.”Philosophy of Science, Vol. 25 , Pp. 143–156. [REVIEW]Maria Kokoszyńska - 1964 - Journal of Symbolic Logic 29 (4):195-197.
  38. Gerald E. Sacks. Recursive Enumerability and the Jump Operator. Transactions of the American Mathematical Society, Vol. 108 , Pp. 223–239. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (4):204.
  39. A. W. Burks and J. B. Wright. Sequence Generators and Digital Computers. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence Generators, Graphs, and Formal Languages. Information and Control, Vol. 5 , Pp. 204–212. [REVIEW]Robert McNaughton - 1964 - Journal of Symbolic Logic 29 (4):210-212.
  40. A. W. Burks and J. B. Wright. Sequence Generators and Digital Computers. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence Generators, Graphs, and Formal Languages. Information and Control, Vol. 5 , Pp. 204–212. [REVIEW]Robert McNaughton - 1964 - Journal of Symbolic Logic 29 (4):210-212.
  41. Gaisi Takeuti. Ordinal Diagrams II. Journal of the Mathematical Society of Japan, Vol. 12 , Pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  42. Gaisi Takeuti. Ordinal Diagrams II. Journal of the Mathematical Society of Japan, Vol. 12 , Pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  43. Gaisi Takeuti. On the Fundamental Conjecture of GLC. VI. Proceedings of the Japan Academy, Vol. 37 , Pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
  44. Gaisi Takeuti. On the Fundamental Conjecture of GLC. VI. Proceedings of the Japan Academy, Vol. 37 , Pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
  45. Hartley RogersJr., Gödel Numberings of Partial Recursive Functions. The Journal of Symbolic Logic, Vol. 23 No. 3 , Pp. 331–341.Martin Davis - 1964 - Journal of Symbolic Logic 29 (3):146.
  46. Hartley RogersJr., Gödel Numberings of Partial Recursive Functions. The Journal of Symbolic Logic, Vol. 23 No. 3 , Pp. 331–341.Martin Davis - 1964 - Journal of Symbolic Logic 29 (3):146.
  47. Toshio Nishimura. On Gödel's Theorem. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 1–12.Gert Heinz Müller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
  48. Toshio Nishimura. On Gödel's Theorem. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 1–12.Gert Heinz Müller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
  49. H. A. Pogorzelski. Recursive Arithmetic of Skolem. Mathematica Scandinavica, Vol. 11 , Pp. 33–36. - H. A. Pogorzelski. Recursive Arithmetic of Skolem II. Mathematica Scandinavica, Vol. 11 , Pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  50. H. A. Pogorzelski. Recursive Arithmetic of Skolem. Mathematica Scandinavica, Vol. 11 , Pp. 33–36. - H. A. Pogorzelski. Recursive Arithmetic of Skolem II. Mathematica Scandinavica, Vol. 11 , Pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
1 — 50 / 24693