Made available in DSpace on 2016-04-27T17:27:04Z (GMT). No. of bitstreams: 1 Diogo Henrique Bispo Dias.pdf: 817652 bytes, checksum: a9c449589ddd37e8416ba66f62fb6285 (MD5) Previous issue date: 2013-06-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master' s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic, namely: the law of non-contradiction and the principle of explosion, as well as the history of paraconsistency. Moreover, an interpretation of paraconsistency that defends the existence of true contradiction, known as dialetheism, will be discussed, as well as the criticism to' this position, and, in general, to paraconsistent logics. The philosophical character of this thesis does not mean that the text will be exempt from theorems, formulas, demonstrations and other formal questions. But this formal aspect will not be treated as a end in itself. The formalism will be used to present two proposicional paraconsistent systems, namely: paraclassicallogic and paraclassical logic with inclusion, and to compare them with classical logic. The theoretical framework built for such aim is philosophically relevant, for the discussion on central points in logic, such as the existence of logical laws, its a priori character, and even the very definition of logic. Finally, a method will be proposed in order to find, from a given logic, its paraconsistent version. Due to the multiplicity of paraconsistent systems,' I this study is important in order to explore the general features of paraconsistent logics, their specificities and, mainly, abstract methods for generation of paraconsisent logic / Este trabalho abordará os aspectos filosóficos das lógicas paraconsistentes. Analisaremos a história dos princípios lógicos fundamentais para esta lógica, a saber: a lei de não-contradição e o princípio de explosão, bem como a história do surgimento da paraconsistência. Ademais, discutiremos uma interpretação da paraconsistência que defende a existência de contradições verdadeiras, denominada dialeteismo, e as possíveis críticas ao dialeteismo e, de forma geral, às lógicas paraconsistentes. O caráter filosófico do trabalho não significa que o texto estará isento de teoremas, fórmulas, demonstrações e outras questões formais. Porém, este aspecto formal não será tratado como um fim em si mesmo. O formalismo será utilizado para apresentar dois sistemas proposicionais paraconsistentes - lógica para clássica e lógica para clássica com inclusão - e compará-los com a lógica proposicional clássica. O arcabouço teórico construído para tal fim é filosoficamente relevante para discutir questões centrais à lógica" como a existência de leis lógicas, seu caráter a priori e, até mesmo, a própria definição de lógica. Por fim, será apresentado um método para encontrar, a partir de uma lógica dada, sua versão paraconsistente. Face à multiplicidade, de sistemas lógicos paraconsistentes, este estudo é importante, pois permite explorar as possíveis características gerais das lógicas paraconsistentes, suas especificidades e, principalmente, métodos abstratos para gerar lógicas paraconsistentes

Nesta tese buscamos identificar uma resposta à questão sobre a formação dos conceitos empíricos à luz da lógica geral. Para responder essa questão, trabalhamos em dois caminhos. Em primeiro lugar, buscamos compreender qual é exatamente a questão que pode ser respondida no domínio da lógica geral. Para alcançar esse objetivo partimos de uma pista encontrada na Crítica da razão pura, onde Kant compara o projeto crítico com aquele desenvolvido por John Locke, e investigamos o modo como Locke explica a formação das representações gerais. Além disso, procedemos por analisar a própria noção de lógica geral em Kant, o que foi realizado, igualmente, em duas etapas: o registro histórico das influências recebidas através do Manual de Meier e a análise das Reflexões concernentes à natureza e limite da lógica geral. Realizado esse trabalho, foi possível circunscrever nossa questão inicial: à lógica geral cabe explicar a forma dos conceitos, isto é, sua universalidade. Assim, em segundo lugar, nos dedicamos à análise da distinção do que consiste propriamente a universalidade dos conceitos para Kant. Sugerimos que a universalidade dos conceitos, em oposição à singularidade das intuições, significa tomar uma representação parcial como fundamento de cognição. A hipótese desenvolvida foi, portanto, enfrentar o texto das Lições e das Reflexões sobre lógica, especificamente, no que diz respeito ao papel dos atos lógicos (comparação, reflexão e abstração), para buscar encontrar uma explicação de como surgem representações capazes de serem utilizadas pelo entendimento como fundamento de cognição. Após discutir e rejeitar uma possibilidade de interpretação encontrada na literatura, sugerimos uma alternativa para compreender o papel dos atos lógicos na geração da forma de um conceito. Defendemos, assim, que a comparação e a reflexão respondem pelas atividades de: i) representar como parte, o que não é explicado pela recepção de um objeto intuído e; ii) tomar uma representação parcial como fundamento de cognição da coisa. Por sua vez, caberia à abstração, atividade de separar representações, um papel negativo: uma vez tomada uma representação como fundamento de cognição da coisa, segue-se uma subordinação da coisa à minha representação na medida em que a penso segundo o que ela tem em comum com outras. / The aim of this thesis is to identify an answer to the question about the formation of the empirical concepts through the general logic in Kant. In order to obtain this aim, we worked on two tracks. First, we try to understand what is exactly the question which can be answered by general logic. For this, we start with a clue found in the Critique of pure reason, where Kant compares his own project with the one developed in John Locke’s work and, then, investigate how Locke explains the formation of general representations. Besides that, we proceed to analyse the Kantian notion of general logic, which is also realized in two steps: an historical approach of the influences received by the Georg F. Meier’s Auszug and the analysis of the Kantian Notes over Meier’s text on the nature and limits of general logic. Therefore, we could circumscribe our initial question: the general logic can explain only the form of concepts, namely, their generality. Secondly, we scrutinize the distinction between intuitions and concepts through the following criteria: immediacy/mediacy and singularity/generality. We suggest understanding the generality of concepts in terms of the capacity of “taking a partial representation as a ground of cognition”. So, the developed hypothesis was to look to the Kantian Notes on logic, especially its sections dedicated to the logical acts (comparison, reflection, abstraction) in order to find an explanation of the generation of general representations capable of being used by the understanding as a ground of cognition. After discussing and rejecting a possibility found in the specialized literature, we suggest an alternative to understanding the logical acts in the generation of the form of concepts. We defend, by the end, that the comparison and reflection are activities of: i) representing as partial, which cannot be explained exclusively by the reception of an object e; ii) taking that partial representation as a ground of cognition. On the other hand, the logical act of abstraction is the activity of separating representations: once we have a representation taken as a ground of cognition, it follows an activity of subordination of the thing represented according to what it has in common with others.

A presente dissertação tem dois objetivos. Em primeiro lugar, pretendemos armar um debate entre Russell e Wittgenstein tendo como questão mestra a relação entre lógica e linguagem. Em especial, procuramos encontrar elementos em The Philosophy of Logical Atomism e no Tractatus Logico-Philosophicus para reconstruir a resposta que consta em cada uma das obras para as questões: qual o estatuto lógico da linguagem corrente? Qual a função do lógico enquanto tal? Em segundo lugar, pretendemos apresentar um jogo de cartas – o jogo da Figuração – que desenvolvemos ao longo da pesquisa e funciona como uma ilustração do Tractatus. Em função do jogo será possível compreender algumas das principais teses da obra. Em especial, o papel da teoria da figuração e a distinção entre dizer e mostrar como pilares da explicação tractariana para a questão sobre o funcionamento lógico da linguagem. Além disso, com base na semelhança entre o nosso jogo da figuração e a explicação de Wittgenstein para o funcionamento lógico da linguagem, apresentaremos uma série de razões que justificam o fracasso do projeto de Wittgenstein. Por fim, defenderemos a tese segundo a qual o nosso pensamento funciona com base em uma série de padrões lógicos distintos e não apenas um único padrão lógico (tal qual defendido no Tractatus). / The present dissertation has two goals. In the first place, we intend to construct a debate between Russell and Wittgenstein having the relation between logic and language as our master question. In particular, we seek to find elements in The Philosophy of Logical Atomism and the Tractatus Logico-Philosophicus to reconstruct the answer in each of the works for the questions: what is the logical status of the current language? What is the role of the logician as such? Secondly, we intend to present a card game – the Picture game- that we developed throughout the research and functions as an illustration of the Tractatus. Based on the game we will be able to understand some of the main theses of the work. In particular, the role of picture theory and the distinction between saying and showing as pillars of the tractarian explanation for the question about the logical functioning of language. Moreover, on the basis of the similarity between our picture game and Wittgenstein's explanation for the logical functioning of language, we will present a number of reasons for the failure of Wittgenstein's project. Finally, we will defend the thesis that our thinking operates on the basis of a series of distinct logical patterns and not just a single logical pattern (as defended in the Tractatus).

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T17:33:32Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T22:17:27Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Made available in DSpace on 2017-05-05T22:17:38Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) Previous issue date: 2016-08-22 / Sem bolsa / Esta dissertação foca, sobretudo, nos conceitos fundamentais relativos ao estudo da robustez, dualidade e conjugação na Lógica Fuzzy (FL) e sua extensão intuicionista proposta por Atanassov (A-IFL). A metodologia de avaliação da sensibilidade ponto-a-ponto é aplicada a conectivos fuzzy e conectivos fuzzy intuicionistas, considerando a ação de negações fortes e automorfismos. O objetivo principal neste trabalho consiste na avaliação da robustez de operadores de diferença, representáveis por composição de negações e agregações da LF e da A-IFL. O operador de diferença tem aplicação direta em conceitos da FL e da A-IFL, quando do uso de conceitos de distância, medidas de similaridade e entropia. O trabalho colabora com a investigação da robustez na construção dual da classe de operadores de diferença em LF e A-IFL, incluindo possíveis construções conjugadas obtidas por automorfismos representáveis. / This dissertation focuses mainly on fundamental concepts relating to the study of robustness, duality and in conjunction Fuzzy Logic (FL) and its intuitionistic extension proposed by Atanassov (A-IFL). The methodology for assessing the sensitivity point-to-point is applied to fuzzy connectives and fuzzy connective intuitionists considering the action of strong denials and automorphisms. The main objective of this study is to assess the robustness of di?erence operators, representable by composition of denials and aggregations of LF and A-IFL. The di?erence operator has direct application of the concepts and the FL-IFL, when using distance concepts of similarity and entropy measures. The research work cooperates with the robustness of the dual construction di?erence operator class LF and A-IFL, including possible constructions conjugate obtained by automorphisms representable.

