Definition: Concept and Goals - Definition of "definition"
-
Upload
michel-alves -
Category
Education
-
view
537 -
download
0
description
Transcript of Definition: Concept and Goals - Definition of "definition"
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õesTabuleiro 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Roteiro da Apresentação
RoteiroMotivaçã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Roteiro da Apresentação
RoteiroMotivaçã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar deDefiniçã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar deDefiniçã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Introdução
Nessa breve interlocução iremos falar deDefiniçã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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
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 deDefinição
Aprendizado através da observação e repetiçãosistemática;O mesmo mecanismo é empregado no aprendizado dalinguagem;A aglutinação não-formal de “conhecimentos” não é obastante;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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar osignificado de um termo.
Enriquecendo essa explanação, podemos enfatizar queuma 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar osignificado de um termo.
Enriquecendo essa explanação, podemos enfatizar queuma 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Conceito
O Conceito de Definição
Definir é explicar osignificado de um termo.
Enriquecendo essa explanação, podemos enfatizar queuma 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
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 serdefinido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 serdefinido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 serdefinido.
Definiens: Aquilo que define.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Exemplo
Um Exemplo de DefiniçãoVeneno: Qualquer substância que possua efeito tóxico.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Exemplo
Um Exemplo de DefiniçãoVeneno: Qualquer substância que possua efeito tóxico.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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
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
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
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
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
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
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
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
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
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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Obviamente GenuínaNã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Obviamente GenuínaNã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Meramente VerbalA 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Meramente VerbalA 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Aparentemente VerbalA 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Disputas Verbais e Definição
Disputa Aparentemente VerbalA 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos osdiferentes tipos de definição:Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significadosque as definições explicam.
n∑i=0
i2b∫
af (x) dx N � ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos osdiferentes tipos de definição:Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significadosque as definições explicam.
n∑i=0
i2b∫
af (x) dx N � ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Antes de distinguirmos osdiferentes tipos de definição:Convém observar que as definições são sempre
símbolos, pois somente os símbolos têm significadosque as definições explicam.
n∑i=0
i2b∫
af (x) dx N � ∞ ∅
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 dodifiniendum, mas um outro símbolo ou grupode 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
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 dodifiniendum, mas um outro símbolo ou grupode 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
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
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
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
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
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
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
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árioque o definiendum de uma definição estipulativa sejaum 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 significadosexplicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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árioque o definiendum de uma definição estipulativa sejaum 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 significadosexplicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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árioque o definiendum de uma definição estipulativa sejaum 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 significadosexplicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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árioque o definiendum de uma definição estipulativa sejaum 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 significadosexplicados por definições.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaTem como finalidade eliminar ambigüidades ou ampliaro vocabulário do indivíduo. Uma definição lexicográficapode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e nãoestipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaTem como finalidade eliminar ambigüidades ou ampliaro vocabulário do indivíduo. Uma definição lexicográficapode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e nãoestipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaTem como finalidade eliminar ambigüidades ou ampliaro vocabulário do indivíduo. Uma definição lexicográficapode ser verdadeira ou falsa. Se o termo definido não é
novo então a definição será lexicográfica e nãoestipulativa.
Definição de Montanha
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaReal Vs. Existente
O fato de uma definição ser estipulativa ou lexicográficanã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaReal Vs. Existente
O fato de uma definição ser estipulativa ou lexicográficanã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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaReal Vs. Existente
O fato de uma definição ser estipulativa ou lexicográficanã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
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çãoAs definições lexicográficas são verdadeiras ou falsas nosentido 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
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çãoAs definições lexicográficas são verdadeiras ou falsas nosentido 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
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çãoAs definições lexicográficas são verdadeiras ou falsas nosentido 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaA partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definiçõeslexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaA partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definiçõeslexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição LexicográficaA partir desse ponto uma pergunta se faz
necessária.
Para disputas meramente verbais, definiçõeslexicográficas são suficientes?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição AclaradoraDefiniçã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 novotermo, mas um com uso já estabelecido, embora vago.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição AclaradoraDefiniçã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 novotermo, mas um com uso já estabelecido, embora vago.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
ObservaçõesMuitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicamparcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o usoestabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
ObservaçõesMuitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicamparcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o usoestabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
ObservaçõesMuitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicamparcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o usoestabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Aclaradora
ObservaçõesMuitas definições de caráter legal envolvem definições
aclaradoras.
Os termos “verdadeiro” e “falso” só se aplicamparcialmente a esse tipo de definição com o significado
de que a definição é ou não conforme o usoestabelecido, até onde este alcance.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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, asteorias são notoriamente discutíveis.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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, asteorias são notoriamente discutíveis.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição TeóricaExemplo:
Definição de “calor” por parte dos Físicos.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição TeóricaExemplo:
Definição de “calor” por parte dos Físicos.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çõesOs 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
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çõesOs 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
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çõesOs 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
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çõesOs 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
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
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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
ObservaçõesQualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciarpessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciadaem linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
ObservaçõesQualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciarpessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciadaem linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
ObservaçõesQualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciarpessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciadaem linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Cinco Tipos de Definição
Definição Persuasiva
ObservaçõesQualquer uma das definições anteriormente citadas
pode também servir ao propósito retórico de influenciarpessoas e, quando o fazem, devem ser também
consideradas definições persuasivas.
Corriqueiramente a definição persuasiva é enunciadaem linguagem emotiva.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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
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 objetosa que o termo pode ser aplicado.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 objetosa que o termo pode ser aplicado.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 umsignificado:
Extensivo ou Denotativoe um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 umsignificado:
Extensivo ou Denotativoe um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 umsignificado:
Extensivo ou Denotativoe um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 umsignificado:
Extensivo ou Denotativoe um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 umsignificado:
Extensivo ou Denotativoe um
Intensivo ou Conotativo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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
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çãoUm termo genérico ou de classe denota os objetos a quepode corretamente ser aplicado, e a coleção ou classedesses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - SaturnoMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoUm termo genérico ou de classe denota os objetos a quepode corretamente ser aplicado, e a coleção ou classedesses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - SaturnoMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoUm termo genérico ou de classe denota os objetos a quepode corretamente ser aplicado, e a coleção ou classedesses objetos constitui a extensão ou denotação do
termo.
Marte - Terra - SaturnoMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de DenotaçãoEmpire State - World Trade Center - Chrysler
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de DenotaçãoEmpire State - World Trade Center - Chrysler
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de DenotaçãoRonaldinho Gaúcho - Lionel Messi - Cristiano Ronaldo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Várias Espécies de Significado
Exemplo de DenotaçãoRonaldinho Gaúcho - Lionel Messi - Cristiano Ronaldo
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoAs propriedades possuídas por todos os objetos quecabem 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
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çãoAs propriedades possuídas por todos os objetos quecabem 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
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çãoAs propriedades possuídas por todos os objetos quecabem 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
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
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
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
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
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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 SubjetivaA conotação subjetiva de uma palavra para uma
determinada pessoa, é o conjunto de propriedades queessa 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
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ObjetivaA conotação objetiva de um termo é o conjunto totalde 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 ascaracterísticas compartilhadas pelos objetos quecabem numa extensão;
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 ConvencionalA conotação convencional é aquela estabelecida atravésde 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ãooniscientes.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çõesAlguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensõesdiferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çõesAlguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensõesdiferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çõesAlguns termos que têm intensões diferentes podem ter
a mesma extensão, embora termos com extensõesdiferentes não possam ter a mesma intenção.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoObservações - Exemplo
Triângulo Eqüilátero = figura plana limitada por trêssegmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por trêssegmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoObservações - Exemplo
Triângulo Eqüilátero = figura plana limitada por trêssegmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por trêssegmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoObservações - Exemplo
Triângulo Eqüilátero = figura plana limitada por trêssegmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por trêssegmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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çãoObservações - Exemplo
Triângulo Eqüilátero = figura plana limitada por trêssegmentos de reta de igual comprimento.
Triângulo Eqüiangular = figura plana limitada por trêssegmentos de reta que se entrecortam, formando ângulos
iguais.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 FinaisExistem alguns termos que nada denotam.
Pois o seu “significado” é mais pertinente aintensã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
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 - ExemploCentauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 - ExemploCentauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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 - ExemploCentauro – Unicórnio – Minotauro
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
TécnicasDefinições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
TécnicasDefinições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
TécnicasDefinições Denotativas
Definições Conotativas
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasPossuem 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasPossuem 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasPossuem 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasPossuem 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasDefiniçõ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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasDefiniçõ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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasDefiniçõ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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições DenotativasDefiniçõ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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Sinônimas
Aplicabilidade limitada devido ao fato de algumaspalavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras outeóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Sinônimas
Aplicabilidade limitada devido ao fato de algumaspalavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras outeóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Sinônimas
Aplicabilidade limitada devido ao fato de algumaspalavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras outeóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Sinônimas
Aplicabilidade limitada devido ao fato de algumaspalavras não possuírem sinônimos exatos;
Não podem ser usadas em definições aclaradoras outeóricas.
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Uma definição operacional de um termo estabelece queo termo é aplicável a um determinado caso se somentea realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · eMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Uma definição operacional de um termo estabelece queo termo é aplicável a um determinado caso se somentea realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · eMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Uma definição operacional de um termo estabelece queo termo é aplicável a um determinado caso se somentea realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · eMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Uma definição operacional de um termo estabelece queo termo é aplicável a um determinado caso se somentea realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · eMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Uma definição operacional de um termo estabelece queo termo é aplicável a um determinado caso se somentea realizacão de operações específicas e apropriadas a
esse caso produzir um resultado específico.
Definição Operacional de Carga
Q = n · eMichel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Nesse momento faz-se necessária umapergunta:
Definições Operacionais são abase da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Nesse momento faz-se necessária umapergunta:
Definições Operacionais são abase da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Nesse momento faz-se necessária umapergunta:
Definições Operacionais são abase da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições Operacionais
Nesse momento faz-se necessária umapergunta:
Definições Operacionais são abase da Ciência?
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições por Gênero e Diferença
Na falta de definições Sinonímicas eOperacionais 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições por Gênero e Diferença
Na falta de definições Sinonímicas eOperacionais 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasDefinições por Gênero e Diferença
Na falta de definições Sinonímicas eOperacionais 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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasClasses e Subclasses - Gêneros e Espécies
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Técnicas de Definição
Definições ConotativasClasses e Subclasses - Gêneros e Espécies
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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
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
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
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
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
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
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
Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação
Referências
Materiais e ReferênciasCopi, I. M., Introdução à Lógica, 3a edição.
Lara, M. L. G. de, Diferenças conceituais sobre termos edefinições e implicação na organização da linguagemdocumentá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/Dezembrode 2004 - Página 146
Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação
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
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