Agradeço à professora Itala M. L. D'Ottaviano pela orientação e incentivo dispensados durante todo o processo de produção desta Dissertação e ao professor Hércules de Araujo Feitosa, com quem inicei meus estudos em lógica; agradeço também a Rodrigo de Alvarenga Freire, pela amizade e incentivo.Agradeço ainda aos professores Itala M. L. D'Ottaviano, Walter A. Carnielli e Marcelo E. Coniglio, bem como os pesquisadores Rodolfo Ertola e Fábio Bertato pelo esforço hercúleo que mantém uma atmosfera de rico debate intelectual e livre circulação de ideias no Centro de Lógica, Epistemologia e História da Ciência da UNICAMP.Ainda, agradeço aos amigos e colegas do Centro de Lógica, Epistemologia e História da UNICAMP, felizmente muitos para serem nomeados, pela convivência harmoniosa, pelo ambiente amistoso e pelo clima de camaradagem que perpassa todas as atividades desenvolvidas no referido Centro.Por fim, agradeço aos membros da banca de qualificação e de defesa desta Dissertação de Mestrado.A todos eles, MUITO OBRIGADO. ixx ResumoEsta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q 1 de Mostowski e a lógica infinitária L ω 1 ω são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares.Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades.Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto a lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente.Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade.Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström.