Nesta reflexão sobre a concepção e a percepção de tempo e de temporalidade no antigo Egipto enfatizam-se as várias formas de encarar o tempo existentes entre os antigos Egípcios, as suas diferentes e operantes marcas, regulares e cadenciadas, aplicáveis ao Cosmos e ao indivíduo e o modo como afectavam, directa ou indirectamente, os comportamentos das diferentes camadas da sociedade egípcia.Além de, obviamente, conhecer os efeitos e a influência da passagem do(s) tempo(s), a sociedade egípcia destacou-se pela sua particular ânsia (...) de superação e anulação desses efeitos. O desejo de abolir o tempo e a ideia de uma apaziguadora eternidade no Além foram, durante muitos séculos, objectivos e ideias estruturantes dos seus modos de ser e de estar, quer no plano mental quer no material. (shrink)

Este estudo retoma os limiares de Walter Benjamin, nos escritos e espaços de errâncias que condensam o pensamento do filósofo em torno do processo de modernidade em um conjunto de transformações no tempo e no espaço da grande cidade. Interessam-nos, sobretudo, os estudos de cidade de Benjamin articulados à sua crítica do conhecimento. No rastro do pensamento benjaminiano, a cidade é pensada enquanto corpus de reflexão que envolve outras categorias para além do racionalismo que torna as imagens urbanas uma série (...) de traçados objetivos. Como terreno da fantasia, das lembranças, a cidade situa-se além do dado empírico. Nessa perspectiva, discutimos a história como memória e o olhar alegorista da criança diante do labirinto urbano. Ao tentar recuperar os tempos e espaços da infância, não a partir de um período demarcado cronologicamente, mas como uma experiência de linguagem, o filósofo alemão pôs em xeque uma concepção linear de conhecimento baseada no continun da própria história, desenvolvendo assim a crítica de um determinado modelo de razão e de racionalidade. Destacamos nos escritos de Benjamin, especialmente nos fragmentos de Infância em Berlim, aspectos centrais da sua crítica ao sistema de pensamento lógico-dedutivo que tanto influenciou a sociedade moderna. Nesta crítica a infância é pátria transcendental da história; a ciência e a filosofia são pensadas como arte. A partir do pensamento benjaminiano, apresenta-se uma visão ampliada da educação, para além das fronteiras e temporalidades disciplinares e dos âmbitos das instituições educativas. Outros autores acompanham-nos no diálogo com o filósofo: Agamben; Gagnebin, Matos, Bolle e outros – pesquisadores, estudiosos e comentadores do pensamento de Benjamin, e de diferentes campos do conhecimento que nos ajudaram a tecer os fios articuladores deste trabalho. Palavras-chave: Walter Benjamin; infância; modernidade; linguagem; espaço urbano. (shrink)

Neste pequeno trabalho pretende-se estabelecer a ligação entre a noção de tempo e a ideia de historiografia e de história que possuíam os povos da antiga Mesopotâmia. A essência dos conceitos está ligada ao legado sumério, sendo os semitas seus claros seguidores apesar das especificidades introduzidas por estes últimos. Sequência temporal e dinastia são exemplos de conceitos introduzidos por esses povos.

Trata-se de delimitar uma abordagem não-metafísica de uma fenomenologia minimalista do tempo, através de um reexame da concepção de temporalidade, pela desmistificação do tempo linear e pelo exercicio do que seria uma discordância dos tempos.

