1,325,521 research outputs found

    Creating Structured PDF Files Using XML Templates

    Get PDF
    This paper describes a tool for recombining the logical structure from an XML document with the typeset appearance of the corresponding PDF document. The tool uses the XML representation as a template for the insertion of the logical structure into the existing PDF document, thereby creating a Structured/Tagged PDF. The addition of logical structure adds value to the PDF in three ways: the accessibility is improved (PDF screen readers for visually impaired users perform better), media options are enhanced (the ability to reflow PDF documents, using structure as a guide, makes PDF viable for use on hand-held devices) and the re-usability of the PDF documents benefits greatly from the presence of an XML-like structure tree to guide the process of text retrieval in reading order (e.g. when interfacing to XML applications and databases)

    Logical realism and the metaphysics of logic

    Full text link
    ā€˜Logical Realismā€™ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ā€˜One True Logicā€™; second, that the One True Logic is made true by the mindā€andā€languageā€independent world; and third, that the mindā€andā€languageā€independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism.Accepted manuscrip

    The Logical Structure of Consciousness (behavior, personality, rationality, higher order thought, intentionality)

    Get PDF
    After half a century in oblivion, the nature of consciousness is now the hottest topic in the behavioral sciences and philosophy. Beginning with the pioneering work of Ludwig Wittgenstein in the 1930ā€™s (the Blue and Brown Books) and from the 50ā€™s to the present by his logical successor John Searle, I have created the following table as an heuristic for furthering this study. The rows show various aspects or ways of studying and the columns show the involuntary processes and voluntary behaviors comprising the two systems (dual processes) of the Logical Structure of Consciousness (LSC), which can also be regarded as the Logical Structure of Rationality (LSR-Searle), of behavior (LSB), of personality (LSB), of reality (LSOR), of Intentionality (LSI) -the classical philosophical term, the Descriptive Psychology of Consciousness (DPC) , the Descriptive Psychology of Thought (DPT) ā€“or better, the Language of the Descriptive Psychology of Thought (LDPT), terms introduced here and in my other very recent writings. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ā€˜The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searleā€™ 2nd ed (2019). Those interested in more of my writings may see ā€˜Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019

    The Logical Structure of Consciousness (behavior, personality, rationality, higher order thought, intentionality) (revised 2019)

    Get PDF
    After half a century in oblivion, the nature of consciousness is now the hottest topic in the behavioral sciences and philosophy. Beginning with the pioneering work of Ludwig Wittgenstein in the 1930ā€™s (the Blue and Brown Books) and from the 50ā€™s to the present by his logical successor John Searle, I have created the following table as a heuristic for furthering this study. The rows show various aspects or ways of studying and the columns show the involuntary processes and voluntary behaviors comprising the two systems (dual processes) of the Logical Structure of Consciousness (LSC), which can also be regarded as the Logical Structure of Rationality (LSR-Searle), of behavior (LSB), of personality (LSP), of reality (LSOR), of Intentionality (LSI) -the classical philosophical term, the Descriptive Psychology of Consciousness (DPC) , the Descriptive Psychology of Thought (DPT) ā€“or better, the Language of the Descriptive Psychology of Thought (LDPT), terms introduced here and in my other very recent writings. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ā€˜The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searleā€™ 2nd ed (2019). Those interested in more of my writings may see ā€˜Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019

    Limiting logical pluralism

    Get PDF
    In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis of the ā€˜adoption problemā€™, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system

    Is Russell's vicious circle principle false or meaningless?

    Get PDF
    P. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Ī›-calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's proposition: Yl'am telling a lie can also be explained be the formalisable self-referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure

    On the logical structure of Bell theorems without inequalities

    Full text link
    Bell theorems show how to experimentally falsify local realism. Conclusive falsification is highly desirable as it would provide support for the most profoundly counterintuitive feature of quantum theory - nonlocality. Despite the preponderance of evidence for quantum mechanics, practical limits on detector efficiency and the difficulty of coordinating space-like separated measurements have provided loopholes for a classical worldview; these loopholes have never been simultaneously closed. A number of new experiments have recently been proposed to close both loopholes at once. We show some of these novel designs fail in the most basic way, by not ruling out local hidden variable models, and we provide an explicit classical model to demonstrate this. They share a common flaw, which reveals a basic misunderstanding of how nonlocality proofs work. Given the time and resources now being devoted to such experiments, theoretical clarity is essential. Our explanation is presented in terms of simple logic and should serve to correct misconceptions and avoid future mistakes. We also show a nonlocality proof involving four participants which has interesting theoretical properties.Comment: 8 pages, text clarified, explicit LHV model provided for flawed nonlocality tes
    • ā€¦
    corecore