Увійти

Готові списки джерел за темами / Classical or Formal Logic / Книги

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Classical or Formal Logic.

Книги з теми "Classical or Formal Logic"

Автор: Grafiati

Опубліковано: 3 червня 2025

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Classical or Formal Logic".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Hidalgo, Araceli C. H.P. Grice's defense of the two-valued formal system of classical logic: A critique. Asian Center, University of the Philippines, 1985.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Świętorzecka, Kordula. Classical conceptions of the changeability of situations and thing represented in formalized languages. Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Ribeiro, Márcio Moretto. Belief Revision in Non-Classical Logics. Springer London, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Shevcov, Aleksandr. Classical and non-classical logic in historical-philosophical aspect: basic principles and concepts. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1018310.

Повний текст джерела

Анотація:

In the textbook systematically described the concept of logic — of the subject, understood as the Foundation of philosophy. Special emphasis is placed on the historical background of the development of logic, it is emphasized that logic as a scientific discipline was formed in close connection with other Sciences, including natural science profile. Content of the manual fully complies with the requirements of Federal state educational standard of higher education in the direction of training 47.04.01 "Philosophy".  Recommended for students of higher educational institutions studyin

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Jago, Mark. Formal logic. Humanities-Ebooks, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Miller, David. Formal logic workbook. 4th ed. Department of Philosophy, University of Warwick, 2000.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Yrjönsuuri, Mikko, ed. Medieval Formal Logic. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9713-5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

David, Miller. Formal logic: Workbook. 3rd ed. Department of Philosophy, University of Warwick, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Hahn, Robert. Formal deductive logic: A logic workbook. 5th ed. Simon & Schuster, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Slater, B. H. Prolegomena to formal logic. Avebury, 1988.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

1930-1971, Montague Richard, Mar Gary, and Fogelin Robert J, eds. Logic: Techniques of formal reasoning. 2nd ed. Wadsworth/Thomson Learning, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Bradford, Smith Henry. A system of formal logic. Edwards, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Conway, Pierre. Aristotelian formal and material logic. University Press of America, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Kalish, Donald. Logic: Techniques of formal reasoning. 2nd ed. Edited by Fogelin Robert J, Montague Richard 1930-1971, and Mar Gary. Oxford University Press, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Traditional Logic, Book II: Advanced Formal Logic (Classical Trivium Core Series). Memoria Press, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Biryukov, Nikolay, Dmitriy Gorshenev, and O. Reshetova. Basics of Formal Logic. 2nd ed. MGIMO University Publishing House, 2025. https://doi.org/10.63861/3036-2.

Повний текст джерела

Анотація:

The multimedia teaching aid is based on a slide presentation of a lecture course that examines classical formal logic as a special, artificial language, specially created and adapted for the needs of theoretical thinking. The course is structured in accordance with the traditional division of forms of thinking into concepts, judgments and conclusions.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Benthem, Johan Van. Modal Logic and Classical Logic (Indices : Monographs in Philosophical Logic and Formal Linguistics, Vol 3). Humanities Pr, 1988.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Answer Key to Traditional Logic 1: Introduction to Formal Logic (Classical Trivium Core Series: Traditional Logic, 1). Memoria Press, 2000.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Logic for Computer Scientists (Modern Birkhäuser Classics Book 8). Birkhäuser Boston, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Hawthorne, James. A Logic of Comparative Support: Qualitative Conditional Probability Relations Representable by Popper Functions. Edited by Alan Hájek and Christopher Hitchcock. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780199607617.013.13.

Повний текст джерела

Анотація:

Revising classical logic—to deal with the paradoxes of self-reference, or vague propositions, for the purposes of scientific theory or of metaphysical anti-realism—requires the revision of probability theory. This chapter reviews the connection between classical logic and classical probability, clarifies nonclassical logic, giving simple examples, explores modifications of probability theory, using formal analogies to the classical setting, and provides two foundational justifications for these ‘nonclassical probabilities’. There follows an examination of extensions of the nonclassical framewo

Стилі APA, Harvard, Vancouver, ISO та ін.

21

(Editor), Benedikt Löwe, Boris Piwinger (Editor), and Thoralf Räsch (Editor), eds. Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III" (Trends in Logic). Springer, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Peari, Sagi. The Formal Structure of Choice-of-Law Rules. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190622305.003.0002.

Повний текст джерела

Анотація:

This chapter traces the structure of choice-of-law rules and outlines the three leading methodologies: classical connecting factors, American interest analysis, and better law. Among the three methodologies, only the better-law methodology involves a substantive evaluation of the involved laws. Yet, one can make a division between two forms of better law: as a primary rule and as a secondary or subsidiary rule. Choice-of-law thought and judicial decisions treat these forms of better law in fundamentally different ways. The better law as a primary rule is vulnerable to a set of serious objectio

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Egeberg, Morten, and Jarle Trondal. The Logic of Supranational Organization. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198825074.003.0003.

Повний текст джерела

Анотація:

This chapter discusses ‘experiments’ in building supranational organization. Classical international organizations are formally governed by ministers who have their primary institutional affiliation at the national level. The European Commission, on the other hand, represents a notable organizational innovation in the way that executive politicians at the top, i.e. the commissioners, have their primary organizational affiliation at the supranational level. Thus, the Commission constitutes a ‘laboratory’ for experiments in supranational organization-building. The chapter asks what the relative

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Cotnoir, A. J., and Achille C. Varzi. Mereology. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198749004.001.0001.

Повний текст джерела

Анотація:

Mereology is the formal theory of parthood relations. Mereological theories—have become a chapter of central interest in metaphysics, but also with applications in logic, the philosophy of mathematics, the philosophy of language, and the philosophy of science. This book provides a critical survey and an up-to-date assessment of the main results in this area, with an eye to both their philosophical underpinnings and their formal properties. In doing so, it also aims to investigate the varieties of formal systems currently available. After a brief history of the development of mereology, introdu

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Bobzien, Susanne, Bradley Armour-Garb, and Bradley Armour-Garb. Gestalt Shifts in the Liar orWhy KT4M Is the Logic of Semantic Modalities. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199896042.003.0004.

Повний текст джерела

Анотація:

This chapter offers a revenge-free solution to the liar paradox and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why (and how) truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. Afte

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Taylor, Alfred Edward, and Augustus De Morgan. Formal Logic. Franklin Classics, 2018.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Formal Logic. University of Pittsburgh Press, 2014.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Formal Logic. Springer Netherlands, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Massey, Adams. Formal Logic. Independently Published, 2020.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Piet, Prasad. Formal Logic. Cosmo (Publications,India), 2003.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Taylor, Alfred Edward, and Augustus De Morgan. Formal Logic. Franklin Classics, 2018.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Lorenzen, P., and Frederick J. Crosson. Formal Logic. Springer London, Limited, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Gregory, Paul A. Formal Logic. Broadview Press, 2017.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Gregory, Paul A. Formal Logic. Broadview Press, 2017.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Tennant, Neil. Epistemic Gain. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198777892.003.0007.

Повний текст джерела

Анотація:

Core Logic avoids the Lewis First Paradox, even though it contains ∨-Introduction, and a form of ∨-Elimination that permits core proof of Disjunctive Syllogism. The reason for this is that the method of cut-elimination will unearth the fact that the newly combined premises form an inconsistent set. A new formal-semantical relation of logical consequence, according to which B is not a consequence of A,¬A, is available as an alternative to the conventionally defined relation of logical consequence. Nevertheless we can make do with the conventional definition, and still show that (Classical) Core

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Hamblin, C. L. Elementary Formal Logic. Routledge, 2019. http://dx.doi.org/10.4324/9780367854102.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Sinclair, Angus. Traditional Formal Logic. Taylor & Francis Group, 2021.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

McKay. Modern Formal Logic. Pearson Education, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

vander Nat, Arnold. Simple Formal Logic. Routledge, 2010. http://dx.doi.org/10.4324/9780203874523.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Modern formal logic. Macmillan, 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Modern Formal Logic. Thomson, 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Formal Logic (1847). Creative Media Partners, LLC, 2022.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

McKay. Modern Formal Logic. Pearson Education, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Hamblin, C. L. Elementary Formal Logic. Taylor & Francis Group, 2021.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Wu, Kathleen Johnson. Discovering Formal Logic. Harcourt School, 1990.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Taylor, Alfred Edward, and Augustus de Morgan. Formal Logic (1847). Creative Media Partners, LLC, 2018.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Taylor, Alfred Edward, and Augustus de Morgan. Formal Logic (1847). Creative Media Partners, LLC, 2018.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Discovering formal logic. Dushkin Pub. Group, 1994.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Logic: An emphasis on formal logic. Oxford University Press, 2016.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Logic: An emphasis on formal logic. 2nd ed. Oxford University Press, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!