Orientador: Irineu Bicudo / Banca: Itala Maria Loffredo D'Otaviano / Banca: Paulo Isamo Hiratsuka / Resumo: Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função. / Abstract: In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege's system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function. / Mestre

Orientador: Henrique Lazari / Banca: Adilson José Vieira Brandão / Banca: Wlademir Seixas / Resumo: Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais "paradoxos" sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre "fuzziness" e probabilidade, incluindo uma demonstração de que "fuzziness", de fato, existe / Abstract: Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more "paradoxes" without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between "fuzziness" and probability, including a demonstration that "fuzziness" in fact, exists / Mestre

A busca por explicações de fatos ou fenômenos é algo que sempre permeou o raciocínio humano. Desde a antiguidade, o ser humano costuma observar fatos e, de acordo com eles e o conhecimento presente, criar hipóteses que possam explicá-los. Um exemplo clássico é quando temos consulta médica e o médico, após verificar todos os sintomas, descobre qual é a doença e os meios de tratá-la. Essa construção de explicações, dado um conjunto de evidências que o indiquem, chamamos de \\textit{abdução}. A abdução tradicional para a lógica clássica estabelece que o dado meta não é derivado da base de conhecimento, ou seja, dada uma base de conhecimento $\\Gamma$ e um dado meta $A$ temos $\\Gamma ot \\vdash A$. Métodos clássicos de abdução buscam gerar um novo dado $H$ que, juntamente com uma base de conhecimento $\\Gamma$, possamos inferir $A$ ($\\Gamma \\cup H \\vdash A$). Alguns métodos tradicionais utilizam o tableaux (como em \\cite) para a geração da fórmula $H$. Aqui, além de lidarmos com a abdução baseada em corte, através do KE-tableaux, que não necessita assumir que o dado meta não seja derivado da base de conhecimento, lidaremos também com a lógica probabilística, redescoberta por Nilsson, em \\cite, onde temos a atribuição de probabilidades a fórmulas. Dizemos que uma instância em lógica probabilística é consistente se existe uma distribuição probabilística consistente sobre as valorações. Determinar essa distribuição probabilística é que o chamamos de problema PSAT. O objetivo de nosso trabalho é definir e estabelecer o que é uma abdução em Lógica Probabilística (abdução em PSAT) e, além disso, fornecer métodos de abdução para PSAT: dada uma instância PSAT $\\left\\langle \\Gamma, \\Psi ightangle$ na forma normal atômica \\cite e uma fórmula $A$ tal que existe uma distribuição probabi bylística $\\pi$ que satisfaz $\\left\\langle \\Gamma, \\Psi ightangle$ e $\\pi(A) = 0$, cada método é capaz de gerar uma fórmula $H$ tal que $\\left\\langle \\Gamma \\cup H , \\Psi ightangle \\!\\!|\\!\\!\\!\\approx A$ onde $\\pi(A) > 0$ para toda distribuição $\\pi$ que satisfaça $\\left\\langle \\Gamma \\cup H , \\Psi ightangle$. Iremos também demonstrar que alguns dos métodos apresentados são corretos e completos na geração de fórmulas $H$ que satisfaçam as condições de abdução. / The search for explanations of facts or phenomena is something that has always permeated human reasoning. Since antiquity, the human being usually observes facts and, according to them and his knowledge, create hypotheses that can explain them. A classic example is when we have medical consultation and the doctor, after checking all the symptoms, discovers what is the disease and the ways to treat it. This construction of explanations, given a set of evidence, we call \\textit. In traditional abduction methods it is assumed that the goal data has not yet been explained, that is, given a background knowledge base $\\Gamma$ and a goal data $A$ we have $\\Gamma ot \\vdash A$. Classical methods want to generate a new datum $H$ in such way that with the background knowledge base $\\Gamma$, we can infer $A$ ($\\Gamma \\cup H \\vdash A$). Some traditional methods use the analytical tableaux (see \\cite) for the generation of $H$. Here we deal with a cut-based abduction, with the KE-tableaux, which do not need to assume that the goal data is not derived from the knowledge base, and, moreover, with probabilistic logic (PSAT), rediscovered in \\cite, where we have probabilistic assignments to logical formulas. A PSAT instance is consistent if there is a probabilistic distribution over the assignments. The aim of our work is to define and establish what is an abduction in Probabilistic Logic (abduction for PSAT) and, moreover, provide methods for PSAT abduction: given a PSAT instance $\\left\\langle \\Gamma, \\Psi ightangle$ in atomic normal form \\cite and a formula $A$ such that there is a probabilistic distribution $\\pi$ that satisfies $\\left\\langle \\Gamma, \\Psi ightangle$ and $\\pi(A)=0$, each method is able to generate a formula $H$ such that $\\left\\langle \\Gamma \\cup H , \\Psi ightangle \\!\\!|\\!\\!\\!\\approx A$ where $\\pi(A) > 0$ for all distribution $\\pi$ that satisfies $\\left\\langle \\Gamma \\cup H , \\Psi ightangle$. We demonstrated that some of the our methods, shown in this work, are correct and complete for the generation of $H$.

A pesquisa de cunho qualitativo aqui apresentada tem como propósito discutir o valor e o papel da lógica fuzzy na solução de problemas reais, dada a característica de suas ferramentas para lidar com questões subjetivas, uma vez que as soluções de problemas provenientes do mundo real estão carregadas de relações construídas no mundo interno do resolvedor são oriundas da subjetividade do sujeito resolvedor. Nosso trabalho teve como um dos objetivos responder às questões: Quais os pressupostos teóricos da teoria fuzzy e quais as possibilidades de reconhecimento de seu valor e de seu papel para a Educação Matemática? Como o pensamento matemático do aluno lida com o raciocínio fuzzy? Com essa perspectiva, aproximamo-nos dos alunos do Curso de Licenciatura das Faculdades Unificadas da Fundação Educacional de Barretos UNFEB , na busca de evidências, em termos de pesquisa, por meio de dois questionários e um minicurso ministrado pelo pesquisador, nesta ordem: questionário, minicurso e questionário. O primeiro questionário instigava o uso de variáveis subjetivas na solução de questões. O minicurso teve como foco central a resolução de um mesmo problema, utilizando matemática clássica e matemática fuzzy. O questionário final, de cunho avaliativo, verificava o uso, pelo aluno, das ferramentas da teoria fuzzy em problemas semelhantes aos anteriores. Os resultados da pesquisa indicaram a pouca experiência dos alunos com o raciocínio fuzzy dada, talvez, a dominância da matemática formal/determinística; mostraram, também, evidências de que os mesmos problemas, resolvidos verbalmente, sem o uso da matemática, revelam-se especialmente desafiadores quando é solicitada uma solução matemática fuzzy. / The qualitative research here presented intends to discuss the value and the role of fuzzy logic in the solution of real problems, due to the characteristic of its tools to deal with subjective questions, since the solution of problems originated in the real world are loaded with relationships built in the resolvers internal world they are originated in the subjectresolvers subjectivity. Our work had as one of its goals to answer the questions: Which are Fuzzy Theory theoretical assumptions and what are the possibilities of acknowledgement of its value and role to Mathematical Education?; How does the students mathematical thinking deal with fuzzy reasoning? On this perspective, we approached the students of the Curso de Licenciatura das Faculdades Unificadas da Fundação Educacional de Barretos - UNFEB searching for research evidences by means of two questionnaires and a mini-course taught by the researcher, in the following order: questionnaire, mini-course and questionnaire. The first questionnaire incited the use of subjective variables in the solution of questions. The mini-course, after the questionnaire, had as main focus the solution of one (same) problem using classical mathematics and fuzzy mathematics. The final questionnaire, of evaluative nature, verified the students use of fuzzy theory tools for problems similar to the previous ones. The research results indicated the students little experience with fuzzy reasoning maybe due to the dominance of formal/deterministic mathematics as well as showing evidences that the same problems solved verbally without the use of mathematics were especially challenging when a fuzzy mathematics solution was requested.

É um resultado conhecido que em Data Grids, onde o processamento envolve grandes quantidades de dados, pode ser mais eficaz escalonar os processos para execução nos sites que já dispõem dos dados do que transferir os dados para um site onde o processo que irá necessitar deles foi escalonado. Os estudos existentes se baseiam em pequenas quantidades de sites, com conhecimento centralizado sobre o estado dos diversos sites. Essa opção não é escalável para Grids com grande número de participantes. Este trabalho analisa versões distribuídas com informação local para os algoritmos de escalonamento de processo e replicação de dados, mostrando o efeito das topologias de interconexão de sites no desempenho desses. É observado que, considerando a existência apenas de informações locais devido às restrições topologicas, resultados diferentes quanto aos melhores algoritmos de escalonamento de processos e replicação de dados são encontrados. / It is a known result that in Data Grids, where the processing involves large amounts of data, can be more effective schedule processes to run on sites that already have the data than transfering data to a site where the process that will require them was installed. The existing studies are based on small numbers of sites, with centralized knowledge about the state of the various sites. This option is not scalable for grids with large numbers of participants. This paper will propose distributed versions with local information for process scheduling algorithms and data replication, showing the effect of interconnect topologies on the performance of these sites. It is observed that, considering the existence of only local information due to topological constraints, different results related to the best scheduling algorithms and data replication processes are found.

Verificação de modelos é uma das mais eficientes técnicas de verificação automática de sistemas. No entanto, apesar de poder lidar com verificações complexas, as ferramentas de verificação de modelos usualmente não fornecem informação alguma sobre como reparar inconsistências nestes modelos. Nesta dissertação, mostramos que abordagens desenvolvidas para a atualização de modelos CTL inconsistentes não são capazes de lidar com todos os tipos de alterações em modelos. Introduzimos então o conceito de revisão de modelos: uma abordagem baseada em revisão de crenças para o reparo de modelos inconsistentes em um contexto estático. Relacionamos nossa proposta com trabalhos clássicos em revisão de crenças. Definimos um operador de revisão de modelos e mostramos que este obedece postulados de racionalidade clássico de revisão de crenças. Propomos um algoritmo de revisão com base no algoritmo utilizado pela abordagem de atualização de modelos. Discutimos sobre problemas e limites do algoritmo proposto, e mostramos que essa estratégia de adaptação não é uma solução apropriada. / Model checking is one of the most robust techniques in automated system verification. But, although this technique can handle complex verifications, model checking tools usually do not give any information on how to repair inconsistent system models. In this dissertation, we show that approaches developed for CTL model update cannot deal with all kinds of model changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context. We relate our proposal to classical works on belief revision. We define an operator for model revision and we show that it obeys the classical rationality postulates of belief revision. We propose an algorithm for model revision based on the algorithm used by the model update approach. We discuss problems and limitations of our proposed algorithm and show that this strategy of adaptation is not an appropriate solution.

A análise vetorial da impedância elétrica humana (Biva) sugere sete padrões de composição corporal em um espaço bidimensional composto pela resistência e reactância. Contudo, os limites que definem cada padrão são imprecisos e a Teoria de Conjuntos \\textit mostra-se adequada para modelar a incerteza inerente ao fenômeno. O objetivo desta tese foi construir modelos fuzzy que estimem padrões de composição corporal Biva e aplicá-los em diferentes populações. Uma base de dados italiana foi utilizada para refinamento e teste (n=20) e avaliação de desempenho (n=99) dos modelos. A avaliação de coerência de resultados foi realizado em uma população hospitalizada (194 pacientes com câncer) e não hospitalizada (1.716 indivíduos norte-americanos). Construíram-se sete modelos baseados em regras segundo o conhecimento de especialista e artigos científicos. As variáveis de entrada dos modelos foram Z-scores de resistência/altura e reactância/altura. A variável de saída de cada modelo foi uma das sete categorias de composição corporal: caquexia, obesidade, desidratação, edema, atlético, magreza ou eutrofia. Cada modelo teve como saída um número no intervalo de 0 a 1 que representou o grau de pertinência do indivíduo a um dado padrão de composição corporal. A avaliação de desempenho dos modelos foi feita com o teste de concordância Kappa. Na base de dados de pacientes hospitalizados e não-hospitalizados, observou-se a coerência do modelo em identificar uma composição corporal compatível aos grupos. Realizou-se a analise descritiva dos dados e associações com variáveis de interesse. Os resultados mostraram bom ajuste dos modelos e concordância excelente do mesmo com a condição clínica dos indivíduos (Kappa = 0,85, p< 0,001). Os modelos foram coerentes com as posições dos vetores impedância padronizados no gráfico Biva nas duas populações investigadas. Na base de pacientes com câncer, os modelos foram sugestivos de elevada possibilidade de caquexia. Na base de pacientes norte-americanos, contudo, a elevada possibilidade para edema sugeriu que na análise Biva condições como área transversal do corpo devem ser consideradas. Os modelos fuzzy mostraram-se promissores na análise da composição corporal Biva. A incerteza foi incorporada com uso de termos linguísticos e base de regras segundo especialistas. Ao incorporar a incerteza, os modelos proporcionaram resultados mais refinados que uma abordagem clássica. / Bioimpedance Vectorial Analysis (Biva) suggests seven patterns of body composition in a two-dimensional space composed by resistance and reactance. However, the boundaries defining those patterns are imprecise and Fuzzy Sets Theory has proved to be adequate to model the uncertainty inherent to the phenomenon. The aim was to build fuzzy models to estimate body composition according to Biva and apply them in differente populations. And italian database was used for refinement and testing (n = 20) and performance evaluation (n = 99) of the models. The consistency assessment was carried out in a hospitalized population (194 cancer patients) and non-hospitalized ( 1,716 U.S. individuals). Seven fuzzy models were build based on rules according to expert knowledge and scientific articles. The input variables were Z-score values of resistance/height and reactance/height. The output variable of each model was one of the seven categories of body composition: cachexia, obesity, dehydration, edema, athletic, thin or normal. Each model had as output a number ranged from 0 to 1 representing the degree of possibility to a given Biva pattern. The evaluation of performance was made using Kappa test. In the database of hospitalized and non-hospitalized patients the consistency of the models in identifying an given expected body composition was observed. An descriptive ans association analysis was held. The results showed good fit of the models and excellent agreement with the clinical condition of individuals (Kappa = 0.85, \\ textit $ <$ 0.001). The models were consistent with the positions of the impedance vector in the Biva graphy standardized in the two populations. The models were highly suggestive of possibility of cachexia in cancer patients. In North American patients, however, the higher possibility for edema suggested that in conditions such as cross-sectional area of the body should be considered in Biva approach. The fuzzy models proved to me promising in body composition according to Biva approach. Uncertainty was incorporated by using linguistic terms and a base-rule according to experts knowledge. By incorporating the uncertainty, the models provided more refined results than a classical approach.

O avanço tecnológico e a modernização do sistema elétrico de potência trouxeram vários benefícios para uma operação mais robusta. Neste avanço tecnológico surgiram os relés digitais baseados em microprocessador que possuem diversas funcionalidades, dentre elas o ajuste imediato de seus parâmetros. Tal função permite adotar vários ajustes conforme alterações na rede. Porém, realizar a correção dos parâmetros do dispositivo de proteção de sobrecorrente de forma manual, não apenas torna a rede mais vulnerável a falhas humanas, diminuindo a segurança, como também pode ser inviável dependendo do tamanho do sistema. Portanto, um sistema automático seria uma solução para essa dificuldade. Desta forma, este trabalho propõe um ajuste adaptativo, por meio da Lógica Fuzzy, da corrente de pick-up do relé de sobrecorrente. Para tanto, duas variáveis foram levadas em consideração, a corrente pré-falta e a variação da corrente, onde, através da regra de inferência fuzzy, foram definidos diversos conjuntos de termos da variável corrente de pick-up (saída). A implementação e simulação deste equipamento foram realizadas no software Alternative Transients Program - The Electromagnetic Transients Program (ATP-EMTP) tendo em vista se tratar de uma plataforma computacional de livre acesso e utilização a todos aqueles que se interessem pelo tema. Neste trabalho, foram implementados os relés de sobrecorrente temporizados de tempo inverso e instantâneo, com e sem a unidade direcional. Também foi elaborado um sistema de teleproteção para realizar a coordenação dos equipamentos. Uma vez estruturados tais modelos, foram feitos estudos em sistemas teste do IEEE no sentido de demonstrar e avaliar o desempenho dos relés implementados. Os resultados obtidos mostraram as vantagens da utilização do sistema fuzzy implementado, uma vez que ele é capaz de eliminar diferentes tipos de faltas, além de aumentar a velocidade de atuação em sistemas com geração intermitente e com variação de carga. / The technological advance and modernization of the electric power system have brought several benefits for a more robust operation. In this technological advance, microprocessor-based digital relays have emerged with several functionalities, among them the real-time adjustment of their parameters. This function allows to make various adjustments according to changes in the network. However, performing the correction of the overcurrent protection device parameters manually, not only makes the network more vulnerable to human failure, but also may be unfeasible depending on the size of the system. Therefore, an automatic system would be a solution to this difficulty. In this way, this work proposes an adaptive adjustment, through the Fuzzy Logic, of the pick-up current of the overcurrent relay. For that, two variables were taken into account, the pre-fault current and the current variation, in which, through the fuzzy inference rule, several sets of terms of the current variable of pick-up (output) were defined. The implementation and simulation of this equipment was carried out in the software Alternative Transients Program - The Electromagnetic Transients Program (ATP-EMTP) in order to be a computer platform of free access and use to all those who are interested in the subject. In this work, the inverse time and instantaneous overcurrent relays were implemented, with and without the directional unit. A teleprotection system was also developed to carry out equipment coordination. Once these models were structured, studies were done on IEEE test systems in order to demonstrate and evaluate the performance of the implemented relays. The results have confirmed the advantages on the use of fuzzy system, since it was able to eliminate different types of faults, besides increasing the speed of operation in systems with intermittent generation and with variation of load.

A poesia de Paulo Leminski (1944/1989), escrita no Brasil entre os anos 60 e 80 do século XX, revela uma constante atitude de experimentação que abre caminhos para o questionamento da relação entre pensamento, mundo e linguagem. Ao refazer a trajetória do autor e analisar o modo de criação de seus jogos de linguagem, pretendo revelar a lógica de sua poética, voltada para a materialidade do signo lingüístico. Como poeta e ficcionista, redator publicitário, letrista de música, crítico e tradutor, a matériaprima e o objeto de Leminski é sempre a linguagem verbal em suas mais variadas dimensões. Nesse período, entre os anos 60 e 80, em que as teorias sobre os signos e sobre o discurso começam a dominar os estudos literários, a poética metalingüística e reflexiva de Leminski surge como um campo de experiência de limites ainda não testados ou pouco testados por outros poetas. O conceito da poesia como texto literário, como expressão de uma linguagem escrita, veiculada em livros e destinada a um público erudito, passa a ser também por ele questionado. Para Leminski, a poesia faz parte da semiótica, do mundo dos signos que engloba todas as outras formas de manifestações artísticas, de informação e de comunicação. Poesia é também linguagem gráfica, sonora e verbal, que busca uma lógica própria para expressar pensamentos e formas de vida. Esta pesquisa vai focalizar alguns aspectos da teoria da linguagem e da teoria literária evidenciados, em diversos níveis, na prática poética leminskiana. São questões pertinentes ao contexto de diferentes correntes contemporâneas de pensamento que apontam a linguagem como o lugar privilegiado em que se dá a atuação do sujeito e a criação dos sentidos. / The poetry of Paulo Leminski (1944-89), written in Brazil between the 1960s and the 1980s, displays a constant attitude of experimentation that opens up possibilities for questioning the relationships between thought, world and language. By retracing the development of his career as a writer and analyzing the ways in which he created his language games, I set out to discover the logic of his poetics and its links to the materiality of the linguistic sign. As a poet and author of fiction, but also as a producer of advertising copy, song lyrics, literary criticism and translations, Leminski always took verbal language in its many different dimensions as his object and raw material. In the period discussed (1960s, 70s and 80s), when theories of signs and discourse predominated in literary studies, Leminski developed his metalinguistic and reflexive poetics as a field for experiencing and experimenting with limits that other poets had not yet tested at all or only very marginally. He also questioned the concept of poetry as literary text, as the expression of a written language conveyed in books to a learned audience. For Leminski poetry was part of semiotics, of the world of signs that encompasses all other forms of art as well as information and communication. Poetry is visual language and sound as well as verbal language, pursuing its own logic to express thoughts and life forms. My research focuses on some aspects of the theory of language and of the literary theory evinced at various levels by Leminskis poetic practice. The questions raised are pertinent in the context of different contemporary currents of thought which consider language a privileged field for the operation of the subject and the creation of meaning.

Suhraward÷ (m. 586 H./1191 d.C.) operou uma virada no pensamento filosófico corrente entre os árabes ao desenvolver um modelo filosófico baseado em uma hierarquia descendente de luzes que constituem tudo aquilo que existe. Para estabelecer esse modelo metafísico, Suhraward÷ desconstrói a teoria do conhecimento de base aristotélica, comum entre os filósofos de seu tempo, propondo o conhecimento presencial (cilm ¬uÅr). Para tanto, Suhraward÷ criticou principalmente o conceito peripatético de definição, demonstrando sua insuficiência como modo de se conhecer algo, uma vez que o ato de classificar, sem nenhum fundamento na realidade, delimita a mesma realidade. Com efeito, Suhraward, em sua principal obra, Livro da Sabedoria da Iluminação, procurou estabelecer as linhas gerais de seu sistema filosófico, a saber: a filosofia iluminacionista. Essa obra se divide em oito tratados, sendo que os três primeiros formam um conjunto que trata da desconstrução da lógica e epistemologia peripatéticas. Entre outras coisas, Suhraward estabelece a prioridade do existente sobre a existência assim como afirma que tanto a existência como a contingência e todas as categorias aristotélicas não passam de construtos intelectuais (ictibrt caqlya), sem nenhuma realidade concreta fora do intelecto. O erro dos falsifa seguidores do peripatetismo foi ter construído toda a sua metafísica sobre entidades lógicas sem realidade concreta. Nesse sentido, Suhraward÷ procurou estabelecer uma nova epistemologia, que não está apoiada apenas na dedução, na existência ou nas categorias, optando pela recusa da teoria do conhecimento aristotélica. O verdadeiro conhecimento não é dedutivo e não pode advir da definição. É necessário abarcá-lo de uma só vez, com a experiência direta, intuição imediata (iluminação). Com o desenvolvimento de uma filosofia baseada na experiência direta, essas ideias, de base platônica, tomam conta do debate filosófico e se tornam a condição para o conhecimento. / Suhraward (d. 586 H 1191 d.C.) has done made a turning point in the current philosophical thought among the Arabs, developing a metaphysical model based on a top-down hierarchy of lights, which are all that exists. To establish this metaphysical model, Suhraward has broken the theory of knowledge based on the Aristotelian traditon, common basis between the philosophers of his time, by offering knowledge by the presence (cilm ¬uÅr). To accomplish it, Suhraward criticized especially the Peripatetic concept of definition, demonstrating his failure as a mode of knowledge of something, given that Act to classify, without any basis in reality, restricted this same reality. Indeed, Suhraward in his main work, the Book of the wisdom of illumination sought to establish the general lines of his philosophical system, that is the philosophy of illumination. This work is divided into eight treaties, of which the first three are investigating the overthrow the deconstruction of the Peripatetic logic and epistemology. Suhraward establishes, among other things, the priority of the existing relative existence, though he argues that not only the existence, but also the contingency and all Aristotelian categories are only intellectual constructs (ictibrt caqlya), without any concret reality outside the intellect. The fault of the falsifa following the Peripatetics position, was the one to have built their metaphysics on logical entities, without any concrete reality. In this sense, Suhraward sought to establish a new epistemology, which does not rely only on the deduction, the existence or categories, choosing to reject the Aristotelian theory of knowledge. The true knowledge is not deductive and can not happen to the definition. It should embrace it to at the outset, with direct experience, with immediate intuition (illumination). With the development of a philosophy based on direct experience, these ideas, in platonic basis, invaded the philosophical debate and became the condition of knowledge.