Search

The chapter delineates a new approach to truth that falls under the category of 'pluralism within the bounds of correspondence' and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence; but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic.

The chapter delineates a new approach to truth that falls under the category of 'pluralism within the bounds of correspondence' and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence; but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic.

The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics? © 2010 The Author(s).

The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics? © 2010 The Author(s).

This chapter investigates the thesis that Invariance Under Isomorphisms is a criterion of logicality (logical operators) and the roots of this criterion in Tarski. It discusses the philosophical significance of this criterion, offers a philosophical justification for it, examines its ramifications for the relation between logic and mathematics, responds to Feferman's criticisms of this criterion, and critically examines Feferman's alternative criterion. The chapter also investigates methodological issues involved in a providing criterion of logicality (e.g. foundationalism vs. holism), logic's role in our system of knowledge, the relation between logicality and truth, and the idea of logicality as formality.

This chapter investigates the thesis that Invariance Under Isomorphisms is a criterion of logicality (logical operators) and the roots of this criterion in Tarski. It discusses the philosophical significance of this criterion, offers a philosophical justification for it, examines its ramifications for the relation between logic and mathematics, responds to Feferman's criticisms of this criterion, and critically examines Feferman's alternative criterion. The chapter also investigates methodological issues involved in a providing criterion of logicality (e.g. foundationalism vs. holism), logic's role in our system of knowledge, the relation between logicality and truth, and the idea of logicality as formality.

The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing a particular proposal for such a characterization, (ii) showing that certain criticisms of this proposal are incorrect, and (iii) discussing the general issue of what a characterization of logical constants aims at achieving.

The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing a particular proposal for such a characterization, (ii) showing that certain criticisms of this proposal are incorrect, and (iii) discussing the general issue of what a characterization of logical constants aims at achieving.

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief outlook on the "family" of theories of truth generated by the new methodology. © 1999 Kluwer Academic Publishers.

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief outlook on the "family" of theories of truth generated by the new methodology. © 1999 Kluwer Academic Publishers.

The search for rare particles in the cosmic radiation remains one of the main aims of non-accelerator particle astrophysics. Experiments at high altitude allow lower mass thresholds with respect to detectors at sea level or underground. The SLIM experiment is a large array of nuclear track detectors located at the Chacaltaya High Altitude Laboratory (5290 m a.s.l.). The preliminary results from the analysis of a part of the first 236 sq.m exposed for more than 3.6 y are here reported. The detector is sensitive to Intermediate Mass Magnetic Monopoles and to SQM nuggets and Q-balls, which are possible Dark Matter candidates., Comment: Paper presented by G. Giacomelli at the European Conference on High Energy Physics, July 21-27 2005, Lisboa, Portugal

The search for rare particles in the cosmic radiation remains one of the main aims of non-accelerator particle astrophysics. Experiments at high altitude allow lower mass thresholds with respect to detectors at sea level or underground. The SLIM experiment is a large array of nuclear track detectors located at the Chacaltaya High Altitude Laboratory (5290 m a.s.l.). The preliminary results from the analysis of a part of the first 236 sq.m exposed for more than 3.6 y are here reported. The detector is sensitive to Intermediate Mass Magnetic Monopoles and to SQM nuggets and Q-balls, which are possible Dark Matter candidates., Comment: Paper presented by G. Giacomelli at the European Conference on High Energy Physics, July 21-27 2005, Lisboa, Portugal

The search for magnetic monopoles in the cosmic radiation remains one of the main aims of non-accelerator particle astrophysics. Experiments at high altitude allow lower mass thresholds with respect to detectors at sea level or underground. The SLIM experiment is a large array of nuclear track detectors at the Chacaltaya High Altitude Laboratory (5290 m a.s.l.). The results from the analysis of 171 m$^2$ exposed for more than 3.5 y are here reported. The completion of the analysis of the whole detector will allow to set the lowest flux upper limit for Magnetic Monopoles in the mass range 10$^5$ - 10$^{12}$ GeV. The experiment is also sensitive to SQM nuggets and Q-balls, which are possible Dark Matter candidates., Comment: Presented at the 29-th ICRC, Pune, India (2005)

SLIM is a large area experiment (440 m2) installed at the Chacaltaya cosmic ray laboratory since 2001, and about 100 m2 at Koksil, Himalaya, since 2003. It is devoted to the search for intermediate mass magnetic monopoles (107-1013 GeV/c2) and nuclearites in the cosmic radiation using stacks of CR39 and Makrofol nuclear track detectors. In four years of operation it will reach a sensitivity to a flux of about 10-15 cm-2 s-1 sr-1. We present the results of the calibration of CR39 and Makrofol and the analysis of a first sample of the exposed detector., Comment: Presented at the 22nd ICNTS, Barcelona 2004

The search for magnetic monopoles in the cosmic radiation remains one of the main aims of non-accelerator particle astrophysics. Experiments at high altitude allow lower mass thresholds with respect to detectors at sea level or underground. The SLIM experiment is a large array of nuclear track detectors at the Chacaltaya High Altitude Laboratory (5290 m a.s.l.). The results from the analysis of 171 m$^2$ exposed for more than 3.5 y are here reported. The completion of the analysis of the whole detector will allow to set the lowest flux upper limit for Magnetic Monopoles in the mass range 10$^5$ - 10$^{12}$ GeV. The experiment is also sensitive to SQM nuggets and Q-balls, which are possible Dark Matter candidates., Comment: Presented at the 29-th ICRC, Pune, India (2005)

SLIM is a large area experiment (440 m2) installed at the Chacaltaya cosmic ray laboratory since 2001, and about 100 m2 at Koksil, Himalaya, since 2003. It is devoted to the search for intermediate mass magnetic monopoles (107-1013 GeV/c2) and nuclearites in the cosmic radiation using stacks of CR39 and Makrofol nuclear track detectors. In four years of operation it will reach a sensitivity to a flux of about 10-15 cm-2 s-1 sr-1. We present the results of the calibration of CR39 and Makrofol and the analysis of a first sample of the exposed detector., Comment: Presented at the 22nd ICNTS, Barcelona 2004