Este artigo objetivou identificar, por meio de documentos e relatos de professores da Secretaria Municipal da Educação de Palmas, os indícios de prática criativa e inovadora no processo de formação continuada dos professores dos anos iniciais do ensino fundamental. Este trabalho caracteriza-se como abordagem qualitativa, com caráter exploratório. Os procedimentos técnicos adotados para a realização deste estudo incluem revisão bibliográfica, análise documental e pesquisa de campo. Muitos estudos vêm sendo realizados sobre a formação continuada de professores, sobretudo no que se (...) refere às práticas pedagógicas educacionais que os sistemas de ensino desenvolvem para efetivação dessa formação, haja vista que a sociedade contemporânea reivindica constantemente mudanças na prática educativa brasileira. Percebe-se que o professor criativo busca compreender as dificuldades, bem como suscita o desejo pelo desconhecido. Dessa forma, é fundamental que haja mudanças nas práticas metodológicas, que estas incorporem a criatividade no processo de ensinar, sendo imprescindível a percepção docente, que o conhecimento é um contínuo aprender. Na análise documental e nas entrevistas realizadas, ficou visível que a inovação ainda está relacionada às novas tecnologias, não que este fator não seja importante para mudanças nas práticas pedagógicas, porém, é fundamental que essa concepção vá além desse aspecto. Nesse contexto, deduz-se que são imprescindíveis práticas pedagógicas pautadas na dimensão global do sujeito. Essa ação requer disposição do educador no processo de ensino e aprendizagem que ultrapasse a forma linear e fragmentada de ensinar e aprender. Portanto, ao investigar as experiências pessoais e educacionais de professores, buscou-se evidenciar a memória e a subjetividade desses sujeitos, no sentido de desvelar possibilidades de ações criativas e inovadoras no processo educacional. Palavras-chave: Memória de professores. Inovação e criatividade nas práticas pedagógicas. Formação continuada. História oral. (shrink)

O novo é uma possibilidade, uma realidade ou uma ficção? O encaminhamento de uma possível resposta passa pela concepção da realidade: ou linear: desdobramento de uma totalidade prévia; ou por rupturas: onde o próximo momento pode ser antes nunca existente nem na mente, nem na potencialidade da coisa, nem na natureza. O fundamento da possibilidade da real emergência do novo será buscado na concepção de processo, ponto de partida e resultado. Aparecerá a diferença entre processos naturais e (...) processos que são acontecimentos do querer livre do homem. Assim como também uma discussão sobre a extensão da validade da doutrina aristotélica do ato e potência. De como o querer livre do homem se põe nos caminhos da necessidade do ponto de partida. (shrink)

resumo Trata-se aqui de mostrar como a filosofia de Bergson decorre da constatação da passagem do tempo enquanto fato primordial e originário; nessa medida, as suas obras podem ser consideradas como diferentes tentativas de esclarecer tal experiência da temporalidade que, filosoficamente considerada, consiste na intuição da duração. Para isso, examina-se a forma pela qual o tratamento dado a problemas filosóficos distintos e discutidos em cada um de suas obras efetiva-se como meditação sobre o fato primitivo e seu esclarecimento progressivo. Em (...) primeiro lugar, acompanhamos o percurso de dedução das principais características da duração, sucessão, conservação e ato, sublinhando algumas de suas conseqüências filosóficas. A seguir, examinamos a dimensão crítica da filosofia de Bergson pela análise do pensamento do instante, aquele que desfigura a experiência do tempo e origina a via equivocada da metafísica tradicional; nesse exame procuramos diferenciar tal pensamento da experiência da simultaneidade, que é constitutiva de nossa relação concreta com as coisas. palavras-chave duração, sucessão, simultaneidade, criação, experiência, instante. (shrink)

Trata-se aqui de mostrar como a filosofia de Bergson decorre da constatação da passagem do tempo enquanto fato primordial e originário; nessa medida, as suas obras podem ser consideradas como diferentes tentativas de esclarecer tal experiência da temporalidade que, filosoficamente considerada, consiste na intuição da duração. Para isso, examina-se a forma pela qual o tratamento dado a problemas filosóficos distintos e discutidos em cada um de suas obras efetiva-se como meditação sobre o fato primitivo e seu esclarecimento progressivo. Em primeiro (...) lugar, acompanhamos o percurso de dedução das principais características da duração, sucessão, conservação e ato, sublinhando algumas de suas conseqüências filosóficas. A seguir, examinamos a dimensão crítica da filosofia de Bergson pela análise do pensamento do instante, aquele que desfigura a experiência do tempo e origina a via equivocada da metafísica tradicional; nesse exame procuramos diferenciar tal pensamento da experiência da simultaneidade, que é constitutiva de nossa relação concreta com as coisas.Duração. Sucessão. Simultaneidade. Criação. Experiência. Instante. The bergsonian Conception of Time AbstractThe aim of this article is to show how Bergson´s philosophy derives from the understanding of the passing of time as an original and primordial fact. In this way, his works can be considered to be different attempts to explain this experience of temporality which, philosophically considered, consist of the intuition of duration. Thus, we examine the way in which the treatment given to distinct philosophical problems discussed in each of his works takes place as a meditation on the primitive fact and its progressive clarification. Firstly, we follow the course of deduction of the main characteristics of duration, succession, conservation and act, emphasizing some of his philosophical consequences. We then examine the critical dimension of Bergson´s philosophy through the analysis of the thought of the instant, which distorts the experience of time and gives rise to an equivocal way of traditional metaphysics; in this examination we shall seek to differentiate this idea from the experience of simultaneity that constitutes our concrete relationship with things.Duration. Succcession. Simultaneity. Creation. Experience. Instant. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

