definition: concept and goals - definition of "definition"

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

Upload: michel-alves

Post on 02-Dec-2014

545 views

Category:

Education


0 download

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

Page 1: Definition: Concept and Goals - Definition of "definition"

Docente Responsável: Prof. Dr. Fábio Paraguaçu Disciplina: Lógica Aplicada à Computação

Definição : Conceito e Objetivos

Michel Alves, Daniel Baracho e Paulo dos Santos

Universidade Federal de Alagoas, Campus A. C. SimõesTabuleiro do Martins - Maceió - AL, CEP: 57072-970

{michel.mas,danieldb.br}@gmail.com, {paulocomputacao}@hotmail.com

22 de Setembro de 2010

Michel Alves, Daniel Baracho e Paulo dos Santos Bacharelado em Ciência da Computação

Page 2: Definition: Concept and Goals - Definition of "definition"

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

Page 3: Definition: Concept and Goals - Definition of "definition"

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

Page 4: Definition: Concept and Goals - Definition of "definition"

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

Page 5: Definition: Concept and Goals - Definition of "definition"

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

Page 6: Definition: Concept and Goals - Definition of "definition"

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

Page 7: Definition: Concept and Goals - Definition of "definition"

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

Page 8: Definition: Concept and Goals - Definition of "definition"

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

Page 9: Definition: Concept and Goals - Definition of "definition"

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

Page 10: Definition: Concept and Goals - Definition of "definition"

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

Page 11: Definition: Concept and Goals - Definition of "definition"

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

Page 12: Definition: Concept and Goals - Definition of "definition"

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

Page 13: Definition: Concept and Goals - Definition of "definition"

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

Page 14: Definition: Concept and Goals - Definition of "definition"

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

Page 15: Definition: Concept and Goals - Definition of "definition"

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

Page 16: Definition: Concept and Goals - Definition of "definition"

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

Page 17: Definition: Concept and Goals - Definition of "definition"

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

Page 18: Definition: Concept and Goals - Definition of "definition"

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

Page 19: Definition: Concept and Goals - Definition of "definition"

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

Page 20: Definition: Concept and Goals - Definition of "definition"

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

Page 21: Definition: Concept and Goals - Definition of "definition"

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

Page 22: Definition: Concept and Goals - Definition of "definition"

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

Page 23: Definition: Concept and Goals - Definition of "definition"

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

Page 24: Definition: Concept and Goals - Definition of "definition"

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

Page 25: Definition: Concept and Goals - Definition of "definition"

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

Page 26: Definition: Concept and Goals - Definition of "definition"

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

Page 27: Definition: Concept and Goals - Definition of "definition"

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

Page 28: Definition: Concept and Goals - Definition of "definition"

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

Page 29: Definition: Concept and Goals - Definition of "definition"

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

Page 30: Definition: Concept and Goals - Definition of "definition"

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

Page 31: Definition: Concept and Goals - Definition of "definition"

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

Page 32: Definition: Concept and Goals - Definition of "definition"

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

Page 33: Definition: Concept and Goals - Definition of "definition"

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

Page 34: Definition: Concept and Goals - Definition of "definition"

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

Page 35: Definition: Concept and Goals - Definition of "definition"

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

Page 36: Definition: Concept and Goals - Definition of "definition"

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

Page 37: Definition: Concept and Goals - Definition of "definition"

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

Page 38: Definition: Concept and Goals - Definition of "definition"

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

Page 39: Definition: Concept and Goals - Definition of "definition"

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

Page 40: Definition: Concept and Goals - Definition of "definition"

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

Page 41: Definition: Concept and Goals - Definition of "definition"

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

Page 42: Definition: Concept and Goals - Definition of "definition"

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

Page 43: Definition: Concept and Goals - Definition of "definition"

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

Page 44: Definition: Concept and Goals - Definition of "definition"

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

Page 45: Definition: Concept and Goals - Definition of "definition"

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

Page 46: Definition: Concept and Goals - Definition of "definition"

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

Page 47: Definition: Concept and Goals - Definition of "definition"

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

Page 48: Definition: Concept and Goals - Definition of "definition"

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

Page 49: Definition: Concept and Goals - Definition of "definition"

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

Page 50: Definition: Concept and Goals - Definition of "definition"

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

Page 51: Definition: Concept and Goals - Definition of "definition"

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

Page 52: Definition: Concept and Goals - Definition of "definition"

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

Page 53: Definition: Concept and Goals - Definition of "definition"

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

Page 54: Definition: Concept and Goals - Definition of "definition"

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

Page 55: Definition: Concept and Goals - Definition of "definition"

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

Page 56: Definition: Concept and Goals - Definition of "definition"

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

Page 57: Definition: Concept and Goals - Definition of "definition"

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

Page 58: Definition: Concept and Goals - Definition of "definition"

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

Page 59: Definition: Concept and Goals - Definition of "definition"

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

Page 60: Definition: Concept and Goals - Definition of "definition"

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

Page 61: Definition: Concept and Goals - Definition of "definition"

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

Page 62: Definition: Concept and Goals - Definition of "definition"

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

Page 63: Definition: Concept and Goals - Definition of "definition"

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

Page 64: Definition: Concept and Goals - Definition of "definition"

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

Page 65: Definition: Concept and Goals - Definition of "definition"

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

Page 66: Definition: Concept and Goals - Definition of "definition"

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

Page 67: Definition: Concept and Goals - Definition of "definition"

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

Page 68: Definition: Concept and Goals - Definition of "definition"

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

Page 69: Definition: Concept and Goals - Definition of "definition"

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

Page 70: Definition: Concept and Goals - Definition of "definition"

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

Page 71: Definition: Concept and Goals - Definition of "definition"

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

Page 72: Definition: Concept and Goals - Definition of "definition"

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

Page 73: Definition: Concept and Goals - Definition of "definition"

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

Page 74: Definition: Concept and Goals - Definition of "definition"

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

Page 75: Definition: Concept and Goals - Definition of "definition"

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

Page 76: Definition: Concept and Goals - Definition of "definition"

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

Page 77: Definition: Concept and Goals - Definition of "definition"

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

Page 78: Definition: Concept and Goals - Definition of "definition"

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

Page 79: Definition: Concept and Goals - Definition of "definition"

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

Page 80: Definition: Concept and Goals - Definition of "definition"

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

Page 81: Definition: Concept and Goals - Definition of "definition"

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

Page 82: Definition: Concept and Goals - Definition of "definition"

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

Page 83: Definition: Concept and Goals - Definition of "definition"

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

Page 84: Definition: Concept and Goals - Definition of "definition"

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

Page 85: Definition: Concept and Goals - Definition of "definition"

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

Page 86: Definition: Concept and Goals - Definition of "definition"

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

Page 87: Definition: Concept and Goals - Definition of "definition"

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

Page 88: Definition: Concept and Goals - Definition of "definition"

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

Page 89: Definition: Concept and Goals - Definition of "definition"

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

Page 90: Definition: Concept and Goals - Definition of "definition"

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

Page 91: Definition: Concept and Goals - Definition of "definition"

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

Page 92: Definition: Concept and Goals - Definition of "definition"

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

Page 93: Definition: Concept and Goals - Definition of "definition"

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

Page 94: Definition: Concept and Goals - Definition of "definition"

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

Page 95: Definition: Concept and Goals - Definition of "definition"

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

Page 96: Definition: Concept and Goals - Definition of "definition"

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

Page 97: Definition: Concept and Goals - Definition of "definition"

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

Page 98: Definition: Concept and Goals - Definition of "definition"

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

Page 99: Definition: Concept and Goals - Definition of "definition"

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

Page 100: Definition: Concept and Goals - Definition of "definition"

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

Page 101: Definition: Concept and Goals - Definition of "definition"

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

Page 102: Definition: Concept and Goals - Definition of "definition"

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

Page 103: Definition: Concept and Goals - Definition of "definition"

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

Page 104: Definition: Concept and Goals - Definition of "definition"

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

Page 105: Definition: Concept and Goals - Definition of "definition"

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

Page 106: Definition: Concept and Goals - Definition of "definition"

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

Page 107: Definition: Concept and Goals - Definition of "definition"

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

Page 108: Definition: Concept and Goals - Definition of "definition"

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

Page 109: Definition: Concept and Goals - Definition of "definition"

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

Page 110: Definition: Concept and Goals - Definition of "definition"

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

Page 111: Definition: Concept and Goals - Definition of "definition"

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

Page 112: Definition: Concept and Goals - Definition of "definition"

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

Page 113: Definition: Concept and Goals - Definition of "definition"

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

Page 114: Definition: Concept and Goals - Definition of "definition"

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

Page 115: Definition: Concept and Goals - Definition of "definition"

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

Page 116: Definition: Concept and Goals - Definition of "definition"

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

Page 117: Definition: Concept and Goals - Definition of "definition"

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

