×

Found 34 Documents (Results 1–34)

The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDFBibTeX XMLCite
Full Text: DOI

Investigating knowledge and opinion. (English) Zbl 1376.03018

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 95-126 (2015).
MSC:  03B42 03A05
PDFBibTeX XMLCite
Full Text: DOI Link

Sentence, proposition, judgment, statement, and fact: speaking about the written English used in logic. (English) Zbl 1227.03007

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 71-103 (2009).
MSC:  03A05 03B65
PDFBibTeX XMLCite

Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. (English) Zbl 1165.03300

Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 143-176 (2007).
MSC:  03-03 03A05
PDFBibTeX XMLCite

Second-order logic. (English) Zbl 1023.03516

Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 61-75 (2001).
MSC:  03A05 03B15
PDFBibTeX XMLCite

Boole’s criteria for validity and invalidity. (English) Zbl 0985.03514

Gasser, James (ed.), A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26-27, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 291, 101-128 (2000).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software