Neste artigo propomos fazer uma breve reconstrução da concepção filosófica da história em Hegel a fim de podermos apresentar os aspectos determinantes através dos quais, para o filósofo, a história se exibiria ao pensamento, bem como expor seu entendimento da história em ato. Para além das categorias “passado”, “presente” e “futuro”, Hegel, à maneira dos Iluministas e de sua aproximação entre história e progresso ou perfectibilidade, oferece um entendimento da história como “progresso na consciência da liberdade”. Analisaremos em que (...) consiste essa definição e, ao fazê-lo, buscaremos reunir argumentos contra uma interpretação determinista da concepção hegeliana da história. Em um segundo momento, mostraremos que, se Hegel apoia uma filosofia da história e social na qual a liberdade exerce um papel fundamental, ele está, porém, interessado em combater uma noção demasiado negativa ou subjetivista da liberdade, a partir da qual o outro é visto como limitador ou mesmo oposto à mesma. (shrink)

One of the first frameworks developed for understanding the relation of science and technology to the economy has been the linear model of innovation. The model postulated that innovation starts with basic research, is followed by applied research and development, and ends with production and diffusion. The precise source of the model remains nebulous, having never been documented. Several authors who have used, improved, or criticized the model in the past fifty years rarely acknowledged or cited any original source. (...) The model usually was taken for granted. According to others, however, it comes directly from V. Bush’s Science: The Endless Frontier. This article traces the history of the linear model, suggesting that it developed in three steps corresponding to three scientific communities looking at science analytically. The article argues that statistics is a main reason the model is still alive despite criticisms, alternatives, and having been proclaimed dead. (shrink)

We investigate the relation between intermediate predicate logics based on countable linear Kripke frames with constant domains and Gödel logics. We show that for any such Kripke frame there is a Gödel logic which coincides with the logic defined by this Kripke frame on constant domains and vice versa. This allows us to transfer several recent results on Gödel logics to logics based on countable linear Kripke frames with constant domains: We obtain a complete characterisation of axiomatisability of (...) logics based on countable linear Kripke frames with constant domains. Furthermore, we obtain that the total number of logics defined by countable linear Kripke frames on constant domains is countable. (shrink)

Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. (...) The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. (shrink)

Este artigo analisa a concepção de infância como crescimento por meio de um estudo bibliográfico das obras de John Dewey. A condição do crescimento é a potencialidade positiva da imaturidade, interdependência e plasticidade do ser humano. Assim, a vida humana é crescimento como um processo contínuo e interativo de experiência que realiza e renova o poder de pensar, de aprender, da liberdade e da democracia. Infância é este poder de crescimento ou poder da vida.

This study presents the results of an empirical analysis of the relationship between managerial thinking style and ethical decision-making. Data from 200 managers across multiple organizations and industries demonstrated that managers predominantly adopt a utilitarian perspective when forming ethical intent across a series of business ethics vignettes. Consistent with expectations, managers utilizing a balanced linear/nonlinear thinking style demonstrated a greater overall willingness to provide ethical decisions across ethics vignettes compared to managers with a predominantly linear thinking style. However, (...) results comparing the ethical decision-making of balanced thinking managers and nonlinear thinking managers were generally inconsistent across the ethics vignettes. Unexpectedly, managers utilizing a balanced linear/nonlinear thinking style were least likely to adopt an act utilitarian rationale for ethical decision-making across the vignettes, suggesting that balanced thinkers may be more likely to produce ethical decisions by considering a wider range of alternatives and ruling out those that are justified solely on the basis of their outcomes. Implications are discussed for future research and practice related to management education and development, and ethical decision-making theory. (shrink)