Vários métodos estatísticos aplicados à medicina diagnóstica sofreram, nas últimas décadas, enormes avanços. Grande parte destes métodos está voltada ao problema de classificar indivíduos em grupos, sendo que os testes diagnósticos ligados a técnicas de Inteligência Artificial compõem nossa principal aplicação desse trabalho. Estes testes estatísticos são descritos como métodos teoricamente capazes de indicar a presença ou a ausência de uma determinada doença, com certa chance de erro. A quantificação destas chances de erro que é, basicamente, o objetivo destes métodos tem servido a inúmeras aplicações e nesse trabalho é utilizada como fonte de evidências para os procedimentos de análises estruturados em Lógica Paraconsistente. Como a Lógica Paraconsistente é uma lógica não-clássica que aceita contradição em sua estrutura sem invalidar as conclusões, e utiliza em suas análises valores evidenciais, aplicamos aqui os conceitos fundamentais de um tipo de Lógica Paraconsistente denominada de Lógica Paraconsistente Anotada com anotação de dois valores LPA2v. Através dos procedimentos estatísticos e os fundamentos da LPA2v o presente estudo objetiva descrever a situação em que o teste produz uma resposta que não é descrita simplesmente como positivo ou negativo, mas por um resultado que pode ser expresso por uma variável categórica ordinal ou por uma variável contínua que pode ser considerada como grau de evidência. Esse processo é realizado utilizando uma dedução lógica que usa os conceitos da Probabilidade Pragmática na qual se pode efetuar uma ligação entre a teoria probabilística de Bayes e os métodos de aplicação da Lógica Paraconsistente Anotada com dois valores LPA2v. Dessa junção surgiram neste trabalho algoritmos Paraconsistentes que descrevem esse processo. Denominamos o processo de adaptação da Teoria de Bayes para a Lógica Paraconsistente de ParaBayes. Para demonstrar os procedimentos que utilizam os conceitos fundamentais da LPA2v em dados probabilísticos foram extraídos valores evidenciais de um banco de dados que se refere à submissão de um conjunto de casos, contendo uma série de evidências e o diagnóstico de Diabetes, em uma comunidade de índias PIMA. São utilizadas no banco de dados índias PIMA as técnicas dos métodos estatísticos e de raciocínio probabilístico de Bayes para levantamento de dados que foram interpretados e modelados como Graus de Evidência capazes de serem analisados pelos Algoritmos da LPA2v. Neste estudo verifica-se que a extração dos Graus de Evidência não invalida as técnicas estatísticas já estabelecidas, mas confere através da LPA2v novas formas de interpretação baseadas nos resultados e produzindo meios que facilitam o tratamento dos dados por ferramentas computacionais elevando o grau de confiança dos diagnósticos. Uma das observações importantes é que o método LPA2v/Bayes proposto utilizado para extrair evidências é capaz de evitar possíveis distorções no formato da curva que possam advir da seleção inadequada de casos de teste. Os resultados obtidos sugerem que em situações nas quais se tenha uma grande quantidade de casos em que as incertezas exijam métodos estatísticos para formar diagnóstico, esta seja uma boa técnica para se adotar em sistemas de apoio a decisão médica. / Several statistical methods applied to the medicine diagnostic suffered, in the last decades, enormous progresses. Great part of these methods come back to the problem from classifying individuals in groups. Tests that use techniques of Artificial Intelligence compose our main main focus. Statistical tests are described as methods capable to indicate the presence or the absence of a certain disease, with a certain chance of error. The quantification of these error chances that is, basically, the objective of these methods has served to countless applications. In this work it is used as source of evidence for the procedures of analysis structured through Paraconsistent Logic. As Paraconsistent Logic is a non-classic logic that accepts contradiction in its structure without invalidating the conclusions and uses in its analysis values attributed to evidences, we applied the fundamental concepts of a type of Logic denominated Paraconsistent Logic Annotated with two values LPA2v. Through the statistical procedures and the foundations of LPA2v the present study aims at describing the situation where the test produces an answer that is not simply described as \"positive\" or \"negative\", but can be expressed by an ordinal variable or by a continuous variable that can be considered as an evidence degree. That process is obtained using a logical deduction that uses the concepts of the Pragmatic Probability where it can make a connection between the probabilistic theory of Bayes and the methods of Paraconsistent Logic, Annotated with two values, LPA2v. Out of that junction Paraconsistent algorithms appeared in this work that describe the whole process. We denominated the process of adaptation of the Theory of Bayes to Paraconsistent Logic of ParaBayes. To demonstrate the procedures that use the fundamental concepts of LPA2v evidence values were extracted from a database comprising a series of evidences and the diagnosis of Diabetes, in a community of PIMA Indians. The PIMA Indian database was a test-bed field for the techniques of the statistical methods and of reasoning probabilistic of Bayes for rising of data that were interpreted and modeled as Degrees of Evidence capable of being analyzed by the Algorithms of LPA2v. In this study it is verified that the extraction of the Degrees of Evidence doesn\'t invalidate the statistical techniques established, but it allows for new forms of interpretations based on the results and producing means that facilitate the treatment of the data, elevating the trust in the diagnostic. One of the important observations is that the proposed method LPA2v/Bayes used to extract evidence is capable to avoid possible distortions in the format of the curve that is usually the result of inadequate selection of test cases. Results suggest that in situations where a great amount of cases have uncertainties this is a good technique to adopt in medical decision support systems.

