Filters








611 Hits in 2.2 sec

Tarski's Influence on Computer Science [chapter]

Solomon Feferman
2018 Studies in Universal Logic  
influence on computer science, a timely suggestion for several reasons.  ...  So Tarski's influence on computer science manifests itself here at just one remove, though of course Scott's contribution, beginning (1976) with the construction of a domain D isomorphic to D → D, is  ... 
doi:10.1007/978-3-319-65430-0_29 fatcat:kzvft5mrurghdpedauafc4scaa

Tarski's influence on computer science

Solomon Feferman, Prakash Panangaden
2006 Logical Methods in Computer Science  
The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental.  ...  , and algebraic logic; various connections of each with computer science are taken up.  ...  Alfred Tarski's influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental.  ... 
doi:10.2168/lmcs-2(3:6)2006 fatcat:2xrm6o3lyzarrajfedl2ntstqm

Tarski's Influence on Computer Science

S. Feferman
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)  
influence on computer science, a timely suggestion for several reasons.  ...  So Tarski's influence on computer science manifests itself here at just one remove, though of course Scott's contribution, beginning (1976) with the construction of a domain D isomorphic to D → D, is  ... 
doi:10.1109/lics.2005.50 dblp:conf/lics/Feferman05 fatcat:v3qm4drgvfeaxnoarpjhskc25m

Page 5226 of Mathematical Reviews Vol. , Issue 2001H [page]

2001 Mathematical Reviews  
Tarski’s theory of truth and its relevance for the theory of science. (English summary) Found.  ...  Finally, philosophical issues concerning computation, in particular the use of computers in checking conjectures and generating proofs, are discussed.  ... 

Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge

Walter Carnielli
2006 Logic and Logical Philosophy  
Perhaps this explains why there is much more "life" than "logic" in the book, while for example, insisting on telling the audience that one fifth of Tarski's twenty-four Ph.D. students were women, and  ...  This is a book to be read with great interest by logicians, mathematicians, philosophers and people interested in the recent history of science.  ...  Semantic questions on natural language, computer science and non-classical logics could be profitably analyzed in Tarskian style.  ... 
doi:10.12775/llp.2006.005 fatcat:65t3n7yabvfe3oxukl77whwlsy

Cognitive processes in solving variants of computer-based problems used in logic teaching

T.H.S Eysink, S Dijkstra, J Kuper
2001 Computers in Human Behavior  
Instructions for 66 first-year social science students were varied in the computer-based learning environment Tarski's World, designed for teaching first-order logic (Barwise & Etchemendy, 1992) .  ...  For all instructional conditions, the scores on the transfer tests showed a significant increase in understanding the conditional.  ...  Tarski's World The computer-based learning environment Tarski's World was designed by Barwise and Etchemendy (1992) .  ... 
doi:10.1016/s0747-5632(00)00038-8 fatcat:rv2myaecpfbkbcje2roowwqtqe

Review: Douglas Patterson. Alfred Tarski: Philosophy of Language and Logic

Roman Murawski
2013 Journal for the History of Analytical Philosophy  
Roman Murawski Faculty of Mathematics and Computer Science Adam Mickiewicz University Poznań Poland rmur@amu.edu.pl Typeset in L A T E X Journal for the History of Analytical Philosophy vol. 1 no.  ...  Patterson also analyzes Tarski's "On Definable Sets of Real Numbers" vs. intuitionistic formalism. Chapter 4 is devoted to truth.  ... 
doi:10.4148/jhap.v1i9.1876 fatcat:xtidxqkkpjdfvmfdinaq77cula

Page 603 of Mathematical Reviews Vol. , Issue 94b [page]

1994 Mathematical Reviews  
Although the focus of interest concerned mainly the status and organization of education at the Technische Hochschule, the discussion on the question of women’s studies was also influenced.  ...  Progress in Computer Science and Applied Logic, 9. Birkhauser Boston, Inc., Boston, MA, 1990. viii+350 pp. $42.50. ISBN 0-8176-3483-5 The eighteen papers in this collection include the following: M.  ... 

