Galois extension of CP-Graded ring extensions

In this paper, we investigate galois theory of CP-graded ring extensions. In particular, we generalize some galois results given in [1, 2] and, without restriction to nor graded fields nor torsion free of the grade groups, we show that some results of graded field extensions given in [3] hold.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Percorsi dell'emigrazione italiana in Svizzera tra fonti orali e scritture di gente comune (1946-1974)

Sintesi II presente lavoro di ricerca, maturato nel quadro di un dottorato in storia contemporanea, propone una ricostruzione dei percorsi materiali e dei percorsi culturali degli emigrati italiani in Svizzera tra la tìne della Seconda guerra mondiale e i primi anni Settanta. Le principali fonti di prima mano adoperate nella ricerca consistono in tre diversi generi di narrazioni autobiogratìche: le fonti orali (cento interviste complessive raccolte e analizzate); le scritture epistolari (tre fondi per un totale di circa duecento lettere); le scritture scolastiche di adolescenti e giovani emigrati italiani, iscritti, tra la fine degli anni Sessanta e i primi anni Settanta, ad una scuola privata del Canton Zurigo (circa seicento temi validi come prova di lingua italiana per il conseguimento della licenza media tra il 1973 e il 1974). Le fonti soggettive raccolte hanno permesso di tracciare i profili di numerosi di percorsi migratori vissuti da queste persone, lavorando, in primo luogo, sulla loro dimensione materiale, ovvero sulle tappe íìsiche, dal viaggio, alla ricerca del posto di lavoro e dell'alloggio, alla formazione di una famiglia, agli strumenti utilizzati per mantenersi in contatto con il proprio paese d'origine. Si sono poi inquadrate alcune delle possibili evoluzioni ideologiche e culturali, nei termini consentiti dallo studio della memoria e delle rappresentazioni di sé, offerte dagli emigrati stessi. In sintesi, quindi, il lavoro propone una ricostruzione di un frammento di storia dell'emigrazione italiana, con tutte le specitìcità legate a un paese di accoglienza, la Svizzera, e a un periodo storico, il Secondo dopoguerra. Alcuni dei caratteri principali dei percorsi materiali sono senz'altro legati alle peculiarità della legislazione svizzera, con la detìnizione di "straniero" che dava, le condizioni di vita che rendeva praticabili e possibili, i passaggi di tempo che imponeva per avere una permesso a tempo indeterminato, per raggiungere una certa stabilità, per ricomporre il proprio nucleo familiare. Anche alcuni fenomeni culturali erano legati a queste dimensioni specitïche, per cui non hanno riscontro, negli stessi termini, in altri contesti e in altri periodi. Accanto alle peculiarità e alle differenze che questa storia ha rispetto ad altre storie di emigrazione legate ad altri paesi e ad altri contesti, dal lavoro emergono processi e fenomeni di interesse più generale, qualora ci si interessi di fenomeni migratori, di conflitti, di inclusione e di esclusione di gruppi umani differenti. Alcune delle problematiche che si sono poste nella storia in analisi -per esempio quelle relative alla scolarizzazione dei minori, al rapporto tra diritto di residenza e obbligo di impiego, alla presenza di clandestini e al loro rapporto con associazioni o gruppi di assistenza legali o illegali -sono senza dubbio utili riferimenti per chi oggi voglia ragionare su problematiche analoghe poste in diversi contesti.

Tra gratuità e onerosità : la donazione gravata da un onere : studio di diritto romano e di diritto svizzero

Introduzione : Plinio il Giovane erogò una somma di denaro per costruire una biblioteca e assicurarne il funzionamento. Una cittadina donò al Municipio di Balerna due case di appartamenti con lo scopo di mantenervi pigioni moderate e di mettere i vani a disposizione quale abitazione primaria per la popolazione del Comune. Questi due esempi illustrano casi di donazioni gravate da un onere. Da essi si evince che la donazione modale consta di due elementi: un dono e una finalità posta allo stesso. Una tale donazione esemplifica l'idea di alterità dell'unità, come Giano - dio del Pantheon romano - il quale è rappresentato con due volti, che gli permettevano di vedere il passato e di scrutare il futuro. Così, il presente lavoro - anch'esso paradigma dell'alterità dell'unità - si prefigge lo scopo di creare un ponte tra il passato e il potenziale futuro, sulla scorta anche di testi filosofici e letterari, senza tacere la sua dimensione giuridica. Un'invocazione a Giano si giustifica: anche Seneca, nel suo canzonatorio poema sulla trasformazione in zucca dell'imperatore Claudio - l'Apocolocintosi - narra che il dio patrocinò l'interessato, siccome abile oratore e aduso all'arte forense poiché i suoi due volti indicano in senso metaforico - e ironico - la capacità di esaminare le questioni sotto tutti i loro aspetti. Ciò posto, giovi considerare che la donazione modale è costituita di due scorciatoie cognitive che espongono la sua alterità: l'una, il dono, rimanda all'idea di gratuità, di benevolenza, di amicizia, di reciprocità; l'altra, l'onere, riconduce all'onerosità, allo scambio, al contratto, alla commutatività. Così, per enucleare l'unità della donazione gravata da un onere occorre chinarsi sulla sua alterità e percorrere i cammini che essa propone: la gratuità e l'onerosità, per poi ridurre gli esiti nell'unitarietà dell'istituto. Il presente lavoro vaglia invero la donazione modale. Esso è nondimeno condito di riflessioni più generali inerenti alla teoria dei contratti e alla filosofia del diritto, in una digressione temporale che dal diritto romano porta al diritto svizzero, passando per alcuni glossatori e umanisti e, anche, attraverso alcune legislazioni regionali del XIX secolo. Donde un lavoro che, in ultima analisi, abbraccia più tematiche, suddivise come esposto in appresso. Il primo capitolo, di introduzione al tema, è un compendio della terminologia latina del dono, ottenuto individuando esempi addotti dalle fonti giuridiche e fatti narrati da scrittori latini. Dacché la legge si palesa mediante uno scritto insieme di segni che esprimono concetti - mi è parso opportuno soffermarmi sulle sfaccettature linguistiche del "dono". La società romana era tributaria di molteplici rapporti di amicizia, i cui contenuti hanno poi dato adito ai cosiddetti contratti gratuiti. A Roma, la gratuità era un concetto bicefalo. Esisteva una gratuità propriamente detta e una gratuità qualificata di lucrativa. L'una escludeva l'altra. Esse godevano di un campo d'applicazione autonomo e indipendente. Queste due nozioni sono l'oggetto del secondo capitolo. Dato che la donazione modale è una commistione tra gratuità e onerosità, dopo aver esposto i criteri della gratuità, il terzo capitolo si incentra sull'analisi del modus testamentario e del concetto di donazione remuneratoria. Lungo le pagine del quarto capitolo, preludio al nucleo stesso della tesi, si tratteggia lo sviluppo giuridico della donazione nel diritto romano: da causa di atti a contratto indipendente. Dopo avere tracciato i contorni degli elementi che si fondono nel concetto di donazione gravata da un onere (dono, gratuità, onerosità), il quinto capitolo contiene la base del presente studio: l'analisi della donazione modale. Assemblando i risultati emersi nei capitoli precedenti, si definisce e si delimita questo istituto, si elabora la sua maturazione storica e concettuale. L'incedere della tesi, in ambito svizzero, segue quasi pedissequamente la struttura romanistica del primo titolo. Dopo una presentazione di alcune legislazioni del XIX secolo, nel preludio, il secondo capitolo si concentra sulla nozione di gratuità, quale può essere estrapolata dal Codice civile, dal Codice delle obbligazioni e dalla Legge federale sulla esecuzione e sul fallimento. Il terzo capitolo tratta dell'onerosità, limitata al Codice civile e, principalmente, all'onere successorio. La tesi si chiude, nel quarto capitolo, con una digressione sulla donazione gravata da un onere nel diritto svizzero. In questo lavoro i quesiti di fondo, cui si cerca di fornire una risposta, riguardano la natura e la struttura dell'istituto in esame: di che tipo di contratto si tratta? È gratuito, lucrativo o oneroso? Come risponde il donatario inadempiente? Permettetemi un'avvertenza preliminare: i testi letterari, giuridici e filosofici su cui poggia il primo titolo sono vecchi di un paio di millenni, e, prima di giungere nelle nostre biblioteche e nelle nostre case, hanno subito un percorso tortuoso. Alcuni sono stati alterati, altri modificati. Errori di trascrizione si sommano ad adeguamenti alle nuove realtà storiche. Ciò premesso, i testi letterari e filosofici sono presentati nelle versioni indicate nelle pagine della bibliografia e non sono stati l'oggetto di particolari attenzioni interpolazionistiche, critiche che affiorano tuttavia per i frammenti giuridici più interessanti per il presente lavoro.

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. [...]

Anatta e Anicca nella poetica interstiziale di Fernando Pessoa

Tendo como prerrogativa o desmascaramento da pretensão, inserida em qualquer essência fenoménica e psicológica, de afirmar-se como uma entidade autónoma, isolada e independente, como puro “em si”, e à revelação de como, contrariamente, qualquer realidade empírica tenha de tal forma uma natureza impermanente subentendendo-se como uma rede de relações e de interligações, a teoria da anatta-, juntamente com a da anicca, representam no âmbito do ensinamento budista talvez o que mais se assemelha ao conceito de askesis filosófica formulado no Ocidente por uma certa tradição de pensamento tendo como raízes Heraclito, Platão, Hegel e Nietzsche e que descobre dois de entre os mais originais intérpretes em Novalis e Pessoa. De facto, quer no primeiro quer no segundo, o filosofar configura-se como uma arte de compor e recompor- se a si mesmo, um percurso de iniciação a si que passa inexoravelmente pelo abandono da posição da própria auto-referencialidade e da aceitação ontognoseológica do outro no seio do idêntico. Mediante esta operação de descentralização, que em Pessoa começa e se dissolve no interior da estratégia estética da heteronímia, onde a palavra poética transfigura-se no interstício, na abdicação e fingimento, o sujeito descobre-se diferença e relação e é-lhe finalmente possível reconhecer-se como totalidade e de reflectir-se nela.

Fatores indutores à evolução da gestão ambiental na indústria: uma abordagem pela Teoria Institucional.

A poluição figura como a principal causadora dos altos impactos ambientais provocando danos à sociedade, à fauna e a flora com degradação e comprometimento do meio ambiente. Somado a esse fato, existe outra fundamental consideração quanto à utilização e desperdício de recursos naturais advindos da produção de bens que visa expandir-se sempre uma vez que busca a ampliação dos mercados e consequentemente do consumo. As organizações industriais são apontadas como grandes responsáveis pela contribuição e acirramento desses problemas. Entretanto, com a inclusão de variáveis sociais e ambientais na condução das atividades empresariais, nota-se uma adoção de práticas diferenciadas para uma prevenção à poluição, maior eficiência e diminuição do uso de recursos naturais. Esta pesquisa tem como principal objetivo identificar em que etapas de gestão se encontram as empresas industriais brasileiras dos segmentos de transformação e os fatores indutores que as levam a adotar a gestão diferenciada, como a produção mais limpa. A investigação se deu mediante survey com posterior Análise Fatorial por Componentes Principais para destacar as variáveis mais relevantes e aplicada Regressão Linear Múltipla para verificar a evolução da gestão ambiental, os fatores motivadores mais influentes e a percepção dos gestores quanto às pressões sofridas, segundo preceitos da Teoria Institucional. Foi possível constatar que as empresas evoluíram positivamente sobre os entendimentos do meio ambiente nas atividades gerenciais nos últimos anos, e que a pressão coercitiva é um fator relevante na gestão das empresas gaúchas e fluminenses. Contudo, o meio ambiente ainda não é abordado de forma estruturada e sistematizada por tais empresas.

Organizações culturais e (re)configuração do espaço: o caso do Istituto Europeo di Design, na cidade do Rio de Janeiro

O presente estudo tem como objetivo investigar de que maneira a possibilidade de instalação do Istituto Europeo di Design (IED) no bairro da Urca, na cidade do Rio de Janeiro, interfere na (re)configuração do espaço. Para o estudo desse processo adotou-se o conceito de espaço definido por Milton Santos, que o caracteriza como um conjunto indissociável de sistemas de objetos e ações, considerando necessária sua análise numa perspectiva histórica. Para ampliação das considerações sobre poder, identificação e caracterização dos atores sociais e das relações entre eles estabelecidas foram utilizados conceitos propostos por Carlos Matus para a análise da realidade social. A pesquisa de campo, de natureza qualitativa, coletou dados secundários a partir de notícias sobre o processo de revitalização do antigo Cassino da Urca e instalação do Istituto Europeo di Design no local, publicadas em jornais e revistas impressos, jornais on line e blogs, assim como dados primários, a partir de observação não estruturada das instalações ao redor do prédio do antigo Cassino da Urca, participação em reuniões da associação de bairro e entrevistas semi-estruturadas com representantes de organizações envolvidas no processo. Para o tratamento dos dados coletados, realizou-se análise argumentativa e interpretativa a partir da teoria utilizada. Com base nas notícias e documentos consultados, foi definido o período de análise, desde a cessão do prédio do antigo Cassino da Urca ao IED, em agosto de 2006, até o anúncio de parceria com outra organização, pelo instituto, em maio de 2012. O estudo permitiu identificar que a instalação do IED na Urca interferiu na configuração do espaço, principalmente no que se refere à formação e à atuação da associação de moradores do bairro, à instalação de novos empreendimentos comerciais no entorno do prédio já restaurado e, por consequência, na paisagem do bairro. Destaca-se também que a instalação do IED gerou mudanças que extrapolam os limites territoriais do bairro. Com base nos dados analisados, destaca-se que a relação de cooperação entre a Prefeitura Municipal do Rio de Janeiro e o IED foi estabelecida em torno da valorização por parte da Prefeitura do domínio de uma capacidade técnica pelo IED, nas áreas de atuação da organização, que são o ensino, pesquisa e consultoria nas áreas de arquitetura, design, moda e comunicação, o que reforça o argumento da valorização atual de organizações culturais no processo de (re)configuração do espaço urbano, quanto aos aspectos econômicos, simbólicos e sociais.

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados