Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Of madness and many-valuedness: an investigation into Suszko's Thesis

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Visão e atuação internacional de Símon Bolívar

Este trabalho restringir-se-á ao estudo da visão e atuação internacional de Bolívar. Consequência lógica será o reconhecimento de sua excepcional atualidade na difícil conjuntura do mundo de hoje.

Confrontando propriedades lógicas em um contexto de lógica universal

This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Frente Parlamentar Mista das Micro e Pequenas Empresas : lógica de funcionamento e resultados

Analisa o modo com que os parlamentares se organizam frente à estrutura institucional no Congresso Nacional. Tem como referências para discussão, contribuições de Barry Ames (2003) e Figueiredo e Limongi (2001) que apresentam dois modelos de funcionamento do Parlamento, o distributivista e o partidário. Analisa a atuação da Frente Parlamentar Mista das Micro e Pequenas Empresas. Enfatiza a segunda fase de funcionamento da Frente, os anos de 2008 e 2009, quando trabalhou pela regulamentação da Lei Geral das Micro e Pequenas Empresas (Lei Complementar nº 123/06) nos Estados e Municípios e seus aperfeiçoamentos por meio da aprovação de Leis Complementares nºs 127/07, 128/08 e 133/09.

Entre la epistemología y la lógica. Decisión y algoritmo de ordenación

[ES] Este trabajo en homenaje al Profesor Emilio Soldevilla trata de plantear algunos elementos de la matemática combinatoria, escogidos sin otro criterio que el de ser fácilmente visualizados para poner en evidencia el aspecto altamente significativo que poseen para la construcción de una epistemología de la economía y gestión de empresas. Y todo ello en torno a uno de los conceptos más destacados de este ámbito del conocimiento cual es el de decisión.

Aplicación de la Lógica Dominante del servicio (LDS) en el sector turístico: el marketing interno como antecedente de la cultura de co-creación de innovaciones con clientes y empleados

[ES] Este trabajo trata de profundizar en la comprensión del concepto de marketing interno (MI), considerado como un recurso operante desde la óptica de la Lógica Dominante del Servicio (LDS), así como en su influencia en la obtención de resultados empresariales superiores a los de la competencia. Para ello, se examina el efecto del MI en la predisposición de las empresas analizadas a que sus clientes y empleados de primera línea participen en el desarrollo de innovaciones de servicio, ampliando de este modo, de acuerdo con la LDS, las oportunidades de co-creación de valor disponibles para las organizaciones. Para contrastar las hipótesis planteadas se aplica un análisis de ecuaciones estructurales a la información facilitada por los gerentes de 240 hoteles de una muestra de ámbito nacional.

La LLanada Oriental hace mil años. ¿Qué hay del crecimiento agrario altomedieval? Hábitat y paisajes agrarios (entre la imaginación y la lógica)

Congreso 750 aniversario de la fundación de la villa de Salvatierra. Ana de Begoña Azcárraga y Henrike Knörr Borras in memorian.

Cidades secas, vidas secas: A trajetória das águas e sua regulamentação no Rio de Janeiro sob uma perspectiva urbano-ambiental

Esta tese analisará a distribuição das águas na cidade do Rio de Janeiro considerando os elementos sociais, jurídicos, políticos, e seus reflexos no direito urbano e ambiental. Nesse aspecto referenciará as medidas de regulação e de organização da estrutura urbana, desde a formação da cidade até os dias atuais, assim como as consequências da exclusão e da ausência das políticas urbanas equitativas. No início, as ocupações irregulares, se distantes do centro e dos bairros elitizados, não despertavam maiores demandas do poder público, porém com o aumento das periferias e as ocupações próximas aos bairros formais, inúmeras medidas adotadas optaram pela remoção, contenção e a destruição dos espaços sem apresentar uma solução, agravando os problemas urbanos. Tais problemas, reconhecidamente sociais, passam a ser denominados urbanos e ambientais, gerando uma complexa criminalização dos moradores das periferias. As intervenções nos espaços são legalizadas pelo instrumento jurídico, as residências suburbanas são classificadas como ilegais e, por consequência, os recursos que deveriam atender a todos na cidade são direcionados apenas para cidade legalizada, criando a celeuma da desigualdade. Assim, amontoados em barracos precários, sem abastecimento de água, energia, esgoto e coleta de lixo, as periferias multiplicam as diversas formas de violência, uma vez que o direito não socorre esses moradores que, abandonados pela lei, vivem a escassez das águas e a especulação dos serviços ilegais de abastecimento. A crise do abastecimento não é causada pelas populações mais empobrecidas, mas pelo mercado que se apropria da maior parte desses recursos, dentro do sistema de uma lógica capitalista, e exclui aqueles que não podem pagar pelo abastecimento regular. Nesse sentido, este trabalho entende que o direito, ainda que tenha se tornado regulatório pode assumir um caráter revolucionário e transformador em que o direito das águas seja um direito da comunidade, por isso, um bem público não estatal, por fim objetiva esse trabalho estudar as leis das águas dentro do paradigma da solidariedade hídrica.

Sistema de classificação da gestão ambiental pública municipal baseado em lógica nebulosa

A partir da Lei n. 6.938 de 31 de agosto de 1981, que constituiu o Sistema Nacional do Meio Ambiente, criou-se o Conselho Nacional do Meio Ambiente e instituiu-se o Cadastro Técnico Federal de Atividades e Instrumentos de Defesa Ambiental, a gestão ambiental pública ganhou um espaço cada vez maior nas administrações municipais, com a implementação de instrumentos de gestão ambiental propiciando aos municípios a possibilidade de ações efetivas que contribuam para uma melhor qualidade de vida a população. Esse trabalho propõe a criação de um método de classificação municipal que indicará qual o nível da gestão ambiental do município. Verificando o número de instrumentos de gestão ambiental constituído e o número de problemas ambientais ocorridos em cada município na visão do gestor local nos anos de 2006/2008. E ainda qual a influência do IDH tanto na implementação de tais instrumentos de gestão ambiental, como nas ocorrências dos problemas ambientais. Tal classificação tem a intenção de verificar se o município encontra-se bem aparelhado no que se refere à gestão ambiental, auxiliando para futuras decisões nas ações da política ambiental local. O foco desse trabalho serão os municípios dos estados de Minas Gerais, Piauí e Rio de Janeiro. Os resultados serão processados via o software MATLAB utilizando lógica nebulosa (fuzzy) e apresentados em um website utilizando as linguagens de programação JSP, HTML, JavaScript e esse website armazenado em um servidor TomCat e tais resultados serão apresentados nas formas de valores alfanuméricos em tabelas e espaciais através de mapas temáticos em uma solução sig-web. Os dados estão armazenados em um Sistema Gerenciador de Banco de Dados PostgreSQL com sua extensão espacial PostGIS, e o acesso aos mapas será feito através do servidor de mapas MapServer.

Utilización de la lógica borrosa en la selección de personas e ideas para la participación en programas públicos de ayuda a la creación de empresas

[ES] Se propone en este trabajo un modelo de control borroso que ayude a filtrar y seleccionar las solicitudes de subvención que pueda recibir una institución pública en un programa de fomento para la creación y desarrollo de nuevas iniciativas empresariales. Creemos que la utilización de la lógica borrosa presenta ventajas sobre los procedimientos ordinarios ya que nos movemos en un escenario de actuación complejo y vago. El control borroso introduce el conocimiento de los expertos de un modo muy natural mediante variables lingüísticas y procesos de inferencia propios del lenguaje ordinario, lo que facilita la toma de decisiones en situaciones complejas. Nuestro modelo considera por un lado la idea empresarial y por otro la persona . Los indicadores y criterios que los expertos consideran relevantes para la evaluación de la subvención son modelados mediante variables lingüísticas y tratados como antecedentes y consecuentes de un motor de inferencia borroso, cuya salida nos proporciona la valoración final de la solicitud. Al final de nuestro trabajo resolvemos un caso práctico sencillo para aclarar el procedimiento.

Índice de saúde social do adolescente baseado em lógica nebulosa.

Este trabalho consiste de uma análise exploratória sobre municípios do Sudeste com população acima de 100mil habitantes abordando dois problemas: a violência e a educação. Na violência abordaremos índices de homicídios na adolescência trabalhando com a faixa de adolescentes de 12 a 18 anos. Na educação trabalharemos com o Índice de Desenvolvimento Educacionail Brasileiro referenciado ao último ano do ensino fundamental. Trabalhando com os indicadores citados, abordaremos esses problemas gerando um Índice de Saúde social do Adolescente utilizando a lógica Fuzzy, conjunto nebuloso. Classificando os municípios do Sudeste visando identificar municípios com qualidade de vida melhor para esses adolescentes, expectativa de vida e melhoria na educação. Baixos índices de homicídios e altos índices educacionais desenvolvendo uma ferramenta útil para auxiliar na tomada de decisões no tocante a políticas públicas nos Municípios e Estados gerando um indicador de municípios com qualidade de vida para os adolescentes! Trabalhamos com dados do ano de 2007 tanto para o homicídio quanto para a educação, os valores apresentados nos índices foram divididos em quintis, processados via o software MATLAB utilizando lógica nebulosa (fuzzy), classificados e apresentados nas formas de valores alfanuméricos em tabelas espaciais com o software Quantum Gis através de mapas temáticos das regiões estudadas.

Ontologia de notícias: um modelo para classificação do conteúdo dos jornais on-line brasileiros, segundo a lógica da Web Semântica

Este trabalho tem por objetivo propor um modelo de ontologia simples e generalista, capaz de descrever os conceitos mais básicos que permeiam o domínio de conhecimento dos jornais on-line brasileiros não especializados, fundamentado tanto na prática quanto conceitualmente, em conformidade com os princípios da Web Semântica. A partir de uma nova forma de classificação e organização do conteúdo, a ontologia proposta deve ter condições de atender as necessidades comuns de ambas as partes, jornal e leitor, que são, resumidamente, a busca e a recuperação das informações.

Diseño de la lógica programable de un sistema de monitorización de estructuras.

[ES]El objeto de este trabajo es desarrollar la lógica programable de una FPGA para un sistema de monitorización de estructuras. El diseño se compone de un generador de señales arbitrarias y un sistema de adquisición. El sistema de monitorización está dirigido al campo aeronáutico, pero se puede emplear en otras áreas.