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