A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n -Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus δ SLTL is defined.

We present the model construction technique called Linear Realizability. It consists in building a category of Partial Equivalence Relations over a Linear Combinatory Algebra. We illustrate how it can be used to provide models, which are fully complete for various typed λ-calculi. In particular, we focus on special Linear Combinatory Algebras of partial involutions, and we present PER models over them which are fully complete, inter alia, w.r.t. the following languages and theories: the fragment of System F (...) consisting of ML-types, the maximal theory on the simply typed λ-calculus with finitely many ground constants, and the maximal theory on an infinitary version of this latter calculus. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We (...) then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

It is “well known” that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved cause jointly influences several observed variables; (2) the technique of “instrumental variables” sometimes permits an estimation of the influence of one variable on another even when the association between the variables may be confounded by unobserved common causes; (3) the association (or conditional probability distribution of one variable given another) of two variables connected by (...) a path or pair of paths with a single common vertex (a trek) can be computed directly from the parameter values associated with each edge in the trek; (4) the association of two variables produced by multiple treks can be computed from the parameters associated with each trek; and (5) the independence of two variables conditional on a third implies the corresponding independence of the sums of the variables over all units conditional on the sums over all units of each of the original conditioning variables. (shrink)

A review of the literature indicates that linear models are frequently used in situations in which decisions are made on the basis of multiple codable inputs. These models are sometimes used normatively to aid the decision maker, as a contrast with the decision maker in the clinical vs statistical controversy, to represent the decision maker "paramorphically" and to "bootstrap" the decision maker by replacing him with his representation. Examination of the contexts in which linear models have been successfully (...) employed indicates that the contexts have the following structural characteristics in common: each input variable has a conditionally monotone relationship with the output; there is error of measurement; and deviations from optimal weighting do not make much practical difference. These characteristics ensure the success of linear models, which are so appropriate in such contexts that random linear models may perform quite well. 4 examples involving the prediction of such codable output variables as GPA and psychiatric diagnosis are analyzed in detail. In all 4 examples, random linear models yield predictions that are superior to those of human judges. (shrink)

Este artigo problematiza a concepção de mathesis universalis na filosofia de Edmund Husserl a partir de uma discussão sobre a noção de Mannigfaltigkeitslehre. Inicialmente, retoma-se a questão dos números “imaginários” e depois é repassado o contexto matemático que influenciou o desenvolvimento filosófico husserliano. Finalmente, a concepção de mathesis universalis é enquadrada nas referências históricas de Descartes e Leibniz para, finalmente, mostrar as implicações fenomenológicas próprias do pensamento de Husserl.

Causal set theory and the theory of linear structures (which has recently been developed by Tim Maudlin as an alternative to standard topology) share some of their main motivations. In view of that, I raise and answer the question how these two theories are related to each other and to standard topology. I show that causal set theory can be embedded into Maudlin’s more general framework and I characterise what Maudlin’s topological concepts boil down to when applied to discrete (...) linear structures that correspond to causal sets. Moreover, I show that all topological aspects of causal sets that can be described in Maudlin’s theory can also be described in the framework of standard topology. Finally, I discuss why these results are relevant for evaluating Maudlin’s theory. The value of this theory depends crucially on whether it is true that (a) its conceptual framework is as expressive as that of standard topology when it comes to describing well-known continuous as well as discrete models of spacetime and (b) it is even more expressive or fruitful when it comes to analysing topological aspects of discrete structures that are intended as models of spacetime. On the one hand, my theorems support (a): the theory is rich enough to incorporate causal set theory and its definitions of topological notions yield a plausible outcome in the case of causal sets. On the other hand, the results undermine (b): standard topology, too, has the conceptual resources to capture those topological aspects of causal sets that are analysable within Maudlin’s framework. This fact poses a challenge for the proponents of Maudlin’s theory to prove it fruitful. (shrink)

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, (...) we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// -/- O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto. (shrink)

A successivity in a linear order is a pair of elements with no other elements between them. A recursive linear order with recursive successivities U is recursively categorical if every recursive linear order with recursive successivities isomorphic to U is in fact recursively isomorphic to U . We characterize those recursive linear orders with recursive successivities that are recursively categorical as precisely those with order type k 1 + g 1 + k 2 + g 2 (...) +…+ g n -1 + k n where each k n is a finite order type, non-empty for i ϵ{2,…, n -1} and each g i is an order type from among {ω,ω * ,ω+ω * }∪{ k ·η: k. (shrink)

Neuroethological investigations of mammalian and avian auditory systems have documented species-specific specializations for processing complex acoustic signals that could, if viewed in abstract terms, have an intriguing and striking relevance for human speech sound categorization and representation. Each species forms biologically relevant categories based on combinatorial analysis of information-bearing parameters within the complex input signal. This target article uses known neural models from the mustached bat and barn owl to develop, by analogy, a conceptualization of human processing of consonant plus (...) vowel sequences that offers a partial solution to the noninvariance dilemma the locus equations orderly output constraint”) is hypothesized based on the notion of an evolutionarily conserved auditory-processing strategy. High correlation and linearity between critical parameters in the speech signal that help to cue place of articulation categories might have evolved to satisfy a preadaptation by mammalian auditory systems for representing tightly correlated, linearly related components of acoustic signals. (shrink)

RESUMO O artigo é dedicado a um dos problemas centrais da ciência filológica moderna - o problema da palavra artística, no entendimento do qual vemos a interseção e interação frutífera da crítica literária e da linguística. O trabalho sistematiza conceitos relevantes para o estudo moderno da palavra artística, revelando sua natureza específica, bem como define as tendências gerais que são características de cada uma das abordagens existentes. A autora enfoca no conceito de palavra de Mikhail Bakhtin, que supera os extremos, (...) próprios do signo e das abordagens ontológicas, e esclarece as diferenças básicas entre as categorias de comunicação e diálogo presentes em Bakhtin. O artigo corrobora com a definição da palavra artística como uma estrutura semântica de dois vetores, na qual a comunicação-existência consiste e se desdobra. АННОТАЦИЯ Статья посвящена одной из центральных проблем современной филологической науки - проблеме художественного слова, в осмыслении которого плодотворно пересекаются и взаимодействуют литературоведение и лингвистика. В работе систематизированы актуальные для современного изучения художественного слова концепции, выявляющие его специфику, и определены общие тенденции, характерные для каждого из существующих подходов. В центре внимания автора - концепция слова М. М. Бахтина, в которой преодолеваются крайности, характерные для знакового и онтологического подходов, прояснены базовые отличия бахтинских категорий общения и диалога. Обосновано определение художественного слова как двухвекторной смысловой структуры, в которой заключается и развертывается бытие-общение. ABSTRACT The article is devoted to one of the central problems of modern philological science - the problem of the artistic word, in the understanding of which we see the fruitful intersection and interaction of literary criticism and linguistics. The work systematizes the concepts relevant for the modern study of the artistic word, revealing its specific nature, and defines the general tendencies characteristic of each of the existing approaches. The author focuses on the word concept by M. M. Bakhtin, which overcomes the extremes, characteristic of the sign and ontological approaches, and clarifies the basic differences between Bakhtin's categories of communion and dialogue. The article substantiates the definition of the artistic word as a two-vector semantic structure, in which being-communion consists and unfolds. (shrink)

We consider certain linear orders with a function on them, and discuss for which types of functions the resulting structure is or is not computably categorical. Particularly, we consider computable copies of the rationals with a fixed-point free automorphism, and also ω with a non-decreasing function.

