6 research outputs found

    Неклассические логики versus классической

    Get PDF

    Canonical calculi with (n,k)-ary quantifiers

    Full text link

    ‘The Snowtown we know and love’ : small newspapers and heinous crimes

    Full text link
    This paper examines the role of small newspapers in Australia when bizarre and shocking crimes are committed locally. These crimes often attract intense media attention that casts a net of shame across entire townships through their representation as places of fascination and fear in the public imagination. We take a practice approach in the tradition of Pierre Bourdieu to explore the complex editorial considerations, news judgements and community responsibilities small newspapers must negotiate when covering these stories for local audiences. This study focuses on three towns in regional Australia that have been represented in metropolitan and international news media as ‘dead zones\u27 after shocking crimes: Bowral in NSW, Snowtown in South Australia and Moe in Victoria

    Logical Systems On the Concept, Expressive Power and Expressiveness Characterizations

    Get PDF
    [ES] Esta tesis es una investigación sobre los conceptos principales ocurriendo en los teoremas tipo-Lindström, esto es, el concepto de sistema lógico y el concepto de expresividad. Lindström, entre otros resultados similares, caracterizó la lógica de primer orden como siendo máximamente expresiva entre las lógicas que tienen compacidad y la propriedad de Löwenheim-Skolem. Para tal, él tenía que dar una definición precisa de qué es una lógica y qué es una relación de expresividad. Tales resultados suelen ser usados para extraer conclusiones fuertes sobre la naturaleza de la lógica y, específicamente, de la lógica de primer orden. No obstante, con la excepción de una discusión inicial en el libro sobre lógicas modelo-teóricas editado por Barwise y Feferman, hay pocas discusiones conceptuales de estos resultados de caracterización en la literatura. Específicamente, nos parece problemática la falta de justificación de por qué cierto concepto de sistema lógico y cierto concepto de expresividad fueran elegidos. Nuestro propósito es de contribuir a esta discusión y también proponer un criterio de expresividad más amplio, por medio de traducciones entre lógicas

    The Bounds of Logic: A Generalized Viewpoint

    Get PDF

    J. I. Zucker. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 (1978), pp. 517–535. - J. I. Zucker and R. S. Tragesser. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516. - Dag Prawitz. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40. - Dag Prawitz. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 (1977), pp. 2–40. - M. A. E. Dummett. The justification of deduction. Proceedings of the British Academy, vol. 59 (for 1973, pub. 1975), pp. 201–232. - Michael Dummett. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, edited by H. E. Rose and J.C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 5–40. - Ian Hacking. Do-it-yourself semantics for classical sequent calculi, including ramified type theory. Logic, foundations of mathematics, and computahility theory, Part one of the proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in Philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 371–390. - Ian Hacking. What is logic?The journal of philosophy, vol. 76 (1979), pp. 285–319. - Göran Sundholm. Hacking's logic. The journal of philosophy, vol. 78 (1981), pp. 160–168. - Christopher Peacocke. Hacking on logic: two comments. The journal of philosophy, vol. 78 pp. 168–175.

    No full text
    corecore