×

Found 193 Documents (Results 1–100)

100
MathJax

The problem of harmony in classical logic. (English) Zbl 07307089

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 49-65 (2020).
PDF BibTeX XML Cite

Constructive semantics: on the necessity of an appropriate concept of schematization. (English) Zbl 1469.03030

Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer. Log. Epistemol. Unity Sci. 44, 173-193 (2019).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Full Text: DOI

Rohit Parikh on logic, language and society. (English) Zbl 1381.03001

Outstanding Contributions to Logic 11. Cham: Springer (ISBN 978-3-319-47842-5/hbk; 978-3-319-47843-2/ebook). xiv, 359 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Paraconsistency and duality: between ontological and epistemological views. (English) Zbl 1410.03019

Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 39-56 (2016).
MSC:  03B53 03A05
PDF BibTeX XML Cite

Logical modalities from Aristotle to Carnap. The story of necessity. (English) Zbl 1353.03003

Cambridge: Cambridge University Press (ISBN 978-1-107-07788-1/hbk; 978-1-107-43490-5/pbk; 978-1-139-93955-3/ebook). xvi, 348 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Epistemology, knowledge and the impact of interaction. (English) Zbl 1336.03004

Logic, Epistemology, and the Unity of Science 38. Cham: Springer (ISBN 978-3-319-26504-9/hbk; 978-3-319-26506-3/ebook). xix, 554 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. (English) Zbl 1348.03005

Springer Graduate Texts in Philosophy 1. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). xxiii, 937 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Mathematics and the mind. An introduction into Ibn Sīnā’s theory of knowledge. (English) Zbl 1334.01008

SpringerBriefs in Philosophy. Cham: Springer (ISBN 978-3-319-25236-0/pbk; 978-3-319-25238-4/ebook). ix, 76 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

On the philosophy and mathematics of the logics of formal inconsistency. (English) Zbl 1423.03098

Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 57-88 (2015).
MSC:  03B53 03A05
PDF BibTeX XML Cite
Full Text: DOI

Personal recollections about JYB by Newton da Costa and others. (English) Zbl 1369.01020

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 1-18 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. (English) Zbl 1290.03003

Trends in Logic – Studia Logica Library 41. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). viii, 209 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

The philosophy of mathematics and logic in the 1920s and 1930s in Poland. Translated from the Polish by Maria Kantor. (English) Zbl 1329.00127

Science Networks. Historical Studies 48. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0830-9/hbk; 978-3-0348-0831-6/ebook). xi, 228 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. (English) Zbl 1279.03019

Studies in Logic (London) 47. London: College Publications (ISBN 978-1-84890-122-3/pbk). ix, 521 p. (2013).
PDF BibTeX XML Cite

Wittgenstein on incompleteness makes paraconsistent sense. (English) Zbl 1261.03019

Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 257-276 (2013).
MSC:  03A05 03B53 03F40
PDF BibTeX XML Cite
Full Text: DOI

The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. (English) Zbl 1248.03009

London: College Publications (ISBN 978-1-904987-46-8/pbk). viii, 288 p. (2009).
PDF BibTeX XML Cite

Reasoning with justifications. (English) Zbl 1166.03006

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 107-123 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Proofs verifying programs and programs producing proofs: a conceptual analysis. (English) Zbl 1193.03008

Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 81-94 (2008).
MSC:  03A05 00A30 00A35 03B35 03B40 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

Psychology looks hopefully to logic. (English) Zbl 1087.03502

Cori, René (ed.) et al., Logic colloquium 2000. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Paris, France, July 23–31, 2000. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-251-5/hbk; 1-56881-252-3/hbk). Lecture Notes in Logic 19, 323-334 (2005).
PDF BibTeX XML Cite

A logic of inductive implication or artificial intelligence meets philosophy of science. II. (English) Zbl 1120.03018

Kégl, Balázs (ed.) et al., Advances in artificial intelligence. 18th conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25864-7/pbk). Lecture Notes in Computer Science 3501. Lecture Notes in Artificial Intelligence, 232-243 (2005).
PDF BibTeX XML Cite
Full Text: DOI

Paradox and paraconsistency. Conflict resolution in the abstract sciences. (English) Zbl 1036.00004

Cambridge: Cambridge University Press (ISBN 0-521-81094-9/pbk; 0-521-00934-0/hbk). xviii, 362 p. £ 19.95, $ 26.00 pbk; £ 50.00, $ 70.00 hbk (2003).
MSC:  00A30 03A05 03B53
PDF BibTeX XML Cite

Uncertain inference. (English) Zbl 1023.03002

Cambridge: Cambridge University Press (ISBN 978-0-521-00101-4/pbk; 0-521-80064-1/hbk; 978-0-511-61294-7/ebook). xii, 298 p. (2001).
Reviewer: G.Bonanno (Davis)
PDF BibTeX XML Cite
Full Text: DOI

Disjunctive information. (English) Zbl 0956.03003

Moss, Lawrence S. (ed.) et al., Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 96, 165-178 (1999).
MSC:  03A05 03B47 00A79
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification