Reglas y conciencia de las reglas : Significado, ontología y escepticismo

La tesis analiza dos objeciones corrientes a la interpretación del problema de las reglas por el Wittgenstein de Kripke: el PROBLEMA DE LA OBJETIVIDAD DE LA REGLA, ¿puede un individuo estar acertado en contra de la opinión comunitaria consensuada?; y el PROBLEMA DE LAS RELACIONES INTERNAS entre reglas y casos, presuntamente violentada por el rol de la noción de acuerdo en la misma. La estrategia general de la tesis es examinar las vías de ataque al lenguaje privado (LP) previas a la de Kripke. El contraste con las mismas permite conceptualizar adecuadamente la propuesta de Kripke, para mostrar que las objeciones mencionadas no se le aplican. En el marco de la tesis, comprendemos por LP a cualquier tesis que sostenga que las condiciones de significatividad del lenguaje pueden ser provistas por estados mentales subjetivos, p.e. creencias, de ahí el solapamiento de la tesis del lenguaje privado con el escepticismo epistemológico y con posiciones solipsistas, y la convicción de que la refutación del LP acarrea la ruina del escepticismo epistemológico. Hay dos versiones clásicas del argumento del LP. Las versiones epistemológicas (Malcom, Fogelin son los representantes que examinamos) derivan la imposibilidad del LP de la imposibilidad de establecer la verdad/corrección de un uso en el contexto de privacidad. La crítica a estas versiones (Ayer, thomson) muestra un círculo justificatorio entre oraciones subjetivas y objetivas. Las versiones semánticas (Kenny, Canfield, Tugendhat) intentan evitar el círculo, elucidando las presuposiciones que le subyacen. Esta respuesta no es satisfactoria ya que o bien regenera el círculo en un nuevo nivel, o bien no logran derrocar al círculo de la justificación. Con Stroud identificamos el fallo común de estas estrategias en el hecho de que en su intento de derrotar al escéptico-privatista, requieren o bien una PREMISA FÁCTICA que indica que conocemos, o bien la especificación del conocimiento como una NOTA DEFINICIONAL de los criterios/condiciones de significatividad que el argumento trascendental elucida en la pregunta del escéptico. Kripke impone un cambio de rumbo en el argumento, al plantear el desafío como una forma de ESCEPTICISMO SEMÁNTICO ONTOLÓGICO, el cual ya no se basa en las limitaciones cognitivas de la privacidad, sino justamente en las presuntas ventajas que presenta. El desafío de Kripke pregunta por las razones que podemos aportar para sostener que no ha ocurrido un cambio en el uso, lo cual equivale a preguntar ¿cómo sabes que tu uso actual CORRESPONDE con tu intención/significado previo? De la imposibilidad de responder a la cuestión clave del realismo clásico (correspondencia) en el caso del significado, Kripke concluye que no puede haber condiciones de verdad para las oraciones semánticas. Esto motiva una paradoja escéptica y una SOLUCIÓN ESCÉPTICA de la paradoja en términos de condiciones de aseverabilidad. Tener en cuenta el abandono de las condiciones de verdad es la clave para responder al problema de la objetividad, mientras que la forma del desafío y el funcionamiento de la concordancia en los juicios como base de atribución, es la clave para la solución del problema de las relaciones internas.

Reglas y conciencia de las reglas : Significado, ontología y escepticismo

La tesis analiza dos objeciones corrientes a la interpretación del problema de las reglas por el Wittgenstein de Kripke: el PROBLEMA DE LA OBJETIVIDAD DE LA REGLA, ¿puede un individuo estar acertado en contra de la opinión comunitaria consensuada?; y el PROBLEMA DE LAS RELACIONES INTERNAS entre reglas y casos, presuntamente violentada por el rol de la noción de acuerdo en la misma. La estrategia general de la tesis es examinar las vías de ataque al lenguaje privado (LP) previas a la de Kripke. El contraste con las mismas permite conceptualizar adecuadamente la propuesta de Kripke, para mostrar que las objeciones mencionadas no se le aplican. En el marco de la tesis, comprendemos por LP a cualquier tesis que sostenga que las condiciones de significatividad del lenguaje pueden ser provistas por estados mentales subjetivos, p.e. creencias, de ahí el solapamiento de la tesis del lenguaje privado con el escepticismo epistemológico y con posiciones solipsistas, y la convicción de que la refutación del LP acarrea la ruina del escepticismo epistemológico. Hay dos versiones clásicas del argumento del LP. Las versiones epistemológicas (Malcom, Fogelin son los representantes que examinamos) derivan la imposibilidad del LP de la imposibilidad de establecer la verdad/corrección de un uso en el contexto de privacidad. La crítica a estas versiones (Ayer, thomson) muestra un círculo justificatorio entre oraciones subjetivas y objetivas. Las versiones semánticas (Kenny, Canfield, Tugendhat) intentan evitar el círculo, elucidando las presuposiciones que le subyacen. Esta respuesta no es satisfactoria ya que o bien regenera el círculo en un nuevo nivel, o bien no logran derrocar al círculo de la justificación. Con Stroud identificamos el fallo común de estas estrategias en el hecho de que en su intento de derrotar al escéptico-privatista, requieren o bien una PREMISA FÁCTICA que indica que conocemos, o bien la especificación del conocimiento como una NOTA DEFINICIONAL de los criterios/condiciones de significatividad que el argumento trascendental elucida en la pregunta del escéptico. Kripke impone un cambio de rumbo en el argumento, al plantear el desafío como una forma de ESCEPTICISMO SEMÁNTICO ONTOLÓGICO, el cual ya no se basa en las limitaciones cognitivas de la privacidad, sino justamente en las presuntas ventajas que presenta. El desafío de Kripke pregunta por las razones que podemos aportar para sostener que no ha ocurrido un cambio en el uso, lo cual equivale a preguntar ¿cómo sabes que tu uso actual CORRESPONDE con tu intención/significado previo? De la imposibilidad de responder a la cuestión clave del realismo clásico (correspondencia) en el caso del significado, Kripke concluye que no puede haber condiciones de verdad para las oraciones semánticas. Esto motiva una paradoja escéptica y una SOLUCIÓN ESCÉPTICA de la paradoja en términos de condiciones de aseverabilidad. Tener en cuenta el abandono de las condiciones de verdad es la clave para responder al problema de la objetividad, mientras que la forma del desafío y el funcionamiento de la concordancia en los juicios como base de atribución, es la clave para la solución del problema de las relaciones internas.

Reglas y conciencia de las reglas : Significado, ontología y escepticismo

La tesis analiza dos objeciones corrientes a la interpretación del problema de las reglas por el Wittgenstein de Kripke: el PROBLEMA DE LA OBJETIVIDAD DE LA REGLA, ¿puede un individuo estar acertado en contra de la opinión comunitaria consensuada?; y el PROBLEMA DE LAS RELACIONES INTERNAS entre reglas y casos, presuntamente violentada por el rol de la noción de acuerdo en la misma. La estrategia general de la tesis es examinar las vías de ataque al lenguaje privado (LP) previas a la de Kripke. El contraste con las mismas permite conceptualizar adecuadamente la propuesta de Kripke, para mostrar que las objeciones mencionadas no se le aplican. En el marco de la tesis, comprendemos por LP a cualquier tesis que sostenga que las condiciones de significatividad del lenguaje pueden ser provistas por estados mentales subjetivos, p.e. creencias, de ahí el solapamiento de la tesis del lenguaje privado con el escepticismo epistemológico y con posiciones solipsistas, y la convicción de que la refutación del LP acarrea la ruina del escepticismo epistemológico. Hay dos versiones clásicas del argumento del LP. Las versiones epistemológicas (Malcom, Fogelin son los representantes que examinamos) derivan la imposibilidad del LP de la imposibilidad de establecer la verdad/corrección de un uso en el contexto de privacidad. La crítica a estas versiones (Ayer, thomson) muestra un círculo justificatorio entre oraciones subjetivas y objetivas. Las versiones semánticas (Kenny, Canfield, Tugendhat) intentan evitar el círculo, elucidando las presuposiciones que le subyacen. Esta respuesta no es satisfactoria ya que o bien regenera el círculo en un nuevo nivel, o bien no logran derrocar al círculo de la justificación. Con Stroud identificamos el fallo común de estas estrategias en el hecho de que en su intento de derrotar al escéptico-privatista, requieren o bien una PREMISA FÁCTICA que indica que conocemos, o bien la especificación del conocimiento como una NOTA DEFINICIONAL de los criterios/condiciones de significatividad que el argumento trascendental elucida en la pregunta del escéptico. Kripke impone un cambio de rumbo en el argumento, al plantear el desafío como una forma de ESCEPTICISMO SEMÁNTICO ONTOLÓGICO, el cual ya no se basa en las limitaciones cognitivas de la privacidad, sino justamente en las presuntas ventajas que presenta. El desafío de Kripke pregunta por las razones que podemos aportar para sostener que no ha ocurrido un cambio en el uso, lo cual equivale a preguntar ¿cómo sabes que tu uso actual CORRESPONDE con tu intención/significado previo? De la imposibilidad de responder a la cuestión clave del realismo clásico (correspondencia) en el caso del significado, Kripke concluye que no puede haber condiciones de verdad para las oraciones semánticas. Esto motiva una paradoja escéptica y una SOLUCIÓN ESCÉPTICA de la paradoja en términos de condiciones de aseverabilidad. Tener en cuenta el abandono de las condiciones de verdad es la clave para responder al problema de la objetividad, mientras que la forma del desafío y el funcionamiento de la concordancia en los juicios como base de atribución, es la clave para la solución del problema de las relaciones internas.

Factors of process model comprehension : findings from a series of experiments

In order to make good decisions about the design of information systems, an essential skill is to understand process models of the business domain the system is intended to support. Yet, little knowledge to date has been established about the factors that affect how model users comprehend the content of process models. In this study, we use theories of semiotics and cognitive load to theorize how model and personal factors influence how model viewers comprehend the syntactical information of process models. We then report on a four-part series of experiments, in which we examined these factors. Our results show that additional semantical information impedes syntax comprehension, and that theoretical knowledge eases syntax comprehension. Modeling experience further contributes positively to comprehension efficiency, measured as the ratio of correct answers to the time taken to provide answers. We discuss implications for practice and research.

"Four Ways of Writing the City" : St. Petersburg-Leningrad as a Metaphor in the Poetry of Joseph Brodsky

The present study discusses the theme of St. Petersburg-Leningrad in Joseph Brodsky's verse works. The chosen approach to the evolving im-age of the city in Brodsky's poetry is through four metaphors: St. Petersburg as "the common place" of the Petersburg Text, St. Petersburg as "Paradise and/or Hell", St. Petersburg as "a Utopian City" and St. Petersburg as "a Void". This examination of the city-image focusses on the aspects of space and time as basic categories underlying the poet's poetic world view. The method used is close reading, with an emphasis on semantical interpretation. The material consists of eighteen poems dating from 1958 to 1994. Apart from investigating the spatio-temporal features, the study focusses on exposing and analysing the allusions in the scrutinised works to other texts from Russian and Western belles lettres. Terminology (introduced by Bakhtin and Yury Lotman, among others) concerning the poetics of space in literature is employed in the present study. Conceptions originating from the paradigm of possible worlds are also used in elucidating the position of fictional and actual chronotopes and heroes in Brodsky's poetry. Brodsky's image of his native city is imbued with intertextual linkings. Through reminiscences of the "Divine Comedy" and Russian modernists, the city is paralleled with Dante's "lost and accursed" Florence, as well as with the lost St. Petersburg of Mandel'shtam and Akhmatova. His city-image is related to the Petersburg myth in Russian literature through their common themes of death and separation as well as through the merging of actual realia with the fictional worlds of the Petersburg Text. In his later poems, when his view of the city is that of an exiled poet, the city begins to lose its actual world referents, turning into a mental realm which is no longer connected to any particular geographical location or historical time. It is placed outside time. The native city as the homeland in its entirety is replaced by another existence created in language.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.

BertsoBot: lehen urratsak

[EU]Hizkuntzaren prozesamenduko teknikak erabilita, poesia-sorkuntza automatikoan lehen urratsak eman dira. Hau erdiesteko, corpusen prozesamenduan oinarritutako bilaketak erabili dira, bai bilaketa arruntak eta baita bilaketa semantiko aurreratuak ere, horretarako IXA taldean garatutako tresna ezberdinak erabiliaz. Hizkuntza poetikoko testuek, gramatikaltasun eta metrika hertsitik haratago, semantika eta pragmatika barneratuta dituzte. Lan honetan semantikaren auziari heldu zaio nagusiki.

A dinamicidade lexical em textos de domínio político: ecos das eleições de 2010

Nesta dissertação, pretende-se estudar a dinamicidade lexical em textos de domínio político, veiculados pela imprensa escrita durante o período eleitoral de 2010. Para tal, selecionou-se um corpus adequado à pesquisa, fez-se o levantamento de neologismos lexicais nele ocorrentes e procedeu-se à sua descrição. Neste percurso, buscou-se demonstrar a riqueza e a vitalidade dos mecanismos de expansão lexical nos textos estudados, de modo a evidenciar que o léxico, como sistema dinâmico, configura-se como um dos subníveis linguísticos mais abertos à criatividade, revelando também crenças, valores, costumes e hábitos de uma comunidade linguística. Ademais, objetivou-se mostrar que a linguagem utilizada em contextos políticos, visto estar imersa em um ambiente de tensões e embates constantes, é marcadamente caracterizada pelo incessante nascer de novos signos, os quais, por motivações denominativas e/ou estilísticas, desvelam, não raras vezes, intenções e ideologias dos sujeitos-falantes que os criam. Por fim, elaborou-se um glossário com as novas formações encontradas, que oferece subsídios para a observação sistemática da neologia no âmbito do português brasileiro, além de traçar um perfil parcial das alterações político-culturais por que passamos no correr de 2010

Aspectos semântico-discursivos no léxico da MPB: empréstimos linguísticos no percurso de Noel a Blanc

O objetivo desta dissertação é avaliar a importância dos estrangeirismos como auxiliares e contribuintes no nível léxico da Língua. Também, investigar o quadro sócio-histórico-cultural dos principais momentos em que os empréstimos linguísticos se fizeram presentes na Música Brasileira. Trata-se de um trabalho quantitativo e qualitativo, no qual se rastreou exatamente a presença desses neologismos no cancioneiro nacional, dos idos de 1930 aos dias atuais. Apontamos os momentos de sua maior incidência, aventamos e desvelamos as possíveis intenções de suas utilizações e seus significados, tácitos ou não; quer relacionados a aspectos sócio-históricos, quer relacionados aos seus vieses linguísticos propriamente ditos. Letras de músicas, fonogramas lançados em vinil, remasterizados; recursos audiovisuais foram buscados; assim como publicações específicas sobre música, biografias e literatura técnica sobre Língua Portuguesa

Neologismos na mídia escrita: os empréstimos na publicidade

Esta pesquisa cita os dois processos pelos quais podem ser formados os neologismos e estuda os formados por empréstimos, em corpus constituído por dados colhidos em textos publicitários da mídia em corpus escrito da língua portuguesa do Brasil. As fontes de dados foram variados veículos de comunicação. Objetivou-se identificar a diversidade de classes/funções, campos semânticos, funções do uso nos textos, veículos de comunicação (como os jornais, as revistas, os sítios da internet, a televisão, o outdoor, o busdoor, o wallpaper, o folheto e a mala direta) que apresentaram esses itens neológicos. Tratando ainda dos empréstimos, foram descritas as ocorrências da influência das línguas de outros países nos usuários da língua portuguesa do Brasil. Constatou-se que o inglês foi a língua fonte que contribuiu com mais empréstimos e que há um continuum nos estágios de adaptação desses itens. Apontou-se a descrição discursiva da língua materna para resolver o conflito e a polêmica que envolvem o uso desses empréstimos. Finalizando, construiu-se um glossário com os neologismos formados por empréstimos encontrados no corpus

Sobre o que versa a vida: metáforas da criatividade em Freud e Winnicott

Este trabalho partiu da preocupação com a inapetência para a vida nos dias atuais. Diante de sujeitos que se sentem desapossados do próprio viver, e de uma sociedade que imprime rótulos de vida nos sujeitos, trazemos possibilidades de entendimento dessa área tão fragilizada atualmente: a criatividade a esfera da vida em que o sujeito se move no mundo com realizações inovadoras.Tomando como referência a psicanálise, analisamos as metáforas linguísticas da criatividade nas obras de Freud e Winnicott, e percebemos dois grandes campos semânticos: a criatividade como desvio dos interesses primários do sujeito, e como abertura, autocriação e cumplicidade com o mundo. Na metáfora freudiana do desvio sublimatório encontramos ainda duas tonalidades de significação: um emblema simbólico do interesse frustrado, ou um consolo diante da incompletude humana. Seguindo esses enredos metafóricos, discutimos as concepções teóricas fundamentais em que cada autor estava engajado: as concepções de mente e as corporeidades envolvidas nos processos criativos. Com a multiplicação das ferramentas linguísticas do conceito de criatividade, proporcionamos um leque metafórico mais amplo para aqueles que acolhem pessoas cujo sofrimento é resultado da indiferença com o mundo.

Análise de desempenho dos algoritmos Apriori e Fuzzy Apriori na extração de regras de associação aplicados a um Sistema de Detecção de Intrusos.

A extração de regras de associação (ARM - Association Rule Mining) de dados quantitativos tem sido pesquisa de grande interesse na área de mineração de dados. Com o crescente aumento das bases de dados, há um grande investimento na área de pesquisa na criação de algoritmos para melhorar o desempenho relacionado a quantidade de regras, sua relevância e a performance computacional. O algoritmo APRIORI, tradicionalmente usado na extração de regras de associação, foi criado originalmente para trabalhar com atributos categóricos. Geralmente, para usá-lo com atributos contínuos, ou quantitativos, é necessário transformar os atributos contínuos, discretizando-os e, portanto, criando categorias a partir dos intervalos discretos. Os métodos mais tradicionais de discretização produzem intervalos com fronteiras sharp, que podem subestimar ou superestimar elementos próximos dos limites das partições, e portanto levar a uma representação imprecisa de semântica. Uma maneira de tratar este problema é criar partições soft, com limites suavizados. Neste trabalho é utilizada uma partição fuzzy das variáveis contínuas, que baseia-se na teoria dos conjuntos fuzzy e transforma os atributos quantitativos em partições de termos linguísticos. Os algoritmos de mineração de regras de associação fuzzy (FARM - Fuzzy Association Rule Mining) trabalham com este princípio e, neste trabalho, o algoritmo FUZZYAPRIORI, que pertence a esta categoria, é utilizado. As regras extraídas são expressas em termos linguísticos, o que é mais natural e interpretável pelo raciocício humano. Os algoritmos APRIORI tradicional e FUZZYAPRIORI são comparado, através de classificadores associativos, baseados em regras extraídas por estes algoritmos. Estes classificadores foram aplicados em uma base de dados relativa a registros de conexões TCP/IP que destina-se à criação de um Sistema de Detecção de Intrusos.

Wykładnia funkcjonalna a zmiana społeczno-polityczna. Studium teoretycznoprawne

Wydział Prawa i Administracji: Katedra Teorii i Filozofii Prawa

A Syntactic Approach to Revising Epistemic States with Uncertain Inputs

Revising its beliefs when receiving new information is an important ability of any intelligent system. However, in realistic settings the new input is not always certain. A compelling way of dealing with uncertain input in an agent-based setting is to treat it as unreliable input, which may strengthen or weaken the beliefs of the agent. Recent work focused on the postulates associated with this form of belief change and on finding semantical operators that satisfy these postulates. In this paper we propose a new syntactic approach for this form of belief change and show that it agrees with the semantical definition. This makes it feasible to develop complex agent systems capable of efficiently dealing with unreliable input in a semantically meaningful way. Additionally, we show that imposing restrictions on the input and the beliefs that are entailed allows us to devise a tractable approach suitable for resource-bounded agents or agents where reactiveness is of paramount importance.