= 3 ie ° = < ee o N ® O UNESP | mprensaoficialA légica constitui uma das ciéncias que mais evoluiram e se transfor- maram no século XX. Deixou de englobar apenas a teoria da argu- mentacgao valida, embora esse to- pico ainda faca parte significativa de seu dominio, para se converter ans te onli em disciplina de indole matemética. INTRODUCAO A LOGICA Hoje, incluem-se na légica temas como teoria da recursdo, teoria de Galois generalizada, algebras po- liadicas, modelos e estruturas, se- méantica functorial, complexidade segundo Chaitin-Kolmogorov e modelos booleanos de teoria de conjuntos, os quais ilustram seu cardter matematico. Ademais, a légica encontrou varia- das aplicacées, tanto de indole ted- rica como de natureza tecnoldgica. Dentre as primeiras, merecem des- taque as filoséficas, em particular em filosofia da ciéncia, e as relati- vas 4 propria matematica (por exemplo, a utilizagdo de teoria de | modelos em algebra). No tocante ee ——.C._aéé4é............_........... jwFUNDACAO EDITORA DA UNESP Presidente do Conselho Curador José Carlos Souza Trindade Diretor Presidente José Castilho Marques Neto Editor Executivo Jézio Hernant Bomfim Gutierre Consetho Editorial Académico Alberto Ikeda CEZAR A. MORTARI Antonio Carlos Carrera de Sousa Antonio de Padua Pithon Cyrino Benedito Antunes Isabel Maria F. R. Loureiro. Ligia M. Vertorato Trevisan Lourdes A. M. dos Santos Pinto Raul Borges Guimaraes Ruben Aldrovandi Sen INTRODUCAO A LOGICA Edditora Assistente Joana Monteleone IMPRENSA OFICIAL DO ESTADO DE SAO PAULO 1 reimpressaio Diretor Presidenie Hubert Alquéres Diretor Vice Presidente Pop Beams Luiz Carlos Frigerio CPé: Diretor Industrial Teiji Tomioka Diretor Financeivo e Administrativo Richard Vainberg Editora N ESP |imprensaoficial