Page 8064 of Mathematical Reviews Vol. , Issue 2003k [page]

2003 Mathematical Reviews  
Louis, MO) * Handbook of logic and proof techniques for computer science. (English summary) Birkhauser Boston, Inc., Boston, MA; Springer-Verlag, New York, 2002. xx+245 pp. $49.95.  ...  In conclusion the influence of the seman- tic conception of truth on the development of philosophy and logic in the period considered is evaluated.  ... 

Andrzeja Mostowskiego filozofia matematyki i logiki

Roman Murawski
2014 Antiquitates Mathematicae  
Connections with Tarski's views as well as with the historical circumstances are discussed.  ...  It is considered whether and to what extent did they influence the scientific researches of Mostowski in logic and the foundations of mathematics.  ...  Roman Murawski Adam Mickiewicz University Faculty of Mathematics and Computer Science ul.  ... 
doi:10.14708/am.v6i0.556 fatcat:geuplcjklvbajolc6z6mrrluym

Tarski's Conceptual Analysis of Semantical Notions [chapter]

Solomon Feferman
2008 New Essays on Tarski and Philosophy  
The latter question is easy to answer at one level: Tarski was heavily influenced by the visible success of conceptual analysis in set-theoretic topology as practiced by the leading mathematicians at the  ...  The aim of this paper is to throw greater light on both the "why" and "how" questions concerning Tarski's conceptual analysis of semantical notions, especially that of truth.  ...  He had been favorable to Tarski's general approach to the methodology of deductive sciences since their first meeting in 1930.  ... 
doi:10.1093/acprof:oso/9780199296309.003.0004 fatcat:5ztlegpku5cmbb3yz3lpe7qv2u

Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

Andrey Naumenko, Alain Wegmann
2007 Computer Standards & Interfaces  
Our solution formalizes denotational and Tarski's declarative semantics for RM-ODP.  ...  We report on the definition and implementation of a concrete resolution for this challenge: a single consistent formalization of the RM-ODP conceptual framework.  ...  Another example of application of our work on RM-ODP was presented at [44] : using the RM-ODP standard, some of the results from systems sciences and some of the foundational ideas of the Triune Continuum  ... 
doi:10.1016/j.csi.2005.10.001 fatcat:hlultfze6ffy7lhp3inlgbvcsq

Page 248 of Communication Abstracts Vol. 26, Issue 2 [page]

2003 Communication Abstracts  
Instructions for le 72 first- and second-year social science students were varied in the computer-based learning environment Tarski’s World designed for teaching first-order logic.  ...  The role of guidance in computer-based problem solving for the development of concepts of logic. Instructional Science 39(4):307-333. July 2002 COMPUTER LOGIC. COMPUTER TRAINING. KNOWLEDGE.  ... 

Tarski's conception of logic

Solomon Feferman
2004 Annals of Pure and Applied Logic  
In conclusion, I want to turn to one further aspect of Tarski's conception of logic.  ...  In a sense the Logic and Methodology congresses are an intellectual descendant of the Unity of Science movement, but now with logic at center stage, very much in tune with Tarski's conception of logic  ... 
doi:10.1016/j.apal.2003.10.016 fatcat:2feauak5rncdfp5mj7zyh54izm

Page 7658 of Mathematical Reviews Vol. , Issue 2001K [page]

2001 Mathematical Reviews  
ISBN 90-5699-266-X This is the first volume of a trilogy on mathematical logic designed for juniors and seniors in mathematics or computer science. The book is a hybrid of a monograph and a textbook.  ...  (English summary) Gordon and Breach Science Publishers, Amsterdam, 2000. X+283 pp. $58.00.  ... 
« Previous Showing results 1 — 15 out of 611 results