;(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

Rudolf Carnap Filósofo alemão

18 de maio de 1891, Wuppertal (Alemanha)

14 de setembro de 1970, Los Angeles (EUA)

Da Página 3 Pedagogia & Comunicação

04/11/2009 08h31

As fontes do pensamento de Rudolf Carnap encontram-se em dois grandes filósofos: Gottlob Frege, que foi seu professor nas questões de sintaxe e lógica, e Bertrand Russell, no que se refere à sua perspectiva filosófica geral.

Depois de estudar no Círculo de Viena, período que Carnap considerava como dos mais estimulantes de sua vida filosófica, transfere-se, em 1931, para a antiga Tchecoslováquia, onde permanece até 1935. Nesse ano, diante do avanço de Hitler, muda-se para os EUA, onde manterá contatos com filósofos das universidades de Chicago e Harvard.

Rudolf Carnap é um dos maiores representantes do positivismo lógico e do empirismo científico dele decorrente. Sua obra concentra-se na lógica formal e em suas aplicações, principalmente na esfera da sintaxe. Mas ele também se interessa pelas relações entre lógica e matemática. Na filosofia da ciência, Carnap discute vários problemas, dentre os quais se destacam os de teste e significado das hipóteses científicas. Nos seus últimos anos de vida, dedica-se à lógica indutiva.

Na opinião de Carnap, a matemática é redutível à lógica, sendo analíticos todos os enunciados válidos dessa disciplina. Carnap distingue a geometria matemática (um ramo da lógica) da geometria física (um ramo da ciência empírica).
 

Da metalinguagem à semântica formal

Em seu livro Sintaxe lógica da linguagem, o filósofo enfatiza a diferença entre a linguagem que é objeto de investigação e a linguagem em que a teoria da linguagem-objeto é formulada (isto é, a metalinguagem). Seu objetivo é construir uma teoria geral das formas linguísticas, a fim de revelar até que ponto muitas controvérsias filosóficas nascem apenas em virtude da escolha de uma particular linguagem.

Assim, Carnap pretendia que o desenvolvimento de uma metalinguagem específica permitiria maior clareza na formulação de questões filosóficas. Contudo, anos depois da publicação de sua obra, ele reconheceu que algumas de suas teses eram muito estreitas, itindo que a metateoria precisaria incluir também a semântica e a pragmática.

Segundo Henry E. Kyburg, da Universidade de Rochester, os estudos de Carnap a respeito das medidas de probabilidade em linguagem formal estão destinados a durar por longo tempo, podendo-se dizer o mesmo do seu trabalho sobre a semântica formal.

Ainda segundo Kyburg, "Carnap foi um defensor incondicional da fecundidade dos estudos formais em filosofia, como também da necessidade de ser claro e explícito, e de oferecer exemplos concretos. Para além das doutrinas filosóficas particulares que defendeu, estes empreendimentos caracterizam sua contribuição para a filosofia".
 

Enciclopédia Mirador Internacional; Dicionário de Filosofia de Cambridge