Compromisso Ontológico
|
|
|
- Thiago Nobre Sequeira
- 7 Há anos
- Visualizações:
Transcrição
1 Compromisso Ontológico objeções e respostas Daniel Durante Pereira Alves Universidade Federal do Rio Grande do Norte - (Brasil) LanCog Group - Universidade de Lisboa - (Portugal) durante@ufrnet.br XVII Encontro Brasileiro de Lógica Petrópolis abril de 2014 XVII Encontro Brasileiro de Lógica Petrópol Daniel Durante Pereira Alves (Universidade Federal Compromisso do Rio Grande Ontológico do Norte objeções - (Brasil) e respostas LanCog Group - Universidade de Lisboa - (Portu /52
2 Compromisso Ontológico: objeções e respostas Divergências sobre ontologia, sobre o que existe, são tão básicas que tendem a dificultar ou até bloquear o diálogo entre os antagonistas. Os intermináveis debates entre crentes e ateus, ou entre realistas e nominalistas são apenas dois tipos exemplo. Interessado em contribuir para a inteligibilidade do debate sobre ontologia, W. V. Quine, em 1939, iniciou uma série de trabalhos em que apresenta a noção de compromisso ontológico e propõe um critério supostamente objetivo para identificar as condições exatas em que a um certo discurso teórico (e portanto a seus proponentes) pode ser imputada uma suposição de existência. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
3 Compromisso Ontológico: objeções e respostas O critério de Quine, para ser aplicado, exige a formalização das teorias e admite como instrumentos formais apenas a teoria de conjuntos NF e a lógica clássica de primeira ordem, em uma linguagem sem constantes individuais. Regimentada nesta notação canônica uma teoria interpretada T compromete-se ontologicamente com o que a interpretação aponta como os valores de x que a verdade de seus teoremas existenciais (com a forma 9x '(x) ) exige. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
4 Compromisso Ontológico: objeções e respostas O critério de Quine, para ser aplicado, exige a formalização das teorias e admite como instrumentos formais apenas a teoria de conjuntos NF e a lógica clássica de primeira ordem, em uma linguagem sem constantes individuais. Regimentada nesta notação canônica uma teoria interpretada T compromete-se ontologicamente com o que a interpretação aponta como os valores de x que a verdade de seus teoremas existenciais (com a forma 9x '(x) ) exige. Apesar das reflexões de Quine sobre compromisso ontológico terem tido forte influência na tradição anaĺıtica da filosofia, seu critério foi alvo de várias objeções ao longo dos anos. Pretendo apresentar e responder a quatro objeções (1-Alston, 2-Searle, 3-Rayo e 4-Azzouni) cujo tratamento ajuda a esclarecer a noção de compromisso ontológico e a sua relação com a filosofia da linguagem, a metafísica e a lógica. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
5 OcritériodeCompromissoOntológicodeQuine CCO Logic and The Reification of Universals (1961)* [E]ntidades de um dado tipo são assumidas por uma teoria se e somente se algumas delas devem ser contadas entre os valores das variáveis para que as declarações afirmadas na teoria sejam verdadeiras. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
6 OcritériodeCompromissoOntológicodeQuine CCO Logic and The Reification of Universals (1961)* [E]ntidades de um dado tipo são assumidas por uma teoria se e somente se algumas delas devem ser contadas entre os valores das variáveis para que as declarações afirmadas na teoria sejam verdadeiras. Se, além disso, considerarmos que Quine está se referindo a teorias formalizadas na lógica clássica de primeira ordem, e que portanto as variáveis citadas são variáveis individuais, podemos reformular o critério de Quine como: Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
7 OcritériodeCompromissoOntológicodeQuine CCO Logic and The Reification of Universals (1961)* [E]ntidades de um dado tipo são assumidas por uma teoria se e somente se algumas delas devem ser contadas entre os valores das variáveis para que as declarações afirmadas na teoria sejam verdadeiras. Se, além disso, considerarmos que Quine está se referindo a teorias formalizadas na lógica clássica de primeira ordem, e que portanto as variáveis citadas são variáveis individuais, podemos reformular o critério de Quine como: CCO formulação alternativa T compromete-se ontologicamente com Ps () T 9x P(x) Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
8 Por exemplo... Neste mesmo artigo (LRU) Quine afirma que quando dizemos simplesmente que alguns cachorros são brancos, 1 9x (Cachorro(x) ^ Branco(x)) Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
9 Por exemplo... Neste mesmo artigo (LRU) Quine afirma que quando dizemos simplesmente que alguns cachorros são brancos, 1 9x (Cachorro(x) ^ Branco(x)) não nos comprometemos com entidades abstratas tais como a cachorridade ou a brancura. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
10 Por exemplo... Neste mesmo artigo (LRU) Quine afirma que quando dizemos simplesmente que alguns cachorros são brancos, 1 9x (Cachorro(x) ^ Branco(x)) não nos comprometemos com entidades abstratas tais como a cachorridade ou a brancura. Compromisssos com versões destas entidades abstratas só são assumidos quando afirmamos explicitamente que: 2 9x(x2 cachorridade ^ x 2 brancura) Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
11 Ou melhor... Como não há nomes (constantes individuais) na notação canônica... Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
12 Ou melhor... Como não há nomes (constantes individuais) na notação canônica x(x2 cachorridade ^ x 2 brancura) (deve ser escrita como: +) 3 9x(9y(Cachorridade(y)^8z(Cachorridade(z)! (y = z)) ^ x 2 y) ^9z(Brancura(z)^8w(Brancura(w)! (z = w)) ^ x 2 z)) Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
13 Ou melhor... Como não há nomes (constantes individuais) na notação canônica x(x2 cachorridade ^ x 2 brancura) (deve ser escrita como: +) 3 9x(9y(Cachorridade(y)^8z(Cachorridade(z)! (y = z)) ^ x 2 y) ^9z(Brancura(z)^8w(Brancura(w)! (z = w)) ^ x 2 z)) Aqui há compromissos ontológicos com a cachorridade e a brancura (entendidas como classes dos cachorros e das coisas brancas), porque estas classes são os valores das variáveis y e z exigidos para tornar a sentença (3) verdadeira. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
14 Ou melhor... Como não há nomes (constantes individuais) na notação canônica x(x2 cachorridade ^ x 2 brancura) (deve ser escrita como: +) 3 9x(9y(Cachorridade(y)^8z(Cachorridade(z)! (y = z)) ^ x 2 y) ^9z(Brancura(z)^8w(Brancura(w)! (z = w)) ^ x 2 z)) Aqui há compromissos ontológicos com a cachorridade e a brancura (entendidas como classes dos cachorros e das coisas brancas), porque estas classes são os valores das variáveis y e z exigidos para tornar a sentença (3) verdadeira. Cachorro é o predicado satisfeito por todos e apenas os cachorros Cachorridade éopredicadosatisfeitoapenaspelaentidadequeéaclassede todos os cachorros. Ou seja: 9!y (Cachorridade(y) ^ (8x (Cachorro(x) $ x 2 y). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
15 Algumas Críticas ao CCO de Quine Cartwright(1954) e a intensionalidade do critério de Quine 1 Alston(1958) e a impossibilidade da redução ontológica. 2 Searle(1969) e o desaparecimento de compromissos ontológicos. 3 Rayo(2007) e as propriedades extrínsecas. 4 Azzouni(1998) e os predicados alternativos de existência. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
16 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
17 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica As críticas de Alston(1958), e também de Jackson(1980), Hodges(1970), Humphries(1980), Glock(2002), entre outras, dirigem-se tanto às dificuldades impostas pela exigência de regimentação formal para a aplicação do critério, quanto à dúvida de que se possa fazer redução ontológica através de paráfrase. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
18 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica As críticas de Alston(1958), e também de Jackson(1980), Hodges(1970), Humphries(1980), Glock(2002), entre outras, dirigem-se tanto às dificuldades impostas pela exigência de regimentação formal para a aplicação do critério, quanto à dúvida de que se possa fazer redução ontológica através de paráfrase. Nos dois pares de sentenças abaixo, a segunda supostamente representa uma redução ontológica da primeira: Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
19 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica As críticas de Alston(1958), e também de Jackson(1980), Hodges(1970), Humphries(1980), Glock(2002), entre outras, dirigem-se tanto às dificuldades impostas pela exigência de regimentação formal para a aplicação do critério, quanto à dúvida de que se possa fazer redução ontológica através de paráfrase. Nos dois pares de sentenças abaixo, a segunda supostamente representa uma redução ontológica da primeira: 1 Há uma possibilidade de que James venha. 2 AasserçãodequeJamesviránãoéindubitavelmentefalsa. 3 9x(x2 cachorridade ^ x 2 brancura) 4 9x (Cachorro(x) ^ Branco(x)) Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
20 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica 1 Há uma possibilidade de que James venha. 2 AasserçãodequeJamesviránãoéindubitavelmentefalsa. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
21 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica 1 Há uma possibilidade de que James venha. 2 AasserçãodequeJamesviránãoéindubitavelmentefalsa. Alston(1958) - Ontological Commitments Se um homem admite (assere) a existência de possibilidades, isto depende de que declarações ele faz, não de quais sentenças ele usa para fazer suas declarações. [...] É uma questão do que ele diz, não de como ele diz. Ele não pode rejeitar sua admissão simplesmente mudando suas palavras. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
22 Primeira Objeção (Alston) eaimpossibilidadedareduçãoontológica 1 Há uma possibilidade de que James venha. 2 AasserçãodequeJamesviránãoéindubitavelmentefalsa. Alston(1958) - Ontological Commitments Se um homem admite (assere) a existência de possibilidades, isto depende de que declarações ele faz, não de quais sentenças ele usa para fazer suas declarações. [...] É uma questão do que ele diz, não de como ele diz. Ele não pode rejeitar sua admissão simplesmente mudando suas palavras. Segundo Alston, se (2) diz o mesmo que (1), então ou ambas se comprometem com a existência de possibilidades ou nenhuma se compromete. Nossos compromissos ontológicos deveriam depender apenas do que dizemos e não de como dizemos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
23 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
24 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia Este tipo de crítica, no entanto, funda-se em uma suposição equivocada de que a redução ontológica exige sinonímia. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
25 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia Este tipo de crítica, no entanto, funda-se em uma suposição equivocada de que a redução ontológica exige sinonímia. A regimentação na notação canônica requer escolhas sobre como resolver as ambiguidades do discurso em linguagem natural. E muitas destas escolhas são relacionadas à ontologia. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
26 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia Este tipo de crítica, no entanto, funda-se em uma suposição equivocada de que a redução ontológica exige sinonímia. A regimentação na notação canônica requer escolhas sobre como resolver as ambiguidades do discurso em linguagem natural. E muitas destas escolhas são relacionadas à ontologia. 1 Há uma possibilidade de que James venha. 2 AasserçãodequeJamesviránãoéindubitavelmentefalsa. Se (1 ) e (2 ) forem versões regimentadas de (1) e (2) em que (1 ), para ser verdadeira, exige que possibilidades estejam entre os valores de suas variáveis e (2 ) não faz esta exigência, então (1 ) e (2 ) não serão sinônimas, pois não farão a mesma declaração, não dirão a mesma coisa. (1 ) assumirá a existência de possibilidades e (2 ) não. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
27 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia 3 9x(x2 cachorridade ^ x 2 brancura) 4 9x (Cachorro(x) ^ Branco(x)) De acordo com o critério de Quine, (3*) assume a existência da cachorridade e da brancura, e (4) não. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
28 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia 3 9x(x2 cachorridade ^ x 2 brancura) 4 9x (Cachorro(x) ^ Branco(x)) De acordo com o critério de Quine, (3*) assume a existência da cachorridade e da brancura, e (4) não. As ambiguidades da linguagem natural fazem com que as sentenças não sejam totalmente claras com relação à ontologia que assumem, mas suas versões regimentadas, como (3) e (4) não são apenas sentenças distintas, mas também fazem declarações distintas, com compromissos ontológicos distintos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
29 Resposta à Primeira Objeção A redução ontológica não pressupõe sinonímia 3 9x(x2 cachorridade ^ x 2 brancura) 4 9x (Cachorro(x) ^ Branco(x)) De acordo com o critério de Quine, (3*) assume a existência da cachorridade e da brancura, e (4) não. As ambiguidades da linguagem natural fazem com que as sentenças não sejam totalmente claras com relação à ontologia que assumem, mas suas versões regimentadas, como (3) e (4) não são apenas sentenças distintas, mas também fazem declarações distintas, com compromissos ontológicos distintos. Não se trata, como alega Alston, de dizer a mesma coisa de modos diferentes, mas de dizer coisas diferentes, de ter dito mais onde se poderia dizer menos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
30 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
31 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos A objeção de Searle é da mesma natureza que a objeção de Alston. Ataca a regimentação e paráfrase como os métodos linguísticos e formais incapazes de resolver questões substantivas de ontologia. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
32 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos A objeção de Searle é da mesma natureza que a objeção de Alston. Ataca a regimentação e paráfrase como os métodos linguísticos e formais incapazes de resolver questões substantivas de ontologia. Searle(1969) - Speech acts: an essay in the philosophy of language Quero agora [...] atacar a própria noção de um critério de compromisso ontológico puramente objetivo ou notacional, mostrando que se o levarmos realmente a sério podemos mostrar que qualquer compromisso ontológico é apenas aparente, simplesmete parafraseando-o. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
33 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos Serle sugere que consideremos: K : conjunção das sentenças que afirmam todo o conhecimento científico Opredicado P definido como: P(x) = df (x = estacaneta) ^ K Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
34 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos Serle sugere que consideremos: K : conjunção das sentenças que afirmam todo o conhecimento científico Opredicado P definido como: P(x) = df (x = estacaneta) ^ K 1 K (hipótese) 2 estacaneta = estacaneta =Intro 3 (estacaneta = estacaneta) ^ K ^Intro 1,2 4 P(estacaneta) def. de P em 3 5 9xP(x) 9Intro 4 Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
35 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos Serle sugere que consideremos: K : conjunção das sentenças que afirmam todo o conhecimento científico Opredicado P definido como: P(x) = df (x = estacaneta) ^ K 1 K (hipótese) 2 estacaneta = estacaneta =Intro 3 (estacaneta = estacaneta) ^ K ^Intro 1,2 4 P(estacaneta) def. de P em 3 5 9xP(x) 9Intro 4 Searle alega ter assim demonstrado que a asserção de todo o conhecimento científico compromete-se ontologicamente apenas com esta caneta (estacaneta). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
36 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos K : conjunção das sentenças que afirmam todo o conhecimento científico P(x) = df (x = estacaneta) ^ K À primeira vista pode até parecer que Searle tem razão, afinal o valor que x deve ter para que 9xP(x) seja verdadeira é unica e exclusivamente esta caneta (a referência do nome estacaneta ). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
37 Segunda Objeção (Searle) eodesaparecimentodoscompromissosontológicos K : conjunção das sentenças que afirmam todo o conhecimento científico P(x) = df (x = estacaneta) ^ K À primeira vista pode até parecer que Searle tem razão, afinal o valor que x deve ter para que 9xP(x) seja verdadeira é unica e exclusivamente esta caneta (a referência do nome estacaneta ). Então, de acordo com o critério de Quine, 9xP(x) parece comprometer-se ontologicamente apenas com esta caneta. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
38 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
39 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Há, no entanto, uma falha evidente no argumento de Searle. Uma maneira de mostrá-la é através da seguinte prova: Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
40 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Há, no entanto, uma falha evidente no argumento de Searle. Uma maneira de mostrá-la é através da seguinte prova: K : conjunção das sentenças que afirmam todo o conhecimento científico P(x) = df (x = estacaneta) ^ K 1 9x P(x) (hipótese) 2 9x((x=estacaneta)^ K) def. de P em 1 3 a (a = estacaneta) ^ K 4 K ^Elimin em 3 5 K 9Elimin em 2 e 3 4 Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
41 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Searle parece esquecer que são teorias e não sentenças que têm compromissos ontológicos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
42 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Searle parece esquecer que são teorias e não sentenças que têm compromissos ontológicos. Encarada como teoria, 9x P(x) terá além do compromisso ontológico com esta caneta, que ela própria torna expĺıcito, todos os compromissos ontológicos de suas consequências. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
43 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Searle parece esquecer que são teorias e não sentenças que têm compromissos ontológicos. Encarada como teoria, 9x P(x) terá além do compromisso ontológico com esta caneta, que ela própria torna expĺıcito, todos os compromissos ontológicos de suas consequências. Então a prova apresentada mostra que 9x P(x) tem todos os compromissos ontológicos de K e ainda mais um: esta caneta. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
44 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Searle parece esquecer que são teorias e não sentenças que têm compromissos ontológicos. Encarada como teoria, 9x P(x) terá além do compromisso ontológico com esta caneta, que ela própria torna expĺıcito, todos os compromissos ontológicos de suas consequências. Então a prova apresentada mostra que 9x P(x) tem todos os compromissos ontológicos de K e ainda mais um: esta caneta. Não há, portanto, qualquer eliminação de compromissos ontológicos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
45 Resposta à Segunda Objeção os compromissos ontológicos se escondem, mas não desaparecem Searle parece esquecer que são teorias e não sentenças que têm compromissos ontológicos. Encarada como teoria, 9x P(x) terá além do compromisso ontológico com esta caneta, que ela própria torna expĺıcito, todos os compromissos ontológicos de suas consequências. Então a prova apresentada mostra que 9x P(x) tem todos os compromissos ontológicos de K e ainda mais um: esta caneta. Não há, portanto, qualquer eliminação de compromissos ontológicos. Independentemente de quais são os compromissos ontológicos de K e de quão acuradamente bem eles representam os compromissos ontológicos de toda a ciência, o argumento de Searle seria bem sucedido se ele de fato tivesse mostrado que sua construção de 9x P(x) anula todos os compromissos ontológicos de K, substituindo-os por um único. Vimos, no entanto, que isto não ocorre. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
46 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
47 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Condições de verdade de uma sentença: São as demandas que a verdade da sentença impõe ao mundo. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
48 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Condições de verdade de uma sentença: São as demandas que a verdade da sentença impõe ao mundo. Compromissos ontológicos de uma sentença: São a parte (ou aspecto) das condições de verdade da sentença que concerne à ontologia, ao que há. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
49 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Condições de verdade de uma sentença: São as demandas que a verdade da sentença impõe ao mundo. Compromissos ontológicos de uma sentença: São a parte (ou aspecto) das condições de verdade da sentença que concerne à ontologia, ao que há. Os compromissos ontológicos são aquilo que a verdade da sentença demanda que exista. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
50 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Condições de verdade de uma sentença: São as demandas que a verdade da sentença impõe ao mundo. Compromissos ontológicos de uma sentença: São a parte (ou aspecto) das condições de verdade da sentença que concerne à ontologia, ao que há. Os compromissos ontológicos são aquilo que a verdade da sentença demanda que exista. O critério de Quine tem problemas para se adequar à noção de compromisso ontológico de Rayo, porque a afirmação 9x P(x), por exemplo, muitas vezes demandará mais do mundo, do ponto de vista ontológico, do que meramente a existência de Ps. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
51 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Rayo(2007) - Ontological Commitment O critério de Quine pode degenerar quando a linguagem contém predicados atômicos que expressam propriedades extrínsecas. Parte do que é ser uma filha é ter pais. Então a verdade de 9xFilha(x) demanda do mundo que haja pais. Mas pais não precisam estar entre os valores das variáveis para que 9xFilha(x) seja verdadeira. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
52 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Rayo(2007) - Ontological Commitment O critério de Quine pode degenerar quando a linguagem contém predicados atômicos que expressam propriedades extrínsecas. Parte do que é ser uma filha é ter pais. Então a verdade de 9xFilha(x) demanda do mundo que haja pais. Mas pais não precisam estar entre os valores das variáveis para que 9xFilha(x) seja verdadeira. As únicas entidades que precisam ser assumidas como valores de x para que 9xFilha(x) seja verdadeira são filhas. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
53 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Rayo(2007) - Ontological Commitment O critério de Quine pode degenerar quando a linguagem contém predicados atômicos que expressam propriedades extrínsecas. Parte do que é ser uma filha é ter pais. Então a verdade de 9xFilha(x) demanda do mundo que haja pais. Mas pais não precisam estar entre os valores das variáveis para que 9xFilha(x) seja verdadeira. As únicas entidades que precisam ser assumidas como valores de x para que 9xFilha(x) seja verdadeira são filhas. Então, segundo o critério de Quine, 9x Filha(x) compromete-se ontologicamente apenas com filhas. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
54 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Rayo(2007) - Ontological Commitment O critério de Quine pode degenerar quando a linguagem contém predicados atômicos que expressam propriedades extrínsecas. Parte do que é ser uma filha é ter pais. Então a verdade de 9xFilha(x) demanda do mundo que haja pais. Mas pais não precisam estar entre os valores das variáveis para que 9xFilha(x) seja verdadeira. As únicas entidades que precisam ser assumidas como valores de x para que 9xFilha(x) seja verdadeira são filhas. Então, segundo o critério de Quine, 9x Filha(x) compromete-se ontologicamente apenas com filhas. Mas a existência de filhas demanda a existência de pais (prop. extrínseca). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
55 Terceira Objeção (Rayo) eoproblemadaspropriedadesextrínsecas Rayo(2007) - Ontological Commitment O critério de Quine pode degenerar quando a linguagem contém predicados atômicos que expressam propriedades extrínsecas. Parte do que é ser uma filha é ter pais. Então a verdade de 9xFilha(x) demanda do mundo que haja pais. Mas pais não precisam estar entre os valores das variáveis para que 9xFilha(x) seja verdadeira. As únicas entidades que precisam ser assumidas como valores de x para que 9xFilha(x) seja verdadeira são filhas. Então, segundo o critério de Quine, 9x Filha(x) compromete-se ontologicamente apenas com filhas. Mas a existência de filhas demanda a existência de pais (prop. extrínseca). Logo, a verdade de 9x Filha(x) demanda do mundo, no que concerne à ontologia, mais do que o critério aponta como os seus compromissos ontológicos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
56 Resposta à Terceira Objeção condições de verdade x critério de verdade Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
57 Resposta à Terceira Objeção condições de verdade x critério de verdade Há uma resposta bastante imediata a esta objeção, que consiste, simplesmente, em notar que as propriedades extrínsecas não são um problema do critério de Quine, mas da maneira como Rayo caracteriza os compromissos ontológicos de uma sentença como a porção que concerne à ontologia das demandas que a sua verdade impõe ao mundo. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
58 Resposta à Terceira Objeção condições de verdade x critério de verdade Há uma resposta bastante imediata a esta objeção, que consiste, simplesmente, em notar que as propriedades extrínsecas não são um problema do critério de Quine, mas da maneira como Rayo caracteriza os compromissos ontológicos de uma sentença como a porção que concerne à ontologia das demandas que a sua verdade impõe ao mundo. Aexistênciadepaispodeserpartedasdemandasqueaverdadede 9x Filha(x) impõe ao mundo, mas pais não são um compromisso de 9xFilha(x) porque esta sentença não trata de pais, mas de filhas. Havendo filhas ela será verdadeira. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
59 Resposta à Terceira Objeção condições de verdade x critério de verdade Há uma resposta bastante imediata a esta objeção, que consiste, simplesmente, em notar que as propriedades extrínsecas não são um problema do critério de Quine, mas da maneira como Rayo caracteriza os compromissos ontológicos de uma sentença como a porção que concerne à ontologia das demandas que a sua verdade impõe ao mundo. Aexistênciadepaispodeserpartedasdemandasqueaverdadede 9x Filha(x) impõe ao mundo, mas pais não são um compromisso de 9xFilha(x) porque esta sentença não trata de pais, mas de filhas. Havendo filhas ela será verdadeira. Isto já basta, mas podemos, no entanto, avançar um pouco mais na resposta à objeção de Rayo. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
60 Resposta à Terceira Objeção condições de verdade x critério de verdade Parte do que é ser uma filha é haver um sol? Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
61 Resposta à Terceira Objeção condições de verdade x critério de verdade Parte do que é ser uma filha é haver um sol? Alguém poderia defender que uma das demandas ontológicas que a verdade de 9x Filha(x) impõe ao mundo é que o sol exista. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
62 Resposta à Terceira Objeção condições de verdade x critério de verdade Parte do que é ser uma filha é haver um sol? Alguém poderia defender que uma das demandas ontológicas que a verdade de 9x Filha(x) impõe ao mundo é que o sol exista. Parte do que é ser uma filha é haver um sol, porque sem o sol morreríamos ou nem teríamos existido e, portanto, não haveria filhas. Para que haja filhas é preciso que o sol exista. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
63 Resposta à Terceira Objeção condições de verdade x critério de verdade Parte do que é ser uma filha é haver um sol? Alguém poderia defender que uma das demandas ontológicas que a verdade de 9x Filha(x) impõe ao mundo é que o sol exista. Parte do que é ser uma filha é haver um sol, porque sem o sol morreríamos ou nem teríamos existido e, portanto, não haveria filhas. Para que haja filhas é preciso que o sol exista. Mas assumir que o sol é um dos compromissos ontológicos de 9x Filha(x) soa claramente como um exagero, ao passo que assumir pais como um de seus compromissos ontológicos não soa nada exagerado. Parece até justo. Por que? Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
64 Resposta à Terceira Objeção condições de verdade x critério de verdade Simplesmente porque não costumamos levar o sol em consideração quando julgamos se há algum valor de x para o qual Filha(x) é verdadeira, mas fazemos considerações sobre pais em qualquer julgamento sobre que valores de x satisfazem Filha(x). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
65 Resposta à Terceira Objeção condições de verdade x critério de verdade Simplesmente porque não costumamos levar o sol em consideração quando julgamos se há algum valor de x para o qual Filha(x) é verdadeira, mas fazemos considerações sobre pais em qualquer julgamento sobre que valores de x satisfazem Filha(x). Distinguir filhas envolve distinguir pais. Quem sabe as condições em que x satisfaz Filha(x) também sabe as condições em que y satisfaz Genitor(y). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
66 Resposta à Terceira Objeção condições de verdade x critério de verdade Simplesmente porque não costumamos levar o sol em consideração quando julgamos se há algum valor de x para o qual Filha(x) é verdadeira, mas fazemos considerações sobre pais em qualquer julgamento sobre que valores de x satisfazem Filha(x). Distinguir filhas envolve distinguir pais. Quem sabe as condições em que x satisfaz Filha(x) também sabe as condições em que y satisfaz Genitor(y). Que filhas tenham pais não é um fato sobre filhas, mas faz parte do significado de filhas. Por outro lado, que o sol seja necessário para a existência de filhas é sim um fato sobre filhas (e sobre o sol). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
67 Resposta à Terceira Objeção condições de verdade x critério de verdade Simplesmente porque não costumamos levar o sol em consideração quando julgamos se há algum valor de x para o qual Filha(x) é verdadeira, mas fazemos considerações sobre pais em qualquer julgamento sobre que valores de x satisfazem Filha(x). Distinguir filhas envolve distinguir pais. Quem sabe as condições em que x satisfaz Filha(x) também sabe as condições em que y satisfaz Genitor(y). Que filhas tenham pais não é um fato sobre filhas, mas faz parte do significado de filhas. Por outro lado, que o sol seja necessário para a existência de filhas é sim um fato sobre filhas (e sobre o sol). E isso significa apenas que considerações sobre pais são constitutivas do critério (de verdade) com que normalmente julgamos se x satisfaz Filha(x), mas considerações sobre o sol não são. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
68 Resposta à Terceira Objeção condições de verdade x critério de verdade A totalidade das demandas que a verdade de 9x Filha(x) impõe ao mundo ultrapassa em muito as considerações que qualquer um de nós faz quando julga se esta sentença é verdadeira ou falsa. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
69 Resposta à Terceira Objeção condições de verdade x critério de verdade A totalidade das demandas que a verdade de 9x Filha(x) impõe ao mundo ultrapassa em muito as considerações que qualquer um de nós faz quando julga se esta sentença é verdadeira ou falsa. Mas para não sermos acusados de negligenciarmos as propriedades extrínsecas de um predicado basta regimentá-lo de modo a que todos os elementos que contamos como parte de seu significado (estas considerações) se façam presentes na forma regimentada. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
70 Resposta à Terceira Objeção condições de verdade x critério de verdade A totalidade das demandas que a verdade de 9x Filha(x) impõe ao mundo ultrapassa em muito as considerações que qualquer um de nós faz quando julga se esta sentença é verdadeira ou falsa. Mas para não sermos acusados de negligenciarmos as propriedades extrínsecas de um predicado basta regimentá-lo de modo a que todos os elementos que contamos como parte de seu significado (estas considerações) se façam presentes na forma regimentada. Se fizermos isso, o termo filha não será regimentado como um predicado, mas como uma relação, FilhaDe, cuja interpretação óbvia é: FilhaDe(x,y,z) é verdadeira se e somente se x é filha de y e z. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
71 Resposta à Terceira Objeção condições de verdade x critério de verdade A totalidade das demandas que a verdade de 9x Filha(x) impõe ao mundo ultrapassa em muito as considerações que qualquer um de nós faz quando julga se esta sentença é verdadeira ou falsa. Mas para não sermos acusados de negligenciarmos as propriedades extrínsecas de um predicado basta regimentá-lo de modo a que todos os elementos que contamos como parte de seu significado (estas considerações) se façam presentes na forma regimentada. Se fizermos isso, o termo filha não será regimentado como um predicado, mas como uma relação, FilhaDe, cuja interpretação óbvia é: FilhaDe(x,y,z) é verdadeira se e somente se x é filha de y e z. Para esta sentença o problema das propriedades extrínsecas parece ter desaparecido porque as demandas ontológicas mais óbvias que a sua verdade impõe ao mundo coincidem com os seus compromissos ontológicos, uma vez que para que ela seja verdadeira é preciso que haja uma filha e dois pais. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
72 Resposta à Terceira Objeção condições de verdade x critério de verdade Mesmo que não tenhamos condições de dar conta de todas as demandas ontológicas que a verdade de uma afirmação impõe ao mundo, ainda assim podemos ter condições de julgar quando esta mesma afirmação é verdadeira. Na mesma medida teremos também condições de expressar o que este julgamento exige que exista. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
73 Resposta à Terceira Objeção condições de verdade x critério de verdade Mesmo que não tenhamos condições de dar conta de todas as demandas ontológicas que a verdade de uma afirmação impõe ao mundo, ainda assim podemos ter condições de julgar quando esta mesma afirmação é verdadeira. Na mesma medida teremos também condições de expressar o que este julgamento exige que exista. Os compromissos ontológicos de uma afirmação serão apenas o que este critério que normalmente usamos para julgar sua verdade exige que exista, e não a totalidade das demanadas que sua verdade impõe ao mundo. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
74 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
75 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência A crítica de Azzouni funda-se no argumento de que não haveria padrão para julgar entre critérios de compromisso ontológico alternativos, quando estes são baseados em conceitos de existência também alternativos. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
76 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência A crítica de Azzouni funda-se no argumento de que não haveria padrão para julgar entre critérios de compromisso ontológico alternativos, quando estes são baseados em conceitos de existência também alternativos. Ele está interessado em defender uma posição deflacionista que considera filosoficamente indeterminadas as questões sobre ontologia, principalmente no âmbito da filosofia da matemática. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
77 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência A crítica de Azzouni funda-se no argumento de que não haveria padrão para julgar entre critérios de compromisso ontológico alternativos, quando estes são baseados em conceitos de existência também alternativos. Ele está interessado em defender uma posição deflacionista que considera filosoficamente indeterminadas as questões sobre ontologia, principalmente no âmbito da filosofia da matemática. E desenvolve esta crítica deflacionista sobre a discussão que se faz em torno da tese da indispensabilidade de Quine-Putnam. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
78 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Azzouni (1998) - On On What There Is Tese da Indispensabilidade Quine-Putnam: se nossas melhores teorias científicas (físicas) requerem quantificação existencial sobre certas entidades [matemáticas], então estamos ontologicamente comprometidos com tais entidades. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
79 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Azzouni (1998) - On On What There Is Tese da Indispensabilidade Quine-Putnam: se nossas melhores teorias científicas (físicas) requerem quantificação existencial sobre certas entidades [matemáticas], então estamos ontologicamente comprometidos com tais entidades. A tese da indispensabilidade funda-se tanto na noção de compromisso ontológico, quanto no próprio critério de Quine, pois assume tanto que as teorias que sustentamos nos comprometem ontologicamente, quanto que estes compromissos se expressam nas quantificações existenciais. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
80 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência CE: critérios para o que existe conceitos de existência: concretude, espaço-temporalidade, eficácia causal, constitutividade sensorial,... o que quer que tomemos como a marca da existência. CR: critérios para reconhecer com o quê os discursos nos comprometem critérios de compromisso ontológico. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
81 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência CE: critérios para o que existe conceitos de existência: concretude, espaço-temporalidade, eficácia causal, constitutividade sensorial,... o que quer que tomemos como a marca da existência. CR: critérios para reconhecer com o quê os discursos nos comprometem critérios de compromisso ontológico. Azzouni considera que CEs distintos demandam CRs distintos. E afirma que Quine não apresentou qualquer CE, mas apenas um CR. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
82 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Mesmo se aceitarmos a regimentação exigida para a aplicação do CR de Quine, podemos, ainda assim, questionar o papel do quantificador existencial como o recurso formal responsável por atribuir compromisso ontológico aos valores das variáveis. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
83 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Mesmo se aceitarmos a regimentação exigida para a aplicação do CR de Quine, podemos, ainda assim, questionar o papel do quantificador existencial como o recurso formal responsável por atribuir compromisso ontológico aos valores das variáveis. Podemos, ao invés disso, usar o CE que favorecemos para criar um predicado de existência, tal como Concreto ou CausalmenteEficaz, e dar a este predicado a responsabilidade de atribuir compromisso ontológico aos valores das variáveis. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
84 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Mesmo se aceitarmos a regimentação exigida para a aplicação do CR de Quine, podemos, ainda assim, questionar o papel do quantificador existencial como o recurso formal responsável por atribuir compromisso ontológico aos valores das variáveis. Podemos, ao invés disso, usar o CE que favorecemos para criar um predicado de existência, tal como Concreto ou CausalmenteEficaz, e dar a este predicado a responsabilidade de atribuir compromisso ontológico aos valores das variáveis. Aexistênciadeixariadeseroqueoquantificadorexistencialexpressa, e passaria a ser o que o predicado de existência escolhido expressa. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
85 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Mesmo se aceitarmos a regimentação exigida para a aplicação do CR de Quine, podemos, ainda assim, questionar o papel do quantificador existencial como o recurso formal responsável por atribuir compromisso ontológico aos valores das variáveis. Podemos, ao invés disso, usar o CE que favorecemos para criar um predicado de existência, tal como Concreto ou CausalmenteEficaz, e dar a este predicado a responsabilidade de atribuir compromisso ontológico aos valores das variáveis. Aexistênciadeixariadeseroqueoquantificadorexistencialexpressa, e passaria a ser o que o predicado de existência escolhido expressa. Fazer isso é mudar o próprio critério de compromisso ontológico. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
86 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Segundo Azzouni, critérios de compromisso ontológico alternativos assim construídos seriam tão legítimos quanto o de Quine, pois não haveria qualquer fundamento racional para decidirmos entre critérios rivais. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
87 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Segundo Azzouni, critérios de compromisso ontológico alternativos assim construídos seriam tão legítimos quanto o de Quine, pois não haveria qualquer fundamento racional para decidirmos entre critérios rivais. Já que cada critério poderia ser igualmente bom para apontar os compromissos ontológicos assumidos segundo o conceito de existência do qual ele se origina. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
88 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Segundo Azzouni, critérios de compromisso ontológico alternativos assim construídos seriam tão legítimos quanto o de Quine, pois não haveria qualquer fundamento racional para decidirmos entre critérios rivais. Já que cada critério poderia ser igualmente bom para apontar os compromissos ontológicos assumidos segundo o conceito de existência do qual ele se origina. Diante disto a tese da indispensabilidade perderia sua força, pois mesmo havendo acordo sobre quais são as nossas melhores teorias científicas, diferentes critérios de compromisso ontológico, construídos segundo distintos conceitos de existência, apontariam distintas entidades como indispensáveis. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
89 Quarta Objeção (Azzouni) eospredicadosalternativosdeexistência Segundo Azzouni, critérios de compromisso ontológico alternativos assim construídos seriam tão legítimos quanto o de Quine, pois não haveria qualquer fundamento racional para decidirmos entre critérios rivais. Já que cada critério poderia ser igualmente bom para apontar os compromissos ontológicos assumidos segundo o conceito de existência do qual ele se origina. Diante disto a tese da indispensabilidade perderia sua força, pois mesmo havendo acordo sobre quais são as nossas melhores teorias científicas, diferentes critérios de compromisso ontológico, construídos segundo distintos conceitos de existência, apontariam distintas entidades como indispensáveis. Não havendo acordo sobre o que significa existir, também não haveria acordo sobre o que é indispensável que exista. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
90 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
91 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Há, no entanto, uma assimetria lógica entre o papel dos quantificadores e o dos predicados que nos ajuda a perceber que Azzouni está errado quando afirma que há razões tão boas para justificar o critério de Quine quanto qualquer outro critério baseado em um predicado de existência. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
92 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Há, no entanto, uma assimetria lógica entre o papel dos quantificadores e o dos predicados que nos ajuda a perceber que Azzouni está errado quando afirma que há razões tão boas para justificar o critério de Quine quanto qualquer outro critério baseado em um predicado de existência. Esta assimetria consiste no fato de que os quantificadores de primeira ordem (9 e 8) legislam sobre os predicados e relações de primeira ordem e sobre as entidades que podem satisfazê-los, impondo-lhes obrigações e proibições. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
93 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Suponha, por exemplo, que eu adote a doutrina que iguala o ser à eficácia causal e tome o predicado CausalmenteEficaz como predicado de existência e, parafraseando Quine, afirme que a existência é o que o predicado CausalmenteEficaz exprime,queuma entidade x existe se e somente se CausalmenteEficaz(x). Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
94 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Suponha, por exemplo, que eu adote a doutrina que iguala o ser à eficácia causal e tome o predicado CausalmenteEficaz como predicado de existência e, parafraseando Quine, afirme que a existência é o que o predicado CausalmenteEficaz exprime,queuma entidade x existe se e somente se CausalmenteEficaz(x). Se, juntamente, eu adotar a notação canônica e a lógica clássica como recursos formais para lidar com minhas teorias, eu estarei também admitindo não só restrições que se impõem a tudo o que existe, à revelia de qualquer consideração sobre a eficácia causal, como também restrições que se impõem ao próprio predicado de existência CausalmenteEficaz. Serão restrições impostas pelos quantificadores e suas regras lógicas, sobre as quais nenhum predicado (de existência ou não) pode interferir. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
95 Resposta à Quarta Objeção assimetria lógica entre predicados e quantificadores Se eu, por exemplo, considerar que deus existe,justamentepor julgar que CausalmenteEficaz(deus) é verdadeiro, então, dada uma propriedade F qualquer, deus e qualquer entidade que eu considere existir está obrigado a satisfazer ou não satisfazer F. Daniel Durante (UFRN - LanCog) Compromisso Ontológico XVII EBL abril de / 37
Compromisso Ontológico *
Compromisso Ontológico * Daniel Durante Pereira Alves durante@ufrnet.br Dezembro 2013 Resumo Divergências sobre ontologia, sobre o que existe, são tão básicas que tendem a dificultar ou até bloquear o
Compromisso Ontológico entre a semântica, a lógica e a metafísica
Compromisso Ontológico entre a semântica, a lógica e a metafísica Daniel Durante Pereira Alves Universidade Federal do Rio Grande do Norte - (Brasil) LanCog Group - Universidade de Lisboa - (Portugal)
Matemá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
Apresentação do curso
Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica
Aula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Apresentação do curso
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo
Sobre 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
Aula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Elementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Expandindo 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
Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014
Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.
Lógica dos Quantificadores: sintaxe
Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
COMO 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
filosofia, 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
Cá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
INE5403 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
IME, UFF 7 de novembro de 2013
em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.
Lógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
MD 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
Para provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Enunciados Quantificados Equivalentes
Lógica para Ciência da Computação I Lógica Matemática Texto 15 Enunciados Quantificados Equivalentes Sumário 1 Equivalência de enunciados quantificados 2 1.1 Observações................................
Ló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
Os 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
Argumentaçã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
Fundamentos 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
XXI Semana de Filosofia da UFRN
XXI Semana de Filosofia da UFRN Filosofia e Alegria Mesa Redonda A Alegria de Fazer Lógica métodos lúdicos para o ensino de lógica A DAMA OU O TIGRE? Aposento 1 xx xxx xxx xx xxx xxx xxx x Aposento 2
Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano
A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo
Introduçã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
Introduçã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
1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Enunciados Quantificados Equivalentes
Enunciados Quantificados Equivalentes Renata de Freitas e Petrucio Viana IME, UFF Junho de 2014 Sumário Equivalência de enunciados quantificados. Aplicação da noção de interpretação para decidir quando
A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA
MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos
Lógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional
Lógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por
(tradução de Leonor Moura)
A lógica da ficção. Uma abordagem dialógica por Juan Redmond http://stl.recherche.univlille3.fr/sitespersonnels/rahman/rahmancollaborateurscadreprincipal.html (tradução de Leonor Moura) Imagem 1 O objectivo
Demonstrações Matemáticas Parte 2
Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar
RACIOCÍ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
Conteú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
Nota sobre os Argumentos Modais. por João Branquinho
Nota sobre os Argumentos Modais por João Branquinho Discutimos aqui diversos tipos de réplica aos chamados argumentos modais habitualmente aduzidos contra as teorias descritivistas do sentido e da referência
Gestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Lógica Computacional
Lógica Computacional Lógica de Operadores Booleanos Interpretações Tautológicas, Lógicas e Analíticas Funcionalidade / Tabelas de Verdade dos Operadores Booleanos Consequências Tautológica, Lógica e Analítica
Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Versão A. Grupo I (10 x 3 = 30 pontos) Assinala a alternativa correta
Versão A Grupo I (10 x 3 = 30 Assinala a alternativa correta 1.A filosofia não é uma ciência: a) Porque a filosofia consiste na procura do conhecimento factual. b) Porque os problemas e métodos da filosofia
Negaçã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
Lógica de Primeira Ordem -3
Lógica de Primeira Ordem -3 Métodos de Prova com Quantificadores Provas Formais com Quantificadores Formas Especiais de Quantificação Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise
5 Conclusão. ontologicamente distinto.
5 Conclusão Considerando a força dos três argumentos anti-materialistas defendidos por Chalmers e a possibilidade de doutrinas alternativas não materialistas, devemos definitivamente abandonar o materialismo?
Colóquio de Metafísica (Lógica é Metafísica)
Colóquio de Metafísica (Lógica é Metafísica) QUINE Sobre o que Há Suponhamos que dois filósofos, McX e eu, discordem em ontologia. Suponhamos que McX sustente haver algo que eu sustente não haver. McX
Fundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Lógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado
Lógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
DEUS: 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
Matemática Básica I Notas de aula - versão
1 - Departamento de Matemática Aplicada (GMA) Matemática Básica I Notas de aula - versão 3 2011-1 Marlene Dieguez Fernandez Observações preliminares A disciplina Matemática Básica I é oferecida no mesmo
Noções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
Introduçã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
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Análise de Algoritmos
Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.
Raciocínio Lógico. Quantificadores Lógicos: Todo, Nenhum e Existente. Professor Edgar Abreu.
Raciocínio Lógico Quantificadores Lógicos: Todo, Nenhum e Existente Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico QUANTIFICADORES LÓGICOS Chama-se argumento a afirmação de que
LÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Ementa Unidade 2 Lógica de Predicados: Linguagem e Semântica Tradução do português para a Lógica Quantificadores e Tipos Quantificadores como Conjunções
Lógica Computacional
Aula Teórica 15: António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade Engenharia, LISP
INE5403 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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO. Resumo
A LÓGICA EPISTÊMICA DE HINTIKKA E A DEFINIÇÃO CLÁSSICA DE CONHECIMENTO Autor: Stanley Kreiter Bezerra Medeiros Departamento de Filosofia UFRN Resumo Em 1962, Jaako Hintikka publicou Knowledge and Belief:
Matemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
Os Teoremas da Incompletude de Gödel Uma Introdução Informal
Os Teoremas da Incompletude de Gödel Uma Introdução Informal Daniel Durante Pereira Alves Os Teoremas de Gödel Qualquer formalização da aritmética de primeira ordem (de Peano - AP) através de qualquer
ANÁLISE MATEMÁTICA I. Curso: EB
ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.
Pré-Cálculo. Humberto José Bortolossi. Aula 2 13 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense
Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 2 13 de agosto de 2010 Aula 2 Pré-Cálculo 1 Problemas de organização e erros frequentes Problemas
OPERADORES MODAIS (NA INTERFACE LÓGICA E LINGUAGEM NATURAL)
OPERDORES MODIS (N INTERFCE LÓGIC E LINGUGEM NTURL) Jorge Campos & na Ibaños Resumo: É muito comum que se fale em lógica em seu sentido trivial e no uso cotidiano da nossa linguagem. Mas, como se supõe
Neste 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
Programação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010
Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação
Cálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS
n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso
Lógica e prova de resolução Marco Henrique Terra
Lógica e prova de resolução Marco Henrique Terra Introdução à Inteligência Artificial Introdução n Este capítulo trata de lógica. l Inicialmente discute-se se a notação empregada em lógica. l Depois mostra-se
O 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
FILOSOFIA - 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
Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando
ÍNDICE. Lição 8 Conceitos Fundamentais da Teoria dos Conjuntos 49. Representação Simbólica dos Conceitos Fundamentais da Teoria dos
ÍNDICE Prefácio PARTE I LÓGICA ARISTOTÉLICA Lição 1 Introdução. Lógica Aristotélica: Noções Básicas 9 Lição 2 O Quadrado da Oposição 15 Lição 3 Conversão, Obversão e Contraposição 21 Lição 4 A Teoria do
Linguagem matemática e elementos de lógica. Ana Carolina Boero
Linguagem matemática e elementos de lógica Ana Carolina Boero Quantificadores Em Matemática, os quantificadores existe e para todo, denotados respectivamente pelos símbolos e, são amplamente utilizados.
Lógica Computacional
Lógica Computacional Frases Quantificadas Quantificadores e Variáveis Fórmulas Bem Formadas: Sintaxe e Semântica Formas Aristotélicas 21 Outubro 2013 Lógica Computacional 1 Frases Quantificadas - Existem
MURCHO, Desidério A natureza da filosofia e o seu ensino. Lisboa: Plátano, 2002, (Coleção Aula Prática), 102 p.
MURCHO, Desidério A natureza da filosofia e o seu ensino. Lisboa: Plátano, 2002, (Coleção Aula Prática), 102 p. O autor. Licenciou-se em filosofia pela Universidade de Lisboa. É um dos diretores da Sociedade
Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)
Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de 2014 1 Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos
CASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Quantificadores Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico QUANTIFICADORES Definição: É um termo utilizado para quantificar uma expressão. Os quantificadores
Versão B. Grupo I (10 x 3 = 30 pontos) Assinala a alternativa correta
Versão B Grupo I (10 x 3 = 30 Assinala a alternativa correta 1.Dizer que a filosofia é uma atividade reflexiva é afirmar que: a) A filosofia é um saber puramente racional. b) A filosofia é um método puramente
Versão A. GRUPO I (10 X 3 = 30 pontos)
Versão A GRUPO I (10 X 3 = 30 pontos) Assinala a única alternativa correta 1.Dizer que a filosofia é uma atividade reflexiva é afirmar que: a) A filosofia é um saber puramente racional. b) A filosofia
INE5403 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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
Capítulo 3 Lógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo
Lógica Proposicional-2
Lógica Proposicional-2 Conetivas Booleanas Provas informais e formais com conetivas Booleanas Referência: Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Capítulos: 3-4-5-6
Enumerabilidade. Capítulo 6
Capítulo 6 Enumerabilidade No capítulo anterior, vimos uma propriedade que distingue o corpo ordenado dos números racionais do corpo ordenado dos números reais: R é completo, enquanto Q não é. Neste novo
Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago
Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando
Ló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
2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
Lógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas