Este documento apresenta uma discussão sobre definição em lógica aplicada à computação. Resume os principais pontos abordados: 1) Apresenta alguns apontamentos introdutórios sobre definição, como a necessidade de instrução formal para além da observação; 2) Explica o conceito de definição como um enunciado que descreve um conceito permitindo diferenciá-lo de outros conceitos; 3) Discorre sobre os propósitos da definição, como aumentar o vocabulário e eliminar ambiguidades.

1. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Definição : Conceito e Objetivos
Michel Alves, Daniel Baracho e Paulo dos Santos
Universidade Federal de Alagoas, Campus A. C. Simões
Tabuleiro do Martins - Maceió - AL, CEP: 57072-970
{michel.mas,danieldb.br}@gmail.com, {paulocomputacao}@hotmail.com
22 de Setembro de 2010
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

2. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Roteiro da Apresentação
Roteiro
Motivação - “O Mundo é Ambigüidade!”;
Apontamentos Antes do Conceito;
O Conceito de Definição e “Morfologia”;
Exemplo de Definição;
Propósitos da Definição;
Disputas Verbais e Definição;
Cinco Tipos de Definição;
Várias Espécies de Significado;
Técnicas de Definição;
Regras de Definição por Gênero e Diferença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

3. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Roteiro da Apresentação
Roteiro
Motivação - “O Mundo é Ambigüidade!”;
Apontamentos Antes do Conceito;
O Conceito de Definição e “Morfologia”;
Exemplo de Definição;
Propósitos da Definição;
Disputas Verbais e Definição;
Cinco Tipos de Definição;
Várias Espécies de Significado;
Técnicas de Definição;
Regras de Definição por Gênero e Diferença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

4. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar de
Definição
Mas antes vamos analisar a seguinte frase:
“O Mundo é Ambigüidade!”
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

5. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar de
Definição
Mas antes vamos analisar a seguinte frase:
“O Mundo é Ambigüidade!”
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

6. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar de
Definição
Mas antes vamos analisar a seguinte frase:
“O Mundo é Ambigüidade!”
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

7. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

8. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

9. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

10. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

11. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

12. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução - Apontamentos Antes do Conceito
Alguns Apontamentos Antes do Conceito de
Definição
Aprendizado através da observação e repetição
sistemática;
O mesmo mecanismo é empregado no aprendizado da
linguagem;
A aglutinação não-formal de “conhecimentos” não é o
bastante;
Faz-se necessário instrução formal;
Nesse momento entra o conceito de “Definição”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

13. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar o
significado de um termo.
Enriquecendo essa explanação, podemos enfatizar que
uma definição é um enunciado que descreve um
“conceito” permitindo diferenciá-lo de outros
“conceitos” associados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

14. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar o
significado de um termo.
Enriquecendo essa explanação, podemos enfatizar que
uma definição é um enunciado que descreve um
“conceito” permitindo diferenciá-lo de outros
“conceitos” associados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

15. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar o
significado de um termo.
Enriquecendo essa explanação, podemos enfatizar que
uma definição é um enunciado que descreve um
“conceito” permitindo diferenciá-lo de outros
“conceitos” associados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

16. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
“Morfologia”
A “morfologia” de uma Definição:
Definiendum: Aquilo que deve ser
definido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

17. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
“Morfologia”
A “morfologia” de uma Definição:
Definiendum: Aquilo que deve ser
definido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

18. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
“Morfologia”
A “morfologia” de uma Definição:
Definiendum: Aquilo que deve ser
definido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

19. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Exemplo
Um Exemplo de Definição
Veneno: Qualquer substância que possua efeito tóxico.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

20. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Exemplo
Um Exemplo de Definição
Veneno: Qualquer substância que possua efeito tóxico.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

21. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

22. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

23. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

24. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

25. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

26. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Propósitos
Cinco Propósitos de Definição
Aumentar o vocabulário;
Eliminar a ambigüidade;
Aclarar o significado;
Explicar Teoricamente;
Influenciar Atitudes;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

27. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Gêneros de Disputa
Obviamente Genuína;
Meramente Verbal;
Aparentemente Verbal.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

28. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Gêneros de Disputa
Obviamente Genuína;
Meramente Verbal;
Aparentemente Verbal.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

29. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Gêneros de Disputa
Obviamente Genuína;
Meramente Verbal;
Aparentemente Verbal.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

30. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Gêneros de Disputa
Obviamente Genuína;
Meramente Verbal;
Aparentemente Verbal.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

31. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Obviamente Genuína
Não há presença de ambigüidade e os contendores
discordam em convicção ou crença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

32. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Obviamente Genuína
Não há presença de ambigüidade e os contendores
discordam em convicção ou crença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

33. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Meramente Verbal
A ambigüidade faz-se presente, mas nenhuma
espécie de discordância.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

34. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Meramente Verbal
A ambigüidade faz-se presente, mas nenhuma
espécie de discordância.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

35. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Aparentemente Verbal
A ambigüidade está presente e os contendores
divergem em atitude.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

36. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Aparentemente Verbal
A ambigüidade está presente e os contendores
divergem em atitude.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

37. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos os
diferentes tipos de definição:
Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significados
que as definições explicam.
n
i=0
i2
b
a
f (x) dx ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

38. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos os
diferentes tipos de definição:
Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significados
que as definições explicam.
n
i=0
i2
b
a
f (x) dx ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

39. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos os
diferentes tipos de definição:
Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significados
que as definições explicam.
n
i=0
i2
b
a
f (x) dx ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

40. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Um outro exemplo - Definição da palavra
“cadeira”
Atenção: O definiens não é o significado do
difiniendum, mas um outro símbolo ou grupo
de símbolos que, de acordo com a definição,
tem o mesmo significado do definiendum.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

41. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Um outro exemplo - Definição da palavra
“cadeira”
Atenção: O definiens não é o significado do
difiniendum, mas um outro símbolo ou grupo
de símbolos que, de acordo com a definição,
tem o mesmo significado do definiendum.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

42. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

43. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

44. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

45. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

46. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

47. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Cinco Tipos de Definição
Definições Estipulativas;
Definições Lexicográficas;
Definições Aclaradoras;
Definições Teóricas;
Definições Persuasivas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

48. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Estipulativa
É a que se dá a um termo inteiramente novo, quando é
apresentado pela primeira vez. Não se faz necessário
que o definiendum de uma definição estipulativa seja
um signo absolutamente novo, é suficiente que seja
novo no contexto em que se dá a definição.
Gradiente
f (x, y) =
∂f
∂x
,
∂f
∂y
Atenção: Novos símbolos devem ter seus significados
explicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

49. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Estipulativa
É a que se dá a um termo inteiramente novo, quando é
apresentado pela primeira vez. Não se faz necessário
que o definiendum de uma definição estipulativa seja
um signo absolutamente novo, é suficiente que seja
novo no contexto em que se dá a definição.
Gradiente
f (x, y) =
∂f
∂x
,
∂f
∂y
Atenção: Novos símbolos devem ter seus significados
explicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

50. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Estipulativa
É a que se dá a um termo inteiramente novo, quando é
apresentado pela primeira vez. Não se faz necessário
que o definiendum de uma definição estipulativa seja
um signo absolutamente novo, é suficiente que seja
novo no contexto em que se dá a definição.
Gradiente
f (x, y) =
∂f
∂x
,
∂f
∂y
Atenção: Novos símbolos devem ter seus significados
explicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

51. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Estipulativa
É a que se dá a um termo inteiramente novo, quando é
apresentado pela primeira vez. Não se faz necessário
que o definiendum de uma definição estipulativa seja
um signo absolutamente novo, é suficiente que seja
novo no contexto em que se dá a definição.
Gradiente
f (x, y) =
∂f
∂x
,
∂f
∂y
Atenção: Novos símbolos devem ter seus significados
explicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

52. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Tem como finalidade eliminar ambigüidades ou ampliar
o vocabulário do indivíduo. Uma definição lexicográfica
pode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e não
estipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

53. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Tem como finalidade eliminar ambigüidades ou ampliar
o vocabulário do indivíduo. Uma definição lexicográfica
pode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e não
estipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

54. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Tem como finalidade eliminar ambigüidades ou ampliar
o vocabulário do indivíduo. Uma definição lexicográfica
pode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e não
estipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

55. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Real Vs. Existente
O fato de uma definição ser estipulativa ou lexicográfica
não possui relação com a questão de saber se o
definiendum designa alguma coisa “real” ou “existente”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

56. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Real Vs. Existente
O fato de uma definição ser estipulativa ou lexicográfica
não possui relação com a questão de saber se o
definiendum designa alguma coisa “real” ou “existente”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

57. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Real Vs. Existente
O fato de uma definição ser estipulativa ou lexicográfica
não possui relação com a questão de saber se o
definiendum designa alguma coisa “real” ou “existente”.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

58. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Atenção
As definições lexicográficas são verdadeiras ou falsas no
sentido em que representem ou não o uso real com
fidelidade.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

59. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Atenção
As definições lexicográficas são verdadeiras ou falsas no
sentido em que representem ou não o uso real com
fidelidade.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

60. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
Atenção
As definições lexicográficas são verdadeiras ou falsas no
sentido em que representem ou não o uso real com
fidelidade.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

61. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
A partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definições
lexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

62. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
A partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definições
lexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

63. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Lexicográfica
A partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definições
lexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

64. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Definição capaz de ajudar a decidir os casos limítrofes e
que vai além do que é puramente lexicográfico.
Diferente da estipulativa seu definiendum não é um novo
termo, mas um com uso já estabelecido, embora vago.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

65. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Definição capaz de ajudar a decidir os casos limítrofes e
que vai além do que é puramente lexicográfico.
Diferente da estipulativa seu definiendum não é um novo
termo, mas um com uso já estabelecido, embora vago.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

66. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Observações
Muitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicam
parcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o uso
estabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

67. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Observações
Muitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicam
parcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o uso
estabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

68. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Observações
Muitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicam
parcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o uso
estabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

69. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
Observações
Muitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicam
parcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o uso
estabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

70. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
É aquela que tenta formular uma caracterização
teoricamente adequada aos objetos a que se aplica.
Propor uma definição teórica equivale a propor a
aceitação de uma teoria e, como o nome sugere, as
teorias são notoriamente discutíveis.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

71. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
É aquela que tenta formular uma caracterização
teoricamente adequada aos objetos a que se aplica.
Propor uma definição teórica equivale a propor a
aceitação de uma teoria e, como o nome sugere, as
teorias são notoriamente discutíveis.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

72. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Exemplo:
Definição de “calor” por parte dos Físicos.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

73. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Exemplo:
Definição de “calor” por parte dos Físicos.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

74. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Observações
Os filósofos, tal como os cientistas, interessam-se
principalmente pela construção de definições teóricas.
As definições teóricas são passíveis de refutação.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

75. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Observações
Os filósofos, tal como os cientistas, interessam-se
principalmente pela construção de definições teóricas.
As definições teóricas são passíveis de refutação.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

76. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Observações
Os filósofos, tal como os cientistas, interessam-se
principalmente pela construção de definições teóricas.
As definições teóricas são passíveis de refutação.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

77. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Teórica
Observações
Os filósofos, tal como os cientistas, interessam-se
principalmente pela construção de definições teóricas.
As definições teóricas são passíveis de refutação.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

78. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
É aquela cujo propósito consiste em influenciar
atitudes. Sua função é expressiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

79. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
É aquela cujo propósito consiste em influenciar
atitudes. Sua função é expressiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

80. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
Observações
Qualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciar
pessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciada
em linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

81. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
Observações
Qualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciar
pessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciada
em linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

82. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
Observações
Qualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciar
pessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciada
em linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

83. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
Observações
Qualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciar
pessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciada
em linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

84. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição - “Fluxograma”
Fluxograma
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

85. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
O significado de um termo consiste na classe de objetos
a que o termo pode ser aplicado.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

86. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
O significado de um termo consiste na classe de objetos
a que o termo pode ser aplicado.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

87. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
Os termos genéricos ou de classe possuem um
significado:
Extensivo ou Denotativo
e um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

88. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
Os termos genéricos ou de classe possuem um
significado:
Extensivo ou Denotativo
e um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

89. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
Os termos genéricos ou de classe possuem um
significado:
Extensivo ou Denotativo
e um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

90. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
Os termos genéricos ou de classe possuem um
significado:
Extensivo ou Denotativo
e um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

91. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
As Várias Espécies de Significado
Os termos genéricos ou de classe possuem um
significado:
Extensivo ou Denotativo
e um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

92. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Quadro Resumo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

93. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Extensão ou Denotação
Um termo genérico ou de classe denota os objetos a que
pode corretamente ser aplicado, e a coleção ou classe
desses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - Saturno
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

94. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Extensão ou Denotação
Um termo genérico ou de classe denota os objetos a que
pode corretamente ser aplicado, e a coleção ou classe
desses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - Saturno
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

95. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Extensão ou Denotação
Um termo genérico ou de classe denota os objetos a que
pode corretamente ser aplicado, e a coleção ou classe
desses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - Saturno
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

96. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de Denotação
Empire State - World Trade Center - Chrysler
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

97. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de Denotação
Empire State - World Trade Center - Chrysler
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

98. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de Denotação
Ronaldinho Gaúcho - Lionel Messi - Cristiano Ronaldo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

99. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de Denotação
Ronaldinho Gaúcho - Lionel Messi - Cristiano Ronaldo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

100. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
As propriedades possuídas por todos os objetos que
cabem na extensão de um termo recebem o nome de
intensão ou conotação desse termo.
Pentágono = Polígono de 5 lados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

101. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
As propriedades possuídas por todos os objetos que
cabem na extensão de um termo recebem o nome de
intensão ou conotação desse termo.
Pentágono = Polígono de 5 lados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

102. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
As propriedades possuídas por todos os objetos que
cabem na extensão de um termo recebem o nome de
intensão ou conotação desse termo.
Pentágono = Polígono de 5 lados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

103. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Tipos
Subjetiva;
Objetiva;
Convencional.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

104. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Tipos
Subjetiva;
Objetiva;
Convencional.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

105. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Tipos
Subjetiva;
Objetiva;
Convencional.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

106. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Tipos
Subjetiva;
Objetiva;
Convencional.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

107. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Tipos
Subjetiva;
Objetiva;
Convencional.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

108. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

109. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

110. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

111. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

112. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

113. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Subjetiva
A conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades que
essa pessoa acredita ser possuído pelos objetos
incluídos na extensão da palavra.
Refere-se a significações particulares;
Pode variar de uma pessoa para outra;
É inadequada para os propósitos de definição.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

114. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

115. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

116. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

117. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

118. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

119. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Objetiva
A conotação objetiva de um termo é o conjunto total
de características comuns a todos os objetos que
constituem a extensão do mesmo.
Não varia, absolutamente, de um intérprete a outro;
É inconveniente por sua própria natureza;
Necessário onisciência para conhecer todas as
características compartilhadas pelos objetos que
cabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

120. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

121. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

122. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

123. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

124. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

125. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Conotação Convencional
A conotação convencional é aquela estabelecida através
de um acordo que por sua vez gera uma convenção.
Importante para os fins de comunicação e definição;
É publica;
Pode ser conhecida por pessoas que não são
oniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

126. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações
Alguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensões
diferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

127. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações
Alguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensões
diferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

128. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações
Alguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensões
diferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

129. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações - Exemplo
Triângulo Eqüilátero = figura plana limitada por três
segmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por três
segmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

130. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações - Exemplo
Triângulo Eqüilátero = figura plana limitada por três
segmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por três
segmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

131. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações - Exemplo
Triângulo Eqüilátero = figura plana limitada por três
segmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por três
segmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

132. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações - Exemplo
Triângulo Eqüilátero = figura plana limitada por três
segmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por três
segmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

133. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

134. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

135. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

136. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

137. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

138. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais
Existem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente a
intensão do que a extensão;
Possuem extensão nula;
Porém não significa que careçam de significação;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

139. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais - Exemplo
Centauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

140. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais - Exemplo
Centauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

141. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Intensão ou Conotação
Observações Finais - Exemplo
Centauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

142. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Técnicas
Definições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

143. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Técnicas
Definições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

144. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Técnicas
Definições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

145. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Possuem Limitações;
Não conseguem definir palavras de extensão nula.
Dragão
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

146. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Possuem Limitações;
Não conseguem definir palavras de extensão nula.
Dragão
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

147. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Possuem Limitações;
Não conseguem definir palavras de extensão nula.
Dragão
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

148. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Possuem Limitações;
Não conseguem definir palavras de extensão nula.
Dragão
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

149. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Definições Ostensivas
Possuem Limitações Geográficas;
E Limitações Oriundas dos Gestos Utilizados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

150. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Definições Ostensivas
Possuem Limitações Geográficas;
E Limitações Oriundas dos Gestos Utilizados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

151. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Definições Ostensivas
Possuem Limitações Geográficas;
E Limitações Oriundas dos Gestos Utilizados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

152. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Denotativas
Definições Ostensivas
Possuem Limitações Geográficas;
E Limitações Oriundas dos Gestos Utilizados.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

153. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Sinônimas
Aplicabilidade limitada devido ao fato de algumas
palavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras ou
teóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

154. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Sinônimas
Aplicabilidade limitada devido ao fato de algumas
palavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras ou
teóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

155. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Sinônimas
Aplicabilidade limitada devido ao fato de algumas
palavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras ou
teóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

156. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Sinônimas
Aplicabilidade limitada devido ao fato de algumas
palavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras ou
teóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

157. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Uma definição operacional de um termo estabelece que
o termo é aplicável a um determinado caso se somente
a realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · e
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

158. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Uma definição operacional de um termo estabelece que
o termo é aplicável a um determinado caso se somente
a realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · e
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

159. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Uma definição operacional de um termo estabelece que
o termo é aplicável a um determinado caso se somente
a realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · e
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

160. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Uma definição operacional de um termo estabelece que
o termo é aplicável a um determinado caso se somente
a realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · e
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

161. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Uma definição operacional de um termo estabelece que
o termo é aplicável a um determinado caso se somente
a realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · e
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

162. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Nesse momento faz-se necessária uma
pergunta:
Definições Operacionais são a
base da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

163. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Nesse momento faz-se necessária uma
pergunta:
Definições Operacionais são a
base da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

164. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Nesse momento faz-se necessária uma
pergunta:
Definições Operacionais são a
base da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

165. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições Operacionais
Nesse momento faz-se necessária uma
pergunta:
Definições Operacionais são a
base da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

166. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições por Gênero e Diferença
Na falta de definições Sinonímicas e
Operacionais usamos uma definição por
Gênero e Diferença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

167. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições por Gênero e Diferença
Na falta de definições Sinonímicas e
Operacionais usamos uma definição por
Gênero e Diferença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

168. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Definições por Gênero e Diferença
Na falta de definições Sinonímicas e
Operacionais usamos uma definição por
Gênero e Diferença.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

169. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Classes e Subclasses - Gêneros e Espécies
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

170. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições Conotativas
Classes e Subclasses - Gêneros e Espécies
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

171. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

172. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

173. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

174. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

175. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

176. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

177. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Regras de Definição por Gênero e Diferença
Definição por Gênero e Diferença
Deve indicar os atributos essenciais da espécie;
Não deve ser circular;
Não deve ser excessivamente ampla nem estreita;
Não deve ser expressa em linguagem ambígua,
obscura ou figurada;
Não deve ser negativa quando pode ser positiva.
Atenção: As regras acima citadas aplicam-se,
primordialmente, às definições lexicográficas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

178. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Referências
Materiais e Referências
Copi, I. M., Introdução à Lógica, 3a edição.
Lara, M. L. G. de, Diferenças conceituais sobre termos e
definições e implicação na organização da linguagem
documentária.
Stace, W. T., Compatibilismo,
www.didacticaeditora.pt/arte_de_pensar/leit_stace.html,
último acesso: 22/09/2010.
Pagotti, E., Definições Pragmático-Flexivas e Oralidade.
Revista Internacional de Direito Tributário - Julho/Dezembro
de 2004 - Página 146
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

179. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Agradecimentos
? Perguntas ?
Grato Pela Atenção!
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

180. Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Agradecimentos
? Perguntas ?
Grato Pela Atenção!
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação