Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

1. História da educação brasileira: período colonial e império

Parte 1 de um total de 3 aulas

A experiência ficcional de Gérard Aké Loba: utopia e construção da identidade pós-colonial

A experiência ficcional de Gérard Aké Loba — Kocoumbo, l’étudiant noir(1960), Les fils de Kouretcha (1970), Les dépossédés (1973) e Le sas des parvenus(1990), ancorada na dinâmica de culturas, no respeito e na honorabilidade do Eu e do Outro, centra-se na problemática da utopia e da construção da identidade pós-colonial. Considerando que a Literatura, enquanto sistema semiótico de produção e recepção de textos, se encontra vinculada a uma visão do mundo, iremos ver como nela se manifestam as relações entre o Ocidente (Europeu) e as regiões da África francófona (Costa do Marfim) no percurso das metamorfoses que conduzem ao Pós-Colonialismo. Procuraremos, de igual modo, problematizar a utopia, e também a distopia, comungando da proposta de Éric Aunoble2, para quem estas questões deverão ser compreendidas na sua relação com o tempo e com a historicidade presente por tentarem responder “aux attentes de leurs temps”.

Povoações, freguesias e vilas na Paraíba Colonial: Pombal e Sousa, 1697-1800

The towns presently named Pombal and Sousa, located in the hinterland of the State of Paraíba, Brazil, still keep vestiges of the colonization process they went through along the 18th and 19th centuries, when they both emerged as settlement nuclei in the extreme West of the then captaincy of Paraíba and attained the status of freguesia and vila in a later period. This research aims to comprehend the process of urban formation and development of the colonial urban nuclei of Pombal and Sousa as they became povoados (hamlets), freguesias (parishes) and vilas (small urban communities with a local government), according to territorial expansion policies implemented by the Portuguese government from 1697 to 1800. The choice of the two urban settlements for this survey lies in the fact that they were part of the great conquest and colonization program undertaken by the Portuguese Crown. Another aspect that was considered was the fact that those towns are the oldest urban nuclei of Paraíba s hinterland. They came into being as early as in the times of the colony, thus producing a favorable environment to the study of the changes that occurred in the captaincy s hinterland scenery resulting from the process of formation and development of the colonial urban space. Three fundamental categories of analysis were defined since they have a direct bearing upon the urban configuration of the two colonization nuclei: povoado, freguesia and vila. The three of them are related to civil and ecclesiastic jurisdictions. Field, documentation and bibliography surveys were undertaken in order to develop the study. They allowed for the finding of vestiges of the old, colonial urban structures and for the development of theoretical analysis based on present-day studies of issues relating to the colonial urban history. The study purposes were, therefore, to try to understand how the old urban nuclei of Pombal and Sousa fit in the territorial expansion policies undertaken by the Portuguese government; to relate the process of urban formation and development of such nuclei with the categories of analysis povoação-freguesia-vila by discussing the relations and influences they exert over one another and their territory, as well as to unveil, as much as possible, the configuration the urban spaces that were shaped along the 18th century

Terrenos de marinha: terras públicas com função social? um estudo da orla marítima de natal

This work has as its theme the social function of terrenos de marinha. Theresearch universe is the terrenos de marinha of Natal coastline, focusing on thefulfillment of its social function. Prescribed by law since the colonial period with thepurpose of protecting the coast and free movement of people and goods, theywere swathes of land not available to private use by individuals. With the transitionfrom the allotments system to the purchase and sale, regard to land access,crystallized with the creation of the Land Law in the nineteenth century, the land isheld as merchandise and terrenos de marinha, following this logic, also acquireexchange value and become capable of enjoyment by private individuals, with thecondition of tax payments to the state. This is seen until the twentieth century,when in 1988, primarily because of the Federal Constitution promulgation, begins anew cycle when is possible to use on terrenos de marinha the principle of thesocial function of property. From this perspective this study aims to identify thesocial function of terrenos de marinha in Natal, focusing on the public destinationand the use value of the city coastline. To this end, it was made a data collection inthe on-line information system of the Federal Heritage Department of Rio Grandedo Norte (SPU / RN) and in the terrenos de marinha areas, in order to find out ifthey had public or private use, or if they were empty lots, as well as if thepopulation access to the shore exist. Interviews with managers of the SPU weremade. The empirical study showed that the social function of terrenos de marinhain the city of Natal still didn´t happen, considering the constant existence of vacantlots in their areas, the lack of access in significant portions of the coastline and thereduced areas directed to common use along the coastline, minimizing its potentialof enjoyment by the population. It concludes by pointing to the existence of a newtransition phase on the terrenos de marinha, in witch, gradually, come up lawprovisions in the legal system and public policies to expand the purely taxcollection function attributed to this land for two centuries. In this direction, thesocial function of terrenos de marinha is embodied in concomitant adjustment ofthe tax collection function and the rescue of coastline use value, national heritageand a place for sociability and social relations development