Page 118: Definition: Concept and Goals - Definition of "definition"

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

Page 119: Definition: Concept and Goals - Definition of "definition"

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

Page 120: Definition: Concept and Goals - Definition of "definition"

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

Page 121: Definition: Concept and Goals - Definition of "definition"

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

Page 122: Definition: Concept and Goals - Definition of "definition"

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

Page 123: Definition: Concept and Goals - Definition of "definition"

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

Page 124: Definition: Concept and Goals - Definition of "definition"

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

Page 125: Definition: Concept and Goals - Definition of "definition"

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

Page 126: Definition: Concept and Goals - Definition of "definition"

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

Page 127: Definition: Concept and Goals - Definition of "definition"

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

Page 128: Definition: Concept and Goals - Definition of "definition"

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

Page 129: Definition: Concept and Goals - Definition of "definition"

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

Page 130: Definition: Concept and Goals - Definition of "definition"

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

Page 131: Definition: Concept and Goals - Definition of "definition"

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

Page 132: Definition: Concept and Goals - Definition of "definition"

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

Page 133: Definition: Concept and Goals - Definition of "definition"

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

Page 134: Definition: Concept and Goals - Definition of "definition"

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

Page 135: Definition: Concept and Goals - Definition of "definition"

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

Page 136: Definition: Concept and Goals - Definition of "definition"

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

Page 137: Definition: Concept and Goals - Definition of "definition"

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

Page 138: Definition: Concept and Goals - Definition of "definition"

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

Page 139: Definition: Concept and Goals - Definition of "definition"

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

Page 140: Definition: Concept and Goals - Definition of "definition"

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

Page 141: Definition: Concept and Goals - Definition of "definition"

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

Page 142: Definition: Concept and Goals - Definition of "definition"

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

Page 143: Definition: Concept and Goals - Definition of "definition"

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

Page 144: Definition: Concept and Goals - Definition of "definition"

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

Page 145: Definition: Concept and Goals - Definition of "definition"

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

Page 146: Definition: Concept and Goals - Definition of "definition"

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

Page 147: Definition: Concept and Goals - Definition of "definition"

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

Page 148: Definition: Concept and Goals - Definition of "definition"

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

Page 149: Definition: Concept and Goals - Definition of "definition"

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

Page 150: Definition: Concept and Goals - Definition of "definition"

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

Page 151: Definition: Concept and Goals - Definition of "definition"

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

Page 152: Definition: Concept and Goals - Definition of "definition"

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

Page 153: Definition: Concept and Goals - Definition of "definition"

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

Page 154: Definition: Concept and Goals - Definition of "definition"

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

Page 155: Definition: Concept and Goals - Definition of "definition"

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

Page 156: Definition: Concept and Goals - Definition of "definition"

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

Page 157: Definition: Concept and Goals - Definition of "definition"

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

Page 158: Definition: Concept and Goals - Definition of "definition"

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

Page 159: Definition: Concept and Goals - Definition of "definition"

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

Page 160: Definition: Concept and Goals - Definition of "definition"

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

Page 161: Definition: Concept and Goals - Definition of "definition"

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

Page 162: Definition: Concept and Goals - Definition of "definition"

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

Page 163: Definition: Concept and Goals - Definition of "definition"

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

Page 164: Definition: Concept and Goals - Definition of "definition"

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

Page 165: Definition: Concept and Goals - Definition of "definition"

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

Page 166: Definition: Concept and Goals - Definition of "definition"

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

Page 167: Definition: Concept and Goals - Definition of "definition"

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

Page 168: Definition: Concept and Goals - Definition of "definition"

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

Page 169: Definition: Concept and Goals - Definition of "definition"

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

Page 170: Definition: Concept and Goals - Definition of "definition"

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

Page 171: Definition: Concept and Goals - Definition of "definition"

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

Page 172: Definition: Concept and Goals - Definition of "definition"

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

Page 173: Definition: Concept and Goals - Definition of "definition"

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

Page 174: Definition: Concept and Goals - Definition of "definition"

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

Page 175: Definition: Concept and Goals - Definition of "definition"

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

Page 176: Definition: Concept and Goals - Definition of "definition"

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

Page 177: Definition: Concept and Goals - Definition of "definition"

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

Page 178: Definition: Concept and Goals - Definition of "definition"

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

Page 179: Definition: Concept and Goals - Definition of "definition"

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

Page 180: Definition: Concept and Goals - Definition of "definition"

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