Exploring the Limits of Preclassical Mechanics

Damerow, Peter; Freudenthal, Gideon; McLaughlin, Peter; Renn, Jürgen

doi:10.1007/978-1-4757-3994-7

Cited by 78 publications

(9 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…It is easily seen that known techniques from tableau methods and resolution methods may easily be transposed to avoid infinite loops in prospective proofs. 29 …”

Section: In Conclusionmentioning

confidence: 97%

“…If T is an empirical theory, new factual data (observations and outcomes of experiments) may be required and the theory needs to be reorganized. Usually the conceptual schema will be changed as a result of the specific problem-solving process that removes the inconsistency-an extremely interesting study in this respect is [29]. intuitive terms.…”

Section: The Inconsistency-adaptive Logic Aclun1mentioning

confidence: 99%

See 1 more Smart Citation

A procedural criterion for final derivability in inconsistency-adaptive logics

Batens

2005

Journal of Applied Logic

View full text Add to dashboard Cite

This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics. The problemInference relations for which there is no positive test abound in both everyday and scientific reasoning processes. 1 Adaptive logics are a means for characterizing such inference relations. The characterization has a specific metalinguistic standard format. This format provides the logic with a semantics and with a proof theory, and warrants soundness, completeness, and a set of properties of the logic. 2 The first adaptive logics were inconsistency-adaptive. The articulation of other adaptive logics provided increasing in-E-mail address: Diderik.Batens@ugent.be (D. Batens). 1 A positive test is a systematic procedure that, for every set of premises Γ and for every conclusion A, leads after finitely many steps to a "yes" if A is a consequence of Γ . Remark that the consequence relation defined by classical logic is undecidable, but that there is a positive test for it-see [26] for such matters.2 Onlypart of these results are written up, viz. in [17].1570-8683/$ -see front matter 

show abstract

“…It is easily seen that known techniques from tableau methods and resolution methods may easily be transposed to avoid infinite loops in prospective proofs. 29 …”

Section: In Conclusionmentioning

confidence: 97%

Section: The Inconsistency-adaptive Logic Aclun1mentioning

confidence: 99%

A procedural criterion for final derivability in inconsistency-adaptive logics

Batens

2005

Journal of Applied Logic

View full text Add to dashboard Cite

show abstract

“…3; this book also includes virtually exhaustive references to the literature up to 1991 on the development of Galileo's science of motion and its context, including works by Caverni, Dijksterhuis, Koyré, Wohlwill, as well as other essential contributions of the older literature in Italian, Dutch, French, and German which have been neglected by recent Galileo scholarship. According to our opinion, among the most significant contributions on this topic published after Damerow, Freudenthal, McLaughlin, and Renn 1992, chap. 3 are Hooper 1992, Takahashi 1993a, Takahashi 1993b, Porz 1994, Abattouy 1996, and Remmert 1998 the vertically accelerated motion of fall?…”

Section: Did Galileo Trust the Dynamical Argument?-galileo The Experimentioning

confidence: 99%

“…172 Damerow, Freudenthal, McLaughlin, and Renn 1992. APPENDIX: SELECTED LETTERS were either partial translations or have misrepresented key passages of these letters. According to the argument of our paper, these letters have to be read as being closely related to each other.…”

mentioning

confidence: 99%

hunting the white elephant: when and how did galileo discover the law of fall?

Renn¹,

damerow²,

rieger³

et al. 2001

Sci Context

Self Cite

View full text Add to dashboard Cite

Mark Twain tells the story of a white elephant, a present of the king of Siam to Queen Victoria of England, who got somehow lost in New York on its way to England. An impressive army of highly qualified detectives swarmed out over the whole country to search for the lost treasure. And after short time an abundance of optimistic reports with precise observations were returned from the detectives giving evidence that the elephant must have been shortly before at that very place each detective had chosen for his investigations. Although no elephant could ever have been strolling around at the same time at such different places of a vast area and in spite of the fact that the elephant, wounded by a bullet, was lying dead the whole time in the cellar of the police headquarters, the detectives were highly praised by the public for their professional and effective execution of the task. In spite of having been the subject of more than a century of historical research, the question of when and how Galileo made his major discoveries is still answered insufficiently only. It is mostly assumed that he must have found the law of fall around the year 1604 and that only sev-1 This paper makes use of the work of research projects of the Max Planck Institute for the History of Science in Berlin, some pursued jointly with the Biblioteca Nazionale Centrale in Florence, the Istituto e Museo di Storia della Scienza, and the Istituto Nazionale die Fisica Nucleare in Florence. In particular, we have made use of results achieved in the context of a project dedicated to the development of an electronic representation of Galileo's notes on mechanics (together with the Biblioteca Nazionale Centrale and the Istituto e Museo di Storia della Scienza, both in Florence), of results achieved in a study of the time-sequence of entries in Galileo's manuscripts by means of an analysis of differences in the composition of the ink (together with the Biblioteca Nazionale Centrale, the Istituto e Museo di Storia della Scienza, and the Istituto Nazionale die Fisica Nucleare, all in Florence), and finally of results achieved in the context of a central research project of the Max Planck Institute for the History of Science, dedicated to the study of the relation of practical experience and conceptual structures in the emergence of science. We would especially like to acknowledge the generous support of several individuals involved in these projects: Jochen Büttner, Paolo Galluzzi, Wallace Hooper, Franco Lucarelli, Pier Andrea Mandó, Fiorenza Z. Renn, Urs Schöpflin, Isabella Truci, and Bernd Wischnewski. From several other individuals we received helpful suggestions acknowleged at appropriate places throughout the paper.

show abstract

“…3 This term should not be taken to suggest a coherent framework of mechanics, such as that provided later by classical mechanics. Preclassical mechanics emerged from the application of traditional theoretical tools and concepts to new and challenging objects of study provided by early modern engineering and warfare.…”

mentioning

confidence: 99%

The English Galileo: Thomas Harriot and the Force of Shared Knowledge in Early Modern Mechanics

Schemmel

2006

Phys. perspect.

View full text Add to dashboard Cite

Exploring the Limits of Preclassical Mechanics

Cited by 78 publications

References 9 publications

A procedural criterion for final derivability in inconsistency-adaptive logics

A procedural criterion for final derivability in inconsistency-adaptive logics

hunting the white elephant: when and how did galileo discover the law of fall?

The English Galileo: Thomas Harriot and the Force of Shared Knowledge in Early Modern Mechanics

Contact Info

Product

Resources

About