;(function() { window.createMeasureObserver = (measureName) => { var markPrefix = `_uol-measure-${measureName}-${new Date().getTime()}`; performance.mark(`${markPrefix}-start`); return { end: function() { performance.mark(`${markPrefix}-end`); performance.measure(`uol-measure-${measureName}`, `${markPrefix}-start`, `${markPrefix}-end`); performance.clearMarks(`${markPrefix}-start`); performance.clearMarks(`${markPrefix}-end`); } } }; /** * Gerenciador de eventos */ window.gevent = { stack: [], RUN_ONCE: true, on: function(name, callback, once) { this.stack.push([name, callback, !!once]); }, emit: function(name, args) { for (var i = this.stack.length, item; i--;) { item = this.stack[i]; if (item[0] === name) { item[1](args); if (item[2]) { this.stack.splice(i, 1); } } } } }; var runningSearch = false; var hadAnEvent = true; var elementsToWatch = window.elementsToWatch = new Map(); var innerHeight = window.innerHeight; // timestamp da última rodada do requestAnimationFrame // É usado para limitar a procura por elementos visíveis. var lastAnimationTS = 0; // verifica se elemento está no viewport do usuário var isElementInViewport = function(el) { var rect = el.getBoundingClientRect(); var clientHeight = window.innerHeight || document.documentElement.clientHeight; // renderizando antes, evitando troca de conteúdo visível no chartbeat-related-content if(el.className.includes('related-content-front')) return true; // garante que usa ao mínimo 280px de margem para fazer o lazyload var margin = clientHeight + Math.max(280, clientHeight * 0.2); // se a base do componente está acima da altura da tela do usuário, está oculto if(rect.bottom < 0 && rect.bottom > margin * -1) { return false; } // se o topo do elemento está abaixo da altura da tela do usuário, está oculto if(rect.top > margin) { return false; } // se a posição do topo é negativa, verifica se a altura dele ainda // compensa o que já foi scrollado if(rect.top < 0 && rect.height + rect.top < 0) { return false; } return true; }; var asynxNextFreeTime = () => { return new Promise((resolve) => { if(window.requestIdleCallback) { window.requestIdleCallback(resolve, { timeout: 5000, }); } else { window.requestAnimationFrame(resolve); } }); }; var asyncValidateIfElIsInViewPort = function(promise, el) { return promise.then(() => { if(el) { if(isElementInViewport(el) == true) { const cb = elementsToWatch.get(el); // remove da lista para não ser disparado novamente elementsToWatch.delete(el); cb(); } } }).then(asynxNextFreeTime); }; // inicia o fluxo de procura de elementos procurados var look = function() { if(window.requestIdleCallback) { window.requestIdleCallback(findByVisibleElements, { timeout: 5000, }); } else { window.requestAnimationFrame(findByVisibleElements); } }; var findByVisibleElements = function(ts) { var elapsedSinceLast = ts - lastAnimationTS; // se não teve nenhum evento que possa alterar a página if(hadAnEvent == false) { return look(); } if(elementsToWatch.size == 0) { return look(); } if(runningSearch == true) { return look(); } // procura por elementos visíveis apenas 5x/seg if(elapsedSinceLast < 1000/5) { return look(); } // atualiza o último ts lastAnimationTS = ts; // reseta status de scroll para não entrar novamente aqui hadAnEvent = false; // indica que está rodando a procura por elementos no viewport runningSearch = true; const done = Array.from(elementsToWatch.keys()).reduce(asyncValidateIfElIsInViewPort, Promise.resolve()); // obtém todos os elementos que podem ter view contabilizados //elementsToWatch.forEach(function(cb, el) { // if(isElementInViewport(el) == true) { // // remove da lista para não ser disparado novamente // elementsToWatch.delete(el); // cb(el); // } //}); done.then(function() { runningSearch = false; }); // reinicia o fluxo de procura look(); }; /** * Quando o elemento `el` entrar no viewport (-20%), cb será disparado. */ window.lazyload = function(el, cb) { if(el.nodeType != Node.ELEMENT_NODE) { throw new Error("element parameter should be a Element Node"); } if(typeof cb !== 'function') { throw new Error("callback parameter should be a Function"); } elementsToWatch.set(el, cb); } var setEvent = function() { hadAnEvent = true; }; window.addEventListener('scroll', setEvent, { capture: true, ive: true }); window.addEventListener('click', setEvent, { ive: true }); window.addEventListener('resize', setEvent, { ive: true }); window.addEventListener('load', setEvent, { once: true, ive: true }); window.addEventListener('DOMContentLoaded', setEvent, { once: true, ive: true }); window.gevent.on('allJSLoadedAndCreated', setEvent, window.gevent.RUN_ONCE); // inicia a validação look(); })();
  • AssineUOL
Topo

Lógica - Introdução - Uma porta ao mundo da filosofia e da ciência

Heidi Strecker, Especial para Página 3 Pedagogia & Comunicação

Tomemos o seguinte raciocínio:


Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Pois bem, este é um raciocínio >lógico. Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados (o fato de que todos os homens são mortais e o fato de que Sócrates é homem) servem de evidência para a conclusão. São eles que sustentam a conclusão.

Mas o que é lógica? Veja o que ensina a filósofa Marilena Chauí:

Ao usarmos as palavras lógico e lógica estamos participando de uma tradição de pensamento que se origina da Filosofia grega, quando a palavra logos – significando linguagem-discurso e pensamento-conhecimento – conduziu os filósofos a indagar se o logos obedecia ou não a regras, possuía ou não normas, princípios e critérios para seu uso e funcionamento. A disciplina filosófica que se ocupa com essas questões chama-se lógica.

A lógica é um dos campos da filosofia, e pode ser considerada uma disciplina introdutória para qualquer estudo filosófico. Isso acontece porque a lógica lida com raciocínios e argumentos, e raciocínios e argumentos fazem parte de qualquer reflexão filosófica, seja ela no campo da teoria do conhecimento, da ética, da filosofia política ou da estética.

Hoje em dia temos a lógica tradicional e a lógica matemática ou simbólica. A lógica tradicional é mais simples e mais ível que a lógica matemática, mas nem por isso tem menos importância. Pelo contrário, a lógica matemática desenvolveu-se graças aos avanços da lógica tradicional. A base da lógica tradicional foi formulada pelo filósofo grego Aristóteles e foi reelaborada durante a Idade Média. Na segunda metade do século 19 a lógica teve um enorme desenvolvimento até chegar a seu estágio atual, a lógica matemática ou simbólica.

Os estudiosos definem a lógica de diversas maneiras:

"O estudo da lógica é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto."

Irving Coppi

"A lógica trata de argumentos e inferências. Um de seus propósitos básicos é apresentar métodos capazes de identificar os argumentos logicamente válidos, distinguindo-os dos que não são logicamente válidos."

Wesley Salmon

"A tarefa da lógica sempre foi a de classificar e organizar as inferências válidas, separando-as daquelas que não o são. A importância desta organização não deve ser subestimada, pois usam-se as inferências (de preferência válidas) tanto na vida comum como nas ciências formais, sendo um exemplo a matemática."

Jesus Eugênio de Paula Assis

"Para Aristóteles, a lógica é a ciência da demonstração; (...) para Lyard é a ‘ciência das regras do pensamento’. Poderíamos ainda acrescentar: (...) é a ciência das leis ideais do pensamento e a arte de aplicá-las corretamente na procura e demonstração da verdade."

Maria Lucia de Arruda Aranha e Maria Helena Pires

Estas definições têm alguma coisa em comum. Todas elas se referem a inferências válidas, a raciocínios corretos, a leis do pensamento. O homem sempre foi fascinado pelo pensar e pelas regras deste pensar.

Voltemos ao nosso raciocínio inicial:

Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Nosso raciocínio é correto. Sócrates é mortal! Temos três proposições. As duas primeiras proposições servem de evidência para a última. Vamos dizer isto em outras palavras: Temos duas premissas que servem de evidência para a conclusão.

Estamos estudando as relações entre as proposições. Estamos estudando o argumento, examinando se ele é válido ou inválido. Essa é a tarefa da lógica. Não estamos discutindo as ideias de Sócrates e sua condição de homem.

Tradicionalmente a lógica foi considerada um portal de o ao estudo da filosofia e das ciências.Faz sentido. Discutir e argumentar faz parte do debate sobre qualquer questão. No caso das ciências, conhecer um pouco de lógica pode ser muito valioso. As ciências foram construídas usando procedimentos lógicos e o método científico pode ser visto como lógica aplicada.