Aparências da forma e forma do espaço: análise da configuração espacial de residências unifamiliares dos anos 1970 em João Pessoa PB

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures

Fragmentos da história das concepções de mundo na construção das ciências da natureza: das certezas medievais às dúvidas pré-modernas

A concepção filosófica do mundo se inicia com os gregos sintetizados por Platão e Aristóteles. Para o primeiro o mundo físico é aparente e para se chegar à verdade é preciso se lembrar das idéias originais que determinam seu significado. Para o segundo as coisas físicas são dirigidas pelas idéias e para entendê-las é preciso a lógica. Durante o helenismo a escola de Alexandria elabora o neoplatonismo, a base da Patrística. Após a queda de Roma, os filósofos bizantinos guardam a herança clássica. A Igreja constrói uma visão neoplatônica da cristandade, a Escolástica. No oriente os persas também sofreram a influência grega. Entre os árabes do Oriente o pensamento neoplatônico orienta filósofos e religiosos de forma que para eles a razão e a fé não se separam. Aí a ciências se desenvolvem na física, na alquimia, na botânica, na medicina, na matemática e na lógica, até serem subjugadas pela doutrina conservadora dos otomanos. Na Espanha mulçumana sem as restrições da teologia, a filosofia de Aristóteles é mais bem compreendida do que no resto do Islã. Também aí todas as ciências se desenvolvem rápido. Mas a Espanha sucumbe aos cristãos. Os árabes e judeus apresentam Aristóteles à Europa Ocidental que elabora um Aristóteles cristão. A matemática, a física experimental, a alquimia e a medicina dos árabes influenciam intensamente o Ocidente. Os artesãos constroem instrumentos cada vez mais precisos, os navegadores constroem navios e mapas mais eficientes e minuciosos, os armeiros calculam melhor a forma de lançamento e pontaria de suas armas e os agrimensores melhor elaboram a medida de sua área de mapeamento. Os artistas principalmente italianos, a partir dos clássicos gregos e árabes, criam a perspectiva no desenho, possibilitando a matematização do espaço. Os portugueses, junto com cientistas árabes, judeus e italianos, concluem um projeto de expansão naval e ampliam os horizontes do mundo. Os pensadores italianos, como uma reação à Escolástica, constroem um pensamento humanista influenciado pelo pensamento grego clássico original e pelos últimos filósofos bizantinos. Por todas essas mudanças se inicia a construção de um novo universo e de um novo método, que viria décadas mais tarde.

Redes sociais e a lógica do desvio comportamental em relação às normas de trabalho

This paper aim to check a hypothesis that assumes several behaviors related to social work norm´s obeying as a phenomenon that can be explained by actor´s social network structure and the rational choice processes related to the social norm inside that network, principally the payoff´s analysis received by the closest actors, or neighbors, at a social situation. Taking the sociological paradigm of rational action theory as a basis, the focus is on a debate about the logic of social norms, from Émile Durkheim´s method to Jon Elster´s theory, but also including social network analysis´s variables according to Robert Hanneman; and also Vilfredo Pareto´s constants related to human sociability, at the aim to detect elements that can help the scholars to develop an agent based model which could explain the sociological problem of deviance by a better way than the common sense´s view about morality and ethics at a social work environment

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense

Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes