definition: concept and goals - definition of "definition"

Post on 02-Dec-2014

545 Views

Category:

Education

0 Downloads

Preview:

Click to see full reader

DESCRIPTION

In Philosophy or Logic the concept of 'definition' is the state or condition of being clearly defined or definite, specification of the essential properties of something, or of the criteria which uniquely identify it, or a formal and concise statement of the meaning of a word, phrase, etc. In this presentation, we will treat the concept of 'definition' from the logical point of view. The main reference used for this treatment was the book by Irving Copi: 'Introduction to Logic'.

TRANSCRIPT

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

top related