Resumo não disponível.

Tras el análisis de las principales teorías de la argumentación contemporáneas, se desarrollan concepciones alternativas de las dimensiones lógica, dialéctica y retórica de la argumentación de cara a la elaboración de una teoría normativa capaz de integrarlas. / After the analysis of the main current theories of argumentation, I develop alternative conceptions of the logical, dialectical and rhetorical dimensions of argumentation towards the elaboration of a normative theory of argumentation able to integrate them.

Nesta tese buscamos identificar uma resposta à questão sobre a formação dos conceitos empíricos à luz da lógica geral. Para responder essa questão, trabalhamos em dois caminhos. Em primeiro lugar, buscamos compreender qual é exatamente a questão que pode ser respondida no domínio da lógica geral. Para alcançar esse objetivo partimos de uma pista encontrada na Crítica da razão pura, onde Kant compara o projeto crítico com aquele desenvolvido por John Locke, e investigamos o modo como Locke explica a formação das representações gerais. Além disso, procedemos por analisar a própria noção de lógica geral em Kant, o que foi realizado, igualmente, em duas etapas: o registro histórico das influências recebidas através do Manual de Meier e a análise das Reflexões concernentes à natureza e limite da lógica geral. Realizado esse trabalho, foi possível circunscrever nossa questão inicial: à lógica geral cabe explicar a forma dos conceitos, isto é, sua universalidade. Assim, em segundo lugar, nos dedicamos à análise da distinção do que consiste propriamente a universalidade dos conceitos para Kant. Sugerimos que a universalidade dos conceitos, em oposição à singularidade das intuições, significa tomar uma representação parcial como fundamento de cognição. A hipótese desenvolvida foi, portanto, enfrentar o texto das Lições e das Reflexões sobre lógica, especificamente, no que diz respeito ao papel dos atos lógicos (comparação, reflexão e abstração), para buscar encontrar uma explicação de como surgem representações capazes de serem utilizadas pelo entendimento como fundamento de cognição. Após discutir e rejeitar uma possibilidade de interpretação encontrada na literatura, sugerimos uma alternativa para compreender o papel dos atos lógicos na geração da forma de um conceito. Defendemos, assim, que a comparação e a reflexão respondem pelas atividades de: i) representar como parte, o que não é explicado pela recepção de um objeto intuído e; ii) tomar uma representação parcial como fundamento de cognição da coisa. Por sua vez, caberia à abstração, atividade de separar representações, um papel negativo: uma vez tomada uma representação como fundamento de cognição da coisa, segue-se uma subordinação da coisa à minha representação na medida em que a penso segundo o que ela tem em comum com outras. / The aim of this thesis is to identify an answer to the question about the formation of the empirical concepts through the general logic in Kant. In order to obtain this aim, we worked on two tracks. First, we try to understand what is exactly the question which can be answered by general logic. For this, we start with a clue found in the Critique of pure reason, where Kant compares his own project with the one developed in John Locke’s work and, then, investigate how Locke explains the formation of general representations. Besides that, we proceed to analyse the Kantian notion of general logic, which is also realized in two steps: an historical approach of the influences received by the Georg F. Meier’s Auszug and the analysis of the Kantian Notes over Meier’s text on the nature and limits of general logic. Therefore, we could circumscribe our initial question: the general logic can explain only the form of concepts, namely, their generality. Secondly, we scrutinize the distinction between intuitions and concepts through the following criteria: immediacy/mediacy and singularity/generality. We suggest understanding the generality of concepts in terms of the capacity of “taking a partial representation as a ground of cognition”. So, the developed hypothesis was to look to the Kantian Notes on logic, especially its sections dedicated to the logical acts (comparison, reflection, abstraction) in order to find an explanation of the generation of general representations capable of being used by the understanding as a ground of cognition. After discussing and rejecting a possibility found in the specialized literature, we suggest an alternative to understanding the logical acts in the generation of the form of concepts. We defend, by the end, that the comparison and reflection are activities of: i) representing as partial, which cannot be explained exclusively by the reception of an object e; ii) taking that partial representation as a ground of cognition. On the other hand, the logical act of abstraction is the activity of separating representations: once we have a representation taken as a ground of cognition, it follows an activity of subordination of the thing represented according to what it has in common with others.