Causal set theory and the theory of linear structures share some of their main motivations. In view of that, I raise and answer the question how these two theories are related to each other and to standard topology. I show that causal set theory can be embedded into Maudlin’s more general framework and I characterise what Maudlin’s topological concepts boil down to when applied to discrete linear structures that correspond to causal sets. Moreover, I show that all topological (...) aspects of causal sets that can be described in Maudlin’s theory can also be described in the framework of standard topology. Finally, I discuss why these results are relevant for evaluating Maudlin’s theory. The value of this theory depends crucially on whether it is true that its conceptual framework is as expressive as that of standard topology when it comes to describing well-known continuous as well as discrete models of spacetime and it is even more expressive or fruitful when it comes to analysing topological aspects of discrete structures that are intended as models of spacetime. On the one hand, my theorems support : the theory is rich enough to incorporate causal set theory and its definitions of topological notions yield a plausible outcome in the case of causal sets. On the other hand, the results undermine : standard topology, too, has the conceptual resources to capture those topological aspects of causal sets that are analysable within Maudlin’s framework. This fact poses a challenge for the proponents of Maudlin’s theory to prove it fruitful. (shrink)

Spinoza concebe a natureza humana em sua obra Ethica como constituída por modos de dois dos infinitos atributos de Deus, o pensamento e a extensão, ou a ideia e seu objeto, o corpo, respectivamente. A mente humana, enquanto essencialmente uma ideia, e o objeto desta ideia, o corpo, pressupõe uma relação não causal entre um modo finito do atributo pensamento e do atributo extensão. O corpo, enquanto certa relação composta ou complexa de movimento e de repouso se mantém através de (...) todas as mudanças que afetam suas partes, está continuamente sujeito ao acaso dos encontros, ou ao impacto dos múltiplos e variados corpos a sua volta. A mente reflete estes encontros e através deles, ou das afecções corporais, conhece os corpos externos. É a ideia-afecção. É o conhecimento imaginativo, ou o conhecimento condicionado pela situação de nosso próprio corpo, por nosso temperamento, nossa experiência prévia e nossos preconceitos. (shrink)

SOUZA PINTO. L. E. A concepção biocêntrica e sua viabilidade na doutrina da igreja católica . Dissertação (Mestrado) 2013. 94f - Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte. Palavras-chave: Antropocentrismo. Biocentrismo. Catecismo da Igreja Católica.

O objetivo desse artigo é fazer uma discussão acerca da concepção de verdade presente no método A Razão dos Efeitos do filósofo francês Blaise Pascal. No opúsculo Do Espírito Geométrico, Pascal constata a presença de limites no âmbito da racionalidade que impedem a apreensão dos princípios da geometria de modo absoluto. Segundo pensamos, o método A Razão dos Efeitos, utilizado na obra Pensamentos, também estaria estruturado a partir desse pressuposto. Nos Pensamentos Pascal, na medida em que se depara com (...) a impossibilidade de apreender o homem de modo absoluto, é levado a assumir uma concepção bipolar de verdade no âmbito do método A Razão dos Efeitos, na qual os dois pólos que constituem a natureza humana, a miséria e a grandeza, são valorizados dentro da óptica do pecado original. Desse modo, tanto no Opúsculo, quanto nos Pensamentos, constatamos a presença de limites, os quais impedem que possamos obter uma concepção absoluta de verdade, seja em sentido teórico ou prático. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

Este trabalho tem o propósito de apresentar uma concepção republicana de democracia que não é uma democracia participativista nos moldes de Rousseau, que defendeu uma democracia direta, tampouco é uma democracia liberal que resume a participação ao sufrágio. Iremos argumentar que a democracia defendida dentro do republicanismo de Philip Pettit, entendida como democracia bidimensional, por ser ao mesmo tempo eleitoral e contestatória, é não só compatível com a defesa da liberdade, mas, também e, sobretudo, guardiã da mesma.: This paper (...) aims to present a republican conception of democracy is not a democracy direct the lines of Rousseau, who argued for a direct democracy, nor is it a liberal democracy that summarizes the participation of suffrage. We will argue that democracy advocated in Philip Pettit's republicanism, democracy understood as two-dimensional, being at the same time and contestatory election, is not only compatible with the defense of freedom, but also and above all, the same guardian. Key words: Freedom; democracy; republicanism; Philip Pettit. (shrink)

