Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Logic, Symbolic and mathematical --- Algebra, Boolean --- Quasi-metric spaces --- Petri nets --- Set theory --- Spaces, Quasi-metric --- Metric spaces --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Computability theory. --- descriptive set theory. --- non-classical logic.
Choose an application
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
Logic --- Popper, Karl --- Karl R. Popper --- Deductive Logic --- Logical Constants --- Proof-theoretic Semantics --- Classical Logic --- Non-classical Logic --- Inferential Definitions --- Mathematical Logic --- Negation --- Modalities --- History of Logic --- L.E.J. Brouwer --- Paul Bernays --- Rudolf Carnap --- Alonzo Church --- Kalman Joseph Cohen --- Henry George Forder --- Harold Jeffreys --- Stephen Cole Kleene
Choose an application
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
Logic --- Popper, Karl --- Lògica --- Argumentació --- Dialèctica (Lògica) --- Lògica deductiva --- Filosofia --- Intel·ligència --- Psicologia --- Abstracció --- Alteritat (Filosofia) --- Categories (Filosofia) --- Certesa --- Condicionals (Lògica) --- Definició (Lògica) --- Dilema --- Evidència --- Hipòtesi --- Inconsistència (Lògica) --- Inducció (Lògica) --- Intenció (Lògica) --- Judici lògic --- Lògica deòntica --- Metodologia --- Modalitat (Lògica) --- Nominalisme --- Positivisme lògic --- Probabilitats --- Raó suficient --- Sil·logisme --- Sofismes --- Teoria del coneixement --- Universals (Filosofia) --- Metodologia de la ciència --- Pensament --- Raonament --- Karl R. Popper --- Deductive Logic --- Logical Constants --- Proof-theoretic Semantics --- Classical Logic --- Non-classical Logic --- Inferential Definitions --- Mathematical Logic --- Negation --- Modalities --- History of Logic --- L.E.J. Brouwer --- Paul Bernays --- Rudolf Carnap --- Alonzo Church --- Kalman Joseph Cohen --- Henry George Forder --- Harold Jeffreys --- Stephen Cole Kleene
Choose an application
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
Lògica --- Argumentació --- Dialèctica (Lògica) --- Lògica deductiva --- Filosofia --- Intel·ligència --- Psicologia --- Abstracció --- Alteritat (Filosofia) --- Categories (Filosofia) --- Certesa --- Condicionals (Lògica) --- Definició (Lògica) --- Dilema --- Evidència --- Hipòtesi --- Inconsistència (Lògica) --- Inducció (Lògica) --- Intenció (Lògica) --- Judici lògic --- Lògica deòntica --- Metodologia --- Modalitat (Lògica) --- Nominalisme --- Positivisme lògic --- Probabilitats --- Raó suficient --- Sil·logisme --- Sofismes --- Teoria del coneixement --- Universals (Filosofia) --- Metodologia de la ciència --- Pensament --- Raonament --- Karl R. Popper --- Deductive Logic --- Logical Constants --- Proof-theoretic Semantics --- Classical Logic --- Non-classical Logic --- Inferential Definitions --- Mathematical Logic --- Negation --- Modalities --- History of Logic --- L.E.J. Brouwer --- Paul Bernays --- Rudolf Carnap --- Alonzo Church --- Kalman Joseph Cohen --- Henry George Forder --- Harold Jeffreys --- Stephen Cole Kleene --- Logic. --- Mathematical logic. --- Language and languages --- Mathematical Logic and Foundations. --- Stylistics. --- Style. --- Linguostylistics --- Stylistics --- Literary style --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology
Choose an application
Knowledge representation (Information theory) --- Reasoning --- 681.3*F41 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Congresses --- Knowledge representation (Information theory) - Congresses. --- Reasoning - Congresses. --- Knowledge representation (Information theory) - Congresses --- Reasoning - Congresses --- Non-Classical Logic --- Temporal Logic --- Frame Problem --- Non Monotonic Logic --- Modal Logic
Listing 1 - 5 of 5 |
Sort by
|