anonymi tractatus de logica.

Colbertinus

Logica Alberti de Saxonia.

Fonds non déterminé.

Nuevo sistema de logica inducativa y deductiva

UANL

Institutiones philosophicae ad usum seminariorum et collegiorum : logica, metaphysica, moralis

UANL

Interpretazione in una logica n-dimensionale di Metafisica 4,4

Il Principio di non contraddizione (PNC) così come tradizionalmente inteso sembra minare alla base la possibilità di un'alterità « assoluta », di un'alterità, cioè che non sia in nessun modo riconducibile ad un'ipseità che la conosca. [...]

Analisis de la politica exterior de Francia y Alemania frente a la Constitucion Europea de 2004, Bajo la Logica de la Nueva Razon de Estado

El Tratado que establece una Constitución para Europa (CNE) de 2004 fue el resultado de una serie de debates que iniciaron en el seno del eje franco-alemán, y se fueron expandiendo a los otros Estados miembro y Estados candidatos de Europa Central y Oriental (PECO¿s) de la UE. A través de la Convención Europea (CVE) se creó un borrador del tratado constitucional y posteriormente, en la CIG se negoció y firmó por los Jefes de Estado y de Gobierno de dichos Estados. La presente monografía pretende explicar y analizar las diferentes posturas que tuvieron Francia y Alemania, respecto al debate, la negociación, y la ratificación de la CNE.

En SOA utvärderingsmall med fokus på integration, arkitektur och tjänster : Ett praktikfall på Logica

Today, there are no standardized ways to characterize SOA, many are talking about SOA and many say they are using SOA. One way that we have chosen to characterize this phenomenon is through an evaluation that will indicate whether SOA have been used in the development. Basedon a Service Oriented Architecture literature study, we have created an evaluation pattern resulting SOA principles of integration, architecture and services. This evaluation was applied to Logica's own integration system AgrCom through an empirical study to result in a response indicating whether AgrCom is SOA based. The results of the evaluation show that AgrCom is part of an SOA solution but not an SOA as a whole concept. The study shows that it takes morethan just systems in an activity to be referred to as the SOA-based, hence the architecture of anactivity must be taken into account.

O papel da satisfação, confiança e comprometimento na formação de intenção de compra futura entre clientes com níveis de experiência diferenciados

O conceito de satisfação está intimamente relacionado ao Marketing. De especial interesse tem sido a verificação do impacto da satisfação na manutenção de clientes, tendo como pano de fundo a busca de relacionamentos. A partir de um estudo realizado por Garbarino & Johnson (1999: 70-87), onde foram averiguadas as relações existentes entre satisfação, confiança e comprometimento sobre as intenções de compra futura entre clientes de perfil transacional e relacional, os autores concluem que a satisfação não exerceria qualquer influência sobre intenções futuras de compra para clientes de perfil relacional. O presente estudo verifica a manutenção ou não desta conclusão em um ambiente diferente, aplicando os modelos desenvolvidos para clientes relacionais e transacionais de Garbarino & Johnson, respectivamente para clientes antigos e novos. Porém, testou-se um modelo alternativo para clientes relacionais, onde a ligação satisfação–intenção era intermediada pela confiança. Os resultados indicam que, nas empresas pesquisadas, um cliente antigo apresenta um comportamento muito semelhante ao cliente relacional e o cliente novo muito próximo ao cliente transacional. Quanto ao modelo alternativo, foi refutado. Entretanto, pode-se entrever que a satisfação entre clientes antigos pode não ser tão inexpressiva assim na geração de intenções futuras de compra.

A influência da consciência ambiental e das atitudes em relação ao consumo sustentável na intenção de compra de produtos ecologicamente embalados

O agravamento dos problemas ambientais ocorridos nos últimos cem anos está diretamente relacionado ao uso indiscriminado dos recursos existentes no meioambiente. Desde de a década de 70, entretanto, os movimentos ambientais surgiram e ganharam força de forma a desempenharem, hoje, um papel relevante na sociedade. Paralelamente a este movimento voltado para as questões ambientais, surgiu também um tipo de consumidor que passou a ponderar os impactos de seu padrão de consumo na natureza. Este novo consumidor foi denominado consumidor ecologicamente correto (ou verde) e seu comportamento de compra, consumo sustentável. Deste modo, este estudo buscou verificar a influência exercida pelo nível de consciência ambiental do consumidor e pelas suas atitudes em relação ao consumo sustentável nas suas intenções de compra de produtos ecologicamente embalados. Para tanto, com base em uma pesquisa do tipo survey testou-se, com a utilização da modelagem de equações estruturais, um modelo integrado para se verificar as relações entre as variáveis latentes. Os resultados indicam haver uma influência positiva da consciência ambiental nas atitudes em relação ao consumo sustentável e desta nas intenções de compra de produtos ecologicamente embalados. Ainda, verifica-se uma influência positiva direta do nível de consciência ambiental nas intenções de compra de produtos ecologicamente embalados. Discussões sobre os resultados alcançados, bem como implicações gerenciais e sugestões para pesquisas futuras são abordadas ao fim do trabalho.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

O impacto de experiências emocionais na atitude e intenção de comportamento do consumidor

Esta dissertação de mestrado examina a formação de emoções geradas na experiência de consumo e como estas emoções influenciam as atitudes e intenção de comportamento dos consumidores. Após evidências teóricas mostrando que as emoções influenciam os julgamentos pós-consumo, espera-se entender a formação de emoções no contexto de consumo, avaliando dois antecedentes cognitivos das emoções: a congruência com os objetivos pessoais e a relevância para os objetivos pessoais. A congruência é a extensão com a qual a situação é congruente ou discrepante dos planos ou desejos de um indivíduo; a relevância é a extensão com a qual a situação é pessoalmente importante e contribui para o atendimento dos objetivos. A partir dessas considerações, é proposto um modelo teórico que avalia as relações entre essas duas avaliações cognitivas (congruência e relevância para os objetivos pessoais), emoções positivas e negativas e dois julgamentos pós-consumo (atitude e intenção de comportamento). Para testar as hipóteses do modelo foi desenvolvido um estudo experimental do tipo fatorial (2x2) com cenários que simulam uma situação de consumo. Os resultados confirmam que a congruência é um antecedente de emoções positivas e negativas e mostram a influência destas na formação da atitude. Esta por sua vez, media a relação entre emoções e intenção de comportamento. Os resultados ainda lançam luz sobre o papel moderador da relevância sobre as relações do modelo, mostrando que a relação entre emoções positivas e atitude e a relação entre atitude e intenção de comportamento são intensificadas quando a relevância é alta.