While specifications and verifications of concurrent systems employ Linear Temporal Logic , it is increasingly likely that logical consequence in image will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard image with temporal operations image and image . The prime result is an algorithm recognizing consecutions admissible in image, so we prove that image is decidable w.r.t. admissible inference rules. As a consequence we obtain algorithms verifying the validity of (...) consecutions in image and solving the satisfiability problem. We start by a simple reduction of logical consecutions of image to equivalent ones in the reduced normal form . Then we apply a semantic technique based on image-Kripke structures with formula definable subsets. This yields necessary and sufficient conditions for a consecution to be not admissible in image. These conditions lead to an algorithm which recognizes consecutions admissible in image by verifying the validity of consecutions in special finite Kripke structures of size square polynomial in reduced normal forms of the consecutions. As a consequence, this also solves the satisfiability problem for image. (shrink)

Linear Syntax makes a case for a critical reassessment of the wide-spread view that syntax can be reduced to tree structures. It argues that a crucial part of the description of German clausal syntax should instead be based on concepts that are defined in terms of linear order. By connecting the descriptive tools of modern phrase-structure grammar with traditional descriptive scholarship, Andreas Kathol offers a new perspective on many long-standing problems in syntactic theory.

Temporal justification logic is a new family of temporal logics of knowledge in which the knowledge of agents is modelled using a justification logic. In this paper, we present various temporal justification logics involving both past and future time modalities. We combine Artemov’s logic of proofs with linear temporal logic with past, and we also investigate several principles describing the interaction of justification and time. We present two kinds of semantics for our temporal justification logics, one based on interpreted (...) systems and Fitting models and the other based on Mkrtychev models, and further, we establish soundness and completeness. We show that the internalization property holds in some of the temporal justification logics. We further investigate the two well-known epistemic-temporal notions of no forgetting and no learning in the framework of justification logics. Finally, we present temporal justification logics that avoid the logical omniscience problem. (shrink)

The present paper introduces and studies the variety [MATHEMATICAL SCRIPT CAPITAL W]ℋn of n-linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety [MATHEMATICAL SCRIPT CAPITAL W]ℋ2 that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced (...) in [2]. (shrink)

In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.

O-minimal structures have long been thought to occupy the base of a hierarchy of ordered structures, in analogy with the role that strongly minimal structures play with respect to stable theories. This is the first in an anticipated series of papers whose aim is the development of model theory for ordered structures of rank greater than one. A class of ordered structures to which a notion of finite rank can be assigned, the decomposable structures, is introduced here. These include all (...) ordered structures definable in o-minimal structures. The principal result in this paper, Theorem 5.1, asserts roughly that a decomposable structure [Formula: see text] can be partitioned into finitely many definable subsets such that on each set the restriction of < is a "twisted lexicographic" order. As a consequence, for all n and linear orders ≺ definable on a subset X ⊆ Mn in an o-minimal structure [Formula: see text], there is a definable partition of X such that the restriction of ≺ to each set in the partition is "lexicographic". (shrink)

We introduce the notion of τ-like partial order, where τ is one of the linear order types ω, ω*, ω + ω*, and ζ. For example, being ω-like means that every element has finitely many predecessors, while being ζ-like means that every interval is finite. We consider statements of the form “any τ-like partial order has a τ-like linear extension” and “any τ-like partial order is embeddable into τ” . Working in the framework of reverse mathematics, we show (...) that these statements are equivalent either to equation image or to equation image over the usual base system equation image. (shrink)

We characterize the linear order types $\tau $ with the property that given any countable linear order $\mathcal {L}$, $\tau \cdot \mathcal {L}$ is a computable linear order iff $\mathcal {L}$ is a computable linear order, as exactly the finite nonempty order types.

In this article, we propose a new method to learn the underlying acyclic mixed graph of a linear non-Gaussian structural equation model with given observational data. We build on an algorithm proposed by Wang and Drton, and we show that one can augment the hidden variable structure of the recovered model by learning multidirected edges rather than only directed and bidirected ones. Multidirected edges appear when more than two of the observed variables have a hidden common cause. We detect (...) the presence of such hidden causes by looking at higher order cumulants and exploiting the multi-trek rule. Our method recovers the correct structure when the underlying graph is a bow-free acyclic mixed graph with potential multidirected edges. (shrink)