A presente dissertação tem dois objetivos. Em primeiro lugar, pretendemos armar um debate entre Russell e Wittgenstein tendo como questão mestra a relação entre lógica e linguagem. Em especial, procuramos encontrar elementos em The Philosophy of Logical Atomism e no Tractatus Logico-Philosophicus para reconstruir a resposta que consta em cada uma das obras para as questões: qual o estatuto lógico da linguagem corrente? Qual a função do lógico enquanto tal? Em segundo lugar, pretendemos apresentar um jogo de cartas – o jogo da Figuração – que desenvolvemos ao longo da pesquisa e funciona como uma ilustração do Tractatus. Em função do jogo será possível compreender algumas das principais teses da obra. Em especial, o papel da teoria da figuração e a distinção entre dizer e mostrar como pilares da explicação tractariana para a questão sobre o funcionamento lógico da linguagem. Além disso, com base na semelhança entre o nosso jogo da figuração e a explicação de Wittgenstein para o funcionamento lógico da linguagem, apresentaremos uma série de razões que justificam o fracasso do projeto de Wittgenstein. Por fim, defenderemos a tese segundo a qual o nosso pensamento funciona com base em uma série de padrões lógicos distintos e não apenas um único padrão lógico (tal qual defendido no Tractatus). / The present dissertation has two goals. In the first place, we intend to construct a debate between Russell and Wittgenstein having the relation between logic and language as our master question. In particular, we seek to find elements in The Philosophy of Logical Atomism and the Tractatus Logico-Philosophicus to reconstruct the answer in each of the works for the questions: what is the logical status of the current language? What is the role of the logician as such? Secondly, we intend to present a card game – the Picture game- that we developed throughout the research and functions as an illustration of the Tractatus. Based on the game we will be able to understand some of the main theses of the work. In particular, the role of picture theory and the distinction between saying and showing as pillars of the tractarian explanation for the question about the logical functioning of language. Moreover, on the basis of the similarity between our picture game and Wittgenstein's explanation for the logical functioning of language, we will present a number of reasons for the failure of Wittgenstein's project. Finally, we will defend the thesis that our thinking operates on the basis of a series of distinct logical patterns and not just a single logical pattern (as defended in the Tractatus).