Comments on Gabriel Sandu’s “Indefinites, Skolem Functions, and Arbitrary Objects”

2020 ◽  
pp. 423-428
Author(s):  
Kit Fine
Keyword(s):  
Skolem Functions ◽  
Arbitrary Objects ◽  
Independence Friendly Logic

Gabriel Sandu has made important contributions to the development of independence-friendly logic and I am grateful to him for his searching and sympathetic critique of my own work on arbitrary objects in relation both to independence friendly logic and to other treatments of quantificational and anaphoric dependence....

Indefinites, Skolem Functions, and Arbitrary Objects

2020 ◽  
pp. 98-112
Author(s):  
Gabriel Sandu
Keyword(s):  
Semantic Analysis ◽  
Dynamic Logic ◽  
Choice Functions ◽  
Alternative Framework ◽  
Team Semantics ◽  
Skolem Functions ◽  
Arbitrary Objects

In this chapter I will look at the semantic analysis of indefinites in English, and their treatment in the framework of Dynamic Logic, choice functions (epsilon terms), and Kit Fine’s arbitrary objects. In the end I will make some comparative remarks about the latter and the account in terms of Skolem functions that Fine criticized, and propose an alternative framework (team semantics).

scholarly journals Path Planning for 3-D In-Hand Manipulation of Micro-Objects Using Rotation Decomposition

Micromachines ◽  
2021 ◽  
Vol 12 (8) ◽  
pp. 986
Author(s):  
Pardeep Kumar ◽  
Michaël Gauthier ◽  
Redwan Dahmouche
Keyword(s):  
Main Idea ◽  
Robotic Manipulation ◽  
Moderate Increase ◽  
Adhesion Forces ◽  
Dexterous Manipulation ◽  
Confined Spaces ◽  
Direct Extension ◽  
Exponential Increase ◽  
Simulation Results ◽  
Arbitrary Objects

Robotic manipulation and assembly of micro and nanocomponents in confined spaces is still a challenge. Indeed, the current proposed solutions that are highly inspired by classical industrial robotics are not currently able to combine precision, compactness, dexterity, and high blocking forces. In a previous work, we proposed 2-D in-hand robotic dexterous manipulation methods of arbitrary shaped objects that considered adhesion forces that exist at the micro and nanoscales. Direct extension of the proposed method to 3-D would involve an exponential increase in complexity. In this paper, we propose an approach that allows to plan for 3-D dexterous in-hand manipulation with a moderate increase in complexity. The main idea is to decompose any 3-D motion into a 3-D translation and three rotations about specific axes related to the object. The obtained simulation results show that 3-D in-hand dexterous micro-manipulation of arbitrary objects in presence of adhesion forces can be planned in just few seconds.

Comments on Alasdair Urquhart’s “Fine on Arbitrary Objects”

2020 ◽  
pp. 418-422
Author(s):  
Kit Fine
Keyword(s):  
History Of Mathematics ◽  
History Of ◽  
Arbitrary Objects

Alasdair Urquhart’s chapter is a wonderful mix of observations on the theory of arbitrary objects, ranging over a number of historical, logical, and philosophical aspects of the theory. I was especially interested in what he had to say about the evolving conception of variables in the history of mathematics and, in the light of my own previous somewhat casual remarks on the topic, I would now like to follow up on his discussion....

Sign in / Sign up

Export Citation Format

Share Document