946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Os aspectos quânticos de teorias de campo formuladas no espaço-tempo não comutativo têm sido amplamente estudados ao longo dos anos. Um dos principais aspectos é o que na literatura ficou conhecido como mixing IR/UV. Trata-se de uma mistura das divergências, que foi vista pela primeira vez no trabalho de Minwalla et al [28], onde num estudo do campo escalar não comutativo com interação quártica vemos já a 1 loop que o tadpole tem uma divergência UV associada a sua parte planar e, junto com ela, temos uma divergência IR associada com um gráfico não planar. Essa mistura torna a teoria não renormalizável. Dado tal problema, houve então uma busca por mecanismos que separassem essas divergências a fim de termos teorias renormalizáveis. Um mecanismo proposto foi a adição de um termo não local na ação U*(1) para que esta seja estável.Neste trabalho, estudamos através da renormalização algébrica a estabilidade deste modelo. Para tal, precisamos localizar o operador não local através de campos auxiliares e seus respectivos ghosts (metodo de Zwanziger) na intenção de retirar os graus de liberdade indesejados que surgem. Usamos o approachda quebra soft de BRST para analisar o termo que quebra BRST, que consiste em reescrevermos tal termo com o auxílio de fontes externas que num determinado limite físico voltam ao termo original.Como resultado, vimos que a teoria com a adição deste termo na ação só é renormalizável se tivermos que introduzir novos termos, sendo alguns deles quárticos. Porém, estes termos mudam a forma do propagador, que não desacopla as divergências. Um outro aspecto que podemos salientar é que, dependendo da escolha de alguns parâmetros, o propagador dá indícios de termos um fótonconfinante, seguindo o critério de Wilson e o critério da perda da positividade do propagador.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Algumas situações relativas às práticas de comunicacão chamam a atenção, seja pelas possibilidades técnicas que surgem a cada nova ferramenta criada, seja pela influência inconteste para as relações humanas e sociais. Em um momento em que a comunidade acadêmica é convocada a pensar uma nova televisão, este trabalho se propõe a entrar em campo para observar o que há disponível: usos, formatos e linguagens em fase de transição. Propomos, portanto, uma análise empírica ambientada em espaço de recepção midiática, e utilizamos como ferramenta metodológica o Princípio da Simetria com base na Teoria Ator-rede. Seguindo a ideia de rastrear conexões a partir de uma escrita etnográfica, o método propõe pensar o social menos como categoria de base analítica - posto antecipadamente e desvinculado do campo das ações - e mais como algo focado em processo contínuo. As práticas so-ciais e midiáticas são pensadas aqui para além dos limites humanos - ou exclusivamente técnicos. O ator-rede se estabelece não como uma entidade fixa, mas através de fluxos a partir dos quais o método ajudará a descrever a propagação das associações. A discussão sobre possibilidades técnicas e produção de conteúdo mal começou. Talvez por isso se encontre vivendo o momento de transcender o campo dos conceitos normativos e das especulações, para assim acompanhar as instâncias midiáticas como redes de actantes inventadas e re-inventadas a cada dia, nas condições de possibilidades dos momentos práticos de uso. Coube à pesquisa em questão a observação mais detida desses procedimentos e da relação entre tecnologias em transformação, audiências, materialidades, espaços, corpos, sensações e emoções, para que assim seja possível identificar algum entendimento sobre o que poderá caracterizar a televisão, pelo menos provisoriamente

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A presente dissertação procura investigar o incremento da racionalidade regulatória (ou otimização regulatória) a partir da teoria das falhas de regulação. Hoje, já parece existir um consenso teórico e prático de que a regulação e seu aparato institucional as agências reguladoras constituem fenômeno irreversível. Nesse contexto, as perguntas que se colocam são as seguintes: no plano dos resultados, o Estado Regulador tem alcançado as finalidades a que se propôs? Em caso negativo, que tipo de obstáculos o tem impedido? E mais: que providências devem ser adotadas para superá-los? Responder a tais indagações depende do reconhecimento de que não apenas os mercados são imperfeitos; também a intervenção estatal na economia gera riscos e efeitos negativos. Estudar seus tipos, suas fontes e a maneira como operam é o ponto de partida para se otimizar a regulação. O trabalho propõe uma sistematização das espécies de falhas regulatórias, baseada na proposta de Cass Sunstein, mas adaptada à realidade brasileira. A exposição é precedida de explicações introdutórias sobre o conceito de regulação; as razões para se regular; e características da regulação no Estado Democrático de Direito. Tais características conformam um ideal de racionalidade regulatória, o qual é comprometido pela instauração das falhas de regulação. Reconhecer a existência dos defeitos regulatórios e conhecê-los é já um primeiro passo para se melhorar a regulação. Mas há outros encaminhamentos deveras importantes para a prevenção e correção de falhas regulatórias. Dentre eles, destaca-se um conjunto de reformas institucionais em sentido amplo e estrito, as quais envolvem o sistema de controle pelos Poderes Legislativo, Executivo e Judiciário, e mecanismos procedimentais como a análise de impacto regulatório e a elaboração de agendas regulatórias.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente trabalho deseja construir uma perspectiva acerca das tendências dos movimentos e mobilizações sociais organizados na América Latina contemporânea, e as considerações da teoria social aos novos sujeitos sociais emergentes. Para tanto, abordaremos as trajetórias boliviana e argentina, as quais nos informam sobre algumas das principais formas de ação coletiva engendradas após os avanços do neoliberalismo no subcontinente. Ademais, são enfocadas leituras de tal processo, elaboradas por algumas correntes da teoria social contemporânea, as quais contribuem para a formulação de uma interpretação mais próxima ao contexto latino-americano atual. Pretendemos, desta forma, apontar alguns dos principais desafios colocados às Ciências Sociais do subcontinente, a partir da observação de um dos fatores mais significativos para as transformações dos países da região.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Propõe-se examinar o processo de afirmação de novos direitos, tomando por ponto de partida o pensamento dos filósofos Alain Badiou e Antônio Negri, de quem se realiza uma leitura seletiva e intensiva das obras. Disserta-se sobre a articulação entre ontologia, evento e poder constituinte, como polos para uma teoria do sujeito. Trata-se da questão da afirmação de direitos além, ou antes, de o estado reconhecê-los. Um direito vivo liberto das mediações do estado e do mercado. O direito como potência e não sob a espécie da norma. Discutem-se ainda os conceitos de direito singular e direito comum. O sujeito em pauta é o sujeito comunista, interno ao movimento real de abolição do estado de coisas, na esteira de Karl Marx. Outros autores abordados com frequência são Spinoza e Hegel. Apresentam-se brevemente o método da copesquisa militante (do operaísmo autonomista), o materialismo dialético da cisão (Badiou) e a práxis constituinte (Negri). Mais além de uma discussão restrita ao campo de filosofia política, adota-se a perspectiva de que o pensamento é imediatamente político, que se pode exercer uma política na filosofia e produção do conhecimento. Conclui-se com o cotejamento entre as teorias do sujeito de Negri e Badiou, quanto aos pontos desdobrados neste trabalho, e como esse parcial encontro pode potenciar ferramentas práticas e teóricas. Especial destaque na conclusão, ao duplo processo pars construens pars destruens, para uma política subversiva e radical. A mútua implicação de um e outro é vital para a capacidade um movimento real transformar o estado das coisas.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neste trabalho, os efeitos de um campo magnético oblíquo externo no modelo de Gross- Neveu (2+1)-dimensional, que inclui as componentes paralela e perpendicular do campo em relação ao sistema, são estudados no contexto da simetria quiral e discreta do modelo. Nosso principal interesse está nos efeitos deste campo sobre o diagrama de fase do sistema, onde também incluímos os efeitos combinados de temperatura e potencial químico. Os diagramas de fase são obtidos através do potencial efetivo a 1 loop para o modelo, derivado em primeira ordem na expansão 1=N. Transições de fase relevantes que podem ser estudadas através deste modelo são, por exemplo, metal-isolante em matéria condensada e na teoria quântica de campos de férmions planares em geral. A relação entre a transição de fase com quebra da simetria quiral e discreta e o surgimento de um gap (ou a presença de um valor esperado no vácuo do campo escalar diferente de zero), como função do campo magnético oblíquo, é analisada em detalhes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Por convergência teórica, esta tese de dissertação é estruturada em quatro capítulos, retomando a teoria das cinco peles de Hundertwaser. O artista austríaco, filho de mãe judia e pai ariano, realizou em Paris sua primeira exposição no ano de 1954 e desde então, não cessou mais de trabalhar, aglutinando os exercícios de arquiteto, ambientalista, naturista e higienista moral, assim como as atividades de pintor e gravador, todos efetivados nos múltiplos diálogos estabelecidos por cada pele. As cinco peles de Hundertwasser acredita o homem como um ser de camadas, que se desenrolam por uma espiral concêntrica, que parte do eu-profundo para o mundo exterior, operada por osmose, nas cadeias sucessivas dos níveis de consciência do indivíduo. as cinco peles de Hundertwasser são um plano de vida - e mais: uma reflexão profunda do ser e estar sobre a terra, colocado em prática ao longo de sua jornada artística. A abordagem pretende desdobrar tal teoria - o que cada pele me suscita - no corpo fabril da minha produção em relação a de outros artistas e teóricos. A transmissão das cinco peles de Hunderwasser desenvolve-se em situações de alargamento das peles. Uma apropriação que re contextualiza, revela novos posicionamentos no caminhar da arte contemporânea

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Na busca por entender de que forma profissionais de contabilidade estão analisando e repassando informações, o objetivo geral do trabalho é mostrar o processo de decisão em ambiente contábil sob a ótica da Teoria dos Prospectos, buscando demostrar que as decisões, são baseadas principalmente em julgamentos, contribuindo para consciência das imperfeições dos julgamentos e decisões. O objetivo específico é testar de que forma os efeitos Framing, e Certeza podem moldar uma tomada de decisão dentro do ambiente contábil. Sendo uma pesquisa descritiva, aplicou-se questionário estruturado e não disfarçado à profissionais da área de Contabilidade. O questionário foi dividido em dois tipos (I e II), dividindo assim o campo dos ganhos e das perdas. Procurou-se através da análise do resultado dos questionários evidenciar o impactos dos efeitos nesses profissionais. Dentre o resultado, pode-se constatar que de maneira geral as questões que envolvem certeza no campo dos ganhos são as mais procuradas entre os respondentes. É possível identificar a presença do Efeito Framing. Em relação ao gênero, é possível identificar maior impacto do Efeito Framing nos homens que nas mulheres. Os Efeitos Certeza e Pseudocerteza se fazem presentes em ambos os gêneros o que demostra certa cautela frente a tomada de decisão. Através desse estudo buscou-se auxiliar os decisores na tarefa de repensar seus atuais processos de tomada de decisão, por meio da conscientização de que são dotados de uma racionalidade limitada e que seus julgamentos são passivos de desvios.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Em sua breve carreira filosófica, o poeta e dramaturgo alemão Friedrich Schiller (1759-1805) se apropriou do conceito kantiano do sublime, identificando-o ao trágico e à tragédia, manifestação artística que seria genuinamente regulada por princípios estéticos daquela ordem. Deste modo, buscamos neste trabalho relacionar o caráter subjetivo da experiência do sublime com as suas implicações de ordem prática para a arquitetura da tragédia, em especial as que dizem respeito à estrutura ideal do drama, intimamente vinculada à sua finalidade, que é a efetivação do efeito estético que lhe cabe por definição. Se, por uma via, o pensamento de Schiller caminha em direção ao desenvolvimento de uma concepção do trágico a partir de um dos conceitos fundamentais da estética moderna, por outra ele permanece atrelado à tradição aristotélica quando se concentra no estudo da tragédia enquanto gênero literário e busca por meio deste estudo estabelecer regras para a citação dramatúrgica. Assim, Schiller constrói uma poética do sublime, um programa de arte que inaugura um debate importante sobre o fenômeno do trágico na filosofia alemã. Mas, como pretendemos defender, é justamente a concepção do trágico forjada a partir de uma interpretação acentuadamente moral do sublime que torna o conteúdo de sua teoria da tragédia problemático, embora tal teoria seja a resposta encontrada por Schiller para perguntas ainda pertinentes. Afinal, por que nos entretêm assuntos trágicos?

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Embora Hans Kelsen tenha desenvolvido suas ideias sobre a justiça em diversos artigos e capítulos de livros, o jusfilósofo nunca edificou uma obra mais profunda, monográfica ou sistemática sobre a questão do justo. Suas considerações, o mais das vezes proferidas incidentalmente quando da análise e crítica das teorias do direito natural, se encontram, a bem dizer, dispersas por diversas produções. A leitura integral e conjunta de seus estudos, entretanto, permite a identificação da mesma e coerente concepção de filosofia moral que perpassa todos os seus escritos, concepção esta que sugere a relatividade, subjetividade e irracionalidade da questão do justo. Sem o propósito de ser uma biografia intelectual ou uma psicanálise do conhecimento das conclusões kelsenianas sobre o problema da justiça, o objetivo da presente dissertação, além da tentativa de realizar uma exposição sistemática da própria teoria da justiça de Kelsen  dispersa por uma multiplicidade de trabalhos, nem todos disponíveis ou publicados em língua portuguesa , consiste na análise dos pressupostos e justificativas teórico-filosóficos que, utilizados pelo jusfilósofo como embasamento de suas inferências sobre o tema, o conduzem a afirmar a incognoscibilidade de qualquer conceito absoluto, objetivo e universal de justiça, ou a viabilidade de uma razão prática. A meta maior desta dissertação, portanto, é o estabelecimento e elucidação das premissas extraídas por Kelsen do pensamento teórico-filosófico de Max Weber, Immanuel Kant (além dos neokantismos de Marburgo e Baden), Wittgenstein, e dos neopositivistas do Círculo de Viena, para rejeitar lógico-gnosiologicamente as concepções absolutistas do justo, bem como a possibilidade de discutir ou definir racionalmente a justiça e as normas morais dela decorrentes. A partir de elementos colhidos dessas diferentes correntes intelectuais, Kelsen desacredita, com base na distinção entre enunciados sobre fatos (racionais e verificáveis) e proposições relativas a valores (irracionais e não verificáveis), a capacidade humana de cognição dos valores em geral e, mais ainda, a existência e cognoscibilidade de valores absolutos  em sua ótica, requisitos imprescindíveis para a exequibilidade de qualquer sistema objetivo de moralidade ou para especulações racionais sobre a justiça.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A presente dissertação propõe uma abordagem alternativa na simulação matemática de um cenário preocupante em ecologia: o controle de pragas nocivas a uma dada lavoura de soja em uma específica região geográfica. O instrumental teórico empregado é a teoria dos jogos, de forma a acoplar ferramentas da matemática discreta à análise e solução de problemas de valor inicial em equações diferenciais, mais especificamente, as chamadas equações de dinâmica populacional de Lotka-Volterra com competição. Essas equações, que modelam o comportamento predador-presa, possuem, com os parâmetros inicialmente utilizados, um ponto de equilíbrio mais alto que o desejado no contexto agrícola sob exame, resultando na necessidade de utilização da teoria do controle ótimo. O esquema desenvolvido neste trabalho conduz a ferramentas suficientemente simples, de forma a tornar viável o seu uso em situações reais. Os dados utilizados para o tratamento do problema que conduziu a esta pesquisa interdisciplinar foram coletados de material bibliográfico da Empresa Brasileira de Pesquisa Agropecuária EMBRAPA.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo dessa pesquisa é discutir o cenário de uso de crack no município do Rio de Janeiro contextualizado com a condição de vulnerabilidade e risco social, através do mapeamento das controvérsias entre os atores dessa rede. As percepções e experiências relatadas neste trabalho dizem respeito aos diferentes espaços profissionais voltados ao atendimento e prestação de serviço a este público. Inicialmente, é trazida a trajetória teórica e prática que levaram a construção desta dissertação. Foram relatadas experiências vividas nas ações conjuntas de abordagem com a SMDS (Secretaria Municipal de Desenvolvimento Social) e a prática como entrevistadora de usuários de crack na Pesquisa Nacional do Crack pela FIOCRUZ. No segundo momento, é feito um breve histórico da origem do crack e suas marcas pelo mundo. São trazidos também, dados sobre a droga no Brasil, em particular sua história no Rio de Janeiro. Ainda nesta sequência, é apresentada a política de Redução de Danos, mostrando de que maneira o sujeito é significado a partir dessa perspectiva, e suas principais contribuições pelo mundo e também no país. A dissertação é construída pela perspectiva das práticas profissionais do psicólogo SMDS pensada através da Teoria Ator-rede. Foi importante destacar as principais ações de política pública voltadas para essa temática, considerando os avanços na discussão da temática. Foram mapeadas e exploradas as relações entre os atores envolvidos nesta temática (usuários de crack, SMDS, SMS Secretaria Municipal de Saúde, Segurança Pública, Mídia, Sociedade), colocando em evidencia as controvérsias existentes nessas relações, como recolhimento compulsório. De maneira conclusiva, são trazidas as impressões tiradas ao final deste percurso, problematizando os papéis do poder público e daqueles que atuam para garantir a população que faz uso abusivo de crack e outras drogas o direito de acessar e exercia sua cidadania.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

É conhecido que derivações microscópicas obtidas através de métodos de teoria quântica de campos (TQC) podem conduzir a complicadas equações de movimento (EdM) que possuem um termo dissipativo com memória e um termo de ruído colorido. Um caso particularmente interessante é o modelo que escreve a interação entre um sistema e um banho térmico a temperatura T. Motivado por isso, usamos uma prescrição que nos permite reescrever EdMs não-markovianas semelhantes as obtidas em TQC em termos de um sistema de equações locais, para então confrontarmos a solução desse sistema com a solução aproximada usada correntemente na literatura, a chamada aproximação markoviana. A pergunta chave a qual se pretende responder aqui é: dado um conjunto de parâmetros que descrevem o modelo, a aproximação markoviana é suficientemente boa para descrever a dinâmica do sistema se comparada a dinâmica obtida atravéS da EdM não-markoviana? Além disso, consideramos uma versão linear da ELG de forma que pudéssemos determinar o nível de confiança da nossa metodologia numérica, procedimento este realizado comparando-se a solução analítica com a solução numérica. Como exemplo de aplicação prática do tema discutido aqui, comparamos a evolução não-markoviana do inflaton com a evolução markoviana do mesmo num modelo de universo primordial denominado inflação não-isentrópica (warm inflation).