Pressuposição Antecedentes históricos
|
|
- Vitorino Castelo
- 5 Há anos
- Visualizações:
Transcrição
1 A suposta natureza pressuposicional dos performativos Pressuposição Antecedentes históricos Luiz Arthur Pagani 1
2 1 Frege sentido sem referência (acomodação) [1, p. 137]: A sentença Ulisses profundamente adormecido foi desembarcado em Ítaca tem, obviamente, um sentido. Mas, assim como é duvidoso que o nome Ulisses, que aí ocorre, tenha uma referência, assim também é duvidoso que a sentença inteira tenha uma referência. Entretanto, é certo que se alguém tomasse seriamente essa sentença como verdadeira ou falsa, também atribuiria ao nome Ulisses uma referência e não somente um sentido; pois é da referência deste nome que o predicado é afirmado ou negado. Todo aquele que não admite que um nome tenha uma referência não lhe pode atribuir nem negar um predicado. 2
3 nome próprio (argumento com lei de Morgan: (A B) A B) [2, p. 146]: Se algo é asserido, pressupõe-se obviamente que os nomes próprios usados, simples ou compostos, têm referência. Assim, ao se asserir Kepler morreu na miséria, pressupõe-se que o nome Kepler designa algo. Contudo, disso não se segue que o sentido da sentença Kepler morreu na miséria encerre o pensamento de que o nome Kepler designa alguma coisa. Se esse fosse o caso, a negação dessa sentença não seria mas Kepler não morreu na miséria Kepler não morreu na miséria, ou o nome Kepler carece de referência Aliás, que o nome Kepler designa algo é uma pressuposição tanto da asserção da sentença Kepler morreu na miséria como da asserção de sua negação. 3
4 subordinadas adverbiais temporais [2, ps , nota]: O sentido da sentença Depois que o Schleswig-Holstein se separou da Dinamarca, a Prússia e a Áustria se desentenderam pode ser expresso sob a forma Depois da separação do Schleswig-Holstein da Dinamarca, a Prússia e a Áustria se desentenderam. Segundo essa interpretação, é suficientemente claro que não deve ser tomado como parte desse sentido o pensamento de que o Schleswig-Holstein se separou um dia da Dinamarca, mas pelo contrário, que esse pensamento é a pressuposição necessária para que a expressão depois da separação do Schleswig-Holstein da Dinamarca tenha uma referência. 4
5 sem pressuposição nem V nem F [2, p. 149, nota]: imaginemo-nos na mente de um chinês que, tendo pouco conhecimento da história européia, acredita ser falso que o Schleswig-Holstein tenha alguma vez se separado Dinamarca. Ele irá tomar nossa sentença, em sua primeira versão, como não sendo nem verdadeira nem falsa, e negará que ela tenha qualquer referência, baseado na ausência de referência para a subordinada. 5
6 2 Russell contraposição à análise de Frege uma proposição não pode não ter valor de verdade (bivalência) forma gramatical forma lógica [6, p. 10]: uma expressão denotativa é essencialmente parte de uma sentença, e não tem, como muitas palavras simples, qualquer significação por conta própria. Se digo Scott foi um homem, este é um enunciado da forma x foi um homem, e tem Scott como seu sujeito. Mas se digo o autor de Waverley foi um homem, este não é um enunciado da forma x foi um homem e não tem o autor de Waverley como seu sujeito. 6
7 interpretação de o rei da França é careca (notação de [4]): x((rx y(ry x y)) Cx) ou x((rx y(ry x = y)) Cx). propostas de Russell para o rei da França não é careca : x((rx y(ry x y)) Cx) x((rx y(ry x y)) Cx) 7
8 mas: x((rx y(ry x y)) Cx) x ((Rx y(ry x y)) Cx) x... x... x( (Rx y(ry x y)) Cx) lei de Morgan x(( Rx y(ry x y)) Cx) lei de Morgan para todo indivíduo, ele não é rei da França ou existe um outro indivíduo que é rei da França ou ele não é careca ou seja, a primeira representação da negação já era suficiente; a segunda era desnecessária (não consigo lembrar de ninguém que tenha dito isso antes) 8
9 3 Strawson contra Russell e a favor de Frege não usa pressuposição no artigo [7], só no livro [8] referência significado [9, p. 157]: A origem do erro cometido por Russell encontra-se em que ele pensou que fazer referência ou mencionar a supor que isso tenha de fato ocorrido deve ser significar (must be meaning). exemplo imbatível [9, p. 157]: Se eu falo a respeito do meu lenço, posso, talvez, tirar do meu bolso o objeto a que estou fazendo referência. Mas não posso tirar do bolso a significação da expressão o meu lenço. 9
10 sem pressuposição nem V nem F [9, ps ]: Já apresentei algumas razões que fazem pensar que esses enunciados (statements) são incorretos. Suponhamos, agora, que alguém de fato nos dissesse, com um ar de perfeita seriedade: O rei da França é sábio. Responderíamos: Isso não é verdade? Estou certo que não. Mas suponhamos que essa pessoa prosseguisse e nos perguntasse se pensamos que aquilo que ela acaba de dizer é verdadeiro ou falso; se concordamos ou se discordamos com o que ela acaba de dizer. Creio que estaríamos inclinados a responder, com alguma hesitação, que nem uma coisa nem outra; que a questão de saber se o seu enunciado é verdadeiro ou falso simplesmente não se põe, visto não haver uma pessoa tal como o rei da França. 10
11 sentido atípico de implicar [9, p. 158]: Dizer O rei da França é sábio significa implicar (imply) (em algum sentido de implicar ) que existe um rei da França. Mas esse constitui um sentido muito especial e atípico (odd) de implicar. Implica, nesse sentido, não é certamente equivalente a implica logicamente (entails or logically implies ). pressuposição [8, p. 176; tradução minha]: a existência de membros da classe dos sujeitos é considerada como pressuposição (no sentido especial descrito aqui) das asseverações (statements) produzidas através do uso destas sentenças; ela é considerada como uma condição necessária não apenas da verdade, mas da verdade ou falsidade destas asseverações. 11
12 pré-condição para valor de verdade [9, p. 158]: ela será utilizada para fazer uma asserção verdadeira ou falsa somente se a pessoa que a utiliza está falando acerca de algo. Se, quando a pessoa a profere (utters), ela não está falando acerca de nada, então a sua utilização não é genuína, mas apenas uma utilização espúria ou uma pseudo-utilização: essa pessoa não está fazendo uma asserção verdadeira ou uma asserção falsa, embora possa pensar que esteja. 12
13 Referências [1] Gottlob Frege. Lógica e Filosofia da Linguagem. Edusp, São Paulo, 2a. edition, Traduzido por Paulo Alcoforado. [2] Gottlob Frege. Sobre o sentido e a referência. In Lógica e Filosofia da Linguagem [1], page Traduzido por Paulo Alcoforado. [3] Cezar A. Mortari. Introdução à Lógica. Editora UNESP & Imprensa Oficial do Estado, São Paulo, [4] Cezar A. Mortari. Introdução à Lógica. Editora UNESP, São Paulo, 2a. edition, (de [3], revista e ampliada). [5] Bertrand Russell. On denoting. Mind, 14: , [6] Bertrand Russell. Da denotação. In Os Pensadores Russell, page Nova Cultural, São Paulo, Traduzido por Pablo Rubén Mariconda, de [5]. [7] Peter F. Strawson. On referring. Mind, 59(235): , [8] Peter F. Strawson. Introduction to Logical Theory. Methuen, London, [9] Peter F. Strawson. Sobre referir. In Os Pensadores Ryle, Austin, Quine, Strawson, page Nova Cultural, São Paulo, Traduzido por Balthazar Barbosa Filho, de [7]. 13
A suposta natureza pressuposicional dos performativos. Luiz Arthur Pagani
A suposta natureza pressuposicional dos performativos Pressuposição semântica Luiz Arthur Pagani 1 1 Definição A acarreta B: A B B A A pressupõe B [8, p. 219]: A B A B questão técnica: quando A pressupõe
Leia maisReferência e termos singulares
Referência e termos singulares Carlos E. Caorsi * Tradução: Itamar Luís Gelain ** 1 Delimitação do problema 1 Entre os supostos existenciais assumidos pela lógica clássica se encontra o de que todo termo
Leia maisInterpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Signicado e verdade condições para verdadeiro ou falso: Como um argumento é (intuitivamente) válido se não é possível
Leia maisO que é o conhecimento?
Disciplina: Filosofia Ano: 11º Ano letivo: 2012/2013 O que é o conhecimento? Texto de Apoio 1. Tipos de Conhecimento No quotidiano falamos de conhecimento, de crenças que estão fortemente apoiadas por
Leia maisA sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
A sintaxe do cálculo de predicados (I), cap. 6 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Símbolos individuais alfabeto & gramática: para caracterizar uma linguagem formal necessitamos,
Leia maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
Leia maisA FILOSOFIA SEMÂNTICA TRADICIONAL: UMA ABORDAGEM ENTRE FREGE E RUSSELL
1 A FILOSOFIA SEMÂNTICA TRADICIONAL: UMA ABORDAGEM ENTRE FREGE E RUSSELL Bruno Fernandes de Oliveira 1 Resumo O objetivo deste artigo é apresentar o que Friedrich Ludwig Gottlob Frege (1848-1925) entende
Leia maisUma discussão sobre um certo tipo de proposição negativa. A discussion of a certain type of negative proposition
Uma discussão sobre um certo tipo de proposição negativa A discussion of a certain type of negative proposition Raphael Demos Traduzido por: Marcos Silva * Recebido em: 04/2015 Aprovado em: 04/2016 Neste
Leia maisDa Denotação. Bertrand Russell.*
Da Denotação. Bertrand Russell.* Entendo por expressão denotativa qualquer uma das seguintes expressões: um homem, algum homem, qualquer homem, cada homem, todos os homens, o atual rei da Inglaterra, o
Leia maisDO MUNDO PARA A LINGUAGEM: A VERDADE NO ATOMISMO LÓGICO DE RUSSELL
DO MUNDO PARA A LINGUAGEM: A VERDADE NO ATOMISMO LÓGICO DE RUSSELL From the world to the language: the truth in the logical atomism by Russell César Fernando Meurer* Resumo: Russell pensava que a estrutura
Leia maisReferência dinâmica. Luiz Arthur Pagani (UFPR)
Referência dinâmica Luiz Arthur Pagani (UFPR) 1 1 Introdução Motivo: sendo I uma função, ela não pode atribuir à mesma constante dois ou mais indivíduos [5, p. 160; grifo no original]. Com nome, argumento
Leia maisO Conceito de Pessoa em Peter F. Strawson 1. Resumo
O Conceito de Pessoa em Peter F. Strawson 1 Jacson Jonas Faller 2 I. Panorama Geral II. O Conceito de Pessoa como primitivo III. A Ideia de uma Mente de Grupo IV. Consideração Final Resumo O presente texto
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisde On Denoting: uma A teoria das descrições de Russell a partir explanação Resumo
A teoria das descrições de Russell a partir de On Denoting: uma explanação Jaaziel de Carvalho Costa Universidade Federal do Piauí Resumo No plano mais geral deste trabalho, pretendemos apresentar uma
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores
Leia maisMundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani
Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 Que tipo de estrutura de modelos é apropriada ou adequada para as línguas naturais? (p. 15) gramática
Leia maisREFERÊNCIA E DESCRIÇÕES DEFINIDAS DE KEITH DONNELLAN: INTRODUÇÃO AO TEXTO E TRADUÇÃO
REFERÊNCIA E DESCRIÇÕES DEFINIDAS DE KEITH DONNELLAN: INTRODUÇÃO AO TEXTO E TRADUÇÃO ["REFERENCE AND DEFINITE DESCRIPTIONS" BY KEITH DONNELLAN: INTRODUCTION TO TEXT AND TRANSLATION] Fernando Raul Neto
Leia maisGrice: querer dizer. Projecto de Grice: explicar a significação em termos de intenções.
Grice: querer dizer Referências: Grice, Paul, Meaning, in Studies in the Way of Words, Cambridge (Mas.), Harvard University Press, 1989, pp 213-223. Schiffer, Stephen, Meaning, Oxford, Oxford University
Leia maisDa utilização da Identidade em Lógica Clássica e algumas posições acerca de seu uso
31 Da utilização da Identidade em Lógica Clássica e algumas posições acerca de seu uso Luana Talita da Cruz 33 Resumo: Pretende-se apresentar a introdução do sinal de identidade em Lógica Clássica, através
Leia maisNegação em Logical Forms.
Negação em Logical Forms 125 Oswaldo Chateaubriand 1 Negação em Logical Forms Negação em Logical Forms. Oswaldo Chateaubriand Resumo Neste artigo enumero e discuto brevemente algumas teses centrais de
Leia maisRESENHA DE: FREGE, GOTTLOB. (1892). SOBRE O SENTIDO E A REFERÊNCIA
RESENHA DE: FREGE, GOTTLOB. (1892). SOBRE O SENTIDO E A REFERÊNCIA. IN: ALCOFORADO, PAULO (ORG. E TRAD.). LÓGICA E FILOSOFIA DA LINGUAGEM. SÃO PAULO, CULTRIX/EDUSP, 1978. Rodrigo Reis Lastra Cid * Introdução
Leia maisTeorias Filosóficas da Linguagem (100587)
Universidade de Brasília Instituto de Ciências Humanas Departamento de Filosofia Prof. Dr. Felipe Amaral felipeamaral20@gmail.com Turma B 2as e 4as: 19h00-20h40 (aulas teóricas) 2019/1 Teorias Filosóficas
Leia maisA AUTORIDADE DE PRIMEIRA PESSOA, NO TEMPO PRESENTE: A ESCUTA E A INTERPRETAÇÃO DA ESCUTA
A AUTORIDADE DE PRIMEIRA PESSOA, NO TEMPO PRESENTE: A ESCUTA E A INTERPRETAÇÃO DA ESCUTA Mariluze Ferreira de Andrade e Silva Laboratório de Lógica e Epistemologia DFIME - UFSJ Resumo: Propomos investigar
Leia maisLógica. História da Lógica
1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,
Leia maisO atual rei da França é calvo
FILOSOFIA ANALÍTICA E FILOSOFIA CLÍNICA: ONDE ELAS SE ENCONTRAM? 1 Mariluze Ferreira de Andrade e Silva Departamento de Filosofia e Métodos UFSJ Laboratório de Lógica e Epistemologia UFSJ A Linguagem como
Leia maisGramática de Montague
Gramática de Montague Apresentação Inicial Luiz Arthur Pagani 1 There is in my opinion no important theoretical dierence between natural languages and the articial languages of logicians; indeed I consider
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisPENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aulas 7 e 8 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Avaliação lógica de argumentos: há, entre as premissas e a conclusão, uma conexão apropriada? As
Leia maisRELAÇÕES%DE%PRESSUPOSIÇÃO%E%ACARRETAMENTO%NA%COMPREENSÃO% DE%TEXTOS% PRESUPPOSITION%AND%ENTAILMENT%RELATIONS%IN%TEXT% COMPREHENSION%
RELAÇÕESDEPRESSUPOSIÇÃOEACARRETAMENTONACOMPREENSÃO DETEXTOS PRESUPPOSITIONANDENTAILMENTRELATIONSINTEXT COMPREHENSION KarinaHufdosReis 1 RESUMO: Partindo das definições de pressuposição e acarretamento,
Leia maisWITTGENSTEIN E A NOÇÃO MINIMALISTA DA VERDADE 1. INTRODUÇÃO
WITTGENSTEIN E A NOÇÃO MINIMALISTA DA VERDADE PEREIRA, Julio Henrique Carvalho ; DO CARMO, Juliano Santos Universidade Federal de Pelotas juliohenrique-pereira@hotmail.com Universidade Federal de Pelotas
Leia maisLógica de Predicados
Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x
Leia maisATA/TO AOCP Resolução: Inicialmente, representaremos o que foi dado pelo enunciado:
ATA/TO AOCP - 2012 01. Considere três conjuntos finitos X, Y e Z. Sabendo que I. X Y tem 16 elementos; II. X Z tem 7 elementos e III. X Y Z tem 2 elementos. O número de elementos de (Y U Z) X é (A) 2.
Leia maisUnidade II ADMINISTRAÇÃO. Prof. José Junior
Unidade II ADMINISTRAÇÃO INTERDISCIPLINAR Prof. José Junior Decisão multicritério Quando alguém toma uma decisão com base em um único critério, por exemplo, preço, a decisão é fácil de tomar. Quando os
Leia maisFilosofia da Linguagem. Adriano Naves de Brito. Universidade Federal de Goiás
Filosofia da Linguagem Adriano Naves de Brito Universidade Federal de Goiás [Publicado originalmente no portal www.filosofia.org.br, de responsabilidade de P. Ghiraldelli Jr.] As correntes filosóficas
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisA LINGUAGEM NO TRACTATUS DE WITTGENSTEIN. Bruno Senoski do Prado (PIBIC), Marciano Adilio Spica (Orientador),
A LINGUAGEM NO TRACTATUS DE WITTGENSTEIN. Bruno Senoski do Prado (PIBIC), Marciano Adilio Spica (Orientador), e-mail: marciano.spica@gmail.com Universidade Estadual do Centro-Oeste, Setor de Ciências Humanas,
Leia maisNomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani
Nomes e sintagmas nominais, aula 3 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 crença de que a estrutura lógica das línguas naturais não é igual à das línguas articiais da lógica:
Leia maisLógica. Abílio Rodrigues. FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho.
Lógica Abílio Rodrigues FILOSOFIAS: O PRAZER DO PENSAR Coleção dirigida por Marilena Chaui e Juvenal Savian Filho São Paulo 2011 09 Lógica 01-08.indd 3 4/29/11 2:15 PM 1. Verdade, validade e forma lógica
Leia maisO conceito de referência na obra de P.F. Strawson e S.Kripke e a teoria contratual da referência na semiótica de Umberto Eco
O conceito de referência na obra de P.F. Strawson e S.Kripke e a teoria contratual da referência na semiótica de Umberto Eco Prof. Dr. Jones Alberto de Almeida (UFF) Resumo : O texto expõe a dificuldade
Leia maisINTRODUÇÃO A LÓGICA. Prof. André Aparecido da Silva Disponível em:
INTRODUÇÃO A LÓGICA Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas 1 CIENCIA E LÓGICA RACIOCINIO LÓGICO NOTAÇÃO POSICIONAL PRINCIPIOS DA LÓGICA CONECTIVOS LÓGICOS REGRAS DE
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Negando quantificadores agrupados (Rosen 57) Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen (59) 9) Considere
Leia maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisÁrea de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01. SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores)
Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores) Leitura necessária: Matemática Discreta e Suas Aplicações, 6 a Edição
Leia maisSobre o que Não Há. não-designatividade e tradição matemática
Sobre o que Não Há não-designatividade e tradição matemática Daniel Durante Pereira Alves Departamento de Filosofia UFRN Universidade Federal do Rio Grande do Norte e-mail: durante@ufrnet.br Expressão
Leia maisA Concepção da Verdade-como-Correspondência
374 A Concepção da Verdade-como-Correspondência Renato Machado Pereira * RESUMO O artigo tem por finalidade descrever as características principais de uma teoria da verdadecomo-correspondência. Dizer apenas
Leia maisPENSAMENTO CRÍTICO. Aula 4. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aula 4 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Conceitos trabalhados até aqui: Inferência; Premissa; Conclusão; Argumento; Premissa Básica; Premissa
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisLógica e Raciocínio. Introdução. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Introdução 1 Lógica... é a ciência que estuda os princípios e aproximações para estabelecer a validez da inferência e demonstração:
Leia maisPreliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Linguagens linguagem: sistema de símbolos que serve como meio de comunicação (p. 31) articial natural: isso não se restringe
Leia maisA Teoria das descrições de Bertrand Russell
A Teoria das descrições de Bertrand Russell CERQUEIRA, João Luiz Cosmi [1] CERQUEIRA, João Luiz Cosmi. A Teoria das Descrições de Bertrand Russell. Revista Científica Multidisciplinar Núcleo do Conhecimento.
Leia maisParte da disciplina a cargo de Alberto Oliva
Disciplina: Lógica I (FCM 700 /FCM 800) Docentes: Guido Imaguire /Alberto Oliva Horário: terça-feira, das 14:00h às 17:00h Tema: Lógica Parte da disciplina a cargo de Alberto Oliva 1) Programa Conhecimento:
Leia maisQuine e Davidson. Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo
Quine e Davidson Tradução radical, indeterminação, caridade, esquemas conceituais e os dogmas do empirismo Historiografia e Filosofia das Ciências e Matemática ENS003 Prof. Valter A. Bezerra PEHFCM UFABC
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisNo. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)
Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores Agrupados Prioridade dos Quantificadores
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisLógica de Predicados. Correção dos Exercícios
Lógica de Predicados Correção dos Exercícios Conteúdo Correção Exercícios Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen 58 1) Transcreva as proposições para
Leia maisConclusão. positivo, respectivamente, à primeira e à terceira questões. A terceira questão, por sua vez, pressupõe uma resposta positiva à primeira.
Conclusão Procuramos, ao longo deste trabalho, responder às seguintes perguntas sobre negação e propriedades negadas 1 : (i) É legítima a distinção entre negação predicativa e negação proposicional? (ii)
Leia maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisA CONCEPÇÃO RUSSELIANA SOBRE FRASES EXISTENCIAIS
A CONCEPÇÃO RUSSELIANA SOBRE FRASES EXISTENCIAIS João de Jesus Barbosa 1 Valdetônio Pereira de Alencar 2 1. As interpretações do verbo existir e suas consequências ontológicas A partir das ferramentas
Leia maisMatemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Leia maisBIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisTeorias Filosóficas da Linguagem (100587)
Universidade de Brasília Instituto de Ciências Humanas Departamento de Filosofia Prof. Dr. Felipe Amaral felipeamaral20@gmail.com Turma B 2as e 4as: 19h00-20h40 (aulas teóricas) 2017/1 Teorias Filosóficas
Leia maisTeorias Filosóficas da Linguagem (100587)
Universidade de Brasília Instituto de Ciências Humanas Departamento de Filosofia Prof. Dr. Felipe Amaral felipeamaral20@gmail.com Turma A 2as e 4as: 14h00-15h50 (aulas teóricas) 2017/1 Teorias Filosóficas
Leia maisNOMES PRÓPRIOS John Searle
NOMES PRÓPRIOS John Searle Nomes próprios têm sentido? Frege 80 argumenta que devem ter, pois, de outro modo, o que mais as declarações [statements] 81 de identidade poderiam ser, ele se pergunta, se não
Leia maisConjuntos, cap. 4 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
Conjuntos, cap. 4 de Introdução à Lógica (Mortari 00) Luiz Arthur Pagani Caracterização de conjuntos conjunto coleção de objetos: A idéia básica é de que conjuntos são coleções de objetos. (Outros termos
Leia maisAula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação
Leia maisNeste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.
Somo Gilda de La Roque Palis e Iaci Malta PUC - RJ Em sua autobiografia, Carl Gustav Jung 1, um dos grandes pensadores da Psicanálise, lembrando de seus tempos de colégio, diz:... o que mais me irritava
Leia maisFREGE E RUSSEL: A QUESTÃO DO PRESSUPOSTO
FREGE E RUSSEL: A QUESTÃO DO PRESSUPOSTO Lauro José Siqueira Baldini UNIVÁS RESUMO: Este artigo traz uma reflexão sobre o conceito de pressuposto, tal como ele é apresentado por Gottlob Frege e Bertrand
Leia maisnós, é melhor não escrever sobre uma teoria do que escrever superficialmente sobre ela.
1 Introdução A tese trata da teoria das descrições definidas de Bertrand Russell. Mais precisamente, ela trata de dois debates gerados pela teoria de Russell. O primeiro se dá entre russellianos e teóricos
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças. Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem
Leia maisLógica Computacional
Lógica Computacional Conectores Booleanos Negação, Conjunção e Disjunção Tradução de Linguagem Natural Fórmulas de 1ª ordem Definição indutiva 22 Setembro 2014 Lógica Computacional 1 Conectores Booleanos
Leia maisAlgoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12
APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações
Leia maisn. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Leia maisConteúdo. Correção Exercícios Revisão para Prova
Conteúdo Correção Exercícios Revisão para Prova Rosen 58 1) Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais. a) x y (x
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia maisUnidade: Proposições Logicamente Equivalentes. Unidade I:
Unidade: Proposições Logicamente Equivalentes Unidade I: 0 Unidade: Proposições Logicamente Equivalentes Nesta unidade, veremos a partir de nossos estudos em tabelas-verdade as proposições logicamente
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisO que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo
Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais
Leia maisSOBRE FREGE. Luiz Hebeche
SOBRE FREGE Luiz Hebeche Resumo: neste artigo trataremos de algumas passagens marcantes da obra de Frege principalmente no que diz respeito às sentenças diretas e indiretas. O artigo culmina explicitando
Leia maisDEUS: CONCEITO NÃO-DISTRIBUTIVO DE SEGUNDA ORDEM?
DEUS: CONCEITO NÃO-DISTRIBUTIVO DE SEGUNDA ORDEM? Edgar Marques UERJ/CNPq Abstract: In this paper I argue against Guido Imaguire s attempt of solving the christian mistery of the trinity by considering
Leia maisCírculo Fluminense de Estudos Filológicos e Linguísticos
A LOGICIDADE APRIORÍSTICA DA LINGUAGEM Alexandre da Silva de Melo (UFT) alexandremleo95@gmail.com Luiz Roberto Peel Furtado de Oliveira (UFT) luizpeel@uft.edu.br RESUMO A lógica pode ser compreendida como
Leia maisArgumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
Leia maisIntrodução ao CQC, cap. 5 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani
Introdução ao CQC, cap. 5 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 cálculo de predicados de primeira ordem: quanticação sobre indivíduos segunda ordem: quanticação de propriedades e de
Leia maisFILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS
FILOSOFIA - ENADE 2005 PADRÃO DE RESPOSTAS QUESTÕES DISCURSIVAS QUESTÃO - 36 Esperava-se que o estudante estabelecesse a distinção entre verdade e validade e descrevesse suas respectivas aplicações. Item
Leia maisfilosofia, 2, NORMORE, C. Some Aspects of Ockham s Logic, p. 34.
Introdução Na Idade Média, a lógica foi concebida como a ciência da razão (scientia rationalis) ou como a ciência do discurso (scientia sermocinalis). Em geral, a primeira concepção distingue-se por identificar
Leia maisRevista do Centro de Educação e Letras TEXTOS BÁSICOS DE LINGUAGEM. DE PLATÃO A FOUCAULT.
Ideação Revista do Centro de Educação e Letras TEXTOS BÁSICOS DE LINGUAGEM. DE PLATÃO A FOUCAULT. MARCONDES, Danilo. Textos básicos de linguagem em.. De Platão a Foucault. Rio de Janeiro: o: Zahar,, 2010.
Leia maisIntrodução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo
Leia maisOs Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Leia maisDuração da Prova: 120 minutos. Tolerância: 30 minutos.
EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30
Leia maisFALÁCIAS Sobre como não argumentar. Julian Dutra Filosofia 2017
FALÁCIAS Sobre como não argumentar. Julian Dutra Filosofia 2017 O QUE SÃO AS FALÁCIAS? FALÁCIAS são formas de raciocínio que são incorretas do ponto de vista lógico. Com frequência, porém, as falácias
Leia maisPENSAMENTO CRÍTICO. Aula 3. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aula 3 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Inferir é concluir, é extrair informação nova a partir de raciocínio, do encadeamento de informações disponíveis.
Leia mais